Data.Type.Bool

Documentation

data TTrue

Instances

TNot TFalse TTrue

TNot TTrue TFalse

TOr TTrue b TTrue

TAnd TTrue b b

TypeEq x x TTrue

data TFalse

Instances

TNot TFalse TTrue

TNot TTrue TFalse

TOr TFalse b b

TAnd TFalse b TFalse

Apply (Member TNil) a TFalse

tTrue :: TTrue

tFalse :: TFalse

class TNot a r | a -> r where

Methods

tNot :: a -> r

Instances

TNot TFalse TTrue

TNot TTrue TFalse

TNot a b => TNot (f a) b

class TAnd a b r | a b -> r where

Methods

tAnd :: a -> b -> r

Instances

TAnd TFalse b TFalse

TAnd TTrue b b

TAnd a b r => TAnd (f a) (g b) r

class TOr a b r | a b -> r where

Methods

tOr :: a -> b -> r

Instances

TOr TFalse b b

TOr TTrue b TTrue

TOr a b r => TOr (f a) (g b) r

class CNot f r where

Methods

cNot :: f a -> r

Instances

TNot (f a) r => CNot f r