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

extract AST.Class.HasChild, need better name

6759850bfa0a77550b71b1a103188375ac29a76b authored about 6 years ago by Yair Chuchem <[email protected]>
rename: IntInfer=>PureInfer

79e1ed2c7062a97274edfe207971df1e70df86cd authored about 6 years ago by Eyal Lotem <[email protected]>
Terms are pretty printed

bd394580bd016bc47133d2f357970650b859414d authored about 6 years ago by Eyal Lotem <[email protected]>
Use Sequence rather than IntMap

dedcf74292b207c524603faeaaa2c187f9e33c59 authored about 6 years ago by Yair Chuchem <[email protected]>
IntMapBinding=>PureBinding

7cf0869208dad935bf9a5b65dc3354857b5cb69a authored about 6 years ago by Yair Chuchem <[email protected]>
add comment

ba85cc01e7347d599979b03689aaa9a195273583 authored about 6 years ago by Yair Chuchem <[email protected]>
nextFreeVar -> nextVar

77f2bb371bdbc2ffd01870bd19759b70b6a7a4d0 authored about 6 years ago by Eyal Lotem <[email protected]>
TODO, Style

d532d9899612115683e1a577ef4f36bba28d65b4 authored about 6 years ago by Eyal Lotem <[email protected]>
TypeSig: Flip order of fields

4d2d5ead4a424395c76c3720d474eac35bfba6b0 authored about 6 years ago by Eyal Lotem <[email protected]>
Pretty instances have precedence support

3b95f85ba6811c216a16ce04830b3241c454c274 authored about 6 years ago by Eyal Lotem <[email protected]>
oops add to cabal file

16d8fc1b6acaa9aea602c04dec3e1a9958099804 authored about 6 years ago by Yair Chuchem <[email protected]>
rename QuantificationScope=>ScopeLevel

51d0fa570af895888e2da4729cc16953cbccea5f authored about 6 years ago by Yair Chuchem <[email protected]>
extract module AST.Class.Infer.ScopeLevel

4e124b973ea1fb4fa0cf9feacde23ce6eaccc409 authored about 6 years ago by Yair Chuchem <[email protected]>
remove MonadUnify and strip contents of TypeConstraints class

b9e21b02c1eaf50fc97d97cd1963d82e6c87609a authored about 6 years ago by Yair Chuchem <[email protected]>
Pretty print types

968d1d8f5c69c15922ba76e2cd622dcf68be669f authored about 6 years ago by Eyal Lotem <[email protected]>
Remove unused instance

73ac347a6f354edbcd2449a8c227e7d07f875f00 authored about 6 years ago by Yair Chuchem <[email protected]>
add failing test for rec-extends with different order

f952d95b69a0c25e9447dd8d29031c85113cc9c6 authored about 6 years ago by Yair Chuchem <[email protected]>
example: add missing structure mismatch handling

8a81146673de6404ba0122f93c6da83cf87630e8 authored about 6 years ago by Yair Chuchem <[email protected]>
test: Reduce duplication

5912b70a2236412c486bb4670b6042cf9c5c0579 authored about 6 years ago by Eyal Lotem <[email protected]>
test: Rename expr=>lamXYx5

8b0636644b6b01e4b4c61255efe29a9982bac399 authored about 6 years ago by Eyal Lotem <[email protected]>
test: convenience combinators

f423001a90ffce0554ada4727100902c85e8904f authored about 6 years ago by Yair Chuchem <[email protected]>
propagateConstraints=>applyConstraints

65a2e1d5a77509792519df203dc4922f056f0211 authored about 6 years ago by Yair Chuchem <[email protected]>
RowConstraints class

23b7784774c93846909ee02b84a2526b84ec33a3 authored about 6 years ago by Yair Chuchem <[email protected]>
test: rename RowConstraints=>RConstraints

2a3ea62aceca44223a42df2f6fdbf802142e9cd6 authored about 6 years ago by Yair Chuchem <[email protected]>
oops removed call to localLevel

5e265bfbf3a6b9182fc27a14ff21dbd8a8fcedb8 authored about 6 years ago by Yair Chuchem <[email protected]>
generalize reads scope level from environment

88ad103dedf6dc459a4b627edf273009628e4927 authored about 6 years ago by Yair Chuchem <[email protected]>
minor cleanup

c48092265ab98a4d1d4bb055dc7b4d903d3b914e authored about 6 years ago by Yair Chuchem <[email protected]>
Recursive constraint implies constraint automatically

cf969e4f379bca04dfd8adddd5dd539c508c038a authored about 6 years ago by Yair Chuchem <[email protected]>
remove partiality

38eb6a9a1ddd7369c455b47108dbb1619a2ebea9 authored about 6 years ago by Yair Chuchem <[email protected]>
positional Show instance for RowExtend

c1ea7727c68637b3ff9e92ceeb84caf2e3d47a00 authored about 6 years ago by Yair Chuchem <[email protected]>
Revert "RowExtend has a map of fields"

This reverts commit 28cb3b6239be74750bfeacd993d89177e1a9a916.

0c15c13b04849860c5ed8a6cc692a172291f6b8d authored about 6 years ago by Yair Chuchem <[email protected]>
Constraint checking on propagation (can fail)

0d904a05d63a57a45abde622989fb4d05c52699b authored about 6 years ago by Yair Chuchem <[email protected]>
records in example language - last test demonstrate that the constraints don't yet work right!

32baabb839e5298096edfc96ff5edd1571b47666 authored about 6 years ago by Yair Chuchem <[email protected]>
HasTypeConstraints class

073dfb0bdc7147c057b0ca64d8e3be5000cd1926 authored about 6 years ago by Yair Chuchem <[email protected]>
TypeConstraintOf moved to AST.Unify.Constraints

d47463f473ba093772729227632ee74d292f4c1e authored about 6 years ago by Yair Chuchem <[email protected]>
Got rid of ScopeConstraints type family

Couldn't think of an example where it would be something other than QuantificationScope.
This ma...

4f1cac4640e26c4749496809334814c42690de89 authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Unify.{QuantificationScope => Constraints}

b0a502f65f3959f71d162dc8f1b43618ee24ea64 authored about 6 years ago by Yair Chuchem <[email protected]>
Fixes for RowExtend

(stumbled on issues when trying to integrate it to example language)

38d6730785941ea14c867c956ca6361759a734f7 authored about 6 years ago by Yair Chuchem <[email protected]>
newQuantifiedVariable reports constraints

9cc52b0d66d52f841e6ef7880fc4cdfcb224127c authored about 6 years ago by Yair Chuchem <[email protected]>
RowExtend has a map of fields

28cb3b6239be74750bfeacd993d89177e1a9a916 authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Term.RowExtend

38de66a83c776bf667abf9a1603adaa7f074a2cc authored about 6 years ago by Yair Chuchem <[email protected]>
add typeScopeConstraints lens

e489fba0663dc504b6b4205139ee8048cd97bb26 authored about 6 years ago by Yair Chuchem <[email protected]>
Split long language pragmas

Avoid horizontal scroll!

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

b5a899dea219e6c9735922ef34ea16c12c579c13 authored about 6 years ago by Yair Chuchem <[email protected]>
default for liftScopeConstraints

0c1ec4b59d2476810a0f3593dde01acee3e1c501 authored about 6 years ago by Yair Chuchem <[email protected]>
Constraints support

d60b7299e40a78abe63c90322b63282f0e7cde32 authored about 6 years ago by Yair Chuchem <[email protected]>
remove redundant extension

7b356d29595450a99ee4cf3f3caa0c77b5c0cd13 authored about 6 years ago by Yair Chuchem <[email protected]>
generalize gets the inner scope level

c1c387f059a00d77fd5ee784bc507aa0c75e0fc5 authored about 6 years ago by Yair Chuchem <[email protected]>
Test: add another example

a6eca3c79ed51cb281a77666ed79ee80a2cc801d authored about 6 years ago by Yair Chuchem <[email protected]>
UnifyMonad for creating unification terms (with current scope constraints)

Towards generalizing constraints mechanism to support more than quantification levels

1a9c38d4c4da8c4a8393398697ef73be7ec9260c authored about 6 years ago by Yair Chuchem <[email protected]>
rename uLevel=>uConstraints

8f473b235e5724c0f1fb691924a45a1c0a09b375 authored about 6 years ago by Yair Chuchem <[email protected]>
remove redundant withDict

e9392c2cacdf3c2c1052ad1f0831997fa54727b8 authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Class.Combinators.And

e23a5b103edad8e07a9e62b2f2a59d61ff44512e authored about 6 years ago by Yair Chuchem <[email protected]>
extract updateChildConstraints

e999600d49420e62a61a9199dcc5d53528f59c0a authored about 6 years ago by Yair Chuchem <[email protected]>
renames. InferLevel=>QuantificationScope, updateLevels=>updateConstraints

5599f41ff9f0702dda58a3186c03a778ce261e1a authored about 6 years ago by Yair Chuchem <[email protected]>
pacakge.yaml metadatas

dc9c8f657749ce34b02eecc74dba020c9619b58a authored about 6 years ago by Yair Chuchem <[email protected]>
split library deps and test deps

aaee11625128df19419faa2ebda72854b2f323c8 authored about 6 years ago by Yair Chuchem <[email protected]>
now that monads are specific to infer LangB, remove unneeded type variables

3ca4af80fc38ea0ab0fc41bbed571281751ce6d8 authored about 6 years ago by Yair Chuchem <[email protected]>
Monads to infer LangA and LangB moved to their modules

695563e73a8be3e77a7abc7e5a3364af4ab78ef6 authored about 6 years ago by Yair Chuchem <[email protected]>
newStQuantified moved to lib

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

6346faabb1d464b0be5773b4c870413abefd07fa authored about 6 years ago by Yair Chuchem <[email protected]>
Remove unused instances of UTerm, will make changing it easier

2583ed8322af98b04270772edda14367e4a98c73 authored about 6 years ago by Yair Chuchem <[email protected]>
remove outdated comment

68bb65da66f76b93e5d4804c7217af82466f1fd0 authored about 6 years ago by Yair Chuchem <[email protected]>
rename UniVar=>UVar

ef94ac97874c5793fdbd71fe8989af6de3f364d3 authored about 6 years ago by Yair Chuchem <[email protected]>
Let with generalization!

908c993b3656e9102097a0ee2261e658aeff0901 authored about 6 years ago by Yair Chuchem <[email protected]>
Simplify Instantiate class

14fa2aea5b7130b5c6eff040086979736cb24713 authored about 6 years ago by Yair Chuchem <[email protected]>
Add NFData instance for Ann

8b6e79b37fce6b9288d596c64e4936c660f0e907 authored about 6 years ago by Eyal Lotem <[email protected]>
remove unneeded extensions

cb3df61f845611a4258f8f221d074a05c050fe91 authored about 6 years ago by Yair Chuchem <[email protected]>
add a simple test language LangB (no tests for it yet)

926304a9eb47670d8b5f30d262fc70a25d9cc256 authored about 6 years ago by Yair Chuchem <[email protected]>
oops Lam reuses Var's MonadScopeTypes

8710cef56b1485219baa655ec07b35fc4ff046bc authored about 6 years ago by Yair Chuchem <[email protected]>
remove unneccessary withDict

daea3d30bfaf479247adc4c208e42d2eeddfe656 authored about 6 years ago by Yair Chuchem <[email protected]>
export prisms

363dd5da61a73bf93ef387f8bcdcd5c7ec37c852 authored about 6 years ago by Yair Chuchem <[email protected]>
Test: TermLang=>LangA, towards adding LangB with named variables

0fdc94868a62cc64b99a0559fc7fb0a7a658ef49 authored about 6 years ago by Yair Chuchem <[email protected]>
Var generalized to support let-generalization

533830c02057028b87944b7159c04fd2be458f0f authored about 6 years ago by Yair Chuchem <[email protected]>
Split Var from Lam, towards re-using in Let

8dddd5adc7b922ca8bc6d3d3455dccb516fca61a authored about 6 years ago by Yair Chuchem <[email protected]>
use type synonym

ced0fc67c8e3de1e1dbdc70c942051bd229e25e8 authored about 6 years ago by Yair Chuchem <[email protected]>
use lts-13.0 (GHC 8.6.3)

2f59b3b86a0b75151c1d69d5b2c279586ba40619 authored about 6 years ago by Yair Chuchem <[email protected]>
Skolems & generalization support - levels

This is the algorithm described at http://okmij.org/ftp/ML/generalization.html#levels

0b0d662536db11ffed35ea82bea44f1c52c1cbe4 authored about 6 years ago by Yair Chuchem <[email protected]>
Schemes and initial skolems support.

Currently skolems cannot unify with anything,
but there is no definition or check of skolem esca...

8320097364f8ca38666838f8a87d555d46fadb5f authored about 6 years ago by Yair Chuchem <[email protected]>
reuse type synonym

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

a6765080eea71de1acd5de5efc3ad8e0ac0ca66a authored about 6 years ago by Yair Chuchem <[email protected]>
export lists

e0ffd17512a6ee10eb721198a140740184b729c2 authored about 6 years ago by Yair Chuchem <[email protected]>
extract common context

555c7d5923134e66544b16e12543f5666f180a9a authored about 6 years ago by Yair Chuchem <[email protected]>
InferState turned to Types knot

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

3b9368bfbde65d48356ea5af6dd8927ddd3a3fea authored about 6 years ago by Yair Chuchem <[email protected]>
quantifiedVar is a prism

2e0c5c108b3014dfe09094b3215e49b052e68fb5 authored about 6 years ago by Yair Chuchem <[email protected]>
remove stale comments

f36824f1d93b2defae6a08522df34f52da1001c9 authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Class.Instantiate for instantiating types from schemes or types

e18ae7e07448ca50ac34424796dc79e930e3f8bd authored about 6 years ago by Yair Chuchem <[email protected]>
TypeSig parameterized on type towards supporting schemes

f82662c1a7826a9b60ae806cf27a540f3344388d authored about 6 years ago by Yair Chuchem <[email protected]>
TypeSig is parameterized by the knot for the type

This should allow doing kind-checking, etc

90c43a82cf60bcfe597245ddcca49a68370db3d2 authored about 6 years ago by Yair Chuchem <[email protected]>
use show-combinators

as recommended in https://stackoverflow.com/a/53870520/40916

395b50ecaeb76a60e24bd258f76def5fe4cab06c authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Term.TypeSig

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

This reverts commit 1d71bd67d99c592c0abd1b641217168823569d87.

9b9dfca6894a982ad6429481ed9289084bacfa4d authored about 6 years ago by Yair Chuchem <[email protected]>
Unifying terms stores pruned term, structureMismatch may provide resulting type

039d597a4bc1fff0197b6e7c7f3a9007dd010e2f authored about 6 years ago by Yair Chuchem <[email protected]>
prune when unifying terms

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

58a0c050bf1939630489970fbb33fd2801b5df37 authored about 6 years ago by Yair Chuchem <[email protected]>
use SubTreeConstraint

7f8ae0f77e8a17923ed6e01dbdab8014e138a82c authored about 6 years ago by Yair Chuchem <[email protected]>
fix(?) show instances

4dbcb27b2d143c068471e51d9e6748dfd0cfe4b0 authored about 6 years ago by Yair Chuchem <[email protected]>
Children.TH: Missing embeds in SubtreeConstraints

0903e709b0dc3ae8e4d66ea1b745dad3cc351dab authored about 6 years ago by Yair Chuchem <[email protected]>
improve show instances

9929fed1818baf645eeb15635ad30ca0888929a3 authored about 6 years ago by Yair Chuchem <[email protected]>