github.com/lamdu/hypertypes commits | Ecosyste.ms: OpenCollective

Simpler defunctionalization

0b0473891470615ecaf1c56056d9ffa771552110 authored over 5 years ago by Eyal Lotem <[email protected]>

Remove unused instances

31e686b7f79ac30c24f4c4a229b74e26e7554d6f authored over 5 years ago by Eyal Lotem <[email protected]>

Remove superfluous class wrappers around type families

91ede61dbebc69b18c12ac2ac2c6943d4f722f0d authored over 5 years ago by Eyal Lotem <[email protected]>

Remove unused applyKnotConstraint

f0230c899f6d3c6ec1763f225419aec75b6ca4f1 authored over 5 years ago by Eyal Lotem <[email protected]>

HasNodes=>KNodes

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

remove mNoChildren

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

Recursively doesn't imply KTraverable

Need some way to not need to specify Recursively of base classes of others.

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

Recursive constraints now compose, got rid of the And class

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

mapKWithDict

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

Extract AST.Knot.Dict

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

pureKWithDict, traverseKWithDict

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

add export

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

wip

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

RecursiveNodes moved to AST.Class.Recursive

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

RecursiveChildren=>RecursiveNodes

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

Move NodeHasConstraint to usage site

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

foldMapRecursive requires KFoldable rather than parameterized constraint

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

rename Recursive=>Recursively

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

RecursiveDict: flip parameters order

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

remove recursiveChildren_ and recursiveOverChildren

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

Avoid using And

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

foldMapKWith moved to AST.Class.Foldable etc

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

AST.Class.Combinators improved and don't require lifting constraints to NodeTypesOf

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

kLiftConstraint{=>s}

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

ApplyKConstraints parameter ordering consistent with similar types

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

Flip parameters order of KLiftConstraints to be consistent with KLiftConstraint

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

KLiftConstraint type synonym.

Works as previous KLiftConstraint type family but is based on more powerful NodesConstraint type...

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

NodesConstraint replaces KLiftConstraint

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

KFoldable implies HasNodes

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

hasNodeTypes=>hasNodes

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

NodesConstraint type family which will replace KLiftConstraint

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

RecursiveConstraint => RecursiveContext

Will use the name RecursiveConstraint for a KnotConstraintFunc

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

AST.Constraint defunctionalized type-familiess for use by KLiftConstraint

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

NodeTypeConstraints doesn't get NodesTypesOf

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

No uses of pureC, so remove it

Can revert if need arises

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

KFunctor implies HasNodes. Simplifies many contexts

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

rename HasNodeTypes=>HasNodes

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

KPointed depends on HasNodeTypes

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

NodeTypesOf is an associated type family

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

HasNodeTypes moved to AST.Class

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

NodeTypesOf moved to AST.Class towards being an associated type family

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

KApply and KApplicative moved to AST.Class

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

instances for Both moved to AST.Class, towards moving Apply there

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

KFunctor moved to AST.Class

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

Move AST.Class.KPointed to AST.Class towards moving HasNodeTypes and friends there as well.

These will depend on each other so will need to live in the same module.

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

rename ChildrenTypes=>NodeTypes

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

rename Tie=>Node

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

Removed AST.Class.Children! Completely replaced by KTraversable and friends!

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

Remove TH generation of Children instances

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

replace AST.Class.Children.Mono with traverseK1

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

AST.Term.Scheme: don't use Children

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

AST.Term.Nominal doesn't use Children

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

remove Children instances

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

UnifyError doesn't use Children

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

UnifyError instances

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

AST.Infer.Term doesn't use children

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

more instances for ITerm

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

HasChildrenTypes instance for Flip (ITerm a) e

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

instances for IResult

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

wip

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

TH cleanup: remove redundant constant argument

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

Nicer error message from TH

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

HasChildrenTypes instance for Both

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

reverse parameter order for IResult so it could have KFunctor etc instances

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

missing export

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

ignore .ghcid

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

Add new constraints in addition to deprecated ones to InferChildDeps

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

KTraversable instance for LangB.ScopeTypes

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

KTraversable instance for GTerm

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

Update to new th-abstraction

* Resolver set to nightly-2019-07-24, which includes it

1d7e2a4693f7be91e913a6b30b7238b9f96bac82 authored over 5 years ago by Eyal Lotem <[email protected]>

default type family instance for KLiftConstraint

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

instances for RecursiveChildren

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

RecursiveChildren knot combinator

KPointed instance implemented, need to implement the rest

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

Recursive doesn't use Children

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

HasChildrenTypes doesnt require the ChildrenTypesOf to be Traversable

The values could be behind a function and it can still work

Also remove redundant constraint wh...

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

Remove uses of Children

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

mMapLeafK moved to more general mNoChildren

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

Simplify implementations of liftK2 and traverseK_

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

Relax some KApplicative constraints to KApply

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

Oops removed instances in previous commit

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

KApplicative now only has context and no methods

(Based on KApply and KFunctor)

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

Add KApply class, towards basing KApplicative on it

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

Comments, formatting, and inline pragmas

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

Use TypeApplications instead of extra Proxy's as suggested by @goldfirere

See https://gitlab.haskell.org/ghc/ghc/issues/13655#note_214900

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

Add upper-bound for th-abstraction for cabal-based builds

See https://gitlab.haskell.org/ghc/ghc/issues/13655#note_214875

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

zipMatchWith requires KFunctor, not KTraversable, similarly for zipMatchWith_ with foldable

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

ZipMatch doesn't use Children

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

traverseK_ requires KFoldable, not KTraversable

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

Remove combinators for Children class and leafExpr method

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

Transition from using Children class

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

Replace some usages of And with new combinators getting a list of constraints

All remaining usages of And are now via Recursive

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

sumC=>foldMapC

Type is actually similar to foldMap

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

More instances

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

remove dead code

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

Get rid of NoConstraints!

Unify currently requires KTraversable in addition to the old Children,
towards getting rid of th...

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

Oops don't need complicated LangAChildrenTypes which supports all recursive types

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

instances for LangA using QuantifiedConstraints

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

KTraversable instance for LangB

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

KTraversable instances for example TypeLang

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

TH cleanups

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