Git — Sourcephile - haskell/symantic-base.git/history - src/Symantic/Syntaxes/Classes.hs

]> Git — Sourcephile - haskell/symantic-base.git/history - src/Symantic/Syntaxes/Classes.hs

sourcephile / git / haskell / symantic-base.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[haskell/symantic-base.git] / src / Symantic / Syntaxes / Classes.hs

2023-08-30	Julien Moutinho	doc: move description to modules' header	blob \| commitdiff \| raw
2023-08-30	Julien Moutinho	iface: split syntax `Abstractable` into `Abstractable1...	blob \| commitdiff \| raw \| diff to current
2023-08-30	Julien Moutinho	iface: add semantic `Forall`	blob \| commitdiff \| raw \| diff to current
2023-08-30	Julien Moutinho	doc: remove old comments	blob \| commitdiff \| raw \| diff to current
2023-07-17	Julien Moutinho	impl: fix `(:!:)` completeness warning	blob \| commitdiff \| raw \| diff to current
2023-07-17	Julien Moutinho	iface: add the `a` parameter to the `Dataable` class	blob \| commitdiff \| raw \| diff to current
2023-07-17	Julien Moutinho	iface: remove `ToFer` semantic in favor of `(-->)`	blob \| commitdiff \| raw \| diff to current
2023-06-26	Julien Moutinho	iface: fix `data_` constraints to handle contravariant...	blob \| commitdiff \| raw \| diff to current
2023-01-25	Julien Moutinho	impl: rename module `ADT` to `EithersOfTuples`	blob \| commitdiff \| raw \| diff to current
2023-01-25	Julien Moutinho	iface: replace `adt` by `dataType`, and support `Tuples...	blob \| commitdiff \| raw \| diff to current
2023-01-25	Julien Moutinho	iface: remove syntax `Routable`	blob \| commitdiff \| raw \| diff to current
2023-01-25	Julien Moutinho	iface: add syntax for `either`	blob \| commitdiff \| raw \| diff to current
2023-01-25	Julien Moutinho	iface: fix gather in submodules	blob \| commitdiff \| raw \| diff to current
2022-11-22	Julien Moutinho	iface: move `(.@)` into `Unabstractable`	blob \| commitdiff \| raw \| diff to current
2022-11-22	Julien Moutinho	impl: rename type variable `repr` to `sem`	blob \| commitdiff \| raw \| diff to current
2022-11-22	Julien Moutinho	iface: add syntax `IfSemantic`	blob \| commitdiff \| raw \| diff to current
2022-11-22	Julien Moutinho	impl: gather in submodules	blob \| commitdiff \| raw \| diff to current

Library for basic symantic combinators