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
3bb374fa1b4d5bcbe18669af6332c7364fbc6ad7 authored over 5 years ago by Yair Chuchem <[email protected]>
Now that compose is back and classes are simplified it's easy to re-add it.
This reverts commit...
aefdb33f51827e3d6f76c14f2cd658f0882a9fcf authored over 5 years ago by Yair Chuchem <[email protected]>After recent changes the instances are not hard to write!
This reverts commit ffb907675ebdabf77...
327f10c1a285995e6537aa5a6883dd691434458f authored over 5 years ago by Yair Chuchem <[email protected]>a5e354c929bac6d0bc19e627d9e6fadb1c9fa23f authored over 5 years ago by Yair Chuchem <[email protected]>
No need for kCombineConstraints which simplifies instances and
no need for UndecidableSuperClasses!
Lots of combinators removed!
f8ba2e2049fb0d6cc4a7c631a26e29e6633b81fe authored over 5 years ago by Yair Chuchem <[email protected]>1257589f5a5781494f522842fa772b9d57cb50c3 authored over 5 years ago by Yair Chuchem <[email protected]>
ab5f11fdf2d0f9e3a21576059c2b90ad569b0825 authored over 5 years ago by Yair Chuchem <[email protected]>
Fits better with the rest of the names
ffd524b9671b56147c19caab1ba6605b316812f3 authored over 5 years ago by Yair Chuchem <[email protected]>22311ef4d931d772cf8020add97b3d3df6f377e9 authored over 5 years ago by Yair Chuchem <[email protected]>
698cd0e790519ab3a4c025ffdcb6965c177ceb8f authored over 5 years ago by Yair Chuchem <[email protected]>
Now that the spurious rank-n was removed, no need to return a Tree
d0c002e3a68b28a9abd8986e553b1ae5d123eb75 authored over 5 years ago by Yair Chuchem <[email protected]>c1b40f3cb6766d25f0ba47d61e3af4cfb8527eb2 authored over 5 years ago by Yair Chuchem <[email protected]>
81c0158bdd601db479e5fffe32fdb10fad6779da authored over 5 years ago by Yair Chuchem <[email protected]>
9eaa8834649fd728b1742bf5013db13a3a897e15 authored over 5 years ago by Yair Chuchem <[email protected]>
32f842bb1390e176d2baddfc9430f47ecf398f9e authored over 5 years ago by Yair Chuchem <[email protected]>
0f484e0705e67e927676dfd62c895c8a9dbd5451 authored over 5 years ago by Yair Chuchem <[email protected]>
Inspired by multirec's usage of witness parameters.
http://hackage.haskell.org/package/multirec-...
455d0967dd79fb8bf35d1969541dcefa4e15758b authored over 5 years ago by Yair Chuchem <[email protected]>
db224506bf83aa95e23768c92edb83842c4d24ef authored over 5 years ago by Yair Chuchem <[email protected]>
(as discovered via Lamdu's test suite)
The crucial catchError line was accidentally removed.
d58c741395689125746fdac7eeef45493fd6f1d4 authored over 5 years ago by Yair Chuchem <[email protected]>ec834c0f89340501a93c670131420e4be9270d18 authored over 5 years ago by Yair Chuchem <[email protected]>
fc740319b1385622a0f43292cf8bfeab829fd422 authored over 5 years ago by Yair Chuchem <[email protected]>
2092d0025fc61de5e8cc015031514a3fbb310c81 authored over 5 years ago by Yair Chuchem <[email protected]>
In c508bf4460 this has changed but this didn't work for lamdu-calculus's needs.
4623f1c5083c5e416c64257ed90b8f7123a7dd13 authored over 5 years ago by Yair Chuchem <[email protected]>5e7970420ddec0c5894dad5dbe5a392a2ce4e903 authored over 5 years ago by Yair Chuchem <[email protected]>
448ce70d5befad8065b069eceda20c5b69412b79 authored over 5 years ago by Yair Chuchem <[email protected]>
0bdea334e34e899b43484ba2c9f32b5cc5a4356d authored over 5 years ago by Yair Chuchem <[email protected]>
df407cbe6a5fdfed360b20bca5b5d4c90681c60d authored over 5 years ago by Yair Chuchem <[email protected]>
Where this knot may be used would be very verbose with the previous name.
d0dd585ac76de435c55f82d72d1ff3d797f3409d authored over 5 years ago by Yair Chuchem <[email protected]>7c0d788c68a16a72cd8f3c9199c6cf8d96c5e0c0 authored over 5 years ago by Yair Chuchem <[email protected]>
4d0fcda4fcac2bf85ebc016632620874ca8a9328 authored over 5 years ago by Yair Chuchem <[email protected]>
4143fe6b8b693ad975663f25543b50b1e03522f2 authored over 5 years ago by Yair Chuchem <[email protected]>
e085303dc38b81ab34050440abe6fb99bae1132f authored over 5 years ago by Yair Chuchem <[email protected]>
fa588a2997343ba8561072010d2f90608cf7af09 authored over 5 years ago by Yair Chuchem <[email protected]>
c891f18a8f7f262c51165f94b22fbe46bceeab8c authored over 5 years ago by Yair Chuchem <[email protected]>
453bb352d75229e27b3eaeff4a3aff8432010718 authored over 5 years ago by Yair Chuchem <[email protected]>
RTraversable et all stay in AST.Class.Recursive because the recursive combinators use them.
ee0f800d96a016dfe7512e075a6268080cf6d2b1 authored over 5 years ago by Yair Chuchem <[email protected]>75ea5eab43d407501318a7ef02d11e923325677e authored over 5 years ago by Yair Chuchem <[email protected]>
The bad side is that this encourages its use rather than the better _Pure Iso,
but this also mak...
8c448e3a77a037b370a47aee4c15b7c2ac272af8 authored over 5 years ago by Yair Chuchem <[email protected]>
afa43258dab042f031e22bbbd34ce1ebf0a63bbb authored over 5 years ago by Yair Chuchem <[email protected]>
dba50c93384c6e3bea006d1521a502513e4e4e22 authored over 5 years ago by Yair Chuchem <[email protected]>
6086da317ea8a1368eb008895733a35a6f2b2c3c authored over 5 years ago by Yair Chuchem <[email protected]>
c35b62dd6acd6276df1be32d3b560a685579bd74 authored over 5 years ago by Yair Chuchem <[email protected]>
f3cae88c6c8c7eb2d6f987cb9a1f64f348a0c943 authored over 5 years ago by Yair Chuchem <[email protected]>
ec63988627b843b65a754cc46153e8e953260cb2 authored over 5 years ago by Yair Chuchem <[email protected]>
2b66f5388d25dc50c73d9a7a1df2ea12298dd9a9 authored over 5 years ago by Yair Chuchem <[email protected]>
c1c38e65dcccffebe2fe59770bcd72c4c1eb7469 authored over 5 years ago by Yair Chuchem <[email protected]>
8074879574a4a0af983fcfb22a211f1a81e0cc4b authored over 5 years ago by Yair Chuchem <[email protected]>
2dd6ed2e975078c5116faff1850fa14479c11545 authored over 5 years ago by Yair Chuchem <[email protected]>
8ffbc7e50044deb6dc02bb333315c09c48dc452b authored over 5 years ago by Yair Chuchem <[email protected]>
80b420bad05cd1725345b641778dbcf1301550a6 authored over 5 years ago by Yair Chuchem <[email protected]>
47739674ffe5a8f9a3d95343b4ffba91252c8b0a authored over 5 years ago by Yair Chuchem <[email protected]>
0992197a63e955c80207604086ef905ef6f02f40 authored over 5 years ago by Yair Chuchem <[email protected]>
fb13dbf18d2fbad5721646cc005171a4d6863f3b authored over 5 years ago by Yair Chuchem <[email protected]>
99ce365dfc38feff6bd40547373288b5e45aab41 authored over 5 years ago by Yair Chuchem <[email protected]>
4414247fd92a88d69b5b0c5a2260d75a69d502d6 authored over 5 years ago by Yair Chuchem <[email protected]>
9f204e3207d16ea258b9ff4c3330f5e28152a3c5 authored over 5 years ago by Yair Chuchem <[email protected]>
generic-constraints is an extraction from one-liner as suggested by its maintainer @sjoerdvissch...
14830ca69e3bc5b3e87da4fc1be745f61b5b241b authored over 5 years ago by Yair Chuchem <[email protected]>066c7b6fc37d7538aac764536d5665f919744ca4 authored over 5 years ago by Yair Chuchem <[email protected]>
ffe82528eef99d40e5ad20f9325f5759bc184ce2 authored over 5 years ago by Yair Chuchem <[email protected]>
7ca7c5b2bec255ecfb2aa303c4732db6bf1682fc authored over 5 years ago by Yair Chuchem <[email protected]>
1ef730492b84bbac5cb5577a2e9ef39c37fc4f03 authored over 5 years ago by Yair Chuchem <[email protected]>
Could re-add them given the need
8e8672e9f516959a8a7e89d7e968107e821575d3 authored over 5 years ago by Yair Chuchem <[email protected]>
The InferOf value may contain a type and scope (as it currently does in Lamdu),
and we don't wan...
f3f6110c396983db4ef05e050c5b2033eaa4b3a8 authored over 5 years ago by Yair Chuchem <[email protected]>
3d448d571b74ea1e1429621b3193214ee5b703eb authored over 5 years ago by Yair Chuchem <[email protected]>
399c61cb8c01f65a3cc91928d2ef61d996065e52 authored over 5 years ago by Yair Chuchem <[email protected]>
57baed00c46713e530aff6c162a9f7d7c4c2f0e8 authored over 5 years ago by Yair Chuchem <[email protected]>
c54105134b5ec99db698b35f601d18996b50226a authored over 5 years ago by Yair Chuchem <[email protected]>
This reverts commit 43a413d9c723711075b8f5ecaff100244a85b958.
fc46e7a4dfc6117e841bab8a5df843082d5d65c9 authored over 5 years ago by Yair Chuchem <[email protected]>2aed584a7299159ce7f77db2214a32ab0489c93f authored over 5 years ago by Yair Chuchem <[email protected]>
8e5b9d03d494f16a730e0f2aa7bc4617f709117c authored over 5 years ago by Yair Chuchem <[email protected]>
6ff395e9dd3708df64638005511761c9307337af authored over 5 years ago by Yair Chuchem <[email protected]>
3d83d916b4a95a714583df43f4d4a679b29cc69f authored over 5 years ago by Yair Chuchem <[email protected]>
8b782a7e2c6d9cf1791c1c2b50d63bdab516279f authored over 5 years ago by Yair Chuchem <[email protected]>
* Benchmark in lamdu-calculus doesn't show a difference!
* I worry this may cause GHC to "premat...
47898d5e5cdf389e8927032318890dee80ade0d6 authored over 5 years ago by Yair Chuchem <[email protected]>
6915f95d9564b5584c537028f5607140530f7b3c authored over 5 years ago by Yair Chuchem <[email protected]>
be3390c9b64c7ef3e6e44b7d021818884bdbfb6e authored over 5 years ago by Yair Chuchem <[email protected]>
ce6d47bffa8c7c84a271964bdbeb5284af961453 authored over 5 years ago by Yair Chuchem <[email protected]>
306d50c0fa0f9360fd0a92e1c3b3d56689802344 authored over 5 years ago by Yair Chuchem <[email protected]>
7db5a405e4f8c7c50b4b9df55c17fa774c6f05ae authored over 5 years ago by Yair Chuchem <[email protected]>
cf36590b6e58607795f1e0e7195854f84505854b authored over 5 years ago by Yair Chuchem <[email protected]>
c8eb07c206dbcb71fd4033b645c16d48c367e7a1 authored over 5 years ago by Yair Chuchem <[email protected]>
a3cbd7eca3d7c4d7a2cdc335372feb064cbfccd4 authored over 5 years ago by Yair Chuchem <[email protected]>
672d407f72c719003f07c307107ed83f56f8e3e4 authored over 5 years ago by Yair Chuchem <[email protected]>
(in hopes it may help specialization and inlining)
1611a3afdf243e84d42eea7a491f017f8546ad9a authored over 5 years ago by Yair Chuchem <[email protected]>84e1211e011778f8fee7553a728c532c065cf4ff authored over 5 years ago by Yair Chuchem <[email protected]>
97f2e9018e46c0a355dcd6daf681524faa72ef06 authored over 5 years ago by Yair Chuchem <[email protected]>
81f44ccfc46fb47d9da564577190999440f13dca authored over 5 years ago by Yair Chuchem <[email protected]>
242b4605b679625402f375476d0f2d91604f0d2b authored over 5 years ago by Yair Chuchem <[email protected]>
e4d62988f8ac11ddc33c18bf15e5cbb6d793e395 authored over 5 years ago by Yair Chuchem <[email protected]>
5b3330c2e9ebb15167058510d362c68374c54538 authored over 5 years ago by Yair Chuchem <[email protected]>
d58702a59a76c9764e1abbd04cd75c73775c8198 authored over 5 years ago by Yair Chuchem <[email protected]>
NodeTypesOf allowed limiting the use of RankNTypes to KPointed,
but the ammount of complexity it...
ee078f0047373dfae847ac71aeef1011fae3295c authored over 5 years ago by Yair Chuchem <[email protected]>
7195a90ccb930af45df62b1f87b03621b4dbb02d authored over 5 years ago by Yair Chuchem <[email protected]>
cdc1e3d9d4d267b74a4923a3d9b4bed9f0105046 authored over 5 years ago by Yair Chuchem <[email protected]>