Gabriella439 / Haskell-MMorph-LibraryLinks
Monad morphisms
☆50Updated 2 weeks ago
Alternatives and similar repositories for Haskell-MMorph-Library
Users that are interested in Haskell-MMorph-Library are comparing it to the libraries listed below
Sorting:
- Some useful control operators for looping☆47Updated 5 years ago
- mtl friendly exceptions☆51Updated this week
- haskell memory☆48Updated last year
- Haskell 98 Profunctors☆70Updated this week
- Type-safe time units in Haskell☆49Updated 5 months ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 4 months ago
- Type-safe error handling☆64Updated last year
- Haskell 98 contravariant functors☆73Updated 8 months ago
- ☆75Updated 3 months ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- ☆44Updated 3 months ago
- ☆54Updated 6 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Unpacked containers using backpack☆52Updated 5 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- the EitherT monad transformer☆55Updated this week
- Haskell 98 semigroups☆62Updated 2 years ago
- Tools for programming with ConstraintKinds in GHC☆72Updated 8 months ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Generic Programming using True Sums of Products☆163Updated 5 months ago
- Generic HTTP types for Haskell (for both client and server code)☆54Updated last year
- Quasiquoter for LLVM☆31Updated 7 years ago
- Dual Traversable☆42Updated 2 years ago
- Efficient conversion of values into Text☆40Updated this week
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Simple adjunctions☆45Updated 3 months ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- More strongly typed variant of the ixset Haskell package☆24Updated 10 months ago
- List monad transformer☆60Updated last year