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

Pair knot and more Term instances

b920f3c060a9a84b9b6176d99d451951cf9389e5 authored over 5 years ago by Yair Chuchem <[email protected]>
TH properly avoids redundant constraints

44d75e42a5f7dea2f0991dd775d06a2ab842f03e authored over 5 years ago by Yair Chuchem <[email protected]>
TH support embeds which share the whole ChildrenTypesOf

b0e5614a21220dd74d2352c2b99592caa5d2cf5f authored over 5 years ago by Yair Chuchem <[email protected]>
TH cleanups

b3bf1ab31e10228e852ec97a900e4316ccd1f226 authored over 5 years ago by Yair Chuchem <[email protected]>
TH fixes and more instances

4132c867bd21652e2cec9839eb970f477b7c5592 authored over 5 years ago by Yair Chuchem <[email protected]>
Fix KTraversable TH and add instances

Need to fix TH before resuming adding instances for ScopeVar

d21b669c675da486531f11d07de2b14e0888c7aa authored over 5 years ago by Yair Chuchem <[email protected]>
Compose: Use KTraversable instead of Children

f2f97e74430c2c88e7965437fb80f11cf6218122 authored over 5 years ago by Yair Chuchem <[email protected]>
ZipMatch class doesn't extend Children

Towards replacing the old Children class.

4aacf19cbf3b6dd7c653476abcbfdefc57127d9c authored over 5 years ago by Yair Chuchem <[email protected]>
KTraversable instance for Compose

7e2c9162a9b9e1f7bc99506fc8576b7235de37c3 authored over 5 years ago by Yair Chuchem <[email protected]>
AST.Class.Traversable.TH

6021bdfbe178f3d3a18c4a4b85be5efb09aa155a authored over 5 years ago by Yair Chuchem <[email protected]>
KFoldable instance for Compose

d842d7ea3f810917c37667a8c89a299aa8ecf791 authored over 5 years ago by Yair Chuchem <[email protected]>
AST.Class.Foldable.TH

25212ce6e431c3525cfd80547027a7d6de97b101 authored over 5 years ago by Yair Chuchem <[email protected]>
KApplicative instance for Compose

ed542b2a65bcb934d947429b376ce07e62f8a14a authored over 5 years ago by Yair Chuchem <[email protected]>
AST.Class.Applicative.TH

f950450295d29b693f20af701de54d2acddb7983 authored over 5 years ago by Yair Chuchem <[email protected]>
KFunctor instance for Compose

ede0306e7a711c70f690b10a6e21971131f827b2 authored over 5 years ago by Yair Chuchem <[email protected]>
AST.Class.Functor.TH

704b2e00abb339bdc4bfa0d8e4d2df95aee97d21 authored over 5 years ago by Yair Chuchem <[email protected]>
makeKPointed supports embeds

30b98dbb069c040128f6308d222c4917150df07c authored over 5 years ago by Yair Chuchem <[email protected]>
KPointed instance for Compose

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

1db7ca7ab6fdefa10630a5f34996782a93f0a9d6 authored over 5 years ago by Yair Chuchem <[email protected]>
KPointed: remove default implementation of pureC, it confuses more than it helps

When writing manual instances, the errors resulting from having a default method implementation ...

ff0e76d707a3e3c10937a14538cc3c7b7a98b0cc authored over 5 years ago by Yair Chuchem <[email protected]>
makeKPointed works for more cases

95de049f1b7583c1c68e3e0a62d1254746ed27c6 authored over 5 years ago by Yair Chuchem <[email protected]>
AST.Class.Pointed.TH

Produces KPointed instances.
Missing support for instances which aren't their own ChildrenTypesOf.

03505d91bee6ddb3f2328f6581dab23395a9a232 authored over 5 years ago by Yair Chuchem <[email protected]>
newtype lenses are isos

26fdfba20702606d4f24c9b27e70ee664dde944a authored over 5 years ago by Yair Chuchem <[email protected]>
default implementation for hasChildrenTypes

02b56970fe535513651631b1f0c428e30c058da1 authored over 5 years ago by Yair Chuchem <[email protected]>
simple rank-n combinators mapK, traverseK, etc

6406d1821bf94e2090ad5e42aa20245bcd6feec9 authored over 5 years ago by Yair Chuchem <[email protected]>
added a status note to readme

ae7aed1671d044d7c406811c839b64518b56ba12 authored over 5 years ago by Yair Chuchem <[email protected]>
AST.Class.Traversable

25a58497f0567dcd3bf83e90b1eb3df577706f36 authored over 5 years ago by Yair Chuchem <[email protected]>
AST.Class.Foldable

4e899a8ec1ee80a605368bc5a32f1d70d9190010 authored over 5 years ago by Yair Chuchem <[email protected]>
KFunctor and KApplicative don't use RankNTypes

They explicitly get functions per child type.

50b7c47da5290b3472fc631796850463eae499b9 authored over 5 years ago by Yair Chuchem <[email protected]>
AST.Class.Functor

ce0daccb983d3233fae1f665c5363999ef978ce2 authored over 5 years ago by Yair Chuchem <[email protected]>
ChildrenTypesOf type family and HasChildrenTypes type class

8ddfe422b4561d0fc0c0158ff82aea0a3031c30c authored over 5 years ago by Yair Chuchem <[email protected]>
AST.Class.Applicative

1fb2442ddd74091d0fb31bd402213700c7107849 authored over 5 years ago by Yair Chuchem <[email protected]>
AST.Class.Pointed replaces FromChildren

Class names are going to be based on standard Haskell classes lifted to Knots,
this is the first...

48a856411e7f293c75da84c4ca2694465a078f98 authored over 5 years ago by Yair Chuchem <[email protected]>
import Constraint from Data.Constraint

cad18aef7aa6ff3a4305e620d6b1508502a86b1c authored over 5 years ago by Yair Chuchem <[email protected]>
AST.Knot.Prune replaces AST.Combinator.Prune, can now use Compose with simpler Prune instead

e32b4d10cb5a056cdf361d88dc0982f47875f030 authored over 5 years ago by Yair Chuchem <[email protected]>
Compose: ZipMatch instance

aabfb9fd58d046cf3eb4d406953a051a8a827d9b authored over 5 years ago by Yair Chuchem <[email protected]>
add references to the hyperfunctions package

6528fee29740522fcf0efcc9c4df09f8bee0a11c authored over 5 years ago by Yair Chuchem <[email protected]>
Compose's Children instance

b0cdd1a0c9a932b54bef2612cb3ee1633ae59e61 authored over 5 years ago by Yair Chuchem <[email protected]>
AST.Combinator.Compose (no instances yet)

Still haven't solved the type golf for the Children instance for it

d41b928bfd3416d641172593373b35befbb76642 authored over 5 years ago by Yair Chuchem <[email protected]>
Update README with pointers to "Hyperfunctions"

Thanks @andrasKovacs6 for the reference!

https://twitter.com/andrasKovacs6/status/1148944186114...

c73fe2e6be3f02d06a3bb0a87faf32fec2a6213d authored over 5 years ago by Yair Chuchem <[email protected]>
Flip, Both, and Prune moved to AST.Combinator

dee87ba7730f5a22c45a84bfe243d2b87c4039ac authored over 5 years ago by Yair Chuchem <[email protected]>
relax/generalize some constaints

eb19b7272877d249d10a8bd27b1f79494ea2d152 authored over 5 years ago by Yair Chuchem <[email protected]>
AST.Infer.Blame: a type error blame assignment algorithm

635dee2c3ebf96094778dc720a2b87f2813b7dce authored over 5 years ago by Yair Chuchem <[email protected]>
oops fix benchmark

77de5dafe0efd4c523b43997b7cd9636c94c9e99 authored over 5 years ago by Yair Chuchem <[email protected]>
Replace use of JoinSemiLattice/BoundedJoinSemiLattice with Semigroup/Monoid

* new "lattices" package no longer exports these
* Semigroup and Monoid have helpful deriving-vi...

411eca75f908064f77ae1432ac31acac5cbae095 authored over 5 years ago by Eyal Lotem <[email protected]>
add occursCheck

Previously `applyBindings` had to be used for performing occurs check,
but it also changed the b...

314a1edd9a70762946da485cb0cfbe6c0c8d50f6 authored over 5 years ago by Yair Chuchem <[email protected]>
unifyError returns (m a)

99f08c8fadb66c3f710319ecfe055e0c7feb3b37 authored over 5 years ago by Yair Chuchem <[email protected]>
recursiveChildren_

7b83117256a339bbb8cfbe46372834cd3b90eb55 authored over 5 years ago by Yair Chuchem <[email protected]>
oops add changes to .cabal file

btw, the syntax-tree.cabal file is autogenerated from package.yaml,
and iirc is needed for usage...

78039a92ad3246608e83d09433f3a53d27c99b16 authored over 5 years ago by Yair Chuchem <[email protected]>
Split modules and remove some re-exports out of AST.Unify

295d0b94cd7569b61c76f467c40a06d665e3b13c authored over 5 years ago by Yair Chuchem <[email protected]>
extract occursError helper to AST.Unify.Occurs

* Now `occursError` it is not exported by `AST.Unify`
* I intend to add `occursCheck` function t...

c47c63b9a022e205488d6a5bba7708157a1906ba authored over 5 years ago by Yair Chuchem <[email protected]>
Extract module AST.Unify.Binding.Lookup

a45eb60b538a28e93699f7012c03f0c86c332e5f authored over 5 years ago by Yair Chuchem <[email protected]>
Update README.md

e8fe5d62e0df88a2e0bb2d3f64c96a5f75fb691a authored over 5 years ago by Eyal Lotem <[email protected]>
Infer: consistent ordering in record types

7fa56dbdd9435669a7dd93589f1dbe55713a3274 authored over 5 years ago by Yair Chuchem <[email protected]>
custom lens: use record syntax

9bc6d436b24730af7a6e102ce1c9e795029ce84a authored over 5 years ago by Yair Chuchem <[email protected]>
use lens

43216d935c537b206e87db0b971dd459d4879d99 authored over 5 years ago by Yair Chuchem <[email protected]>
replace tuple with data type

10d9ca0fe0128f9f16e2cfba187f89bfc8e11b88 authored over 5 years ago by Yair Chuchem <[email protected]>
missing lens

57d56c4d2000b63b68a1dbcb683efa9895099ff3 authored over 5 years ago by Yair Chuchem <[email protected]>
custom type-changing lens

b8cca1ff4eb867a8b8d5553100521e29333d23bb authored over 5 years ago by Yair Chuchem <[email protected]>
Diff: instances

0b6aee764b236df404ddcba034bac770686b109a authored over 5 years ago by Yair Chuchem <[email protected]>
Both: missing instances

1a702457e30510022a545c4677eb6a4962e6c019 authored over 5 years ago by Yair Chuchem <[email protected]>
inline tiny module AST.Diff.Term

107593c44131a378d3a636ef92a36a3d137de17a authored over 5 years ago by Yair Chuchem <[email protected]>
AST.Diff

f64a789beac35f3366977afa089bf647fa0c8e8a authored over 5 years ago by Yair Chuchem <[email protected]>
extract AST.Knot.Both from ZipMatch

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

9f1a3a858255d5d5815397cb229986f3ab107904 authored over 5 years ago by Yair Chuchem <[email protected]>
improve README

d056b2a4c286368f50c35491c37244f0a0a3ef23 authored over 5 years ago by Yair Chuchem <[email protected]>
Use InferredChild record rather than tuple

f2939da1f7615724672ade30bd92819a5d0d99de authored over 5 years ago by Yair Chuchem <[email protected]>
extract function

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

742251ae0714078a71f824530f462727ebc20147 authored over 5 years ago by Yair Chuchem <[email protected]>
Style: unwrap out of pattern match for shorter patterns

cd76947004c81351f84e431e290b2560107d7e71 authored over 5 years ago by Yair Chuchem <[email protected]>
close imports

ced2d2c646b9b495103d8c3660cad4ccf09c5f7b authored over 5 years ago by Yair Chuchem <[email protected]>
AST.Trans.Prune

14846536bf019660b080c2c6ccb1656839504b37 authored over 5 years ago by Yair Chuchem <[email protected]>
inferBody in charge of a single layer

* No longer specific for the Ann/ITerm knots
* Can now implement ASTs extended with holes via kn...

4227d6a6c49d5dc24585fa23464828e6ed1a7191 authored over 5 years ago by Yair Chuchem <[email protected]>
swap arguments order

9c4e839f26c11e5f2e563173ea1ec9eff2c0033d authored over 5 years ago by Yair Chuchem <[email protected]>
use FuncType positionally

* using (`unify` (funcI ^. iType)) rather than a (unify (funcI ^. iType)) to avoid maintaining t...

ad947109698a3b61f3d97b35f9f8089af16cbee9 authored over 5 years ago by Yair Chuchem <[email protected]>
generalize Recursive instance for LangB

650bc046e1aea8f1aeade27f2f39b48fe345cbf5 authored over 5 years ago by Yair Chuchem <[email protected]>
use DerivingVia

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

b4f35c1e2552dbe92200f8e6948336c331908b7f authored over 5 years ago by Yair Chuchem <[email protected]>
bump stack resolver

8e20cf31be23574fe3006a715a2f1215ff8be7bf authored over 5 years ago by Yair Chuchem <[email protected]>
fix failing test

f30124163e1c65725bfbc95193cc793c5aff1179 authored over 5 years ago by Yair Chuchem <[email protected]>
add tests including failing test for alpha-eq

cfc33f9e091ed398ca486a575a5f9640a25b5077 authored over 5 years ago by Yair Chuchem <[email protected]>
add more alpha eq tests

01f2723c85909a5555a52b8217a50d1fba557c8a authored over 5 years ago by Yair Chuchem <[email protected]>
Fix alpha-eq. Uses structureMismatch (via Unify instances)

Before it failed for row extends in different order.

60236e3885283ddee911b19c2771c4e99686fba4 authored over 5 years ago by Yair Chuchem <[email protected]>
add failing tests for alpha-eq

42a673d97c48eeac5a3a287eaeccc406e6b2c885 authored over 5 years ago by Yair Chuchem <[email protected]>
structureMismatch generalized to be useful for alpha-eq too

9f519088a95253a43340a71504a3f60f63718785 authored over 5 years ago by Yair Chuchem <[email protected]>
Fix benchmark broken in 25a288a1bb3a8a7

9e4e5e5805bccd28b9254c9a286fe384aee69ce2 authored over 5 years ago by Yair Chuchem <[email protected]>
Rename inferNode=>infer, infer=>inferBody

268b235af372a85d4349ee4cabebbb2577b0559c authored over 5 years ago by Yair Chuchem <[email protected]>
MkToKnot

4e0def63b08b467d52618fd59f20b7020371fbe2 authored over 5 years ago by Eyal Lotem <[email protected]>
MkFlip

a241eade0fb73d39f818f4c76e25d4641f6813a2 authored over 5 years ago by Eyal Lotem <[email protected]>
Rename Pure to MkPure, export _Pure iso that infers better

25a288a1bb3a8a7fc4b4fa79c544de19a71f6344 authored over 5 years ago by Eyal Lotem <[email protected]>
schemeAsType => schemeToRestrictedType

3354a906bbe72567a62aaa088461179303181266 authored almost 6 years ago by Yair Chuchem <[email protected]>
generalize applyNominal

6067baa8fe0e3f38241c07d9f1a23c6737995862 authored almost 6 years ago by Yair Chuchem <[email protected]>
addAnnotations

da24501882b491642ace46e0fd18a804fbbe7e1a authored almost 6 years ago by Yair Chuchem <[email protected]>
add instance

941ff80ce1a8cb3f3de12d9b7ee6beb9e64e4e28 authored almost 6 years ago by Yair Chuchem <[email protected]>
missing show instance

18c81913df1430ace76b441c759a0c1a77639cd8 authored almost 6 years ago by Yair Chuchem <[email protected]>
Fix generalization with row constraints

4e66ad6aca729501cedc92735175ee53613ade09 authored almost 6 years ago by Yair Chuchem <[email protected]>
Add failing test for let generalization with row constraints.

824152efb195fdc7dd8eec4e720982b7b10884ac authored almost 6 years ago by Yair Chuchem <[email protected]>
Fix saveScheme of monomorphic parts

2290929141d178428ecfb72992ecb538ec1df313 authored almost 6 years ago by Yair Chuchem <[email protected]>
Oops 2dfe61c37331 broke generalize with repeating terms in scheme.

e935c41f5ba15be937801c88ff25ded5e2540600 authored almost 6 years ago by Yair Chuchem <[email protected]>
avoid tuples for their performance penalty

c0f0466f9eea9180b8794529dac45c5267bd8ff5 authored almost 6 years ago by Yair Chuchem <[email protected]>