Data.Functor.ProductIsomorphic.Class

This module defines functor interfaces which morphed functions are restricted to products.

Documentation

class ProductIsoFunctor f where

Restricted functor on products.

Minimal complete definition

(|$|)

Methods

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

Instances

Functor f => ProductIsoFunctor (WrappedFunctor f)

Methods

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

ProductIsoFunctor (WrappedAlter f a)

Methods

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

class ProductIsoFunctor f => ProductIsoApplicative f where

Restricted applicative functor on products.

Minimal complete definition

pureP, (|*|)

Methods

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

(|*|) :: f (a -> b) -> f a -> f b infixl 4

Instances

Applicative f => ProductIsoApplicative (WrappedFunctor f)

Methods

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

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

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

class ProductIsoApplicative f => ProductIsoAlternative f where

Restricted alternative on products.

Minimal complete definition

emptyP, (|||)

Methods

emptyP :: f a

(|||) :: f a -> f a -> f a infixl 3

Instances

Alternative f => ProductIsoAlternative (WrappedFunctor f)

Methods

emptyP :: WrappedFunctor f a

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