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

Tests: use HPlain for LangA

30f480cd75e866fccc83e7a2f1ecfab30c5562d4 authored over 5 years ago by Yair Chuchem <[email protected]>
makeHasHPlain works for Scheme

d454180385e30e80a8bb94dd9dd42c2148f389b7 authored over 5 years ago by Yair Chuchem <[email protected]>
makeHasHPlain works for LangA

3c63d05ac2cfdc31b16e1dca8be35f5dbc71791e authored over 5 years ago by Yair Chuchem <[email protected]>
Generic-based derivations for HNodes, HFunctor, and more

Note that Generic1 works for hypertypes which only embed other hypertypes,
and do not nest nodes...

fd535beaad3314764efd6a5fb1f59436bedb2892 authored over 5 years ago by Yair Chuchem <[email protected]>
TypedLam more DTALC complaint

8b608b271a3bfac352b9765284883e3cc01c8105 authored over 5 years ago by Yair Chuchem <[email protected]>
Avoid data family HWitness as it prevents sharing and default implementations based on Generic1

HWitness is now a newtype around the HWitnessType type family instead.
The newtype wrapper allow...

32b54290eb08e101370a287f8f948972a6408aec authored over 5 years ago by Yair Chuchem <[email protected]>
Use :*: and :+: from GHC.Generics rather than custom PolyKinds versions of Product and Sum

The standard Product from Data.Functor.Product and Sum don't properly support PolyKinds,
see htt...

98cc06dd1c1b8ac8b7b7a92c01675f0528f17c70 authored over 5 years ago by Yair Chuchem <[email protected]>
Example: simpler types and instances

45c6d9b720c5869a3bda136685f28c0b257884fc authored over 5 years ago by Yair Chuchem <[email protected]>
add instances

d3a64f6ab4d8c76068742b00082eac16bc2d31f4 authored over 5 years ago by Yair Chuchem <[email protected]>
remove unneeded manual instance

71bccc4bab84666f834dac34cacdcceb3cf2084d authored over 5 years ago by Yair Chuchem <[email protected]>
rename leftovers in internal TH

8e15459d3957f2c671c06cb1ab54f28afbab66f4 authored over 5 years ago by Yair Chuchem <[email protected]>
Remove &# operator now that building pure terms is easier with HPlain

5311219601ff719819a596cfae8be3cc9da5b7db authored over 5 years ago by Yair Chuchem <[email protected]>
hfolded1

a984beca7301b605228b54f56c923dd2e3bf6bfe authored over 5 years ago by Yair Chuchem <[email protected]>
renames: h prefix rather than H suffix

5b5c98b4663840d5932a435963e0011ad0968fc2 authored over 5 years ago by Yair Chuchem <[email protected]>
fix-point=>nest type

f05ec9349a82aa4a4a73dc604b6d5790cb12ed77 authored over 5 years ago by Yair Chuchem <[email protected]>
typo

79177f51ec6751640723636950e4339e2692ca3a authored over 5 years ago by Yair Chuchem <[email protected]>
Lam's Infer instance more compatible with DTALC style

034ab1888faed4fc40f0f7b276ded71c7b755850 authored over 5 years ago by Yair Chuchem <[email protected]>
Use HPlain

58e854d84633673b5705a08b18e7195b02a4c845 authored over 5 years ago by Yair Chuchem <[email protected]>
rename kPlain->hPlain

8a9ad18b54c4c347c9fc0150cdba98e3366ce802 authored over 5 years ago by Yair Chuchem <[email protected]>
fix typos and phrasing

dda8c7f6c88cb0f4829232145066c0d984e23ac6 authored over 5 years ago by Yair Chuchem <[email protected]>
README and haddock updates

448ddda7fb26090aecb5f283157450e73b376afd authored over 5 years ago by Yair Chuchem <[email protected]>
rename K suffix to H for Hypertypes

6a137d92d5a9985eb9c328b2b47518f0a5948876 authored over 5 years ago by Yair Chuchem <[email protected]>
Rename variable names "k" to "h" following rename of "Knot" to "AHyperType"

29ceb2441ec7b8f762114adb70e0b4640cfef6c8 authored over 5 years ago by Yair Chuchem <[email protected]>
README updates

405034d9304db98a74206040e2e24b9dd2eb465e authored over 5 years ago by Yair Chuchem <[email protected]>
Replace 'AHyperType -> *' with HyperType'

810707e724a52802b0b26bed7033e5bdda43e931 authored over 5 years ago by Eyal Lotem <[email protected]>
Sort all imports

6553bf1d0310fdfbb27b0ad3d0283afae5409cc5 authored over 5 years ago by Eyal Lotem <[email protected]>
Rename: ITerm=>Inferred

31c0cdf5e42f209d02fb6245caa6aaed20d4fe7a authored over 5 years ago by Eyal Lotem <[email protected]>
Rename class prefixes from 'K' to 'H'

7a4cd53b6c87fc672474e1157f4917fabc021eb4 authored over 5 years ago by Eyal Lotem <[email protected]>
Rename: Hyper.Infer.{Term=>Result}

d2b2ea392d12be0f42da01b9b63e1d204bc9bc60 authored over 5 years ago by Eyal Lotem <[email protected]>
Rename: Hyper.{Combinator=>Type.Combinator}

29b26b85a3341288bfd1b1611e12e83dc7576feb authored over 5 years ago by Eyal Lotem <[email protected]>
Rename: Hyper.{Term=>Type.AST}

522930513b8ae8ce8d6f03f0e81e11d74660ccfe authored over 5 years ago by Eyal Lotem <[email protected]>
Remove last uses of 'knot'

7990612a6147a5058348928ca5ccf94de4c49566 authored over 5 years ago by Eyal Lotem <[email protected]>
Extract HyperType type synonym

55e6c30cf812e5b577dca59577a2feef44a8f139 authored over 5 years ago by Eyal Lotem <[email protected]>
Rename Knot => AHyperType

ee3af5cf51417690c1509725ca63893194fff78a authored over 5 years ago by Eyal Lotem <[email protected]>
Hyper.{Knot=>Type}.*

09a405e66640027a4d75fe3d84bbd019d6af4da1 authored over 5 years ago by Eyal Lotem <[email protected]>
Rename module hierarchy prefix {AST=>Hyper}

f8a8e6cb09804da4b96dc1439d0a0538a15a1558 authored over 5 years ago by Eyal Lotem <[email protected]>
package rename: syntax-tree => hypertypes

6b6d745ee85627c3851df17d2cc8756701b6567a authored over 5 years ago by Eyal Lotem <[email protected]>
Flattened, friendlier witness types

f15bbb743808f17f2600eeafdca3cb9c088e2a36 authored over 5 years ago by Yair Chuchem <[email protected]>
nicer generated mapK

3d28f8c19e3c0b65c03047e38341c84954afadcf authored over 5 years ago by Yair Chuchem <[email protected]>
remove partiality in internal TH

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

d7fc668c3f8fd4118ed721d6cf352d8bfc8b0c1c authored over 5 years ago by Yair Chuchem <[email protected]>
internal renames

9741ace923ac77e65f6f4b15810106592297103c authored over 5 years ago by Yair Chuchem <[email protected]>
gitignore for cabal based builds

f7835e09cb9410767aee966542098093ff377dec authored over 5 years ago by Yair Chuchem <[email protected]>
More sensible names internally in TH

c3de722f4bdc18dec6c74b9c59594e3e4102154d authored over 5 years ago by Yair Chuchem <[email protected]>
ZipMatch instances

c157f2cca44c6412da6ef6e66b1c88f2f8ca7b0b authored over 5 years ago by Yair Chuchem <[email protected]>
makeKHasPlain supports more cases

These cases are currently used by lamdu-calculus

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

20417f00d9f9581bfa56ce6dc7e4c9dab33bc12a authored over 5 years ago by Yair Chuchem <[email protected]>
cleanup in TH code

e162331aab6ddb54c51967ecbc440b920ed2def8 authored over 5 years ago by Yair Chuchem <[email protected]>
bump version to upload a new package candidate (docs don't override previous)

7fb2895ca517b78265f1aa5f0a44d21fc5eaa428 authored over 5 years ago by Yair Chuchem <[email protected]>
update stack resolver, remove extra dep

9c4c26ff00208c132c370ae6773999d8b2ddcfe0 authored over 5 years ago by Yair Chuchem <[email protected]>
Replace LangB.Pure with usage of KPlain

a02152f30b81f81ff846c104bf6ad092fa88995f authored over 5 years ago by Yair Chuchem <[email protected]>
test cleanups

1fbf329e1ada11e6a481d4952acac00b4cbffd05 authored over 5 years ago by Yair Chuchem <[email protected]>
HasPlain derivation makes flattened plain values

71b140aaf5645bafdbc67be12b4548929a776ce4 authored over 5 years ago by Yair Chuchem <[email protected]>
TypedLam

a7cbe2922e948a4c55b46710befaf35037aedd2c authored over 5 years ago by Yair Chuchem <[email protected]>
HasChild instance for ANode

628118e98474a7cf2300c448f15f3a7568d6a5b0 authored over 5 years ago by Yair Chuchem <[email protected]>
haddocks

9f35857d77a97f1d7a0d037e93453d1c2f632c08 authored over 5 years ago by Yair Chuchem <[email protected]>
haddocks and removal of unneeded constraints synonym class

7546314f0d06e96a5a7b36214a0f23f83a8cabf4 authored over 5 years ago by Yair Chuchem <[email protected]>
more haddocks

32b91c4bea26db003e6201863e30367396605de4 authored over 5 years ago by Yair Chuchem <[email protected]>
haddocks

220a6eff994f66508176e7f8bcaebeed42383134 authored over 5 years ago by Yair Chuchem <[email protected]>
Revert "Remove AST.Knot.Prune, either temporarily or will be replaced by ToKnot Maybe"

This reverts commit 2e8b7b8cd6dbf4b4f30dc0af8bcb388938adc7f7.

9b55aa8feb3b563b7e854d4267c57517db43bebd authored over 5 years ago by Yair Chuchem <[email protected]>
replace method with KPointed dependency

665895f8c4c6efced429f77672907582c767d58f authored over 5 years ago by Yair Chuchem <[email protected]>
LocalScopeType extracted from AST.Class.Infer to new module

4bda97e998cba401521afbef7f90b02e0f028df3 authored over 5 years ago by Yair Chuchem <[email protected]>
HasInferredType and HasInferredValue moved to InferOf module

191aca4e39075650cd7c594366ca0e4689c7bfdb authored over 5 years ago by Yair Chuchem <[email protected]>
Infer.{Recursive=>InferOf}

86d66e331f0f5075d66aaf802432176bb3027e8a authored over 5 years ago by Yair Chuchem <[email protected]>
split module AST.Class.Recursive

509cbff3d3d4338af45b4d99fd8cd3b6183fd6e1 authored over 5 years ago by Yair Chuchem <[email protected]>
relax constraint

88fd07212702d0f46766946eec59f710d9f38450 authored over 5 years ago by Yair Chuchem <[email protected]>
document relation to data types a la carte and used haskell extensions

a26aa83e8dd31f5df165b9af82db43cc798be7bd authored over 5 years ago by Yair Chuchem <[email protected]>
instances for Product and Sum

1f0d2696401a7a3bf536c5478d8f4bd6f4dbbf42 authored over 5 years ago by Yair Chuchem <[email protected]>
Data.Functor.Sum.PolyKinds

40af85b8726fd697aab9ab69dff6001516861cc4 authored over 5 years ago by Yair Chuchem <[email protected]>
minor fixes

02928c46bedbfa60a8aacd31cb503d41d36f0d8a authored over 5 years ago by Yair Chuchem <[email protected]>
more typos and readme fixes

25464889d78623ad42bfef8ce38f6ad2a2e91f09 authored over 5 years ago by Yair Chuchem <[email protected]>
readme fixes

3fb12d292661616ea04cec0b37e1affed4f44f96 authored over 5 years ago by Yair Chuchem <[email protected]>
fix typo

ab244c4ea696a42e310ef9b73c2d5da7ae12ad7b authored over 5 years ago by Yair Chuchem <[email protected]>
README: explain witnesses

dfd2df933ed5c48fa2ad1c26c21fd3639f39180d authored over 5 years ago by Yair Chuchem <[email protected]>
README work

3a12d9da24622ff5e1caa2334b304a213588beb0 authored over 5 years ago by Yair Chuchem <[email protected]>
KHasPlain - for less parentheses when working with plain structures

468e100e76b74fe7ad9a774eb1317822f5ca8910 authored over 5 years ago by Yair Chuchem <[email protected]>
less boiler-plate in AST.Class.Infer.Recursive

45d8b2696482d7119cc09f311904d5e90e8a335f authored over 5 years ago by Yair Chuchem <[email protected]>
remove RFoldable

fe3f3c4616bb9946198a660c973417f4237dc194 authored over 5 years ago by Yair Chuchem <[email protected]>
remove RFunctor, use Recursively

e0d8bb8f75ada3a44427ac3baa0879a9ed593fcf authored over 5 years ago by Yair Chuchem <[email protected]>
Revive Recursively, remove RZipMatch

0d6c70af77939116efeb8821fd1abe5b23c51213 authored over 5 years ago by Yair Chuchem <[email protected]>
ReadMeExamples module

8cac9f5840c39c14a63a911fc0113b2a866676b0 authored over 5 years ago by Yair Chuchem <[email protected]>
nicer naming for witness constructors

c949faae40a8ad2556db2de69630f7679dfbbf7e authored over 5 years ago by Yair Chuchem <[email protected]>
Use witness parameter in recursive combinators instead of constraint proxy

d99e1fa6b9a0640d2863012d3e6125645f7baf36 authored over 5 years ago by Yair Chuchem <[email protected]>
doc tweak suggesting by Eyal

9097f61e1c57ad65029093bdf74262e9d2f4945a authored over 5 years ago by Yair Chuchem <[email protected]>
consistent type parameter naming

7eac1da5fbdb5811f75c18d76097788b58eb9c9a authored over 5 years ago by Yair Chuchem <[email protected]>
readme tweaks

2bda9a86ead9880429a4b101aecf994630c43c8a authored over 5 years ago by Yair Chuchem <[email protected]>
Rename Node to (#), RunKnot to GetKnot, and fix the readme

Readme missed some `RunKnot` applications before.

964acc9f75bf66f4425bf602ef435f0beaffa2e0 authored over 5 years ago by Yair Chuchem <[email protected]>
hlint-friendly formatting

a2ec3981609444e3243e4aa994256873e46d8912 authored over 5 years ago by Yair Chuchem <[email protected]>
unused extensions police

04fec1a5ba47d15ade3ae009780193b30074d58e authored over 5 years ago by Yair Chuchem <[email protected]>
typo

7da727e60c54cd8056e229cc004578977d26a59e authored over 5 years ago by Yair Chuchem <[email protected]>
Merge pull request #2 from glaebhoerl/patch-1

fix minor kind errors in readme

fbae3a13a6b170a9ce3efa815663bcc0ab3ab3fd authored over 5 years ago by Yair Chuchem <[email protected]>
fix minor kind errors in readme

34b6389e742f12d9f012bdd79cdaad2aa3e26f83 authored over 5 years ago by Gábor Lehel <[email protected]>
more README tweaks

f656a2959ea496c602a9aaa89e0e7f49bb77add6 authored over 5 years ago by Yair Chuchem <[email protected]>
readme fixes

a75593978afef30f570484314c7620b8c31a0426 authored over 5 years ago by Yair Chuchem <[email protected]>
add comma

b61ea159000e1c8099bfe0a2598e97e0cc0e15ec authored over 5 years ago by Yair Chuchem <[email protected]>
phrasing

979c7f9e136d269cdea8f4f238cb0c5f3c870782 authored over 5 years ago by Yair Chuchem <[email protected]>
rewritten README

edf2d2dc1b8daff6f9ca163ba0f2e322e139af58 authored over 5 years ago by Yair Chuchem <[email protected]>
use KRecWitness

862aad97f56594dcb3c41e915ec87df4dad2e0b9 authored over 5 years ago by Yair Chuchem <[email protected]>
instances for BTerm

f92b84d51b8a4d4acbe1986a0c408ab2c3608115 authored over 5 years ago by Yair Chuchem <[email protected]>
iTermToAnn

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