sacundim / free-operational
Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.
☆25Updated 7 years ago
Alternatives and similar repositories for free-operational:
Users that are interested in free-operational are comparing it to the libraries listed below
- ST with efficient exceptions☆20Updated 8 years ago
- the 'invariant' Haskell package for invariant functors☆16Updated last month
- A typeclass and set of functions for working with newtypes.☆10Updated 2 years ago
- Finitely represented /total/ maps☆17Updated 5 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- keyed functors☆22Updated last month
- Simplify and render Template Haskell☆18Updated 6 years ago
- Rust-style strict Maybe in Haskell: no space/indirection overhead.☆18Updated last year
- Fast ByteString Builder☆21Updated last month
- United Monoids☆24Updated 2 years ago
- Backports of GHC deriving extensions☆13Updated last month
- Easy and powerful typeful logging without monad towers, in Haskell.☆26Updated 11 months ago
- Operation Vanguard: fixing a number of Haskell packages at once☆11Updated 5 years ago
- Uniform interface to reified data type information via Template Haskell☆21Updated last month
- a PostgreSQL client library implemented with pure Haskell☆36Updated 4 years ago
- IO without any PseudoExceptions☆28Updated 4 years ago
- Map and Set over contiguous memory☆21Updated last year
- Performance shootout of various trie implementations☆18Updated 5 years ago
- Haskell implementation of an LRU cache☆24Updated last year
- Safe, checked exceptions☆13Updated 6 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Declare that a typeclass instance should not exist.☆11Updated 11 months ago
- Associative containers retating insertion order for traversals☆11Updated 9 months ago
- Maps using values' monoidal structure during merging☆42Updated 2 weeks ago
- Type-level assertion operators☆16Updated 7 years ago
- Haskell space profiling toolset☆14Updated 6 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- Folds for recursive types with GHC Generics☆26Updated 5 years ago
- Bidirectional mapping between two key types☆22Updated 11 months ago
- Type-level well-kinded natural numbers.☆34Updated 3 months ago