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

top-level re-export module

2d2f35cd061a28bd8b972951b6e95142a3e021c7 authored about 6 years ago by Yair Chuchem <[email protected]>
module hierarchy changes

06b7d8246957f99a8f3f6ca748d5e7ef0b2bcc3d authored about 6 years ago by Yair Chuchem <[email protected]>
infer returns types for all nodes

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

9393899d616abba864015830ec18a2e38806fbf3 authored about 6 years ago by Yair Chuchem <[email protected]>
less Proxys

2eaac659d11573a356a0fe0a8a6bd84624ab6d85 authored about 6 years ago by Yair Chuchem <[email protected]>
sameTypeAst isn't needed

1f57d1065b58d980dd9dbefe5c6ccc4d23baae73 authored about 6 years ago by Yair Chuchem <[email protected]>
Rename OccursMonad => MonadOccurs

This is like MonadReader, MonadState etc.
Didn't rename UnifyMonad and InferMonad because the mo...

d382f40ec7018b418867b97c2f8973bd8216d3f5 authored about 6 years ago by Yair Chuchem <[email protected]>
clean up example

2eb99857fbb04292cda6ceab2f72290df8da2d4d authored about 6 years ago by Yair Chuchem <[email protected]>
Scope: deBruijnIndex is a prism, add functions to construct terms

24786deee18d1035d8381a767b96e1ac0feab66c authored about 6 years ago by Yair Chuchem <[email protected]>
slightly less simple example

08e132ca6f742d3f55bd871d41ee18c1fec2f38c authored about 6 years ago by Yair Chuchem <[email protected]>
Scope's InferMonad instances moved to its module

65aa40eea87a5d7b7f226d76426a0ffd0376b04b authored about 6 years ago by Yair Chuchem <[email protected]>
close imports

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

Implements instance for Scope/bound

8304aca5fbec4b7ebf63d422a3729d3691d27442 authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Apply for apply construct common to most languages

4d19d7f393f27e4a69e7bf1ff0d6969f68febfcf authored about 6 years ago by Yair Chuchem <[email protected]>
AST.TH: Contexts for ZipMatch

34d09ea31b6f011985c259d0b729e73f45209c1c authored about 6 years ago by Yair Chuchem <[email protected]>
TH: helper record

be815d1ba07aceac9579c6cb549f25b1bfdd89c0 authored about 6 years ago by Yair Chuchem <[email protected]>
instance ChildrenRecursive (Scope expr a)

2e88608f4fcbeb05486db883b84c1bc6796e2d66 authored about 6 years ago by Yair Chuchem <[email protected]>
Remove unnecssary Proxys

9aead8d76b200178a8e90c467b7b00084d7cd687 authored about 6 years ago by Yair Chuchem <[email protected]>
remove unusable Show instances

should solve it, maybe via a Show1 thing

e241340da00828b69a53884a06c261576d2b8530 authored about 6 years ago by Yair Chuchem <[email protected]>
AST.Scope provides a Scope in style of the bound library

b0c63fc4c01882359f4d1a437d4db7b34bd3fa13 authored about 6 years ago by Yair Chuchem <[email protected]>
Spec: LamBindings parameterized

88da711d26910c2cf9f4fc4a9b0a695fd09492f1 authored about 6 years ago by Yair Chuchem <[email protected]>
makeChildren also makes ChildrenRecursive instances

1e9c5f2890c9f97b979b5d22c7f616f9630bcb81 authored about 6 years ago by Yair Chuchem <[email protected]>
TH: extract TypeInfo record

b7e88a04143f167f0db5bb0fee443f83b9e32d50 authored about 6 years ago by Yair Chuchem <[email protected]>
extract overChildrenRecursive

20541cfd4ff1386ee966926d8782b1abe5c429da authored about 6 years ago by Yair Chuchem <[email protected]>
extract AST.Mono

73008b4ad2b0048773101729136a82990414351e authored about 6 years ago by Yair Chuchem <[email protected]>
oops maintain package.yaml

56922edf63995512e30c40c84f35565afaaeb3bd authored about 6 years ago by Yair Chuchem <[email protected]>
makeChildrenAndZipMatch

58c894636d46c07726a3a19563972d622e71c256 authored about 6 years ago by Yair Chuchem <[email protected]>
nicer types for fold/unfold

413c796c05de63786bb7ed9476f4a92551579cf3 authored about 6 years ago by Yair Chuchem <[email protected]>
add unfold, para

41d93d5d7c1973e86b4e79633eb3fea6cd2d94c5 authored about 6 years ago by Yair Chuchem <[email protected]>
generalize type of fold

589d8a15f4952bab3145df6c1ccaff68bd7090e2 authored about 6 years ago by Yair Chuchem <[email protected]>
Recursive is a property of a class

can implement `fold` (`cata`)

1c59f1cebf588d2706d1fb2e234da3ea1525b65e authored about 6 years ago by Yair Chuchem <[email protected]>
use kmett's constraints and not constraint!

87a407715d682a68e1f3326aa3bbfd608735db55 authored about 6 years ago by Yair Chuchem <[email protected]>
add instances for UTerm

8501c027b77f87d9c021ae9c4f08e571976510e8 authored about 6 years ago by Yair Chuchem <[email protected]>
extract AST.UTerm module

93eb1e96900e61f3712c063ddb21dba19f1e4b4a authored about 6 years ago by Yair Chuchem <[email protected]>
add instance for Const

318cede067a076ba31836afd36a9b59791230682 authored about 6 years ago by Yair Chuchem <[email protected]>
fix comment

8c33448a82cf5e706bb3ef99df9bde50934d8f59 authored about 6 years ago by Yair Chuchem <[email protected]>
default implementation for mismatchFailure assumes Alternative

780b1e8e97829060606ef7c08bd9ef59c1592669 authored about 6 years ago by Yair Chuchem <[email protected]>
UnifyMonad supports reporting detailed errors.

So that the unification would also be useful for text-based compilers.

e25de283655c87f983acb75936def45c44535474 authored about 6 years ago by Yair Chuchem <[email protected]>
zipMatch fails purely (Maybe on the outside)

a71cfb3982909c1ec35ec9b92b699e7ec4487b47 authored about 6 years ago by Yair Chuchem <[email protected]>
hoistNodeR

d2a3714f5550f287110e347a1b889cfd18198530 authored about 6 years ago by Yair Chuchem <[email protected]>
close import

11e5142a7df22ac8ee8d9d181952f2457f77c2ee authored about 6 years ago by Yair Chuchem <[email protected]>
add IfChildNodes shortcut

b31b9f045c7a1ce030efebc58303d00469b733fb authored about 6 years ago by Yair Chuchem <[email protected]>
small cleanup

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

89bd4c34e7725b8f74e7b1dc696796a280581607 authored about 6 years ago by Yair Chuchem <[email protected]>
close imports

b26d907558072b981e50f1ef7056c089659ab733 authored about 6 years ago by Yair Chuchem <[email protected]>
translate ST binding vars to int identifiers and see it results the same as IntMapBinding

6317159a641c6b0df641f6b790a0adf82937026a authored about 6 years ago by Yair Chuchem <[email protected]>
IntBindingState => IntMapBinding

86f26ef1d39f4f1bf913e918f35928b082aed97b authored about 6 years ago by Yair Chuchem <[email protected]>
STBindingState works!

Currently can only type-check without getting the type out -
`s` variable would escape - need to...

86193a86fea16482bfdbf97cfc83aec50519c156 authored about 6 years ago by Yair Chuchem <[email protected]>
remove unneeded code

024de79688f51fe23a1e9f2e10f81aefd587ee3a authored about 6 years ago by Yair Chuchem <[email protected]>
generalize stBindingState

5bb9b2e64216183ff71d6139497b115bd137230e authored about 6 years ago by Yair Chuchem <[email protected]>
generalize infer

Note that when `UndecidableSuperClasses` was used this change caused GHC to get stuck!
Using `Di...

d197f00ed5b5352e06885fde7eb0f27ac936ba35 authored about 6 years ago by Yair Chuchem <[email protected]>
get rid of the rest of Undecidables

5281836d8a6fe4f9922351ba1490999b38403509 authored about 6 years ago by Yair Chuchem <[email protected]>
avoid Undecidable{SuperClasses,Instances} by using Data.Constraint.Dict

0bb9ba0f9ee3ab553b091b94b3d1f399997cc6b5 authored about 6 years ago by Yair Chuchem <[email protected]>
use hoist

7bc40dd8772d666bc9d426add8cf993bf8057a89 authored about 6 years ago by Yair Chuchem <[email protected]>
split hoist to hoist{Node,Body} and remove redundant constraint

71a9488cd6993169e8f5e0f659196228892eff81 authored about 6 years ago by Yair Chuchem <[email protected]>
UnifyMonad's variable is a type family depending on the monad.

* I believe that this is required for `STBindingState`
* `visit` no longer requires a `Proxy` va...

5a444951b8d6677a66ca922302416d5daa49155f authored about 6 years ago by Yair Chuchem <[email protected]>
remove currently unused function

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

eeda9e9a5de41494f3adbf659bcafea568cff0d3 authored about 6 years ago by Yair Chuchem <[email protected]>
oops test defined non-terminating instance search

1560f7b016f2beaa502e736fff2cdc482250cca5 authored about 6 years ago by Yair Chuchem <[email protected]>
test: extract TermLang module and move type lang related stuff to its module

cb6d0a112aca3e1187882ae9eb40da20aede56b5 authored about 6 years ago by Yair Chuchem <[email protected]>
extract test language to module

fe132934ce8e5f91daff00648a3622e82afb5af5 authored about 6 years ago by Yair Chuchem <[email protected]>
type synonym in example

a43a7eee82ead61c914af2a2fd3aac8a8f0258d0 authored about 6 years ago by Yair Chuchem <[email protected]>
STBindingState

4a9e4a277f7957626cf3792fc5c35e1574931b90 authored about 6 years ago by Yair Chuchem <[email protected]>
unify with pruning

9df116aba644c45bd58102f88ff919a3c9d5500e authored about 6 years ago by Yair Chuchem <[email protected]>
inline unifyBody

07251d486cde5b1ad97a8fc20f5652b36be8c6ac authored about 6 years ago by Yair Chuchem <[email protected]>
ChildrenWithConstraint type synonym

e995cd9ef85cb67dc2142dcbbb959925dd2f3648 authored about 6 years ago by Yair Chuchem <[email protected]>
simpler without ReaderT

52cf0c3959b852d3dae448c6b0d9454ddb620e5f authored about 6 years ago by Yair Chuchem <[email protected]>
add generated cabal to git because nix apparently requires it

d9e62518b72d6584b75fde07352e4c80ca90599e authored about 6 years ago by Yair Chuchem <[email protected]>
Occurs check in applyBindings

aafb9ea0f85f9b9edb05159f62249dc0501a8c86 authored about 6 years ago by Yair Chuchem <[email protected]>
extract fullPrune

5381a39f607b4635a68ecd78f3c7c03c49d89f22 authored about 6 years ago by Yair Chuchem <[email protected]>
Remove Variable class

getting an Int id could overlap between different variable namespaces,
should come up with diffe...

b79afeccdaa8036bef77d600bc9a419570cfea66 authored about 6 years ago by Yair Chuchem <[email protected]>
extract Language.Haskell.TH.Subst

8740d915f3d7ddd7c6470638d4a37051741392d0 authored about 6 years ago by Yair Chuchem <[email protected]>
AST.TH: DRY and generalization

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

f11955414a8dd81f28e7483156709fb72c436617 authored about 6 years ago by Yair Chuchem <[email protected]>
Oops avoid infinite cycles in TH again

a9cca9e3d2db5888a8add0142ba1459939dda17a authored about 6 years ago by Yair Chuchem <[email protected]>
work in progress on making AST.TH work for Lamdu.Sugar.Types.Expression

b7aea8ef73f1a09022c365bb8197bbe9c207bdcc authored about 6 years ago by Yair Chuchem <[email protected]>
avoid infinite loops in TH

047156024c3b4a48af76aa09ab21995515214dc1 authored about 6 years ago by Yair Chuchem <[email protected]>
AST.TH fixes for types with more parameters

da3ee771a223d6e77a001687b07babaa23e9a48a authored about 6 years ago by Yair Chuchem <[email protected]>
remove unnecessary constraints

db1e6e3df287d95140f5e5b348bae9c0983bc0a8 authored about 6 years ago by Yair Chuchem <[email protected]>
makeChildren also derives ChildOf when suitable

1a9d3c08c408a385df7209aadf6f358e2e074f32 authored about 6 years ago by Yair Chuchem <[email protected]>
ChildOf type family for monoChildren

f50bf75b557993e054231cc32791ea89fa3580b8 authored about 6 years ago by Yair Chuchem <[email protected]>
add monoChildren

253702774a1a5d254eefb2b06e2f6da9e6dbbc02 authored about 6 years ago by Yair Chuchem <[email protected]>
makeChildren supports more cases (which occur in lamdu-calculus)

69a02c9351a6944c6f5dee24ea6422e87c4b75ed authored about 6 years ago by Yair Chuchem <[email protected]>
fix warnings

ec27732bf2211b0e54cc2948f816c846ccb9d447 authored about 6 years ago by Yair Chuchem <[email protected]>
ghc options

ce9510eb1450e1c55b9c0e93ec1f59ca8c592709 authored about 6 years ago by Yair Chuchem <[email protected]>
remove scafolded app

b639a43faaa72b5e85f656dffd47a2a10770844e authored about 6 years ago by Yair Chuchem <[email protected]>
imports yak shaving

ad3a155e7ccf6c4f21395d9f3f9e8c3808cde061 authored about 6 years ago by Yair Chuchem <[email protected]>
makeZipMatch!

8326e509fe898c13dfcef27a970eab2950ce061b authored about 6 years ago by Yair Chuchem <[email protected]>
AST.TH.makeChildren for less boiler-plate!

Note that the TH isn't necessary comprehensive for all possible cases,
but does support the exam...

e7ba9c5ce4b4254ccc931d9ef0538783855848b5 authored about 6 years ago by Yair Chuchem <[email protected]>
ZipMatch

4b77e5b00b2f030a0c019c132e2ad284586c2618 authored about 6 years ago by Yair Chuchem <[email protected]>
cleanups

44beb9eb83a9e565ae5227d41dc78ba9f0503707 authored about 6 years ago by Yair Chuchem <[email protected]>
-Wall, remove imports

31e32144656f16cf7d0d3b4019857161edaeacb6 authored about 6 years ago by Yair Chuchem <[email protected]>
oops remove commented out code

de987cce35cdff52fc7ee2c68c2ec05a9bfe60e6 authored about 6 years ago by Yair Chuchem <[email protected]>
simplification

d7de1b15a84c4d33d9e36edfada85c0996b501ae authored about 6 years ago by Yair Chuchem <[email protected]>
don't need FlexibleInstances

0671fb5623e82e0cf0c8bf005ab61f05eac39fe6 authored about 6 years ago by Yair Chuchem <[email protected]>
no more boilerplate! UnifyMonad doesnt need applyBindingsBody!

c663f45dad1d263057c3f1735dd292e944dbf523 authored about 6 years ago by Yair Chuchem <[email protected]>
ChildrenTraversal type family, reduces boiler-plate in example

1d5b4216006209049e02fac61abde23b2ed7c8c7 authored about 6 years ago by Yair Chuchem <[email protected]>
UnifyMonad requires Children

Towards trying to find a formulation of applyBinding without boiler-plate..

a7c515a8956ec3e1fec83a4d8162d9dfbc5ed8d2 authored about 6 years ago by Yair Chuchem <[email protected]>
qualified import of Lens

31f4906a5399480b8ffad73638de41d5c68adef5 authored about 6 years ago by Yair Chuchem <[email protected]>
use GHC 8.6.2

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