ekmett / adjunctionsLinks
Simple adjunctions
☆46Updated 2 months ago
Alternatives and similar repositories for adjunctions
Users that are interested in adjunctions are comparing it to the libraries listed below
Sorting:
- Haskell 98 Profunctors☆71Updated 2 months ago
- Dual Traversable☆42Updated 2 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Zippers based on lenses and traversals☆40Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Type-safe error handling☆64Updated last year
- Some useful control operators for looping☆47Updated 5 years ago
- ☆54Updated 6 years ago
- A monad for managed values☆50Updated 2 years ago
- ☆44Updated 2 months ago
- rewrite rules for type-level equalities☆62Updated last year
- Filter with effects☆73Updated 4 months ago
- Maps using values' monoidal structure during merging☆42Updated last month
- Type-safe time units in Haskell☆49Updated 4 months ago
- System F implemented in Haskell☆24Updated 13 years ago
- Structured logging solution.☆35Updated 2 months ago
- join and meet semilattices, lower and upper bounds.☆43Updated 7 months ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- A total recursion scheme library for Dhall☆66Updated 2 weeks ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- ☆45Updated 3 years ago
- Text-based interactive GHC .prof viewer☆48Updated last year
- Kleene algebra, regular expressions☆32Updated last year
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated last month
- semirings and *-semirings of types in base/haskell-platform☆42Updated last year
- higher-kinded data☆30Updated 2 years ago
- Haskell 98 contravariant functors☆73Updated 7 months ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Functions and newtype wrappers for traversing Trees☆30Updated 8 months ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago