emgm-0.3: Extensible and Modular Generics for the Masses Source code Contents Index

Generics.EMGM.Data.Either Portability non-portable Stability experimental Maintainer generics@haskell.org

Description

Summary: Generic representation and instances for Either.

Synopsis

epEither :: EP (Either a b) (a :+: b) conLeft :: ConDescr conRight :: ConDescr repEither :: (Generic g, Rep g a, Rep g b) => g (Either a b) frepEither :: Generic g => g a -> g b -> g (Either a b) frep2Either :: Generic2 g => g a1 a2 -> g b1 b2 -> g (Either a1 b1) (Either a2 b2) frep3Either :: Generic3 g => g a1 a2 a3 -> g b1 b2 b3 -> g (Either a1 b1) (Either a2 b2) (Either a3 b3) bifrep2Either :: Generic2 g => g a1 a2 -> g b1 b2 -> g (Either a1 b1) (Either a2 b2)

Documentation

epEither :: EP (Either a b) (a :+: b) Source

Embedding-projection pair for Either.

conLeft :: ConDescr Source

Constructor description for Left.

conRight :: ConDescr Source

Constructor description for Right.

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

Representation of Either for rep.

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

Representation of Either for frep.

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

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) Source

Representation of Either for frep3.

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

Representation of Either for bifrep2.

Produced by Haddock version 2.4.2