konn / type-natural
Type-level well-kinded natural numbers.
☆34Updated 2 months ago
Alternatives and similar repositories for type-natural:
Users that are interested in type-natural are comparing it to the libraries listed below
- Backports of GHC deriving extensions☆13Updated 2 weeks ago
- Efficient conversion of values into Text☆40Updated 2 weeks ago
- A monad for managed values☆50Updated 2 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- All of `base` without the `Prelude` module☆44Updated 2 years ago
- Dual Traversable☆42Updated last year
- Serializable closures for distributed programming.☆64Updated last year
- Tools for programming with ConstraintKinds in GHC☆72Updated 5 months ago
- A collection of Notes on GHC☆69Updated 5 years ago
- a PostgreSQL client library implemented with pure Haskell☆36Updated 4 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- A GHC plugin and library for analysing GHC Core☆54Updated last month
- Type-safe error handling☆64Updated last year
- Type-safe time units in Haskell☆49Updated last month
- haskell memory☆48Updated last year
- ☆45Updated 3 years ago
- higher-kinded data☆30Updated last year
- ☆54Updated 6 years ago
- the EitherT monad transformer☆55Updated 2 weeks ago
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- mtl friendly exceptions☆51Updated 2 weeks ago
- Extensible type-safe unions for Haskell☆33Updated this week
- Fast ByteString Builder☆21Updated 3 weeks ago
- Filter with effects☆73Updated 2 months ago
- rewrite rules for type-level equalities☆62Updated 11 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 3 months ago
- Haskell 98 contravariant functors☆73Updated 5 months ago
- Haskell 98 Profunctors☆71Updated 8 months ago