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

Update stackage resolver to lts-21.4 (GHC 9.4.5) and fix GHC 9.4 warning

93844c6d5fafd6041de0f78a9c8246cdb29fdbeb authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
Fix skolem escape checks for to-nom

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>
Add failing test for undetected skolem escapes

cc12fb1e33a4092a99db08907f507e886c08768e authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
Add comments and DRY

1f5e5d4fc2eaa8afd84cbe83a3276996847ed389 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
Code style changes.

Some unimportant style changes looks better when considering how fourmolu formats things.
Stylis...

4bb7314c6237c3a869557d956f4296d0acce239d authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
Tests: nicer assertions on errors, unicode not escaped

8c7721e394616d4ee18074f5936d205ad5176307 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
Code reads better with do-notation

01abdc6b719a0493b1df906ef76e0b19525129cc authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
Tests: Parameterize mutType to helper

1df00b973c3d0a978e46d6827c9e11a6677cd5b4 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
Tests: extract tests into different modules

88126b0a1edf2e84fcd779e1e0a478ee8d32d41c authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
Format using fourmolu c2af95bce0cd

febc2d2d07c9104ad84fa81d5664a7ba6f8f8a80 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
More succinct names for blame tests

6210281dad73c1f7bbcd6e8c208eac54870f1ef1 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
Convert tests to proper test suite using tasty

3b17c92fe2adcb72934f8bb2162a574695b5ad92 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
Reuse WithConstraint. Simplifies type of function exported only for SPECIALIZE pragrmas

Updated version for changed type which is possibly breaking.

354ac7be8dc1b15a8df9b94ff010054ec2b31da8 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
Update stack resolver

81272460a1f5a102743645d38dbb0e471c989e9b authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
Fix README typo

b5d9e12403906a56ce98397e76b6b81dfd770822 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
Fix README as type-classes derivations are also sometime available in generic-based derivations

36a1ae2c2d770920484b8bfe9cceb1f4174a6513 authored over 1 year ago by Yair Chuchem <yairchu@gmail.com>
hlint police

f455007c161905e6e4f3a1edb3ac171b5afe4868 authored almost 2 years ago by Yair Chuchem <yairchu@gmail.com>
add HNodes context for FlatEmbed

0ec0aa2a7fb6af4bb70727d7ee590bcc02b607ed authored almost 2 years ago by MegaBluejay <dmoiseev2011@gmail.com>
Add failing test for #14 (will be fixed in next commit)

992f0802e3667256fc92bb414fd0f761515e81f3 authored almost 2 years ago by Yair Chuchem <yairchu@gmail.com>
Update stackage/GHC to 9.2.5

45354062d5038b253291bba16aa1462bb30c20af authored almost 2 years ago by Yair Chuchem <yairchu@gmail.com>
Remove redundant constraints warned by GHC 9.2.5

3 warnings were ignored as removing those constraints actually causes errors.

5b2ebd330528a7559da63780a91ad0ceebfc884d authored almost 2 years ago by Yair Chuchem <yairchu@gmail.com>
Fix build with GHC 9.2.5

7e1a044804a16376101045b11842a8d68037ec4b authored about 2 years ago by Yair Chuchem <yairchu@gmail.com>
DRY

Some code parts looked heavily indented after fourmolu formatting,
however the formatting made p...

161142e0d9f503194b85fb6f5b2a5907a1ae3783 authored about 2 years ago by Yair Chuchem <yairchu@gmail.com>
Code formatting using fourmolu

While things are spread over many more lines and are more indented,
the style is good enough and...

8a4e6b988706ed263f774d7985cb97b58a5e30a1 authored about 2 years ago by Yair Chuchem <yairchu@gmail.com>
Use \\ rather than withDict. Nicer and works better with formatters like fourmolu

Also removed apparently unnecessary withDict in test

b265f3a71025075f9151806d10b48dd06a3b1488 authored about 2 years ago by Yair Chuchem <yairchu@gmail.com>
Replace link to 'Data types a la carte' paper

f2be425e8212243bc25c9b649448b63a2f52de22 authored about 2 years ago by René Muhl <rmuhl@exa-online.de>
Add passing tests for blame algorithm

c37fb8e286ec8c58fdfbc8bdf08a29eb03df068e authored over 2 years ago by Yair Chuchem <yairchu@gmail.com>
Minor code golfs

d526a13b6336c215c1a4e2b40689f66498c4ef4a authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
Remove redundant RTraversableInferOf which can be expressed using other combinators

User code needs less instances now

fe0ebbf774857361633b2a1ed7a04a2ad60012fe authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
Remove unnecessary proxy arg, can use type applications instead

861c3dbdc13e828a544c92fe6e473d12a86de03a authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
Use generic1 Iso

Now stackage LTS has the generalized `generic1`
(see https://github.com/ekmett/lens/issues/890)

10d8a8029004d3aad79334943039b0e9e59a695b authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
Convinience type synonyms for recursive class methods

9a28e3863b0e2525f38ce7b6efabbc056d3145b2 authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
Pretty instance for HCompose, Prune

3f4d0f1dacbe3663b16649cfe544756372fba7a8 authored almost 3 years ago by Eyal Lotem <eyal.lotem@gmail.com>
Tests compile with NoImplicitPrelude

79fe2b6b6f46f5e6edb1e7f1686e4a47d7be5393 authored almost 3 years ago by Eyal Lotem <eyal.lotem@gmail.com>
More informative crash error messages

cd441acee4af3def37e4b568de89775256f18027 authored almost 3 years ago by Eyal Lotem <eyal.lotem@gmail.com>
stack.yaml: upgrade to lts-19.1

c7f6b2f0caa633a5c4a0eb4a7d1f0026307c00c4 authored almost 3 years ago by Eyal Lotem <eyal.lotem@gmail.com>
gitignore ignore macOS .DS_Store files

1e9001367b9b86c27f48828ffb6721324238c046 authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
Fix -Wunused-packages warning

dff2ce4ac0ee12742254e873d235287f832043fb authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
Changes to compile in GHC 9.2

01209ad165dcbed46de72d595fcb0a6d16b96da5 authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
Update stack resolver, use GHC 9

346af788ced8183da62e40c8f349d31b10509237 authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
Remove unused QuickCheck dep

Thanks to -Wunused-packages

35c2a69c206631eeea7be26cd443cdf2b5be0ccc authored almost 3 years ago by Yair Chuchem <yairchu@gmail.com>
hlint police

bb87436874caabe39e08972240438d12d80cd378 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
README: Improve wording following @glaebhoerl feedback (#10)

7a9c2afec31d02fd391f471190c129421a9faf22 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Remove stale comment from README

Should had been removed in 0f1797349ca60b8d7867f321d5a16558860748c4
Noticed by @glaebhoerl in #10

331b2064c34e3a435b7b9e210721614140232787 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Re-export module Hyper.Syntax for easier imports

9d1f54b4c5a60c39f08b5559e2f5bdd3efdfe975 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Module hierarchy rename Hyper.{Type.AST=>Syntax}

95c5c93b5456c8f76c20f82fc602495b90634e32 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Bump version post hackage upload

ea3bb0a28425d6c4353bee63fc3932da368f068e authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Bump version for hackage release

0892b1020118646e6b80416b7af75554b6a2fa89 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
GHC 9 TH fixes. Was using GadtC a bit wrong but it works on GHC 8.

Now works with stackage nightly-2021-06-21 (GHC 9.0.1)

69a5345e3c01bb7d924e7547ca558d7ba19b177d authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Another change for GHC 9

a3976ffafd8250c3ec0c804a4ac15b58037a4f96 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
whitespace

10d83f35f8bfac32a07d8d26cbd4b86c404dcebf authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Changes for GHC 9 compatibility

(there seem to be more workarounds required, currently in ghc-9 branch)

add9cc3d662641c6a34c4e6d08a2068c8e5c34cb authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Compatibility with GHC 9 TH changes

f59da09655247670679a775cf157d5edd6a295ec authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Use snoc from lens

251634122ae8c982e44f25bc78e721699636c493 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Use length from Prelude

1aded6fecf5e7ba55c8c07786356611fb3083c3d authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Add instance

b3382e1d233c3aaa74c7845247d1bd533301a58a authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Generalize recursiveContexts (#5)

cb7bf3513728bb38718b42b4df52541d53ac0744 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Remove redundant language pragmas

(for extensions already enabled globally)

66c4de6f8ac9785b382bbb78fa019244d2532c3a authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
hiso helper for defining Iso on HFunctors

1bdbab20b457c6f849dd431542e0ccd2ce28c10d authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Add decompose, todo: better name?

b3b8ea9f5cbb6fa41c50078e1e14b5826ea60453 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Hyper.Unify exports UVar

Would simplify imports in user code (Lamdu)

de21cb3bb17018b929e71be863a48b640524888d authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
HApplicative is a constraint synonym rather than a class

b368b56bf2bdf945e4baece12b92b56bf3126b42 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
generated cabal file changes (upgraded stack)

e9f971cab81bf34350108e45a8ae8ea7323955e4 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
hlint police

ac717ce054b7621757193d7e1bd4d6e936b6d36a authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
use lens

ed65faa95d4089753c1df8ab587c4c3d185c42b7 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
hlint police

e24b581056cd423fd900f85a0ee32355a200ce97 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Fixed constraints of TH generated instances

Order no longer matters and no redundant constraints generated

52beb9a91cebdaf18a3e7031a860e960cb086642 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
make TH instance generation fail rather than get stuck with infinite structures

TODO: make it work rather than fail

e71309843f55b0046e379616baa7f954655fc7db authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
update docs

ac5c350d2add51094561d524ccae3e05a2cba80a authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
TH generated instances support correctly inheriting dependencies in more cases

48ed89bea6fc3e1d1c47792d7c3b4747eff3976c authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Fix bug in TH derivations, test module compiles

* simplifyContext used the inverse substitution than it needed to generate simpler contexts
whic...

cef6cdba04facc479a282e6223c6784922a83b9a authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Add failing instance derivation

c2c8e945a783739f0ba1567c49fadf644551fda1 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Add example module for https://github.com/lamdu/hypertypes/issues/7

05ad1ba5b918c3a17ea1f922538cec36153996e0 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Move non-production / experimental modules to test

Most other modules are in actual use in Lamdu,
and not just in an example test language,
so thei...

dec34c79321f3332a1c635222ccf1e0435540876 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
Simplify package.yaml

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>
update stackage snapshot

02ed82e8e520fafe8860c66a46d365a2754181e7 authored over 3 years ago by Yair Chuchem <yairchu@gmail.com>
hlint police

694e1765303e78438c24062fe48d8c386ec23830 authored almost 4 years ago by Yair Chuchem <yairchu@gmail.com>
annValue lens

e63d3e66dcb9b384a61734f141bc3e6924fcf873 authored almost 4 years ago by Yair Chuchem <yairchu@gmail.com>
Fix for alpha-eq not working when matching foralls with other foralls and concrete things

c0fb559c706c0e547a52100c5122eff1605b3903 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
Add failing test for https://github.com/lamdu/lamdu/issues/114

63876e09f6f60a50a702a4a45c51d7fb4c97fce5 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
Import Identity unqualified

1eb32683afd329599cf5232acf059e2c006326b7 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
DRY in package.yaml

8de6030e80e432b8d5f7170bdf9556019fa0b11d authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
TH code: Use expression quotation syntax

Not only does this shortens the code and makes it subjectively nicer,
it also makes it more futu...

323a76ff4d9f97f4f1befb2df53827aff7fc77d2 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
hlint with more enabled rules

86abb97957801c3fd7dba3575c357e11891f607f authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
Remove redundant family keyword in type families in classess

(change suggested by ormolu)

fc75d4d12a2e9e0c094f992ce2181e471dab0bf3 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
finish example, fix warnings

63315c56e7e545c6e3f803138ca05a734276bf0e authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
Fix compatibility with GHC 8.6

42c98dd8c38f8fb616ef87c3c7966b886edc88fa authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
sugarize example

9ee561019f63194a9fb0c93e7238a8423c6b5eed authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
Example: added coreToSugar

e3607474ec049a917e58c6ec73899b06208d1e76 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
morphMapped1

6bc6579493703b73535797045a41846d5451fa51 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
HIs2

a62245eb1b9ba391b3ac0e504fe107a1c9bd1e34 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
hlint police

dc6922b56697c8dda3832f90f1226a8a46508564 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
Desugaring example

f530b8dbc405d1449432cebcc27ab3fe7908a848 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
Ungeneralise HOptic, can revert if there's ever a need for the general class

a167d8f344bf107241a6a66cbb0acd8939fd1248 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
Default implementation for Unify.unifyError

Uses applyBindings, semiPruneLookup, occursError,
so those had to move to the Hyper.Class.Unify ...

0c7999c11e90708de937bad47093e4e8bc4ab420 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
Generalize HasFuncType to HSubset

b43d6f62518b941aacac7129e219d516ba9acd95 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
Generalize HasChild class into HOptic class

So no need for separate classes for Prisms etc

ca72fdf7d10c2c7c26bfa1e49f805c9d2295a542 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
Remove redundant import

cafd76177cb138dd783a16753565d46513ead648 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
makeHMorph supports embeds too

So it works for LangB (not that it makes sense for unparameterized hypertypes),
and also would w...

1abd3cfef79c38f9258134715a82a4d185ca6cf9 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>
makeHMorph works for TypeLang.Row

222832a74ba826761563680d213a953e5ed7f5c0 authored about 4 years ago by Yair Chuchem <yairchu@gmail.com>