ekmett / abelian
Commutative Applicatives and Semigroups
☆31Updated 6 years ago
Alternatives and similar repositories for abelian:
Users that are interested in abelian are comparing it to the libraries listed below
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Updated 7 years ago
- A recursion scheme library for Idris.☆24Updated 4 months ago
- a PostgreSQL client library implemented with pure Haskell☆36Updated 4 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- IO without any PseudoExceptions☆28Updated 4 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- join and meet semilattices, lower and upper bounds.☆43Updated 6 months ago
- Reasonable Haskell default import☆27Updated 2 years ago
- haskell memory☆48Updated last year
- the EitherT monad transformer☆55Updated last month
- mtl friendly exceptions☆51Updated last month
- Haskell 98 contravariant functors☆73Updated 5 months ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- Hash consing for arbitrary Haskell data types☆25Updated 4 months ago
- Run lifted IO operations asynchronously and wait for their results☆28Updated 5 months ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Streaming data library built around first-class stream fusion for high efficiency☆11Updated 8 years ago
- Haskell 98 Profunctors☆71Updated last week
- A convenient DSL for describing web routes☆42Updated 4 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 4 months ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- An example of dynamically loading a Haskell source module☆18Updated 6 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 3 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- An mtl-style typeclass and transformer for persistent☆11Updated 6 years ago
- An append only list in a compact region☆25Updated 6 years ago
- Send textual messages to a Handle in a thread-friendly way☆29Updated 6 years ago
- Type-level well-kinded natural numbers.☆34Updated 3 months ago