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
93844c6d5fafd6041de0f78a9c8246cdb29fdbeb authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
The to-nom parameters come from outside and needed be initialized with the outer scope.
3d72e03552f9a0411a9b1f57e06f40487c3e12f9 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>cc12fb1e33a4092a99db08907f507e886c08768e authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
1f5e5d4fc2eaa8afd84cbe83a3276996847ed389 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
Some unimportant style changes looks better when considering how fourmolu formats things.
Stylis...
8c7721e394616d4ee18074f5936d205ad5176307 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
01abdc6b719a0493b1df906ef76e0b19525129cc authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
1df00b973c3d0a978e46d6827c9e11a6677cd5b4 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
88126b0a1edf2e84fcd779e1e0a478ee8d32d41c authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
febc2d2d07c9104ad84fa81d5664a7ba6f8f8a80 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
6210281dad73c1f7bbcd6e8c208eac54870f1ef1 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
3b17c92fe2adcb72934f8bb2162a574695b5ad92 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
Updated version for changed type which is possibly breaking.
354ac7be8dc1b15a8df9b94ff010054ec2b31da8 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>81272460a1f5a102743645d38dbb0e471c989e9b authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
b5d9e12403906a56ce98397e76b6b81dfd770822 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
36a1ae2c2d770920484b8bfe9cceb1f4174a6513 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
f455007c161905e6e4f3a1edb3ac171b5afe4868 authored almost 2 years ago by Yair Chuchem <yairchu@gmail.com>
0ec0aa2a7fb6af4bb70727d7ee590bcc02b607ed authored almost 2 years ago by MegaBluejay <dmoiseev2011@gmail.com>
992f0802e3667256fc92bb414fd0f761515e81f3 authored almost 2 years ago by Yair Chuchem <yairchu@gmail.com>
45354062d5038b253291bba16aa1462bb30c20af authored almost 2 years ago by Yair Chuchem <yairchu@gmail.com>
3 warnings were ignored as removing those constraints actually causes errors.
5b2ebd330528a7559da63780a91ad0ceebfc884d authored almost 2 years ago by Yair Chuchem <yairchu@gmail.com>7e1a044804a16376101045b11842a8d68037ec4b authored about 2 years ago by Yair Chuchem <yairchu@gmail.com>
Some code parts looked heavily indented after fourmolu formatting,
however the formatting made p...
While things are spread over many more lines and are more indented,
the style is good enough and...
Also removed apparently unnecessary withDict in test
b265f3a71025075f9151806d10b48dd06a3b1488 authored about 2 years ago by Yair Chuchem <yairchu@gmail.com>f2be425e8212243bc25c9b649448b63a2f52de22 authored about 2 years ago by René Muhl <rmuhl@exa-online.de>
c37fb8e286ec8c58fdfbc8bdf08a29eb03df068e authored over 2 years ago by Yair Chuchem <yairchu@gmail.com>
d526a13b6336c215c1a4e2b40689f66498c4ef4a authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
User code needs less instances now
fe0ebbf774857361633b2a1ed7a04a2ad60012fe authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>861c3dbdc13e828a544c92fe6e473d12a86de03a authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
Now stackage LTS has the generalized `generic1`
(see https://github.com/ekmett/lens/issues/890)
9a28e3863b0e2525f38ce7b6efabbc056d3145b2 authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
3f4d0f1dacbe3663b16649cfe544756372fba7a8 authored almost 3 years ago by Eyal Lotem <eyal.lotem@gmail.com>
79fe2b6b6f46f5e6edb1e7f1686e4a47d7be5393 authored almost 3 years ago by Eyal Lotem <eyal.lotem@gmail.com>
cd441acee4af3def37e4b568de89775256f18027 authored almost 3 years ago by Eyal Lotem <eyal.lotem@gmail.com>
c7f6b2f0caa633a5c4a0eb4a7d1f0026307c00c4 authored almost 3 years ago by Eyal Lotem <eyal.lotem@gmail.com>
1e9001367b9b86c27f48828ffb6721324238c046 authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
dff2ce4ac0ee12742254e873d235287f832043fb authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
01209ad165dcbed46de72d595fcb0a6d16b96da5 authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
346af788ced8183da62e40c8f349d31b10509237 authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
Thanks to -Wunused-packages
35c2a69c206631eeea7be26cd443cdf2b5be0ccc authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>bb87436874caabe39e08972240438d12d80cd378 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
7a9c2afec31d02fd391f471190c129421a9faf22 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Should had been removed in 0f1797349ca60b8d7867f321d5a16558860748c4
Noticed by @glaebhoerl in #10
9d1f54b4c5a60c39f08b5559e2f5bdd3efdfe975 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
95c5c93b5456c8f76c20f82fc602495b90634e32 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
ea3bb0a28425d6c4353bee63fc3932da368f068e authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
0892b1020118646e6b80416b7af75554b6a2fa89 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Now works with stackage nightly-2021-06-21 (GHC 9.0.1)
69a5345e3c01bb7d924e7547ca558d7ba19b177d authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>a3976ffafd8250c3ec0c804a4ac15b58037a4f96 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
10d83f35f8bfac32a07d8d26cbd4b86c404dcebf authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
(there seem to be more workarounds required, currently in ghc-9 branch)
add9cc3d662641c6a34c4e6d08a2068c8e5c34cb authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>f59da09655247670679a775cf157d5edd6a295ec authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
251634122ae8c982e44f25bc78e721699636c493 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
1aded6fecf5e7ba55c8c07786356611fb3083c3d authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
b3382e1d233c3aaa74c7845247d1bd533301a58a authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
cb7bf3513728bb38718b42b4df52541d53ac0744 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
(for extensions already enabled globally)
66c4de6f8ac9785b382bbb78fa019244d2532c3a authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>1bdbab20b457c6f849dd431542e0ccd2ce28c10d authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
b3b8ea9f5cbb6fa41c50078e1e14b5826ea60453 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Would simplify imports in user code (Lamdu)
de21cb3bb17018b929e71be863a48b640524888d authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>b368b56bf2bdf945e4baece12b92b56bf3126b42 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
e9f971cab81bf34350108e45a8ae8ea7323955e4 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
ac717ce054b7621757193d7e1bd4d6e936b6d36a authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
ed65faa95d4089753c1df8ab587c4c3d185c42b7 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
e24b581056cd423fd900f85a0ee32355a200ce97 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Order no longer matters and no redundant constraints generated
52beb9a91cebdaf18a3e7031a860e960cb086642 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>TODO: make it work rather than fail
e71309843f55b0046e379616baa7f954655fc7db authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>ac5c350d2add51094561d524ccae3e05a2cba80a authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
48ed89bea6fc3e1d1c47792d7c3b4747eff3976c authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
* simplifyContext used the inverse substitution than it needed to generate simpler contexts
whic...
c2c8e945a783739f0ba1567c49fadf644551fda1 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
05ad1ba5b918c3a17ea1f922538cec36153996e0 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Most other modules are in actual use in Lamdu,
and not just in an example test language,
so thei...
Had previously listed the invdividual test modules because otherwise the test would also compile...
992803608febf3b02eb41504b5b61a50b07fa016 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>02ed82e8e520fafe8860c66a46d365a2754181e7 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
694e1765303e78438c24062fe48d8c386ec23830 authored almost 4 years ago by Yair Chuchem <yairchu@gmail.com>
e63d3e66dcb9b384a61734f141bc3e6924fcf873 authored almost 4 years ago by Yair Chuchem <yairchu@gmail.com>
c0fb559c706c0e547a52100c5122eff1605b3903 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
63876e09f6f60a50a702a4a45c51d7fb4c97fce5 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
1eb32683afd329599cf5232acf059e2c006326b7 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
8de6030e80e432b8d5f7170bdf9556019fa0b11d authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
Not only does this shortens the code and makes it subjectively nicer,
it also makes it more futu...
86abb97957801c3fd7dba3575c357e11891f607f authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
(change suggested by ormolu)
fc75d4d12a2e9e0c094f992ce2181e471dab0bf3 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>63315c56e7e545c6e3f803138ca05a734276bf0e authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
42c98dd8c38f8fb616ef87c3c7966b886edc88fa authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
9ee561019f63194a9fb0c93e7238a8423c6b5eed authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
e3607474ec049a917e58c6ec73899b06208d1e76 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
6bc6579493703b73535797045a41846d5451fa51 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
a62245eb1b9ba391b3ac0e504fe107a1c9bd1e34 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
dc6922b56697c8dda3832f90f1226a8a46508564 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
f530b8dbc405d1449432cebcc27ab3fe7908a848 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
a167d8f344bf107241a6a66cbb0acd8939fd1248 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
Uses applyBindings, semiPruneLookup, occursError,
so those had to move to the Hyper.Class.Unify ...
b43d6f62518b941aacac7129e219d516ba9acd95 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
So no need for separate classes for Prisms etc
ca72fdf7d10c2c7c26bfa1e49f805c9d2295a542 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>cafd76177cb138dd783a16753565d46513ead648 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
So it works for LangB (not that it makes sense for unparameterized hypertypes),
and also would w...
222832a74ba826761563680d213a953e5ed7f5c0 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>