Control.Applicative.Syntax

Definitions

map2 : Functor f => Functor g => (a -> b) -> (.) f g a -> (.) f g b

Visibility: public export

map3 : Functor f => Functor g => Functor h => (a -> b) -> (.) f (g . h) a -> (.) f (g . h) b

Visibility: public export

map4 : Functor f => Functor g => Functor h => Functor i => (a -> b) -> (.) f (g . (h . i)) a -> (.) f (g . (h . i)) b

Visibility: public export

(<$$>) : Functor f => Functor g => (a -> b) -> (.) f g a -> (.) f g b

Visibility: public export
Fixity Declaration: infixr operator, level 4

(<$$$>) : Functor f => Functor g => Functor h => (a -> b) -> (.) f (g . h) a -> (.) f (g . h) b

Visibility: public export
Fixity Declaration: infixr operator, level 4

(<$$$$>) : Functor f => Functor g => Functor h => Functor i => (a -> b) -> (.) f (g . (h . i)) a -> (.) f (g . (h . i)) b

Visibility: public export
Fixity Declaration: infixr operator, level 4

(<**>) : Applicative f => Applicative g => (.) f g (a -> b) -> (.) f g a -> (.) f g b

Visibility: public export
Fixity Declaration: infixl operator, level 3

(<***>) : Applicative f => Applicative g => Applicative h => (.) f (g . h) (a -> b) -> (.) f (g . h) a -> (.) f (g . h) b

Visibility: public export
Fixity Declaration: infixl operator, level 3

(<****>) : Applicative f => Applicative g => Applicative h => Applicative i => (.) f (g . (h . i)) (a -> b) -> (.) f (g . (h . i)) a -> (.) f (g . (h . i)) b

Visibility: public export
Fixity Declaration: infixl operator, level 3

record Comp2 : (Type -> Type) -> (Type -> Type) -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

C2 : f (g a) -> Comp2 f g a

Projection: 

.c2 : Comp2 f g a -> f (g a)

Hints:

Applicative f => Applicative g => Applicative (Comp2 f g)

Foldable f => Foldable g => Foldable (Comp2 f g)

Functor f => Functor g => Functor (Comp2 f g)

Traversable f => Traversable g => Traversable (Comp2 f g)

.c2 : Comp2 f g a -> f (g a)

Visibility: public export

c2 : Comp2 f g a -> f (g a)

Visibility: public export