Module

Control.Subcategory.Functor.HasApply

#HasApply

class HasApply c f  where

Members

Instances

#(<*>)

Operator alias for Control.Subcategory.Functor.HasApply.apply (left-associative / precedence 4)

#applyFirst

applyFirst :: forall c f v0 v1. HasApply c f => HasConst c => HasMap c f => ObjectOf c v0 => ObjectOf c v1 => ObjectOf c (c v1 v0) => f v0 -> f v1 -> f v0

#(<*)

Operator alias for Control.Subcategory.Functor.HasApply.applyFirst (left-associative / precedence 4)

#applySecond

applySecond :: forall c f v0 v1. HasApply c f => HasConst c => HasIdentity c => HasMap c f => ObjectOf c v0 => ObjectOf c v1 => ObjectOf c (c v1 v1) => ObjectOf c (c v0 (c v1 v1)) => ObjectOf c (c (c v1 v1) (c v0 (c v1 v1))) => f v0 -> f v1 -> f v1

#(*>)

Operator alias for Control.Subcategory.Functor.HasApply.applySecond (left-associative / precedence 4)

#lift2

lift2 :: forall c f v0 v1 v2. HasApply c f => HasMap c f => ObjectOf c v0 => ObjectOf c v1 => ObjectOf c v2 => ObjectOf c (c v1 v2) => c v0 (c v1 v2) -> f v0 -> f v1 -> f v2

#lift3

lift3 :: forall c f v0 v1 v2 v3. HasApply c f => HasMap c f => ObjectOf c v0 => ObjectOf c v1 => ObjectOf c v2 => ObjectOf c v3 => ObjectOf c (c v2 v3) => ObjectOf c (c v1 (c v2 v3)) => c v0 (c v1 (c v2 v3)) -> f v0 -> f v1 -> f v2 -> f v3

#lift4

lift4 :: forall c f v0 v1 v2 v3 v4. HasApply c f => HasMap c f => ObjectOf c v0 => ObjectOf c v1 => ObjectOf c v2 => ObjectOf c v3 => ObjectOf c v4 => ObjectOf c (c v3 v4) => ObjectOf c (c v2 (c v3 v4)) => ObjectOf c (c v1 (c v2 (c v3 v4))) => c v0 (c v1 (c v2 (c v3 v4))) -> f v0 -> f v1 -> f v2 -> f v3 -> f v4

#lift5

lift5 :: forall c f v0 v1 v2 v3 v4 v5. HasApply c f => HasMap c f => ObjectOf c v0 => ObjectOf c v1 => ObjectOf c v2 => ObjectOf c v3 => ObjectOf c v4 => ObjectOf c v5 => ObjectOf c (c v4 v5) => ObjectOf c (c v3 (c v4 v5)) => ObjectOf c (c v2 (c v3 (c v4 v5))) => ObjectOf c (c v1 (c v2 (c v3 (c v4 v5)))) => c v0 (c v1 (c v2 (c v3 (c v4 v5)))) -> f v0 -> f v1 -> f v2 -> f v3 -> f v4 -> f v5

Modules