Data.Promotion.Prelude.Either

Promoted functions from Data.Either

either_

type family Either_ a a a :: c

type family Lefts a :: [] a

type family Rights a :: [] b

type family PartitionEithers a :: (,) ([] a) ([] b)

type family IsLeft a :: Bool

type family IsRight a :: Bool

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