coot/free-category
1
1
Fork 0
mirror of https://github.com/coot/free-category.git synced 2024-11-22 16:22:05 +03:00
Code Issues Projects Releases Wiki Activity
145 Commits 2 Branches 8 Tags 1 MiB
2a0f1603fe
Commit Graph

145 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Marcin Szamotulski
2a0f1603fe
Updated cabal files and ChangeLog.md file 2020-07-22 19:27:12 +02:00
Marcin Szamotulski
e646191f3c Fixed ghc-8.10.1 errors 2020-07-22 19:16:43 +02:00
Marcin Szamotulski
1ad08548dd Use haskell.nix 
Only compile with ghc: 8.10.1, 8.8.3 and 8.6.5; drop older versions.
 2020-07-22 19:16:43 +02:00
Marcin Szamotulski
611af1ae70 Bump version 2020-07-22 19:16:43 +02:00
Marcin Szamotulski
8bb348971c Updated package description 2020-07-22 19:16:43 +02:00
Marcin Szamotulski
bdcf139459
Updated package description 2019-12-06 12:43:40 +01:00
Marcin Szamotulski
82b7db1a53
cabal: added stability field 2019-12-06 10:58:09 +01:00
Marcin Szamotulski
c0b464c0cb
Removed accidental files 2019-12-05 14:25:15 +01:00
Marcin Szamotulski
1509aa5734
Updated cabal file 2019-12-05 02:23:32 +01:00
Marcin Szamotulski
c7aed8196b Updated nixpkgs hash 2019-12-05 02:20:14 +01:00
Marcin Szamotulski
45ed86cb3b Fixed typos in README.md 2019-12-05 02:20:14 +01:00
Marcin Szamotulski
385c6511aa Added release.nix file 2019-12-05 02:20:14 +01: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
8501043e10 Updated README file 2019-12-05 02:20:14 +01:00
Marcin Szamotulski
a87f3afe0e Updated benchmarks 2019-12-05 02:20:14 +01:00
Marcin Szamotulski
da9d9a2018 Updated nixpkgs.nix 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
6e82ad08ca Updated nix/free-algebras.nix 2019-12-05 02:20:14 +01:00
Marcin Szamotulski
f5d21153a0 Updated ChangeLog 2019-12-05 02:20:14 +01:00
Marcin Szamotulski
ce0510c372 Added foldrL, foldrL and zipWithL 
This matches the api of Queue.
 2019-12-05 02:20:14 +01:00
Marcin Szamotulski
ddd4701811 Export ListTr 2019-12-05 02:20:14 +01:00
Marcin Szamotulski
daa4113228 Use free-algebras 0.0.8.0 2019-12-05 02:20:14 +01:00
Marcin Szamotulski
15f8c5b0dd Build with ghc881 2019-10-06 19:25:09 +01:00
Marcin Szamotulski
3c599fef5f Switched to nixorg/nix:circleci docker image 2019-10-06 19:25:09 +01:00
Marcin Szamotulski
e448412f75 CI use nixpkgs-unstable channel 2019-10-06 13:11:45 +01:00
Marcin Szamotulski
4fdb07f48e nix: use -Wno-inline-rule-shadowing in ghc802 2019-10-06 13:11:45 +01:00
Marcin Szamotulski
b929077597 Include more benchmarks 
When length of morphisms increases the 'Queue' type shows its strengths.
 2019-10-06 13:11:45 +01:00
Marcin Szamotulski
d7f4b32e54 Export more functions 2019-10-06 13:11:45 +01:00
Marcin Szamotulski
5ef73f172e Added foldNatL/NilTr rewrite rule 2019-10-06 13:11:45 +01:00
Marcin Szamotulski
13bc4de0dc Added README 2019-09-29 20:46:19 +01:00
Marcin Szamotulski
6702b0974d Modify example 
Simplify types, but use 'KleisliS' newtype wrapper.
 2019-09-29 20:46:19 +01:00
Marcin Szamotulski
8678e87081 Generalise liftEffect and foldNatEffCat 
Allow to plug any free category.
 2019-09-29 20:46:19 +01:00
Marcin Szamotulski
1e64f283ba
Update README.md 2019-09-08 19:56:04 +00:00
Marcin Szamotulski
5045600e02
Removed commented out rewrite rule 2019-09-08 21:36:13 +02:00
Marcin Szamotulski
2bfe243cdf Consistently add inline pragmas to AlgebraFree2 instances 
It's not required in some of them, but in others (e.g. C) the rewrite
rules fire only when they are present.  Also since we intend to inline
the definitions, it's better to be explicit.
 2019-09-08 21:08:52 +02:00
Marcin Szamotulski
131fd47651 Renamed arr family of function to lift 
e.g. arrC -> liftC, arrCat -> liftCat

'arr' is used in 'Arrow' class and we use 'lift' prefix in
'AlgebraFree2' class, thus lift prefix seems more appropriate.
 2019-09-08 21:08:52 +02:00
Marcin Szamotulski
e5d030ebf7 Rearange function, rewrite rules and type class instances 2019-09-08 21:08:52 +02:00
Marcin Szamotulski
c71fc6678b GHC rewrite rules for ListTr 2019-09-08 21:08:52 +02:00
Marcin Szamotulski
53616ddd34 Remove some redundant INLINE pragmas 2019-09-08 21:08:52 +02:00
Marcin Szamotulski
a7dfb4473a Rewrite rules in Free.Internal module 2019-09-08 21:08:52 +02:00
Marcin Szamotulski
c05a33394b Added consC and the corresponding rewrite rule 2019-09-08 21:08:52 +02:00
Marcin Szamotulski
6ae5e433a9 Added missing Semigroup / Monoid instances for Cat 2019-09-08 21:08:52 +02:00
Marcin Szamotulski
2c7071977e Added rewrite rules for C 2019-09-08 21:08:52 +02:00
Marcin Szamotulski
2545d97eb0 Renamed foldCat as foldNatCat 2019-09-08 21:08:52 +02:00
Marcin Szamotulski
d8c6f7f245 GHC RULES 
Added various GHC rewrite rules for `Queue` and `Cat` types:
* `foldCat`
* `foldQ` / `foldrQ`
* `foldNatQ`
* `hoistQ`
 2019-09-08 21:08:52 +02:00
Marcin Szamotulski
029f68a8b5 Added consCat 2019-09-08 21:08:52 +02:00
Marcin Szamotulski
d831cf752a Rename emptyQ as nilQ 2019-09-08 21:08:52 +02:00
Marcin Szamotulski
a874982209 Stylistic changes 2019-09-08 21:08:52 +02:00
Marcin Szamotulski
cf86a6b64c Build benchmarks on CI 2019-09-07 15:20:58 +02:00
Marcin Szamotulski
0e96a23ae2 Improved haddoc documentation 
Let 'Queue' be exported as top implementation.  Add a note on 'Cat'
performance.
 2019-09-07 09:58:45 +02:00