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

Type.Either

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

Equations

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

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

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