tfp-0.7: Type-level integers, booleans, lists using type families

Safe HaskellNone

Types

Documentation

module Types.Base

module Types.Data.Bool

module Types.Data.Num

module Types.Data.List

module Types.Data.Ord