type-combinators
A collection of data types for type-level programming
https://github.com/kylcarte/type-combinators
Version on this page: | 0.2.4.3 |
LTS Haskell 11.22: | 0.2.4.3 |
Stackage Nightly 2018-03-12: | 0.2.4.3 |
Latest on Hackage: | 0.2.4.3@rev:1 |
Maintained by [email protected]
This version can be pinned in stack with:
type-combinators-0.2.4.3@sha256:865b4977d80414aa786ffae195cb872f5cb50a98ccad3ddd57bae60812966352,1631
Module documentation for 0.2.4.3
- Data
- Data.Type
- Data.Type.Boolean
- Data.Type.Combinator
- Data.Type.Conjunction
- Data.Type.Difference
- Data.Type.Disjunction
- Data.Type.Fin
- Data.Type.Fin.Indexed
- Data.Type.Index
- Data.Type.Index.Trans
- Data.Type.Length
- Data.Type.Nat
- Data.Type.Nat.Inequality
- Data.Type.Option
- Data.Type.Product
- Data.Type.Product.Env
- Data.Type.Product.Lifted
- Data.Type.Remove
- Data.Type.Subset
- Data.Type.Sum
- Data.Type.Sum.Lifted
- Data.Type.Vector
- Data.Type
- Type
- Type.Class
- Type.Class.Higher
- Type.Class.Known
- Type.Class.Witness
- Type.Family
- Type.Family.Bool
- Type.Family.Constraint
- Type.Family.Either
- Type.Family.List
- Type.Family.Maybe
- Type.Family.Monoid
- Type.Family.Nat
- Type.Family.Tuple
- Type.Class
Depends on 1 package(full list with versions):
Used by 1 package in nightly-2017-05-13(full list with versions):