Data.Functor.ProductIsomorphic.Instances

This module defines functor instances morphed functions are restricted to products.

Documentation

newtype WrappedFunctor f a

Wrapped functor type to make instances of product-iso functors.

Constructors

WrapFunctor

Fields

• unwrapFunctor :: f a

Instances

Alternative f => ProductIsoAlternative (WrappedFunctor f)

Methods

emptyP :: WrappedFunctor f a

(|||) :: WrappedFunctor f a -> WrappedFunctor f a -> WrappedFunctor f a

Applicative f => ProductIsoApplicative (WrappedFunctor f)

Methods

pureP :: ProductConstructor a => a -> WrappedFunctor f a

(|*|) :: WrappedFunctor f (a -> b) -> WrappedFunctor f a -> WrappedFunctor f b

Functor f => ProductIsoFunctor (WrappedFunctor f)

Methods

(|$|) :: ProductConstructor (a -> b) => (a -> b) -> WrappedFunctor f a -> WrappedFunctor f b

Applicative f => ProductIsoEmpty (WrappedFunctor f) ()

Methods

pureE :: WrappedFunctor f ()

peRight :: WrappedFunctor f (a, ()) -> WrappedFunctor f a

peLeft :: WrappedFunctor f ((), a) -> WrappedFunctor f a

newtype WrappedAlter f a b

Wrapped Const Alternative objects to make instances like Const functor.

Constructors

WrapAlter

Fields

• unWrapAlter :: Const (f a) b

Instances

Alternative f => ProductIsoApplicative (WrappedAlter f a)

Methods

pureP :: ProductConstructor a => a -> WrappedAlter f a a

(|*|) :: WrappedAlter f a (a -> b) -> WrappedAlter f a a -> WrappedAlter f a b

ProductIsoFunctor (WrappedAlter f a)

Methods

(|$|) :: ProductConstructor (a -> b) => (a -> b) -> WrappedAlter f a a -> WrappedAlter f a b

Alternative f => ProductIsoEmpty (WrappedAlter f a) ()

Methods

pureE :: WrappedAlter f a ()

peRight :: WrappedAlter f a (a, ()) -> WrappedAlter f a a

peLeft :: WrappedAlter f a ((), a) -> WrappedAlter f a a

Orphan instances

Monoid a => ProductIsoApplicative (Const * a)

Methods

pureP :: ProductConstructor a => a -> Const * a a

(|*|) :: Const * a (a -> b) -> Const * a a -> Const * a b

ProductIsoFunctor (Const * a)

Methods

(|$|) :: ProductConstructor (a -> b) => (a -> b) -> Const * a a -> Const * a b

Monoid a => ProductIsoEmpty (Const * a) ()

Methods

pureE :: Const * a ()

peRight :: Const * a (a, ()) -> Const * a a

peLeft :: Const * a ((), a) -> Const * a a