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

FuncType term

fa202a12af7d82aee4b1be1cb2cd7366e403e79f authored about 6 years ago by Yair Chuchem <[email protected]>
remove parens

972c358fba9291ded93fc8507ae8fa2ad47dbdb5 authored about 6 years ago by Yair Chuchem <[email protected]>
extract AST.Term.FuncType

c9779d2d908f9b0edcbe968274f33377730d843f authored about 6 years ago by Yair Chuchem <[email protected]>
assertion in IntMapBinding

b6d0a895981d1fe29687c9e08a682a222791b0ba authored about 6 years ago by Yair Chuchem <[email protected]>
towards data for unbound unification variables

31a65ebef4a749d49a83f1ac3d96607c17354dda authored about 6 years ago by Yair Chuchem <[email protected]>
remove Maybe layer

should speed up STBinding and maybe be slightly less efficient in IntMapBinding

c9628c5ae0425f5b5fabf39f7523b4d24ac6f0a3 authored about 6 years ago by Yair Chuchem <[email protected]>
newUnbound convinience function

26565095505d4eeff8281eb703c4147d22f994e3 authored about 6 years ago by Yair Chuchem <[email protected]>
remove unneeded type signature

b962efd05bb56913527f6a2152b8911d32d1e08c authored about 6 years ago by Yair Chuchem <[email protected]>
remove unfreeze not currently in use

1d71bd67d99c592c0abd1b641217168823569d87 authored about 6 years ago by Yair Chuchem <[email protected]>
style

ce82472bae4007a6b6e71f3a72f7c91399904ec3 authored about 6 years ago by Yair Chuchem <[email protected]>
move unifyTerms to let

fc4e52665d20e89c4b0598da4560b81d6293f476 authored about 6 years ago by Yair Chuchem <[email protected]>
unify: extract common logic

960c2d85a633069dc8d3216edc46bfa5d52874d9 authored about 6 years ago by Yair Chuchem <[email protected]>
applyBindings: extract common part

b8bf308f87a83a86c8a83dad8b6375edfb1c4e53 authored about 6 years ago by Yair Chuchem <[email protected]>
quantified variables are resolved

4618a6ed6f14abb77671a7df817fc7bbc27378d9 authored about 6 years ago by Yair Chuchem <[email protected]>
simplify unify

1479655ad0f862fbf0f73812b38674faa9835627 authored about 6 years ago by Yair Chuchem <[email protected]>
Infer: all terms are accessed via union-find variables

ff873eddcce8158c5c84e2e731a5525d70c7cd5c authored about 6 years ago by Yair Chuchem <[email protected]>
style

9a7ac184538b6f03eb32cb1cdfbc3ed780b65a1b authored about 6 years ago by Yair Chuchem <[email protected]>
Unification variable type is a knot

9fcabb159197054c55528fe62ee91b1a0a409fc0 authored about 6 years ago by Yair Chuchem <[email protected]>
simplified type for newVar

70ca3b853363a308648695e09be06ec661326379 authored about 6 years ago by Yair Chuchem <[email protected]>
hlint police

ec51c922196944d125ac722ad1e1f97aa1532563 authored about 6 years ago by Yair Chuchem <[email protected]>
stack.yaml: lts-12.24

fdfe1a5f3e90670dcac6a664f2da27f13dc16439 authored about 6 years ago by Eyal Lotem <[email protected]>
AST: Re-export Knot.Functor, add instances

267e306c7c02fb6e1869a42e50bd0e56436d2c3a authored about 6 years ago by Eyal Lotem <[email protected]>
minor cleanup

59cc9e00cb31d7c54d39eab5a1dd74c4a6247643 authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Knot.Functor

7562ea248782a1883a90eda79152317a969c384c authored about 6 years ago by Yair Chuchem <[email protected]>
Instances for Both

9d75377b304b981a2d3a98fdf514795ea7dca9de authored about 6 years ago by Yair Chuchem <[email protected]>
remove EmptyConstraint, not needed anymore

5fc278143840d7ac1c870b891fa547bd80b0ac65 authored about 6 years ago by Yair Chuchem <[email protected]>
Children TH better supports polymorphic embeds

8286c1f1315be80b683dc391c51356a2401131b8 authored about 6 years ago by Yair Chuchem <[email protected]>
extract toTuple

d0b329f4f9dcf07b6485770a5f45fbd2d3303d90 authored about 6 years ago by Yair Chuchem <[email protected]>
TH derive Pure's Children instance

a20a037596195ff39420e41fd18371d8afd8b45d authored about 6 years ago by Yair Chuchem <[email protected]>
split AST.Class.Recursive.TH

f5a992c28033b608317da98438124091c01d8a87 authored about 6 years ago by Yair Chuchem <[email protected]>
extract childrenContext

655b53fdfd078ee7bf8eedbc8052239342ef52e1 authored about 6 years ago by Yair Chuchem <[email protected]>
TH: Split Children and ZipMatch TH modules

03c8163716ba78ac74f8b1597341f4336b0e39a6 authored about 6 years ago by Yair Chuchem <[email protected]>
TH: add missing context

1b0d24cd874550b669fad841798e65719d2b5e92 authored about 6 years ago by Yair Chuchem <[email protected]>
applyBindings has reduced complexity (shares work for unification variable)

4fe72d1a8cdfd51d34c544e61b2dd531b4d349a8 authored about 6 years ago by Yair Chuchem <[email protected]>
Minor improvements

377ce0e0b434e791bff1b3b103ed3b80f46288fd authored about 6 years ago by Eyal Lotem <[email protected]>
example: another type synonym

9de0b8db40c2d8e0f25450d2b8d746117b351175 authored about 6 years ago by Yair Chuchem <[email protected]>
type synonym

f89bc8bbd19eb779f8514c8158ce3a210e661956 authored about 6 years ago by Yair Chuchem <[email protected]>
don't store data for occurs check in all tree nodes (only once per var)

3018fde07236189a8bd99d8d2cd05e799e723799 authored about 6 years ago by Yair Chuchem <[email protected]>
TH: don't make Recursive instances with contexts as these are currently buggy (should fix)

when co-recursive sturctures have type variables it adds wrong contexts (with variables not in s...

609c8ae63286deda3fa7442d5c3a18d47ea63b6e authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Knot.UTerm => AST.Unify.Term

44ea51783ecfa51d681cb547775f391bbcc03f68 authored about 6 years ago by Yair Chuchem <[email protected]>
revive AST.Knot.Ann.Arbitrary removed in Knot reform (used in lamdu-calculus)

81a2405987358b62fe9704ea6b30e43d08c47dc3 authored about 6 years ago by Yair Chuchem <[email protected]>
fixes for GHC 8.4.4

936cfddc2ca03afae64dbe964adee18664293992 authored about 6 years ago by Yair Chuchem <[email protected]>
remove unneeded annotation

3c13a900f321676b942c1f3d0181fb771a2b9635 authored about 6 years ago by Yair Chuchem <[email protected]>
Knot is a newtype

38daf473c634dba2da17afe1c04979a9c650933a authored about 6 years ago by Yair Chuchem <[email protected]>
update README

e277abebc4c00cff479242f730f05e1eb737160d authored about 6 years ago by Yair Chuchem <[email protected]>
ASTs are Knots!

3a7ea20e3a7ca4976ecd417c4da404ba260ed093 authored about 6 years ago by Yair Chuchem <[email protected]>
use wrap

d8e3031d3cea1e0ca13c42258d3956627bb642fe authored about 6 years ago by Yair Chuchem <[email protected]>
wrap=>wrapM, add wrap

12e9e584650f04fcf2978e86ff143777c7d8394f authored about 6 years ago by Yair Chuchem <[email protected]>
Language.Haskell.TH.Subst removed. Already available in th-abstraction

19ab09cf645d28653001032468852fc20a33ccce authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Class.TH: missing Traversable deps in contexts

dd2459f31bc8d0b0192679f8117fa54775de5e09 authored about 6 years ago by Yair Chuchem <[email protected]>
TH: rename ZipMatchCtr=>CtrCase as it is more general

20e80f6850bf18a2f2c73c2b90c7eaa9ce38c9f7 authored about 6 years ago by Yair Chuchem <[email protected]>
Unify supports resolution of , which is not necessarily an error

f5dc2fcd460a844d73277b78e92800d08a94ba4d authored about 6 years ago by Yair Chuchem <[email protected]>
TH instances: avoid constraints on non-polymorphic types

a6ee96da6195eadb754c6e421fda4660e2b8d460 authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Class.Children.SubTreeConstraint for easily expressing standalone deriving contexts

Replaces weird `IfChildNodes` class-based hack

ead425c0a2a62d43d9fac88852538ab00d56a754 authored about 6 years ago by Yair Chuchem <[email protected]>
AST.{Functor=>Knot}

These only happen to be Functors in this design, but their purpose is to "tie the knot".

0a00b40ae97620f075b68596c881ba5bbb94afa5 authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Class.TH: don't repeat contexts

f0fada5f7fcd765fa66ed4948823b0d10c85e2f1 authored about 6 years ago by Yair Chuchem <[email protected]>
example language has quantified type variables

c1777bf747c78d0a095efe33a9c518af0e2b9ceb authored about 6 years ago by Yair Chuchem <[email protected]>
style

68a09fe0fae7efb02769a359aa3e9ca21f6231a4 authored about 6 years ago by Yair Chuchem <[email protected]>
Use STRef's own Eq

df85a066fa317cfd033b5e1914b76e7ebc1d11e1 authored about 6 years ago by Yair Chuchem <[email protected]>
remove unused stBindingToInt

52d68ab561cfb637c0e50357c7625e0fee2f3811 authored about 6 years ago by Yair Chuchem <[email protected]>
Revert "localState"

This reverts commit ea06b38f20b161871cd0069db9615d79751e05c1.

Don't need it after all.

cf3ec85684c1fa812fc8faf31f36a5c26cfa46fd authored about 6 years ago by Yair Chuchem <[email protected]>
don't use `IntSet`s for occurs check

f0c136c62afe45411ff7e535234f2ed1e49bcf8f authored about 6 years ago by Yair Chuchem <[email protected]>
leafExpr for some optimizations avoiding work for leafs

379245be0b4b0c1f36a17af802feda927540de6d authored about 6 years ago by Yair Chuchem <[email protected]>
remove unused instances towards changing UTerm

f611a3bc667c3dbd4b91148020dca27b8c152561 authored about 6 years ago by Yair Chuchem <[email protected]>
rename unification vars type family Var=>UniVar

62822e91f594e8790561aafd04aecea3f864cebd authored about 6 years ago by Yair Chuchem <[email protected]>
applyBindings quantifies unification variables

the tests' example languages doesn't currently have quantified variables and they force them to ...

b89b80fc6875360617c45c41e548d15b33be2492 authored about 6 years ago by Yair Chuchem <[email protected]>
localState

btw: can libraries safely have hidden-modules and not worry about them clashing?

ea06b38f20b161871cd0069db9615d79751e05c1 authored about 6 years ago by Yair Chuchem <[email protected]>
Revert "Unification: explicit sharing to avoid recursing when matching identical terms"

The term-ids concept is redundant to the semi-prune algorithm,
where the unification variable id...

9617152ee18c23402df8f14a588513b8d48f41b1 authored about 6 years ago by Yair Chuchem <[email protected]>
rename MonadOccurs=>MonadUnify

daf69304f744b7697203f60de0bb2549a41e6681 authored about 6 years ago by Yair Chuchem <[email protected]>
Unification: explicit sharing to avoid recursing when matching identical terms

5346ff4daa0e3182840283d42d7cba950ab3a310 authored about 6 years ago by Yair Chuchem <[email protected]>
extract increase

3062f01a69af84cd1438de8791d55d3a761bddb3 authored about 6 years ago by Yair Chuchem <[email protected]>
oops simplify Recursive.fold

8e4ba9aaf6a1b0b2b252cd592e97faf61847ddac authored about 6 years ago by Yair Chuchem <[email protected]>
update README

d4960467280bef0fabf0d11f2cc5ed78a94cc2bd authored about 6 years ago by Yair Chuchem <[email protected]>
oops fix foldMapRecursive

b0e46a21ae4b73ec9e6d2ef4a245049153682b5d authored about 6 years ago by Yair Chuchem <[email protected]>
UndecidableInstance needed in GHC 8.4.4

337cf048f7bc8df917be375de53d88342172f6a1 authored about 6 years ago by Yair Chuchem <[email protected]>
`Recursive` class overhauled

Recursive is not a property of a type-class but of a class and expression combination,
meaning t...

b0a4659b2664e28de802d049eb02541913b3fc24 authored about 6 years ago by Yair Chuchem <[email protected]>
Unify: Compare representative univars before unifying

* Optimizes the case of unifying variables that point to the same
entity via different paths

94e03bcf37cf69a16fdd836dd050419a5572bdae authored about 6 years ago by Eyal Lotem <[email protected]>
Add EmptyConstraint, doesMatch

4f60b84e2e8cf8c42a94e5fd8cbdfe7904ea777f authored about 6 years ago by Eyal Lotem <[email protected]>
fold/unfold extracted from wrap/unwrap

2464a581b090dcab9b835e5b34ab8257740115b6 authored about 6 years ago by Eyal Lotem <[email protected]>
Recursive: Renames

f63e24c1ed616deb214da021df5936042bc7b332 authored about 6 years ago by Eyal Lotem <[email protected]>
Update .gitignore

c90157fdd00daca7c19c0efe6a5c327e4b273473 authored about 6 years ago by Eyal Lotem <[email protected]>
add instance

408eedf426ff9b437ccba2d9ab7aaf1847800c67 authored about 6 years ago by Yair Chuchem <[email protected]>
cleanup

65a2c601f9362e29c1946bcdd3316b3b52b90576 authored about 6 years ago by Yair Chuchem <[email protected]>
remove redundant constraint

ea5fb08a022c575c4d44e4ce5012a925c88374b0 authored about 6 years ago by Yair Chuchem <[email protected]>
extract src/AST/Class/Infer/Infer1.hs

b6b9d989a46967fab39631f601c568930850f063 authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Infer=>AST.Class.Infer

4c958aeacd05f0072a8ce8d65750b0058003df9e authored about 6 years ago by Yair Chuchem <[email protected]>
rename UnifyMonad=>Unify

b108cf634b0c016f1e59f99ad66495675712c96b authored about 6 years ago by Yair Chuchem <[email protected]>
generalize foldMapRecursive

5a2027192833dce3979f552cede25b238e865673 authored about 6 years ago by Yair Chuchem <[email protected]>
children_, foldMap{Children,Recursive}

87ab762e12f76bb123204e134cdb82380e032581 authored about 6 years ago by Yair Chuchem <[email protected]>
rename mismatchFailure => structureMismatch

as this isn't necessarily a failure in case of differently ordered RecExtends.

c5ed4c83bedf7edb782f486cc19234594097b4b0 authored about 6 years ago by Yair Chuchem <[email protected]>
applyChildren

b0a633c39dc2c0b5e6fa2c1ec5ce75276acb031f authored about 6 years ago by Yair Chuchem <[email protected]>
zipMatchPure

7424a8fa15391f5c0e0acd14e4c4459cf8c3dcf4 authored about 6 years ago by Yair Chuchem <[email protected]>
missing instances

bfa37bda5782b951efd07628e29a3fae1d274aec authored about 6 years ago by Yair Chuchem <[email protected]>
Eq for Lam even though it is not alpha-equivalence

241bf49633fccf21c58aea5175339b7653052302 authored about 6 years ago by Yair Chuchem <[email protected]>
more instances

2e89e1516f8723ac8a64ec6331c27d3114d0c0a9 authored about 6 years ago by Yair Chuchem <[email protected]>
instances

3ada876910e045fc2a269dcd669cdc6e0b85e8a0 authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Term.Map

5a17cdc5f3c4b4a3c6fbbc413f90c1d63aab59ab authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Class.TH: also support Node type synonym in expanded form

939f3111f9c34d871ed2e611388cf6dd0f29d9c8 authored about 6 years ago by Yair Chuchem <[email protected]>
export monoChildren

edcaff261cf4aaab3b613b11ee2812aa6988306f authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Term.Lam

2b2c7ce331fddf5fe92ceecc081fdc0a5edafbf1 authored about 6 years ago by Yair Chuchem <[email protected]>