typelevel-1.0: Useful type level operations (type families and related operators).

Safe HaskellNone
LanguageHaskell2010

Type.Bool

Documentation

type family And a b Source

Equations

And True True = True 
And a b = False 

type family Or a b Source

Equations

Or True b = True 
Or a True = True 
Or a b = False 

type family Xor a b Source

Equations

Xor True True = False 
Xor True b = True 
Xor a True = True 
Xor a b = False 

type family If cond a b :: k Source

Equations

If cond a a = a 
If True a b = a 
If False a b = b 

type family If' cond a b :: Constraint Source

Equations

If' cond a a = a 
If' True a b = a 
If' False a b = b 

type family a :== b Source

Equations

a :== a = True 
a :== b = False