coot/free-category
1
1
Fork 0
mirror of https://github.com/coot/free-category.git synced 2024-09-11 14:17:30 +03:00
Code Issues Projects Releases Wiki Activity
177 Commits 2 Branches 8 Tags 1 MiB
master
Commit Graph

12 Commits

Author SHA1 Message Date
Marcin Szamotulski
75c64698bb Support GHC: 9.0, 9.2, 9.4 
Drop support for GHC 8.6 or earlier.
Remove nix.
 2022-09-07 12:45:15 +02:00
Marcin Szamotulski
a3d4ce4bcc Make tests compile with ghc-8.10.2 2020-10-18 17:07:13 +02:00
Marcin Szamotulski
c5d626e3a5 Removed Cat type 
It's not performing as good as 'Queue' or 'ListTr'.
 2019-12-05 02:20:14 +01:00
Marcin Szamotulski
bf1ef54b3c Unused imports in tests 2019-12-05 02:20:14 +01:00
Marcin Szamotulski
1dc4cad07f Added Category instance for Queue 
Including tests.
 2019-09-07 09:58:45 +02:00
Marcin Szamotulski
d3b19e4d59 Renamed Queue interface 
* `snoc`   -> `snocQ`
* `cons`   -> `consQ`
* `uncons` -> `unconsQ`
 2019-09-07 09:58:45 +02:00
Marcin Szamotulski
1dc741964b Added Show instances for Cat and C 2019-09-07 09:00:20 +02:00
Marcin Szamotulski
8152515847 Added more tests 
Test:
* category laws
* compatibility for 'foldNatFree2' for categories and 'foldMap' for
  monoids.
 2019-09-05 20:56:37 +00:00
Marcin Szamotulski
6786025a6f Removed CatL 
Other presentations have better performance, not need to explode the
API.
 2019-09-03 06:45:16 +00:00
Marcin Szamotulski
d58d6b30f1 Basic tests of Cat and friends 2019-09-02 20:29:14 +00:00
Marcin Szamotulski
fa7963e053 Style changes 2019-09-02 20:29:14 +00:00
Marcin Szamotulski
5a2c359aee Queue tests 
Model Queue with a list and check basic properties of
* cons
* snoc
* foldrQ
* foldlQ
 2019-09-02 20:29:14 +00:00