Generics.EMGM.Data.Either

Summary: Generic representation and instances for Either.

Documentation

type EitherS a b = a :+: b

conLeft :: ConDescr

Constructor description for Left.

conRight :: ConDescr

Constructor description for Right.

repEither :: (Generic g, Rep g a, Rep g b) => g (Either a b)

Representation of Either for rep.

frepEither :: Generic g => g a -> g b -> g (Either a b)

Representation of Either for frep.

frep2Either :: Generic2 g => g a1 a2 -> g b1 b2 -> g (Either a1 b1) (Either a2 b2)

Representation of Either for frep2.

frep3Either :: Generic3 g => g a1 a2 a3 -> g b1 b2 b3 -> g (Either a1 b1) (Either a2 b2) (Either a3 b3)

Representation of Either for frep3.

bifrep2Either :: Generic2 g => g a1 a2 -> g b1 b2 -> g (Either a1 b1) (Either a2 b2)

Representation of Either for bifrep2.