Lysxia/first-class-families
1
1
Fork 0
mirror of https://github.com/Lysxia/first-class-families.git synced 2024-09-11 19:47:12 +03:00
Code Issues Projects Releases Wiki Activity

Commit Graph

  • 15f689e3d0 Add closing bracket gspia 2020-01-06 07:05:42 +0200
  • 922dddda97 Stylistic changes gspia 2020-01-06 07:01:47 +0200
  • 2880802642 Review changes gspia 2020-01-05 08:35:50 +0200
  • f8f89c006a Update the version number gspia 2020-01-04 16:07:05 +0200
  • da63159681 Add Unfoldr, Concat, ConcatMap and Replicat gspia 2020-01-04 16:03:51 +0200
  • 2fb77468d3 Bump to version 0.6.0.0 0.6.0.0 Lysxia 2019-09-15 09:09:11 -0400
  • 70bdacabcc CHANGELOG: Update Lysxia 2019-09-15 09:08:19 -0400
  • 19ea2cbe80 Set infixl 1 (>>=) Lysxia 2019-09-15 09:06:41 -0400
  • 0ae7e3dd09
         Merge pull request #14 from TheMatten/case-and-bind Xia Li-yao 2019-09-15 09:03:57 -0400
  • 6766cde723 Implement suggestions TheMatten 2019-09-14 21:10:27 +0200
  • 707e219fe8 Implement suggestions TheMatten 2019-09-13 21:58:19 +0200
  • d0ea640a5c Add 'Case' and '(>>=)' FCFs TheMatten 2019-09-13 18:36:21 +0200
  • 472ba4aead
         Merge pull request #13 from leonschoorl/ghc-8.8 Xia Li-yao 2019-09-12 13:33:55 -0400
  • 8507467b7a Regenerate .travis.yml with GHC-8.8.1 added Leon Schoorl 2019-08-30 00:12:28 +0200
  • 2333eadf67 Build without warnings on GHC 8.6 and 8.8 Leon Schoorl 2019-08-30 00:03:36 +0200
  • db82af1474 Allow building on GHC-8.8.1 Leon Schoorl 2019-08-30 00:02:01 +0200
  • bb64878045 Bump version to 0.5.0.0 0.5.0.0 Lysxia 2019-01-27 08:18:48 -0500
  • 02dbc8130d Export Fcf.Utils.TError Lysxia 2019-01-27 08:06:24 -0500
  • ece2c611d6 Add some haddock comments and reexport If from base Lysxia 2019-01-27 07:59:54 -0500
  • cbbe1527a5 CHANGELOG: Update Lysxia 2019-01-26 20:14:53 -0500
  • ac968a4e74 Rename Collapse to Constraints Lysxia 2019-01-26 20:14:07 -0500
  • c16c692497 Export (***) and (^) Lysxia 2019-01-26 20:13:21 -0500
  • 4e1c3f45c8 Split Fcf.Data into Fcf.Data.Common and Fcf.Data.List Lysxia 2019-01-26 20:04:44 -0500
  • e78f3595dc
         Merge pull request #9 from blmage/list-functions Xia Li-yao 2019-01-26 16:34:50 -0500
  • 01de68c5e5
         Merge pull request #11 from blmage/type-error Xia Li-yao 2019-01-26 14:56:39 -0500
  • 2759cfcfc4 Add Cons, Last, Init and Elem blmage 2019-01-26 15:27:01 +0100
  • 1079496623 Add TError (variant of Error) blmage 2019-01-26 20:42:26 +0100
  • 1812c09a55 doc: add origin of Nat Lysxia 2019-01-11 15:46:27 +0100
  • 4f1b33da0c Recommend copying dev-stack.yaml Lysxia 2019-01-11 15:38:11 +0100
  • 7ff6bb90b5 Add TypeInType in new modules Lysxia 2019-01-11 15:37:29 +0100
  • ac663fae5c Modularize library Lysxia 2019-01-11 15:27:02 +0100
  • 78adbd44b0 Add dev-stack.yaml for reference Lysxia 2019-01-11 14:33:35 +0100
  • 326de1f9e1 Add conservative upper bound on base (< 4.13) Lysxia 2019-01-11 11:55:51 +0100
  • 7515619385 Bump to version 0.4.0.0 0.4.0.0 Lysxia 2018-12-30 16:48:51 +0100
  • ac7d274c1f test: Compat fix for 8.0 Lysxia 2018-12-20 12:16:20 -0500
  • 620dc395f9 Refine Guarded example Lysxia 2018-12-20 11:08:02 -0500
  • c289405ef1 CHANGELOG: Update Lysxia 2018-12-20 11:04:00 -0500
  • 710f289952 test: Add test for Guarded Lysxia 2018-12-20 11:03:25 -0500
  • e00ed1ef93 Rename (:=) type to Guard (constructor stays the same) Lysxia 2018-12-20 11:02:58 -0500
  • fd65e006a9 CHANGELOG: added functions by blmage Lysxia 2018-12-20 10:40:00 -0500
  • e51b98cdb3
         Merge pull request #6 from blmage/guards Xia Li-yao 2018-12-20 08:20:09 -0500
  • fcb611c259 Rename Otherwise1 to Otherwise blmage 2018-12-20 13:38:39 +0100
  • 47b7c81a54 Keep only Guarded1 as Guarded and switch tuples for (:=) blmage 2018-12-20 13:36:30 +0100
  • 7c354bac67 README: Example usage of Map Lysxia 2018-12-17 12:08:29 -0500
  • 2cfa23b4af README: Add example from Fcf.hs Lysxia 2018-12-17 12:01:42 -0500
  • 4c6887dd87 Make Guarded and Guarded1 lazier blmage 2018-12-13 19:29:54 +0100
  • 1e31b27473
         Merge pull request #5 from blmage/nat-comparison Xia Li-yao 2018-12-12 16:01:09 -0500
  • 9fc3f89ebb Add Guarded, Otherwise, Guarded1, Otherwise1 blmage 2018-12-12 20:58:35 +0100
  • d5145a516f Add <=, >=, <, > blmage 2018-12-12 19:09:23 +0100
  • 9ad51a9482
         Merge pull request #3 from blmage/master Xia Li-yao 2018-12-12 08:55:55 -0500
  • b0aca61230 Add LiftM, LiftM2, LiftM3 blmage 2018-12-12 12:36:38 +0100
  • 74fe61de4f Bump to version 0.3.0.1 0.3.0.1 Lysxia 2018-10-01 14:34:26 -0400
  • c3b0597a07 Track GHC 8.6 in CI Lysxia 2018-10-01 14:12:57 -0400
  • e965eb8892 Qualify use of (*) operator for 8.6 compat Lysxia 2018-10-01 14:12:17 -0400
  • 67d2a2f1cf Bump to version 0.3.0.0 0.3.0.0 Lysxia 2018-09-27 22:35:42 -0400
  • 7de3974522 List essential extensions Lysxia 2018-09-16 19:00:42 -0400
  • ddaa051ddc Comment Lysxia 2018-09-16 11:48:15 -0400
  • 2794ad89d2 Reorganize module Lysxia 2018-09-16 11:38:25 -0400
  • 1b8ccdc678 A bit lazier definition of FindIndex Lysxia 2018-09-15 12:06:04 -0400
  • 97f127ed67 Update CHANGELOG Lysxia 2018-09-15 12:04:28 -0400
  • aacbcd7097 Merge remote-tracking branch 'origin/master' Lysxia 2018-09-15 12:00:50 -0400
  • 3dea798143 Bump to version 0.2.0.0 0.2.0.0 Lysxia 2018-09-12 15:59:02 -0400
  • 9d3536f296
         Merge pull request #2 from isovector/typelits Xia Li-yao 2018-09-15 11:58:18 -0400
  • d600e3a563 is it a left or a right or a nothing or a just Sandy Maguire 2018-09-14 13:58:50 -0400
  • 8666ee5fbf setindex Sandy Maguire 2018-09-13 15:20:32 -0400
  • 638d85ec58 type lits Sandy Maguire 2018-09-13 15:08:48 -0400
  • f1517f35c2 Update README Lysxia 2018-09-12 15:53:12 -0400
  • 98a1e21f40 Add CHANGELOG Lysxia 2018-09-12 15:52:06 -0400
  • 80f6c860ab Move things around, generalize Bimap Lysxia 2018-09-12 15:41:21 -0400
  • e4a51c089d Remove Traverse (now Map) Lysxia 2018-09-12 15:29:54 -0400
  • 467890731e Add comments Lysxia 2018-09-12 15:29:36 -0400
  • a494dedc2d
         Merge pull request #1 from isovector/prelude Xia Li-yao 2018-09-12 13:57:04 -0400
  • 68e7367228 add map Sandy Maguire 2018-09-12 12:59:39 -0400
  • 10c60c45f8 implement ConstFn Sandy Maguire 2018-09-12 12:01:32 -0400
  • 0cab001565 add prelude stuff Sandy Maguire 2018-09-12 11:57:53 -0400
  • 388c9a895c Hackage and Travis badges 0.1.0.0 Lysxia 2018-07-11 00:31:05 -0400
  • b67e9e4145 Enable travis Lysxia 2018-07-11 00:29:48 -0400
  • 5c0b4c86b2 Microdoc Lysxia 2018-07-11 00:27:07 -0400
  • 45484e1996 Add UnBool, UnList Lysxia 2018-07-10 18:43:19 -0400
  • 61b1ac0a10 Add Pure1, Pure2, Pure3 Lysxia 2018-07-10 18:14:48 -0400
  • 9ff8e6de98 Add @@ synonym Lysxia 2018-07-10 17:21:48 -0400
  • b38537016f More Exp in UnMaybe Lysxia 2018-07-09 08:39:17 -0400
  • 04d58a4c5c First class type families Lysxia 2018-07-09 00:12:00 -0400