Module

Control.Subcategory.Functor.HasApply

Package: purescript-subcategory
Repository: matthew-hilty/purescript-subcategory

#HasApply Source

class HasApply c f  where

Members

apply :: forall v1 v0. ObjectOf c v0 => ObjectOf c v1 => ObjectOf c (c v0 v1) => f (c v0 v1) -> f v0 -> f v1

Instances

(Apply f) => HasApply Function f

#(<*>) Source

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

#applyFirst Source

applyFirst :: forall v1 v0 f c. 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

#(<*) Source

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

#applySecond Source

applySecond :: forall v1 v0 f c. 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

#(*>) Source

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

#lift2 Source

lift2 :: forall v2 v1 v0 f c. 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 Source

lift3 :: forall v3 v2 v1 v0 f c. 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 Source

lift4 :: forall v4 v3 v2 v1 v0 f c. 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 Source

lift5 :: forall v5 v4 v3 v2 v1 v0 f c. 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: Control.Subcategory.Adjoint; Control.Subcategory.Category; Control.Subcategory.Closed; Control.Subcategory.ClosedMonoidal; Control.Subcategory.ClosedSemimonoidal; Control.Subcategory.Constituency; Control.Subcategory.Endofunctor; Control.Subcategory.Endofunctor.Applicative; Control.Subcategory.Endofunctor.Apply; Control.Subcategory.Endofunctor.Bind; Control.Subcategory.Endofunctor.Discard; Control.Subcategory.Endofunctor.HasApply; Control.Subcategory.Endofunctor.HasBind; Control.Subcategory.Endofunctor.HasCompose; Control.Subcategory.Endofunctor.HasConst; Control.Subcategory.Endofunctor.HasMap; Control.Subcategory.Endofunctor.HasPoint; Control.Subcategory.Endofunctor.HasPure; Control.Subcategory.Endofunctor.HasUnpoint; Control.Subcategory.Endofunctor.Monad; Control.Subcategory.Endofunctor.Parameterized.HasConst; Control.Subcategory.Functor; Control.Subcategory.Functor.Discard; Control.Subcategory.Functor.HasApply; Control.Subcategory.Functor.HasBind; Control.Subcategory.Functor.HasConst; Control.Subcategory.Functor.HasMap; Control.Subcategory.Functor.HasPure; Control.Subcategory.Functor.Parameterized.HasConst; Control.Subcategory.HasCompose; Control.Subcategory.HasCurriedEval; Control.Subcategory.HasCurry; Control.Subcategory.HasIdentity; Control.Subcategory.HasIntroduce; Control.Subcategory.HasStart; Control.Subcategory.HasTJoin; Control.Subcategory.HasTUnit; Control.Subcategory.HasTerminate; Control.Subcategory.HasUncurriedEval; Control.Subcategory.HasUncurry; Control.Subcategory.HasUnit; Control.Subcategory.Monoidal; Control.Subcategory.Profunctor; Control.Subcategory.Profunctor.HasDimap; Control.Subcategory.Relation.Reflexive; Control.Subcategory.Relation.Symmetric; Control.Subcategory.Restrictable; Control.Subcategory.Semigroupoid; Control.Subcategory.Semimonoidal; Control.Subcategory.Slackable; Control.Subcategory.Strength