i-am-tom / purescript-data-algebrae
Reified operations for several common data structures.
☆13Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for purescript-data-algebrae
- Substructural types in PureScript.☆12Updated 7 years ago
- A library for applying a row of rules for validation to refine a value☆12Updated 6 years ago
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- Servant dhall bindings☆19Updated 3 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- A combinator for making any monadic control operator stack-safe