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
Sorting:
- the 'invariant' Haskell package for invariant functors☆16Updated 2 months ago
- Uniform interface to reified data type information via Template Haskell☆21Updated 2 months ago
- Fast ByteString Builder☆21Updated 2 months ago
- ST with efficient exceptions☆20Updated 8 years ago
- Maps using values' monoidal structure during merging☆42Updated last month
- A typeclass and set of functions for working with newtypes.☆10Updated 2 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Operation Vanguard: fixing a number of Haskell packages at once☆11Updated 5 years ago
- Type-level well-kinded natural numbers.☆34Updated 4 months ago
- Backports of GHC deriving extensions☆13Updated 2 months ago
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- a PostgreSQL client library implemented with pure Haskell☆36Updated 4 years ago
- Rust-style strict Maybe in Haskell: no space/indirection overhead.☆18Updated last year
- Simplify and render Template Haskell☆18Updated 6 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆17Updated 2 months ago
- Declare that a typeclass instance should not exist.☆11Updated last year
- Haskell implementation of an LRU cache☆24Updated last year
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26Updated last year
- A haskell library providing Word128 and Int128 types☆19Updated 2 months ago
- Type-level assertion operators☆16Updated 7 years ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- multiset haskell package☆19Updated last year
- keyed functors☆22Updated 2 months ago
- United Monoids☆24Updated 2 years ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- IO without any PseudoExceptions☆28Updated 5 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Performance shootout of various trie implementations☆18Updated 5 years ago
- Finitely represented /total/ maps☆17Updated 5 years ago