typelevel-1.2.2: 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 #