type-combinators

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
• 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