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

See all snapshots type-combinators appears in

BSD-3-Clause licensed by Kyle Carter
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
  • 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
Depends on 1 package(full list with versions):
base
Used by 2 packages in nightly-2018-01-24(full list with versions):
backprop, type-combinators-singletons