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

Safe HaskellNone
LanguageHaskell2010

Type.Either

Documentation

type family IsLeft a :: Bool Source

Equations

IsLeft (Left l) = True 
IsLeft (Right r) = False 

type family IsRight a :: Bool Source

Equations

IsRight (Left l) = False 
IsRight (Right r) = True 

type family FromRight a Source

Equations

FromRight (Right r) = r 

type family FromLeft a Source

Equations

FromLeft (Left l) = l