Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/lamdu/hypertypes

Hypertypes - generic programming for heterogeneous recursive types
https://github.com/lamdu/hypertypes

RTraversableInferOf

3bb374fa1b4d5bcbe18669af6332c7364fbc6ad7 authored over 5 years ago by Yair Chuchem <[email protected]>
Revert "Temporarily remove KMonad."

Now that compose is back and classes are simplified it's easy to re-add it.

This reverts commit...

aefdb33f51827e3d6f76c14f2cd658f0882a9fcf authored over 5 years ago by Yair Chuchem <[email protected]>
Revert "Temporarily remove AST.Combinator.Compose"

After recent changes the instances are not hard to write!

This reverts commit ffb907675ebdabf77...

327f10c1a285995e6537aa5a6883dd691434458f authored over 5 years ago by Yair Chuchem <[email protected]>
instances for ITerm

a5e354c929bac6d0bc19e627d9e6fadb1c9fa23f authored over 5 years ago by Yair Chuchem <[email protected]>
(#*#) operator replaces usages of And

No need for kCombineConstraints which simplifies instances and
no need for UndecidableSuperClasses!

bacee764de96eae637493e0842bb91b1d0ae94b5 authored over 5 years ago by Yair Chuchem <[email protected]>
(#>) operator replaces need for "With" variants like mapKWith

Lots of combinators removed!

f8ba2e2049fb0d6cc4a7c631a26e29e6633b81fe authored over 5 years ago by Yair Chuchem <[email protected]>
recurseBoth is redundant

1257589f5a5781494f522842fa772b9d57cb50c3 authored over 5 years ago by Yair Chuchem <[email protected]>
Rename witness data constructors {KWitness=>KW}_*

ab5f11fdf2d0f9e3a21576059c2b90ad569b0825 authored over 5 years ago by Yair Chuchem <[email protected]>
Rename NodesConstraint=>KNodesConstraint

Fits better with the rest of the names

ffd524b9671b56147c19caab1ba6605b316812f3 authored over 5 years ago by Yair Chuchem <[email protected]>
remove weird combinators which aren't needed with kLiftConstraint's new form

22311ef4d931d772cf8020add97b3d3df6f377e9 authored over 5 years ago by Yair Chuchem <[email protected]>
remove mess remaining from previous kLiftConstraint limitations

698cd0e790519ab3a4c025ffdcb6965c177ceb8f authored over 5 years ago by Yair Chuchem <[email protected]>
Further simplify kLiftConstraint

Now that the spurious rank-n was removed, no need to return a Tree

d0c002e3a68b28a9abd8986e553b1ae5d123eb75 authored over 5 years ago by Yair Chuchem <[email protected]>
another argument order flip to simplify kLiftConstraint implementations

c1b40f3cb6766d25f0ba47d61e3af4cfb8527eb2 authored over 5 years ago by Yair Chuchem <[email protected]>
kLiftConstraint last parameter is result similar to withDict

81c0158bdd601db479e5fffe32fdb10fad6779da authored over 5 years ago by Yair Chuchem <[email protected]>
Oops redundant rank-n-type

9eaa8834649fd728b1742bf5013db13a3a897e15 authored over 5 years ago by Yair Chuchem <[email protected]>
resume witness changes for ZipMatch combinators

32f842bb1390e176d2baddfc9430f47ecf398f9e authored over 5 years ago by Yair Chuchem <[email protected]>
Documentation, consistent type variable naming and other consistency improvements

0f484e0705e67e927676dfd62c895c8a9dbd5451 authored over 5 years ago by Yair Chuchem <[email protected]>
Yet another revolution: Add KWitness, remove NoConstraint and mapKWith et al as class methods.

Inspired by multirec's usage of witness parameters.
http://hackage.haskell.org/package/multirec-...

591b812e83ec3f0e944d05f98befdda111dd8e5a authored over 5 years ago by Yair Chuchem <[email protected]>
Remove claim which I'm not sure about

455d0967dd79fb8bf35d1969541dcefa4e15758b authored over 5 years ago by Yair Chuchem <[email protected]>
haddocks, also expand on AST.Infer.Blame algorithm

db224506bf83aa95e23768c92edb83842c4d24ef authored over 5 years ago by Yair Chuchem <[email protected]>
Oops blame broken since 4143fe6b8b6

(as discovered via Lamdu's test suite)

The crucial catchError line was accidentally removed.

d58c741395689125746fdac7eeef45493fd6f1d4 authored over 5 years ago by Yair Chuchem <[email protected]>
remove iTermToAnn and change bTermToAnn according to needs at use site in Lamdu

ec834c0f89340501a93c670131420e4be9270d18 authored over 5 years ago by Yair Chuchem <[email protected]>
blame does need to get the topLevelType, and now the reasoning is documented

fc740319b1385622a0f43292cf8bfeab829fd422 authored over 5 years ago by Yair Chuchem <[email protected]>
rename Blamable to Blame to be consistent with other names

2092d0025fc61de5e8cc015031514a3fbb310c81 authored over 5 years ago by Yair Chuchem <[email protected]>
Blamable a multi-param-type-class depending on Infer again.

In c508bf4460 this has changed but this didn't work for lamdu-calculus's needs.

4623f1c5083c5e416c64257ed90b8f7123a7dd13 authored over 5 years ago by Yair Chuchem <[email protected]>
More documentation, including comparison to bound

5e7970420ddec0c5894dad5dbe5a392a2ce4e903 authored over 5 years ago by Yair Chuchem <[email protected]>
add constraints on base as suggested by stack sdist

448ce70d5befad8065b069eceda20c5b69412b79 authored over 5 years ago by Yair Chuchem <[email protected]>
Remove redundant -O flags as warned by stack sdist

0bdea334e34e899b43484ba2c9f32b5cc5a4356d authored over 5 years ago by Yair Chuchem <[email protected]>
haddocks

df407cbe6a5fdfed360b20bca5b5d4c90681c60d authored over 5 years ago by Yair Chuchem <[email protected]>
Rename AST.Knot.Functor.{ToKnot=>F}

Where this knot may be used would be very verbose with the previous name.

d0dd585ac76de435c55f82d72d1ff3d797f3409d authored over 5 years ago by Yair Chuchem <[email protected]>
iTermToAnn, bTermToAnn

7c0d788c68a16a72cd8f3c9199c6cf8d96c5e0c0 authored over 5 years ago by Yair Chuchem <[email protected]>
Document and improve "blame"

4d0fcda4fcac2bf85ebc016632620874ca8a9328 authored over 5 years ago by Yair Chuchem <[email protected]>
Blame: result also contrains inference results, not just where the error is

4143fe6b8b693ad975663f25543b50b1e03522f2 authored over 5 years ago by Yair Chuchem <[email protected]>
rename fields to consistent naming

e085303dc38b81ab34050440abe6fb99bae1132f authored over 5 years ago by Yair Chuchem <[email protected]>
Document the semantic differences between ZipMatch and KApply

fa588a2997343ba8561072010d2f90608cf7af09 authored over 5 years ago by Yair Chuchem <[email protected]>
fix typo

c891f18a8f7f262c51165f94b22fbe46bceeab8c authored over 5 years ago by Yair Chuchem <[email protected]>
haddocks

453bb352d75229e27b3eaeff4a3aff8432010718 authored over 5 years ago by Yair Chuchem <[email protected]>
RZipMatch moved to AST.Class.ZipMatch

RTraversable et all stay in AST.Class.Recursive because the recursive combinators use them.

ee0f800d96a016dfe7512e075a6268080cf6d2b1 authored over 5 years ago by Yair Chuchem <[email protected]>
don't expose getPure getter

75ea5eab43d407501318a7ef02d11e923325677e authored over 5 years ago by Yair Chuchem <[email protected]>
Rename data constructor MkPure to Pure

The bad side is that this encourages its use rather than the better _Pure Iso,
but this also mak...

a78d294bd6ae9d3204ff1dba926bac4e30a3474e authored over 5 years ago by Yair Chuchem <[email protected]>
haddocks

8c448e3a77a037b370a47aee4c15b7c2ac272af8 authored over 5 years ago by Yair Chuchem <[email protected]>
Remove unused function

afa43258dab042f031e22bbbd34ce1ebf0a63bbb authored over 5 years ago by Yair Chuchem <[email protected]>
remove RZipMatchTraversable

dba50c93384c6e3bea006d1521a502513e4e4e22 authored over 5 years ago by Yair Chuchem <[email protected]>
more haddocks

6086da317ea8a1368eb008895733a35a6f2b2c3c authored over 5 years ago by Yair Chuchem <[email protected]>
haddocks

c35b62dd6acd6276df1be32d3b560a685579bd74 authored over 5 years ago by Yair Chuchem <[email protected]>
Remove InferRes record. It doesn't seem to help readability

f3cae88c6c8c7eb2d6f987cb9a1f64f348a0c943 authored over 5 years ago by Yair Chuchem <[email protected]>
haddocks

ec63988627b843b65a754cc46153e8e953260cb2 authored over 5 years ago by Yair Chuchem <[email protected]>
merge two context methods

2b66f5388d25dc50c73d9a7a1df2ea12298dd9a9 authored over 5 years ago by Yair Chuchem <[email protected]>
haddocks

c1c38e65dcccffebe2fe59770bcd72c4c1eb7469 authored over 5 years ago by Yair Chuchem <[email protected]>
The TypeOf type family moves to HasInferredType

8074879574a4a0af983fcfb22a211f1a81e0cc4b authored over 5 years ago by Yair Chuchem <[email protected]>
haddocks

2dd6ed2e975078c5116faff1850fa14479c11545 authored over 5 years ago by Yair Chuchem <[email protected]>
remove unused instances

8ffbc7e50044deb6dc02bb333315c09c48dc452b authored over 5 years ago by Yair Chuchem <[email protected]>
Remove the redundant Inferrable class

80b420bad05cd1725345b641778dbcf1301550a6 authored over 5 years ago by Yair Chuchem <[email protected]>
haddocks

47739674ffe5a8f9a3d95343b4ffba91252c8b0a authored over 5 years ago by Yair Chuchem <[email protected]>
More comparisons in README

0992197a63e955c80207604086ef905ef6f02f40 authored over 5 years ago by Yair Chuchem <[email protected]>
Operator to help construct Pure terms

fb13dbf18d2fbad5721646cc005171a4d6863f3b authored over 5 years ago by Yair Chuchem <[email protected]>
replace last boiler-plate standalone deriving clauses

99ce365dfc38feff6bd40547373288b5e45aab41 authored over 5 years ago by Yair Chuchem <[email protected]>
docs update after feedback in Slack

4414247fd92a88d69b5b0c5a2260d75a69d502d6 authored over 5 years ago by Yair Chuchem <[email protected]>
makeDeriving moved to generic-constraints package

9f204e3207d16ea258b9ff4c3330f5e28152a3c5 authored over 5 years ago by Yair Chuchem <[email protected]>
Use generic-constraints instead of one-liner

generic-constraints is an extraction from one-liner as suggested by its maintainer @sjoerdvissch...

14830ca69e3bc5b3e87da4fc1be745f61b5b241b authored over 5 years ago by Yair Chuchem <[email protected]>
Add INLINE pragma

066c7b6fc37d7538aac764536d5665f919744ca4 authored over 5 years ago by Yair Chuchem <[email protected]>
add some notes wrt lens

ffe82528eef99d40e5ad20f9325f5759bc184ce2 authored over 5 years ago by Yair Chuchem <[email protected]>
replace mapK1 with mappedK1 setter

7ca7c5b2bec255ecfb2aa303c4732db6bf1682fc authored over 5 years ago by Yair Chuchem <[email protected]>
Use Traversal type synonym

1ef730492b84bbac5cb5577a2e9ef39c37fc4f03 authored over 5 years ago by Yair Chuchem <[email protected]>
Remove some unused combinators

Could re-add them given the need

8e8672e9f516959a8a7e89d7e968107e821575d3 authored over 5 years ago by Yair Chuchem <[email protected]>
Blame: instead of using KApplicative, Blamable class defines what it needs

The InferOf value may contain a type and scope (as it currently does in Lamdu),
and we don't wan...

c508bf4460a6f77dfe421cbeac7b19c3cfd7aa57 authored over 5 years ago by Yair Chuchem <[email protected]>
wording. of course the linked package is on hackage

f3f6110c396983db4ef05e050c5b2033eaa4b3a8 authored over 5 years ago by Yair Chuchem <[email protected]>
Abbreviate readme

3d448d571b74ea1e1429621b3193214ee5b703eb authored over 5 years ago by Yair Chuchem <[email protected]>
Use TH to reduce deriving ceremony

399c61cb8c01f65a3cc91928d2ef61d996065e52 authored over 5 years ago by Yair Chuchem <[email protected]>
More derivations with one-liner

57baed00c46713e530aff6c162a9f7d7c4c2f0e8 authored over 5 years ago by Yair Chuchem <[email protected]>
add instances

c54105134b5ec99db698b35f601d18996b50226a authored over 5 years ago by Yair Chuchem <[email protected]>
Revert "temporarily remove foldMapRecursive"

This reverts commit 43a413d9c723711075b8f5ecaff100244a85b958.

fc46e7a4dfc6117e841bab8a5df843082d5d65c9 authored over 5 years ago by Yair Chuchem <[email protected]>
add recursive instances

2aed584a7299159ce7f77db2214a32ab0489c93f authored over 5 years ago by Yair Chuchem <[email protected]>
expand on difference from rank2classes

8e5b9d03d494f16a730e0f2aa7bc4617f709117c authored over 5 years ago by Yair Chuchem <[email protected]>
wording

6ff395e9dd3708df64638005511761c9307337af authored over 5 years ago by Yair Chuchem <[email protected]>
README update

3d83d916b4a95a714583df43f4d4a679b29cc69f authored over 5 years ago by Yair Chuchem <[email protected]>
Use traverseKWith_

8b782a7e2c6d9cf1791c1c2b50d63bdab516279f authored over 5 years ago by Yair Chuchem <[email protected]>
Change optimization flags to -O rather than -O2

* Benchmark in lamdu-calculus doesn't show a difference!
* I worry this may cause GHC to "premat...

504de1a98fe2d06bacd1f13078fa35fdb2c53a7e authored over 5 years ago by Yair Chuchem <[email protected]>
Infer1: remove unused type family

47898d5e5cdf389e8927032318890dee80ade0d6 authored over 5 years ago by Yair Chuchem <[email protected]>
Fix accidental infinite recursion

6915f95d9564b5584c537028f5607140530f7b3c authored over 5 years ago by Yair Chuchem <[email protected]>
Move constraint from Inferrable class to use site

be3390c9b64c7ef3e6e44b7d021818884bdbfb6e authored over 5 years ago by Yair Chuchem <[email protected]>
Extract function to allow specialization

ce6d47bffa8c7c84a271964bdbeb5284af961453 authored over 5 years ago by Yair Chuchem <[email protected]>
simplify HasTypeConstraints class

306d50c0fa0f9360fd0a92e1c3b3d56689802344 authored over 5 years ago by Yair Chuchem <[email protected]>
remove unused method

7db5a405e4f8c7c50b4b9df55c17fa774c6f05ae authored over 5 years ago by Yair Chuchem <[email protected]>
remove duplicated default method

cf36590b6e58607795f1e0e7195854f84505854b authored over 5 years ago by Yair Chuchem <[email protected]>
Recursive: constraints rather than arguments

c8eb07c206dbcb71fd4033b645c16d48c367e7a1 authored over 5 years ago by Yair Chuchem <[email protected]>
avoid UndecidableSuperClasses

a3cbd7eca3d7c4d7a2cdc335372feb064cbfccd4 authored over 5 years ago by Yair Chuchem <[email protected]>
enable ScopedTypeVariables globally

672d407f72c719003f07c307107ed83f56f8e3e4 authored over 5 years ago by Yair Chuchem <[email protected]>
kind signatures for type families

(in hopes it may help specialization and inlining)

1611a3afdf243e84d42eea7a491f017f8546ad9a authored over 5 years ago by Yair Chuchem <[email protected]>
export recurse

84e1211e011778f8fee7553a728c532c065cf4ff authored over 5 years ago by Yair Chuchem <[email protected]>
instances for LoadedNominalDecl

97f2e9018e46c0a355dcd6daf681524faa72ef06 authored over 5 years ago by Yair Chuchem <[email protected]>
NoConstraint and default implementations of pureK, mapK, foldMapK

81f44ccfc46fb47d9da564577190999440f13dca authored over 5 years ago by Yair Chuchem <[email protected]>
Split AST.Class to separate modules for KNodes and KPointed

242b4605b679625402f375476d0f2d91604f0d2b authored over 5 years ago by Yair Chuchem <[email protected]>
Extract AST.Class.Functor

e4d62988f8ac11ddc33c18bf15e5cbb6d793e395 authored over 5 years ago by Yair Chuchem <[email protected]>
Extract AST.Class.Apply

5b3330c2e9ebb15167058510d362c68374c54538 authored over 5 years ago by Yair Chuchem <[email protected]>
hlint police

d58702a59a76c9764e1abbd04cd75c73775c8198 authored over 5 years ago by Yair Chuchem <[email protected]>
Revolution: Get rid of NodeTypesOf!

NodeTypesOf allowed limiting the use of RankNTypes to KPointed,
but the ammount of complexity it...

3333eb02facfbccd850f0512ecee259f8c4e2ba7 authored over 5 years ago by Yair Chuchem <[email protected]>
remove more boilerplate via one-liner

ee078f0047373dfae847ac71aeef1011fae3295c authored over 5 years ago by Yair Chuchem <[email protected]>
DRY

7195a90ccb930af45df62b1f87b03621b4dbb02d authored over 5 years ago by Yair Chuchem <[email protected]>
Savable class for recursive constraints

cdc1e3d9d4d267b74a4923a3d9b4bed9f0105046 authored over 5 years ago by Yair Chuchem <[email protected]>