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

Safe HaskellNone
LanguageHaskell2010

Type.Either

Documentation

type family IsLeft (a :: Either l r) :: Bool where ... Source #

Equations

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

type family IsRight (a :: Either l r) :: Bool where ... Source #

Equations

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

type family FromRight (a :: Either l r) where ... Source #

Equations

FromRight (Right r) = r 

type family FromLeft (a :: Either l r) where ... Source #

Equations

FromLeft (Left l) = l