emgm-0.1: Extensible and Modular Generics for the MassesSource codeContentsIndex
Generics.EMGM.Data.Either
Portabilitynon-portable
Stabilityexperimental
Maintainergenerics@haskell.org
Contents
Embedding-projection pair
Representation
Description

Summary: Generic representation and instances for Either a b.

This module exports the reusable components of the Either a b representation. These include the embedding-projection pair used in a type representation as well as the type representation of Either a b for Generic.

This module also exports the instance for the representation dispatcher Rep.

Synopsis
epEither :: EP (Either a b) (a :+: b)
rEither :: Generic g => g a -> g b -> g (Either a b)
Embedding-projection pair
epEither :: EP (Either a b) (a :+: b)Source
Embedding-projection pair for Either a b
Representation
rEither :: Generic g => g a -> g b -> g (Either a b)Source
Representation for Either a b in Generic
Produced by Haddock version 2.4.2