Module

Control.Subcategory.Endofunctor.Applicative

#Applicative

class (Apply c f, HasPure c f) <= Applicative c f 

Instances

#liftA1

liftA1 :: forall c f v0 v1. HasApply c f => HasPure c f => ObjectOf c v0 => ObjectOf c v1 => ObjectOf c (f v0) => ObjectOf c (f v1) => ObjectOf c (c v0 v1) => ObjectOf c (f (c v0 v1)) => ObjectOf c (c (f v0) (f v1)) => Restrictable Function c => Slackable c => c v0 v1 -> c (f v0) (f v1)

Modules