Data.Promotion.Prelude.Either

Promoted functions from Data.Either

either_

type family Either_ (a :: TyFun a c -> Type) (a :: TyFun b c -> Type) (a :: Either a b) :: c where ...

type family Lefts (a :: [Either a b]) :: [a] where ...

type family Rights (a :: [Either a b]) :: [b] where ...

type family PartitionEithers (a :: [Either a b]) :: ([a], [b]) where ...

type family IsLeft (a :: Either a b) :: Bool where ...

type family IsRight (a :: Either a b) :: Bool where ...

Defunctionalization symbols

data LeftSym0 l

type LeftSym1 t

data RightSym0 l

type RightSym1 t

data Either_Sym0 l

data Either_Sym1 l l

data Either_Sym2 l l l

type Either_Sym3 t t t

data LeftsSym0 l

type LeftsSym1 t

data RightsSym0 l

type RightsSym1 t

data IsLeftSym0 l

type IsLeftSym1 t

data IsRightSym0 l

type IsRightSym1 t