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

Safe HaskellSafe
LanguageHaskell2010

Type.Data.Bool

Documentation

data True Source #

Instances
Show True Source # 
Instance details

Defined in Type.Data.Bool

Methods

showsPrec :: Int -> True -> ShowS #

show :: True -> String #

showList :: [True] -> ShowS #

type Not True Source # 
Instance details

Defined in Type.Data.Bool

type Not True = False
type True :||: _x Source # 
Instance details

Defined in Type.Data.Bool

type True :||: _x = True
type True :&&: x Source # 
Instance details

Defined in Type.Data.Bool

type True :&&: x = x
type Compare False True Source # 
Instance details

Defined in Type.Data.Ord

type Compare False True = LT
type Compare True False Source # 
Instance details

Defined in Type.Data.Ord

type Compare True False = GT
type Compare True True Source # 
Instance details

Defined in Type.Data.Ord

type Compare True True = EQ
type If True y _z Source # 
Instance details

Defined in Type.Data.Bool

type If True y _z = y

true :: Proxy True Source #

data False Source #

Instances
Show False Source # 
Instance details

Defined in Type.Data.Bool

Methods

showsPrec :: Int -> False -> ShowS #

show :: False -> String #

showList :: [False] -> ShowS #

type Not False Source # 
Instance details

Defined in Type.Data.Bool

type Not False = True
type False :||: x Source # 
Instance details

Defined in Type.Data.Bool

type False :||: x = x
type False :&&: _x Source # 
Instance details

Defined in Type.Data.Bool

type False :&&: _x = False
type Compare False False Source # 
Instance details

Defined in Type.Data.Ord

type Compare False False = EQ
type Compare False True Source # 
Instance details

Defined in Type.Data.Ord

type Compare False True = LT
type Compare True False Source # 
Instance details

Defined in Type.Data.Ord

type Compare True False = GT
type If False _y z Source # 
Instance details

Defined in Type.Data.Bool

type If False _y z = z

false :: Proxy False Source #

type family Not x Source #

Instances
type Not False Source # 
Instance details

Defined in Type.Data.Bool

type Not False = True
type Not True Source # 
Instance details

Defined in Type.Data.Bool

type Not True = False

not :: Proxy x -> Proxy (Not x) Source #

type family x :&&: y Source #

Instances
type False :&&: _x Source # 
Instance details

Defined in Type.Data.Bool

type False :&&: _x = False
type True :&&: x Source # 
Instance details

Defined in Type.Data.Bool

type True :&&: x = x

and :: Proxy x -> Proxy y -> Proxy (x :&&: y) Source #

type family x :||: y Source #

Instances
type False :||: x Source # 
Instance details

Defined in Type.Data.Bool

type False :||: x = x
type True :||: _x Source # 
Instance details

Defined in Type.Data.Bool

type True :||: _x = True

or :: Proxy x -> Proxy y -> Proxy (x :||: y) Source #

type family If x y z Source #

Instances
type If False _y z Source # 
Instance details

Defined in Type.Data.Bool

type If False _y z = z
type If True y _z Source # 
Instance details

Defined in Type.Data.Bool

type If True y _z = y

if_ :: Proxy x -> Proxy y -> Proxy z -> Proxy (If x y z) Source #