Data.Singletons.Either

The Either singleton

data family Sing a

type SEither z

Singletons from Data.Either

type family Either_ a a a :: c

sEither_

type family Lefts a :: [a]

sLefts

type family Rights a :: [b]

sRights

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

sPartitionEithers

type family IsLeft a :: Bool

sIsLeft

type family IsRight a :: Bool

sIsRight