ekmett / constraints
Tools for programming with ConstraintKinds in GHC
☆71Updated 2 months ago
Related projects: ⓘ
- Zippers based on lenses and traversals☆38Updated last year
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 9 months ago
- Type-safe time units in Haskell☆49Updated 8 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 7 years ago
- ☆55Updated 5 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 3 months ago
- Haskell: Supercharged anonymous records☆83Updated last year
- tools for writing better type errors☆73Updated last year
- Compile Dhall expressions to Cabal files☆100Updated last year
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Updated 5 years ago
- Serializable closures for distributed programming.☆65Updated 9 months ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Type-level well-kinded natural numbers.☆33Updated 3 months ago
- A monad for managed values☆50Updated last year
- Filter with effects☆72Updated last month
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆52Updated last year
- Generic Programming using True Sums of Products☆156Updated 4 months ago
- Kleene algebra, regular expressions☆32Updated 10 months ago
- Dual Traversable☆41Updated last year
- Efficient conversion of values into Text☆38Updated 4 months ago
- Haskell 98 Profunctors☆70Updated 2 months ago
- All of `base` without the `Prelude` module☆44Updated last year
- ☆45Updated 2 years ago
- type level sets☆67Updated 4 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆78Updated 4 months ago
- Classy error-handling (and dispatching!) in Haskell.☆48Updated 5 years ago
- A work stealing scheduler☆76Updated 10 months ago
- Symbol manipulation☆35Updated last year
- rewrite rules for type-level equalities☆61Updated 4 months ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago