Modularize - Githubissues

Lysxia commented 5 years ago

Fcf is starting to get pretty big, it seems a good idea to split it into many modules, to make the doc easier to navigate and to provide a convenient way to import small pieces of the library.

Suggested plan:

Fcf.Core for the definition of Eval
Fcf.Utils for non-fcf definitions
Fcf.Combinators for general combinators (all the Exp-as-monad stuff)
Fcf.Data for definitions tied to common data types ([], Maybe, Either, (,), etc.)
Fcf.Classes for Map, Bimap
Fcf.Nat

I'm not yet sure where to put the other definitions at the end.

Lysxia commented 5 years ago

Started here https://github.com/Lysxia/first-class-families/commit/ac663fae5c987ea3b1403a7137e94d4c9daf0d71

Lysxia commented 5 years ago

Released in 0.5.0.0

Lysxia / first-class-families

Modularize #7