Module

Control.Subcategory.Endofunctor.HasApply

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

#HasApply Source

class HasApply c f  where

Members

Instances

#applyFirst Source

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

#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 (f v0) => ObjectOf c (f v1) => ObjectOf c (c v1 v1) => ObjectOf c (f (c v1 v1)) => ObjectOf c (c v0 (c v1 v1)) => ObjectOf c (c (f v1) (f v1)) => ObjectOf c (f (c v0 (c v1 v1))) => ObjectOf c (c (f v0) (f (c v1 v1))) => ObjectOf c (c (c v1 v1) (c v0 (c v1 v1))) => Restrictable Function c => Slackable c => f v0 -> c (f v1) (f v1)

#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) => ObjectOf c (f (c v1 v2)) => ObjectOf c (f v0) => ObjectOf c (f v1) => ObjectOf c (f v2) => ObjectOf c (c (f v1) (f v2)) => ObjectOf c (c (f v0) (f (c v1 v2))) => ObjectOf c (f (c v0 (c v1 v2))) => Restrictable Function c => Slackable c => c v0 (c v1 v2) -> c (f v0) (c (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)) => ObjectOf c (f (c v2 v3)) => ObjectOf c (f (c v1 (c v2 v3))) => ObjectOf c (f v0) => ObjectOf c (f v1) => ObjectOf c (f v2) => ObjectOf c (f v3) => ObjectOf c (c (f v2) (f v3)) => ObjectOf c (c (f v1) (c (f v2) (f v3))) => ObjectOf c (c (f v0) (c (f v1) (c (f v2) (f v3)))) => ObjectOf c (c (f v1) (f (c v2 v3))) => ObjectOf c (c (f v0) (c (f v1) (f (c v2 v3)))) => ObjectOf c (c (f v0) (f (c v1 (c v2 v3)))) => Restrictable Function c => Slackable c => c v0 (c v1 (c v2 v3)) -> c (f v0) (c (f v1) (c (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))) => ObjectOf c (f (c v3 v4)) => ObjectOf c (f (c v2 (c v3 v4))) => ObjectOf c (f (c v1 (c v2 (c v3 v4)))) => ObjectOf c (f v0) => ObjectOf c (f v1) => ObjectOf c (f v2) => ObjectOf c (f v3) => ObjectOf c (f v4) => ObjectOf c (c (f v3) (f v4)) => ObjectOf c (c (f v2) (c (f v3) (f v4))) => ObjectOf c (c (f v1) (c (f v2) (c (f v3) (f v4)))) => ObjectOf c (c (f v0) (c (f v1) (c (f v2) (c (f v3) (f v4))))) => ObjectOf c (c (f v2) (f (c v3 v4))) => ObjectOf c (c (f v1) (c (f v2) (f (c v3 v4)))) => ObjectOf c (c (f v1) (f (c v2 (c v3 v4)))) => ObjectOf c (c (f v0) (c (f v1) (c (f v2) (f (c v3 v4))))) => ObjectOf c (c (f v0) (c (f v1) (f (c v2 (c v3 v4))))) => ObjectOf c (c (f v0) (f (c v1 (c v2 (c v3 v4))))) => Restrictable Function c => Slackable c => c v0 (c v1 (c v2 (c v3 v4))) -> c (f v0) (c (f v1) (c (f v2) (c (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)))) => ObjectOf c (f (c v4 v5)) => ObjectOf c (f (c v3 (c v4 v5))) => ObjectOf c (f (c v2 (c v3 (c v4 v5)))) => ObjectOf c (f (c v1 (c v2 (c v3 (c v4 v5))))) => ObjectOf c (f v0) => ObjectOf c (f v1) => ObjectOf c (f v2) => ObjectOf c (f v3) => ObjectOf c (f v4) => ObjectOf c (f v5) => ObjectOf c (c (f v4) (f v5)) => ObjectOf c (c (f v3) (c (f v4) (f v5))) => ObjectOf c (c (f v2) (c (f v3) (c (f v4) (f v5)))) => ObjectOf c (c (f v1) (c (f v2) (c (f v3) (c (f v4) (f v5))))) => ObjectOf c (c (f v0) (c (f v1) (c (f v2) (c (f v3) (c (f v4) (f v5)))))) => ObjectOf c (c (f v3) (f (c v4 v5))) => ObjectOf c (f (c v3 (c v4 v5))) => ObjectOf c (c (f v2) (c (f v3) (f (c v4 v5)))) => ObjectOf c (c (f v2) (f (c v3 (c v4 v5)))) => ObjectOf c (c (f v1) (c (f v2) (c (f v3) (f (c v4 v5))))) => ObjectOf c (c (f v1) (c (f v2) (f (c v3 (c v4 v5))))) => ObjectOf c (c (f v1) (f (c v2 (c v3 (c v4 v5))))) => ObjectOf c (c (f v0) (c (f v1) (c (f v2) (c (f v3) (f (c v4 v5)))))) => ObjectOf c (c (f v0) (c (f v1) (c (f v2) (f (c v3 (c v4 v5)))))) => ObjectOf c (c (f v0) (c (f v1) (f (c v2 (c v3 (c v4 v5)))))) => ObjectOf c (c (f v0) (f (c v1 (c v2 (c v3 (c v4 v5)))))) => Restrictable Function c => Slackable c => c v0 (c v1 (c v2 (c v3 (c v4 v5)))) -> c (f v0) (c (f v1) (c (f v2) (c (f v3) (c (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