| Copyright | 2017 Kei Hibino |
|---|---|
| License | BSD3 |
| Maintainer | ex8k.hibino@gmail.com |
| Stability | experimental |
| Portability | unknown |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Functor.ProductIsomorphic.Class
Contents
Description
This module defines functor interfaces which morphed functions are restricted to products.
- class ProductIsoFunctor f where
- class ProductIsoFunctor f => ProductIsoApplicative f where
- class ProductIsoApplicative f => ProductIsoAlternative f where
- class ProductIsoApplicative f => ProductIsoEmpty f e where
- peRightR :: ProductIsoEmpty f e => f a -> f (a, e)
- peLeftR :: ProductIsoEmpty f e => f a -> f (e, a)
ProductIso classes
class ProductIsoFunctor f where Source #
Restricted functor on products.
Minimal complete definition
Methods
(|$|) :: ProductConstructor (a -> b) => (a -> b) -> f a -> f b infixl 4 Source #
Instances
| Functor f => ProductIsoFunctor (WrappedFunctor f) Source # | |
| ProductIsoFunctor (WrappedAlter f a) Source # | |
class ProductIsoFunctor f => ProductIsoApplicative f where Source #
Restricted applicative functor on products.
Methods
pureP :: ProductConstructor a => a -> f a Source #
Instances
| Applicative f => ProductIsoApplicative (WrappedFunctor f) Source # | |
| Alternative f => ProductIsoApplicative (WrappedAlter f a) Source # | |
class ProductIsoApplicative f => ProductIsoAlternative f where Source #
Restricted alternative on products.
Instances
Empty element
class ProductIsoApplicative f => ProductIsoEmpty f e where Source #
Empty element of product operator
Instances
| Applicative f => ProductIsoEmpty (WrappedFunctor f) () Source # | |
| Alternative f => ProductIsoEmpty (WrappedAlter f a) () Source # | |
peRightR :: ProductIsoEmpty f e => f a -> f (a, e) Source #
peRight and peRightR should have isomorphic law.
peRight . peRightR == peRightR . peRight == id
peLeftR :: ProductIsoEmpty f e => f a -> f (e, a) Source #
peLeft and peLeftR should have isomorphic law.
peLeft . peLeftR == peLeftR . peLeft == id