ekmett / contravariantLinks
Haskell 98 contravariant functors
☆73Updated last week
Alternatives and similar repositories for contravariant
Users that are interested in contravariant are comparing it to the libraries listed below
Sorting:
- Haskell 98 Profunctors☆70Updated 6 months ago
- Type-safe time units in Haskell☆50Updated 11 months ago
- Some useful control operators for looping☆47Updated 5 years ago
- the EitherT monad transformer☆57Updated 3 months ago
- ☆78Updated 3 months ago
- mtl friendly exceptions☆55Updated 2 months ago
- Generic Programming using True Sums of Products☆164Updated 5 months ago
- Type-safe error handling☆64Updated 2 years ago
- Dual Traversable☆41Updated last week
- Monad Transformers and Classes☆76Updated 6 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Updated 3 months ago
- Serializable closures for distributed programming.☆65Updated 2 years ago
- haskell memory☆48Updated 2 years ago
- A syntax for unions of constraints in Haskell☆70Updated 8 years ago
- Simple adjunctions☆45Updated 3 months ago
- Priority Search Queues in three different flavors for Haskell☆67Updated 2 weeks ago
- Hedgehog will eat your typeclass bugs☆56Updated 7 months ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 2 months ago
- Haskell 98 semigroups☆62Updated 3 months ago
- Efficient, pure binary serialisation using ByteStrings in Haskell.☆115Updated 11 months ago
- Compile git revision info into Haskell projects☆49Updated 2 years ago
- Fast binary serialization in Haskell☆110Updated last year
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆119Updated 7 months ago
- A new all Haskell "tagged" DFA regex engine, inspired by libtre☆44Updated 6 years ago
- ☆51Updated 5 months ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated 10 months ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆71Updated this week
- Recursion schemes for Idris☆64Updated 7 years ago
- Generic parser combinators☆89Updated 10 months ago
- Filter with effects☆74Updated last year