mokus0 / monad-loops
Some useful control operators for looping
☆48Updated 5 years ago
Alternatives and similar repositories for monad-loops:
Users that are interested in monad-loops are comparing it to the libraries listed below
- Haskell 98 contravariant functors☆73Updated 5 months ago
- Dual Traversable☆42Updated last year
- Type-safe time units in Haskell☆49Updated 2 months ago
- Serializable closures for distributed programming.☆64Updated last year
- Haskell 98 Profunctors☆71Updated 2 weeks ago
- the EitherT monad transformer☆55Updated last month
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Dependently-typed finite maps (partial dependent products)☆65Updated 2 months ago
- Type-safe error handling☆64Updated last year
- mtl friendly exceptions☆51Updated last month
- ☆45Updated 3 years ago
- Simple adjunctions☆45Updated 3 weeks ago
- the 'invariant' Haskell package for invariant functors☆16Updated last month
- ☆54Updated 6 years ago
- rewrite rules for type-level equalities☆62Updated 11 months ago
- Efficient conversion of values into Text☆40Updated last month
- haskell memory☆48Updated last year
- Monad morphisms☆50Updated 2 years ago
- Generic Programming using True Sums of Products☆162Updated 3 months ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Easy bidirectional serialization in Haskell☆50Updated 6 years ago
- Priority Search Queues in three different flavors for Haskell☆66Updated 2 months ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- All of `base` without the `Prelude` module☆44Updated 2 years ago
- Demonstrating comonad transformers.☆37Updated 8 years ago
- tools for writing better type errors☆73Updated last year
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated last month
- ☆74Updated last month
- Provides free functors that are adjoint to functors that forget class constraints.☆29Updated 7 months ago