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

makeHMorph works for TermMap

1147fc7d41ba79b637200088ee5cfbe3533ae9ab authored about 4 years ago by Yair Chuchem <[email protected]>
makeHMorph supports Var

6fdc06b2f501785bc48c850831dc58f1868adb17 authored about 4 years ago by Yair Chuchem <[email protected]>
Hyper.TH.Morph: initial impl works for the simple cases

6a650cfb912fac447c35bcb354e35454c0e17478 authored about 4 years ago by Yair Chuchem <[email protected]>
MorphConstraint

a0d254729ad71c15d7a35c0a6f93c9ed78bead5b authored about 4 years ago by Yair Chuchem <[email protected]>
HMorph

d84885ba018b59afb42f1bb6615c08d1c2950935 authored about 4 years ago by Yair Chuchem <[email protected]>
Add documentation

81980f7b7b59e9d0bbdb91e34274a8a1517d801a authored about 4 years ago by Yair Chuchem <[email protected]>
Fix warnings from VS Code Haskell extension

* 3 warnings from generated TH code not fixed
* Not sure which options for tools outside of VS c...

3f6143ad32a308b9e8fa48cb259b50fe7fc6c856 authored about 4 years ago by Yair Chuchem <[email protected]>
GHC 8.10.2 compatibility fixes via eta expansion (and update stack.yaml to use stackage nightly)

e235fb5e05d049d11cfcc0050eeec92dbf163ae3 authored over 4 years ago by Yair Chuchem <[email protected]>
Eta expand where it makes things shorter

Also happens to be half the fix required for GHC 8.10.2 :)

959493cee0871ed274a9666d64e6f63268b86f0d authored over 4 years ago by Yair Chuchem <[email protected]>
Suppress hlint camelCase warnings

ee177058a63cef81c0d32931aa63f7b8c4ee6ed4 authored over 4 years ago by Yair Chuchem <[email protected]>
remove redundant imports as warned by GHC 8.8.3

8cd61fac486b3d2f0bd08a8bc216e279c3306bbb authored over 4 years ago by Yair Chuchem <[email protected]>
README fixes to reflect usage of GHC.Generics combinators

Originally hypertypes had instances for Data.Functor.Sum
but due to that type having faulty inst...

c8b497d06cb901e3b8f38afb2905b9fe17c960b9 authored over 4 years ago by Yair Chuchem <[email protected]>
hlint police

c3e30f06415d6eb90b9b9a395861c935e3d9dd8f authored over 4 years ago by Yair Chuchem <[email protected]>
use latest stackage lts

generic-constraints is in lts now

074c5d5aac4fc51e0c66e7b8fbf5ba28797625a2 authored over 4 years ago by Yair Chuchem <[email protected]>
Remove redundant constraints in makeHTraversable

cde184d32912ac852c6f7f074df0a718fe77f387 authored almost 5 years ago by Yair Chuchem <[email protected]>
Annotated type synonym is a hypertype

Usages now need to use the (#) operator, but:
* It is more consistent
* It is also usable in the...

95925a374169870b09b8d1268e79416fac5f41ab authored almost 5 years ago by Yair Chuchem <[email protected]>
Merge pull request #6 from masaeedu/patch-1

Typo

20e18791b67184da0e52c39ccb590610dfc7c377 authored about 5 years ago by Yair Chuchem <[email protected]>
Typo

fab88333e86faff6c694a41729fc96caf2a85a8e authored about 5 years ago by Asad Saeeduddin <[email protected]>
simplify structure mismatch (usages dont use constraints)

2445737f9045b349e04c5a0db9aedcb395bbf292 authored about 5 years ago by Yair Chuchem <[email protected]>
avoid using UVar for quantified variables counter

b4f59260fadc0fd9c2ceab8421b99d0030c3c324 authored about 5 years ago by Yair Chuchem <[email protected]>
Fix naming: fresh quantified vars, not unification vars

fd6343754dd8e10f7295c0308c67daec9f4b9549 authored about 5 years ago by Yair Chuchem <[email protected]>
fix benchmark breakage

a664ff1fdb51b53adb83a9b226a66477621af19a authored about 5 years ago by Yair Chuchem <[email protected]>
test: TypeLang: PureInferState is a record

14ba07bd7b1bc850dadfebfd5d42530eddc6c9e8 authored about 5 years ago by Eyal Lotem <[email protected]>
hcomposed convinience optic

473c92a2562a38926ac55b118d04f3bc4948a9dd authored about 5 years ago by Yair Chuchem <[email protected]>
Rename {Mk=>}HCompose for more succinct pattern matching

04043a205460641847a2268a7a421034dd26a4e7 authored about 5 years ago by Yair Chuchem <[email protected]>
generalize InferOfConstraint instances

573f8747cb4ac4f76473912ed39e3cb708535747 authored about 5 years ago by Yair Chuchem <[email protected]>
use htraverseFlipped

0d1c828d77c80832f8a2d7a64abfba127a7e1742 authored about 5 years ago by Yair Chuchem <[email protected]>
htraverseFlip combinator saves on parentheses (currently used in 6 places in lamdu)

47dd6d3e51b9883fa735fc5ce3555561974f0791 authored about 5 years ago by Yair Chuchem <[email protected]>
internal prelude, less imports everywhere

41759a790adf705858cb0cdf19e6f273201398ba authored about 5 years ago by Yair Chuchem <[email protected]>
export HFunc and HCompose from Hyper

3f261e195c30b4a5c6089df4619a979a95279a78 authored about 5 years ago by Yair Chuchem <[email protected]>
HCont=>HFunc

22c3de64483f34b65c73ca121d2c4bfea3549b95 authored about 5 years ago by Yair Chuchem <[email protected]>
inferUVarApplyBindings

b61bb8f379b5a68a2617a1251f0836c5056f4c86 authored about 5 years ago by Yair Chuchem <[email protected]>
defunctionalized constraints

ca22e5af0e678784a58138ffad3d2c36616c3c87 authored about 5 years ago by Yair Chuchem <[email protected]>
rename leftover

926f521d61615c49385847dccd1640430e1fbae1 authored about 5 years ago by Yair Chuchem <[email protected]>
generalize proxies so witnesses can be used in their places

d8cc4c1bf00f15841168a3a122d952df0c7a501d authored about 5 years ago by Yair Chuchem <[email protected]>
proxyArgument helper

8aeb7ac42a343b31564e826e05ca4252f83645d0 authored about 5 years ago by Yair Chuchem <[email protected]>
Flip HCont parameters orders - input first, output second

8dfeefd553015114711c03fcb172e47f9c2a93e5 authored about 5 years ago by Yair Chuchem <[email protected]>
more powerful HCont

0d0f02691bf01e7ff343c4f2ef63d135eeed7727 authored about 5 years ago by Yair Chuchem <[email protected]>
TH.Internal.Utils.dot

b88367cfca3283dece3318a6130233a4337a55dc authored about 5 years ago by Yair Chuchem <[email protected]>
add missing instances

276c49d600888e89ff2c389c98bf3b1a08906609 authored about 5 years ago by Yair Chuchem <[email protected]>
rename Tree type synonym to #

this makes things more readable and looks more like normal type applications

89470d1d5ea6ca7fd1e52e262a5055a9c05e8223 authored about 5 years ago by Yair Chuchem <[email protected]>
hlint police

0726fa8aa63d37a8692f8abb806a3bc924043fc2 authored about 5 years ago by Yair Chuchem <[email protected]>
Hyper re-exports Proxy, Dict, Generic

These are commonly used with the library so exporting them reduces the import ceremony hassle

be860a5e8356aab45245e3a143dd15b9158dfd76 authored about 5 years ago by Yair Chuchem <[email protected]>
Rename # operator to :#, towards using # to replace Tree

9db78727518e2cfd9d31d7221608845c80b61faf authored about 5 years ago by Yair Chuchem <[email protected]>
TH: naming augmented to support types with operators

092e957aa0025f90b37bf3b08beafb08b6662fef authored about 5 years ago by Yair Chuchem <[email protected]>
add convinience iso inferResult

f4a1d10a6a8db39ffa6413b47f42cda87ade8a16 authored about 5 years ago by Yair Chuchem <[email protected]>
hflipped

7a96f630b50e926f3a63e749980232a06055846e authored about 5 years ago by Yair Chuchem <[email protected]>
instances for InferResult

7b106fa9541a5a27bcd78c1e1bb78b4a69ec09d7 authored about 5 years ago by Yair Chuchem <[email protected]>
rowExtendStructureMismatch doesn't require UnifyGen

2ce3374cf7a0f679fac0d0bc859c54daee1ca3c4 authored about 5 years ago by Yair Chuchem <[email protected]>
add test

4a1785ee38d68d20ee853c2615e4e4ff9d320379 authored about 5 years ago by Yair Chuchem <[email protected]>
rowExtendStructureMismatch doesn't need to get outer constraints

cf31db9cdc8c891fc389f743f93829719b262b9b authored about 5 years ago by Yair Chuchem <[email protected]>
Add test/runhask

2d8a30c65b37405e3fd840f13daa3532c20d62df authored about 5 years ago by Eyal Lotem <[email protected]>
test suite checks top-level scheme rather than type

868acbdc335a87fcf67b60ac50e2c08a72cfc653 authored about 5 years ago by Yair Chuchem <[email protected]>
generalize testCommon

bf851a68bb01785daf7250ac17fd35b301e3cae7 authored about 5 years ago by Yair Chuchem <[email protected]>
MonadScopeConstraints: Reverse parameter order

* Towards using MonadScopeConstraints Recursively

46f2ec259dfc7b0f948e71b05f35c04d40816eca authored about 5 years ago by Eyal Lotem <[email protected]>
MonadScopeConstraints: Parameterized on types, not constraints

* Towards allowing MonadScopeConstraints to be used Recursively

ef3d13a65a5cf7113fb4625f78ec1c4f8fbfd03b authored about 5 years ago by Eyal Lotem <[email protected]>
MonadScopeConstraints => UnifyGen which subclasses Unify rather than superclasses it

e325c3f292b0f1bdedb906cf2f975adae1b74548 authored about 5 years ago by Eyal Lotem <[email protected]>
add strictness annotations, lamdu-calculus's benchmark improves

d1eb0cfffb1a7a90558a8384d7e0bb26dcdc5550 authored about 5 years ago by Yair Chuchem <[email protected]>
oops fix recursiveContexts to change the whole sub-tree not just the annotation

113a55509be0d2e0ff038f0399f7af26a3d11ce1 authored about 5 years ago by Yair Chuchem <[email protected]>
HContext instance for NominalInst

1c359f95bc2cd4f3f19398be3b83cbc9c7e2e2d9 authored about 5 years ago by Yair Chuchem <[email protected]>
HContext instances

236e51f4a5d3747acdccd8cc5321d205379c9c4a authored about 5 years ago by Yair Chuchem <[email protected]>
Rename Hyper.{Type=>Combinator}.Cont

1b6c6b3f8e303ec0422ceab6fb0f7f30cec37eed authored about 5 years ago by Yair Chuchem <[email protected]>
makeHContext supports more cases

3388d6d52d957b4f1309f4eb73de3f894c4d4c04 authored about 5 years ago by Yair Chuchem <[email protected]>
Hyper.TH.Context

6646c8793f07e050f8709d548101b77aba8c5dbd authored about 5 years ago by Yair Chuchem <[email protected]>
TH utils also expose data constructor variant

2550de7b01240e429b7a44a2069501f31244d16b authored about 5 years ago by Yair Chuchem <[email protected]>
HContext - a class for hypertypes which can be "edited" by replacing their nodes

bf2b6f9613a188b2ebd0c761937d078deddefaec authored about 5 years ago by Yair Chuchem <[email protected]>
some missing recursive instances

1d7283ab6e413af06d93512a95773556d0a00a64 authored about 5 years ago by Yair Chuchem <[email protected]>
Cluster instances next to type

c053278bf5a40264f7a4911f9e635f4a8ad04562 authored about 5 years ago by Yair Chuchem <[email protected]>
Gernalize annotation to work on any Ann, not just Tree of Ann

fd98e9b179c69b526ab1a779aade4f5c685822f1 authored about 5 years ago by Eyal Lotem <[email protected]>
Add lens to directly access an annotation

ef8a954bdff884518b9f7c317c6d3d6c30e1f2de authored about 5 years ago by Eyal Lotem <[email protected]>
Ann: Add Annotated synonym

8655f80a9470483cde21d1b9c443328b135d0611 authored about 5 years ago by Eyal Lotem <[email protected]>
hlint police

cbfea7a3d487e9f2c37e445d757baed44f9fe97a authored about 5 years ago by Yair Chuchem <[email protected]>
Blame instance for HCompose Prune t

293fb4b6083ad78b1a4cf59b0dc0703e826add6c authored about 5 years ago by Yair Chuchem <[email protected]>
oops had infinite loop in inferContext of HCompose Prune t

0840dd058e81be28ebd525c46c268bd3035339c9 authored about 5 years ago by Yair Chuchem <[email protected]>
missing exports

366e150df7f8f2df3926d0d37f8b63e749810443 authored over 5 years ago by Yair Chuchem <[email protected]>
no need for UndecidableSuperClasses!

0f1797349ca60b8d7867f321d5a16558860748c4 authored over 5 years ago by Yair Chuchem <[email protected]>
remove redundant imports (as found by GHC 8.8.1)

60080a77606f924c68b90c473b2ebe53df0904d2 authored over 5 years ago by Yair Chuchem <[email protected]>
missing instances

00528507910c90477018e5c461fbb2bfd35f6180 authored over 5 years ago by Yair Chuchem <[email protected]>
rename remainders

12a65b7106aecbb8e5c40a677fc0f7b326037964 authored over 5 years ago by Yair Chuchem <[email protected]>
simplify imports

2b6fcee357c71d5514d337cebb3f302b3211a740 authored over 5 years ago by Yair Chuchem <[email protected]>
HWitnessType of NominalInst: remove a wrapper

7783fac6afb16bbd931f615fa28fd5cee882e615 authored over 5 years ago by Yair Chuchem <[email protected]>
missing instances

1f43cb1ea9345fb9ffb549c446a03a79f78487f8 authored over 5 years ago by Yair Chuchem <[email protected]>
missing exports

e9220cbac8a79ff977ef8b15111f5bbea3c199af authored over 5 years ago by Yair Chuchem <[email protected]>
Fields of Ann renamed and re-exported from top-level module

Previous name "val" was not a good name to take in the namespace.

7cfae7b387a8c82243699b1e7d17c3d44a5b4c7d authored over 5 years ago by Yair Chuchem <[email protected]>
Flip=>HFlip, Compose=>HCompose

Stuff which commonly have things with the same name get the "H" prefix.
HFlip is now re-exported...

5f9f71da8390d36ad23e6600465f4491e1fc1b97 authored over 5 years ago by Yair Chuchem <[email protected]>
Hyper.Type.Combinator.* -> Hyper.Combinator.*

After recent changes Ann is there and Flip is more common,
better to have them available in less...

5e867828075f1579f058ed763f3659faf1d8ac1a authored over 5 years ago by Yair Chuchem <[email protected]>
Export Const from Hyper module

ec4bb75d80b05000ffe7ac6943fe74aa286be15a authored over 5 years ago by Yair Chuchem <[email protected]>
rename fields of Ann

600c3c9c4bd90b38a4297aa26a99108cc02a0a80 authored over 5 years ago by Yair Chuchem <[email protected]>
Rename PAnn=>Ann

4af468c032c04908eda2b0e2e98814f9f20994d6 authored over 5 years ago by Yair Chuchem <[email protected]>
Remove Ann

cbf1c35d92d94238a3ef88160cc959b276e382fe authored over 5 years ago by Yair Chuchem <[email protected]>
Replace Inferred and BTerm with re-use of PAnn

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

0653c305f961e083a57ab40a8fd816a002be7c51 authored over 5 years ago by Yair Chuchem <[email protected]>
test: imports order

32b8d4e5a804dc638f0c0882d54110c7b15ee616 authored over 5 years ago by Yair Chuchem <[email protected]>
avoid do notation

dbd37a7350410a47d07b4fae768994d644c7c2a8 authored over 5 years ago by Yair Chuchem <[email protected]>
Enabled DefaultSignatures and GeneralizedNewtypeDeriving globally

e91332b08be23e47631546b3813ae9d9d292e8d4 authored over 5 years ago by Yair Chuchem <[email protected]>
Use GeneralizedNewtypeDeriving

Can't use for instances of HTraversable and Infer due to role system limitations.

8ba6729e19489451cb530a0a0614a433ce3d6719 authored over 5 years ago by Yair Chuchem <[email protected]>
add hfolded1 top-level export

2e73a987bdde15773e5746c485da79737724bc10 authored over 5 years ago by Yair Chuchem <[email protected]>
Add missing instances

acf5b704da806cc428f5162d08429f0850d5b894 authored over 5 years ago by Yair Chuchem <[email protected]>
GHC 8.8 compatibility using th-abstraction and other changes

f8aaf75fff6502f809c9382bb8f11dbf97d5b65d authored over 5 years ago by Yair Chuchem <[email protected]>
oops remove unused imports

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