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
Marcin Szamotulski
259b8eecb6
Updated benchmark reports
2019-09-07 09:58:45 +02:00
Marcin Szamotulski
450b78f918
Swapped ListTr for Queue
...
Queue performes ~66% better thaan ListTr, and is more prone for foldl
/ foldr than 'Cat'.
2019-09-07 09:58:45 +02:00
Marcin Szamotulski
2e29c220a0
Added Queue category instance benchmarks
2019-09-07 09:58:45 +02:00