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

Commit Graph

  • 1072170a02
         Updated README file Marcin Szamotulski 2019-10-07 00:06:53 +0100
  • 5a2eacec2b
         Updated benchmarks Marcin Szamotulski 2019-10-06 23:59:07 +0100
  • d074347e39
         Updated nixpkgs.nix Marcin Szamotulski 2019-10-06 23:33:28 +0100
  • 5d100f6b89
         Unused imports in tests Marcin Szamotulski 2019-10-06 23:33:14 +0100
  • e7088cbb6c
         Updated nix/free-algebras.nix Marcin Szamotulski 2019-10-06 23:25:19 +0100
  • d6c71d796d
         Updated ChangeLog Marcin Szamotulski 2019-10-06 23:21:27 +0100
  • 777f41c094
         Added foldrL, foldrL and zipWithL Marcin Szamotulski 2019-10-06 23:16:40 +0100
  • 278ab925ed
         Export ListTr Marcin Szamotulski 2019-10-06 23:05:50 +0100
  • 76999abe37
         Use free-algebras 0.0.8.0 Marcin Szamotulski 2019-10-06 23:00:40 +0100
  • 15f8c5b0dd Build with ghc881 Marcin Szamotulski 2019-10-06 19:07:50 +0100
  • 3c599fef5f Switched to nixorg/nix:circleci docker image Marcin Szamotulski 2019-10-06 18:59:58 +0100
  • 2f164a2e21
         Build with ghc881 Marcin Szamotulski 2019-10-06 19:07:50 +0100
  • cd57225efc
         Switched to nixorg/nix:circleci docker image Marcin Szamotulski 2019-10-06 18:59:58 +0100
  • e448412f75 CI use nixpkgs-unstable channel Marcin Szamotulski 2019-10-05 23:16:27 +0100
  • 4fdb07f48e nix: use -Wno-inline-rule-shadowing in ghc802 Marcin Szamotulski 2019-10-05 21:03:04 +0100
  • b929077597 Include more benchmarks Marcin Szamotulski 2019-10-02 20:11:39 +0100
  • d7f4b32e54 Export more functions Marcin Szamotulski 2019-10-02 20:10:15 +0100
  • 5ef73f172e Added foldNatL/NilTr rewrite rule Marcin Szamotulski 2019-10-02 20:09:50 +0100
  • 33f74d797d
         Use nixpkgs-unstable on CI Marcin Szamotulski 2019-10-06 12:41:27 +0100
  • f737a57cf4
         Build and tests with ghc881 Marcin Szamotulski 2019-09-06 08:08:55 +0200
  • 6251ecb090
         CI use nixpkgs-unstable channel Marcin Szamotulski 2019-10-05 23:16:27 +0100
  • 89c20a369f
         nix: use -Wno-inline-rule-shadowing in ghc802 Marcin Szamotulski 2019-10-05 21:03:04 +0100
  • 5f6e2ffafa
         Include more benchmarks Marcin Szamotulski 2019-10-02 20:11:39 +0100
  • d8e7dc79ae
         Export more functions Marcin Szamotulski 2019-10-02 20:10:15 +0100
  • dc36d4d95d
         Added foldNatL/NilTr rewrite rule Marcin Szamotulski 2019-10-02 20:09:50 +0100
  • 13bc4de0dc Added README Marcin Szamotulski 2019-09-29 13:48:32 +0100
  • 6702b0974d Modify example Marcin Szamotulski 2019-09-29 13:03:27 +0100
  • 8678e87081 Generalise liftEffect and foldNatEffCat Marcin Szamotulski 2019-09-29 13:02:24 +0100
  • ca290117ed
         Added README Marcin Szamotulski 2019-09-29 13:48:32 +0100
  • 8bbbf11673
         Modify example Marcin Szamotulski 2019-09-29 13:03:27 +0100
  • f94b86e448
         Generalise liftEffect and foldNatEffCat Marcin Szamotulski 2019-09-29 13:02:24 +0100
  • 1e64f283ba
         Update README.md Marcin Szamotulski 2019-09-08 19:56:04 +0000
  • 5045600e02
         Removed commented out rewrite rule Marcin Szamotulski 2019-09-08 21:36:13 +0200
  • 2bfe243cdf Consistently add inline pragmas to AlgebraFree2 instances Marcin Szamotulski 2019-09-08 18:25:51 +0200
  • 131fd47651 Renamed arr family of function to lift Marcin Szamotulski 2019-09-08 18:22:36 +0200
  • e5d030ebf7 Rearange function, rewrite rules and type class instances Marcin Szamotulski 2019-09-08 18:05:37 +0200
  • c71fc6678b GHC rewrite rules for ListTr Marcin Szamotulski 2019-09-08 18:00:49 +0200
  • 53616ddd34 Remove some redundant INLINE pragmas Marcin Szamotulski 2019-09-08 15:23:19 +0200
  • a7dfb4473a Rewrite rules in Free.Internal module Marcin Szamotulski 2019-09-08 15:16:30 +0200
  • c05a33394b Added consC and the corresponding rewrite rule Marcin Szamotulski 2019-09-08 15:11:57 +0200
  • 6ae5e433a9 Added missing Semigroup / Monoid instances for Cat Marcin Szamotulski 2019-09-08 15:05:12 +0200
  • 2c7071977e Added rewrite rules for C Marcin Szamotulski 2019-09-08 14:49:42 +0200
  • 2545d97eb0 Renamed foldCat as foldNatCat Marcin Szamotulski 2019-09-08 14:41:46 +0200
  • d8c6f7f245 GHC RULES Marcin Szamotulski 2019-09-07 17:49:35 +0200
  • 029f68a8b5 Added consCat Marcin Szamotulski 2019-09-07 20:28:22 +0200
  • d831cf752a Rename emptyQ as nilQ Marcin Szamotulski 2019-09-07 17:45:10 +0200
  • a874982209 Stylistic changes Marcin Szamotulski 2019-09-07 17:43:10 +0200
  • 1e10b0c5dd
         Consistently add inline pragmas to AlgebraFree2 instances Marcin Szamotulski 2019-09-08 18:25:51 +0200
  • da24c8e461
         Renamed arr family of function to lift Marcin Szamotulski 2019-09-08 18:22:36 +0200
  • cb861b4708
         Rearange function, rewrite rules and type class instances Marcin Szamotulski 2019-09-08 18:05:37 +0200
  • 0c24b00a5d
         GHC rewrite rules for ListTr Marcin Szamotulski 2019-09-08 18:00:49 +0200
  • 20a06942a1
         Remove some redundant INLINE pragmas Marcin Szamotulski 2019-09-08 15:23:19 +0200
  • 7c2791ff5a
         Rewrite rules in Free.Internal module Marcin Szamotulski 2019-09-08 15:16:30 +0200
  • dbfede8c02
         Added consC and the corresponding rewrite rule Marcin Szamotulski 2019-09-08 15:11:57 +0200
  • 39c7c6bb9f
         Added missing Semigroup / Monoid instances for Cat Marcin Szamotulski 2019-09-08 15:05:12 +0200
  • 88ece805e4
         Added rewrite rules for C Marcin Szamotulski 2019-09-08 14:49:42 +0200
  • e865e765dc
         Renamed foldCat as foldNatCat Marcin Szamotulski 2019-09-08 14:41:46 +0200
  • 20f5ae30df
         GHC RULES Marcin Szamotulski 2019-09-07 17:49:35 +0200
  • 8fcc5d8ff5
         Added consCat Marcin Szamotulski 2019-09-07 20:28:22 +0200
  • 600c7236ec
         Rename emptyQ as nilQ Marcin Szamotulski 2019-09-07 17:45:10 +0200
  • 87d412cfce
         Stylistic changes Marcin Szamotulski 2019-09-07 17:43:10 +0200
  • cf86a6b64c Build benchmarks on CI Marcin Szamotulski 2019-09-07 12:45:26 +0200
  • 6090690a7a
         Build benchmarks on CI Marcin Szamotulski 2019-09-07 12:45:26 +0200
  • 0e96a23ae2 Improved haddoc documentation Marcin Szamotulski 2019-09-07 09:26:07 +0200
  • 259b8eecb6 Updated benchmark reports Marcin Szamotulski 2019-09-07 09:22:01 +0200
  • 450b78f918 Swapped ListTr for Queue Marcin Szamotulski 2019-09-07 09:03:57 +0200
  • 2e29c220a0 Added Queue category instance benchmarks Marcin Szamotulski 2019-09-07 08:59:36 +0200
  • 059d54ecdd Reorder ListTr instances Marcin Szamotulski 2019-09-07 08:59:13 +0200
  • 1dc4cad07f Added Category instance for Queue Marcin Szamotulski 2019-09-07 08:58:07 +0200
  • d3b19e4d59 Renamed Queue interface Marcin Szamotulski 2019-09-07 08:38:20 +0200
  • 9803383aea
         Improved haddoc documentation Marcin Szamotulski 2019-09-07 09:26:07 +0200
  • 577bfbc3bc
         Updated benchmark reports Marcin Szamotulski 2019-09-07 09:22:01 +0200
  • 8741d309cd
         Swapped ListTr for Queue Marcin Szamotulski 2019-09-07 09:03:57 +0200
  • 8a5e02ccdf
         Added Queue category instance benchmarks Marcin Szamotulski 2019-09-07 08:59:36 +0200
  • 3ad968bd2c
         Reorder ListTr instances Marcin Szamotulski 2019-09-07 08:59:13 +0200
  • dae658bc4b
         Added Category instance for Queue Marcin Szamotulski 2019-09-07 08:58:07 +0200
  • 233cc391a0
         Renamed Queue interface Marcin Szamotulski 2019-09-07 08:38:20 +0200
  • 99121aff4f Added hoistFreeH2 to Control.Category.Free export list Marcin Szamotulski 2019-09-06 21:00:30 +0200
  • 1dc741964b Added Show instances for Cat and C Marcin Szamotulski 2019-09-06 20:26:54 +0200
  • 074b57df8f Code style Marcin Szamotulski 2019-09-06 20:26:10 +0200
  • 229793d7fd Improved haddocks Marcin Szamotulski 2019-09-06 20:10:07 +0200
  • 4caa78213a
         Added hoistFreeH2 to Control.Category.Free export list Marcin Szamotulski 2019-09-06 21:00:30 +0200
  • b4dac33d06
         Added Show instances for Cat and C Marcin Szamotulski 2019-09-06 20:26:54 +0200
  • 1c54380d9f
         Code style Marcin Szamotulski 2019-09-06 20:26:10 +0200
  • 17699bfae5
         Improved haddocks Marcin Szamotulski 2019-09-06 20:10:07 +0200
  • 8152515847 Added more tests Marcin Szamotulski 2019-09-05 22:06:23 +0200
  • 0a4519ca7d
         Added more tests Marcin Szamotulski 2019-09-05 22:06:23 +0200
  • 57924b4a72 Improved haddocs Marcin Szamotulski 2019-09-05 09:06:10 +0200
  • 6906ee238a Added proof that op = unsafeCoerce is safe Marcin Szamotulski 2019-09-05 09:04:37 +0200
  • a8c7f5df27 Moved Cat Category instance close to definition Marcin Szamotulski 2019-09-05 09:03:23 +0200
  • 3405380fbf Updated ListTr haddock Marcin Szamotulski 2019-09-05 09:02:05 +0200
  • 510c758b59 Removed some INLINE pragmas Marcin Szamotulski 2019-09-04 21:59:25 +0200
  • ecfff505c4 Remove unnecessary indirection in definition of Cat Marcin Szamotulski 2019-09-04 21:28:27 +0200
  • 973fb6f50f
         Improved haddocs Marcin Szamotulski 2019-09-05 09:06:10 +0200
  • 81acc626e3
         Added proof that op = unsafeCoerce is safe Marcin Szamotulski 2019-09-05 09:04:37 +0200
  • ffa8fdfd01
         Moved Cat Category instance close to definition Marcin Szamotulski 2019-09-05 09:03:23 +0200
  • 746dfef59e
         Updated ListTr haddock Marcin Szamotulski 2019-09-05 09:02:05 +0200
  • 243ccc308e
         Removed some INLINE pragmas Marcin Szamotulski 2019-09-04 21:59:25 +0200
  • f097024829
         Remove unnecessary indirection in definition of Cat Marcin Szamotulski 2019-09-04 21:28:27 +0200
  • 78a65122e0
         Fixed a typo in README.md file Marcin Szamotulski 2019-09-03 21:46:21 +0200