Control.ConstraintKinds.Applicative

Documentation

class Pointed f => Applicative f where

Associated Types

type ApplicativeConstraint f x :: Constraint

Methods

(<*>) :: (ApplicativeConstraint f a, ApplicativeConstraint f b) => f (a -> b) -> f a -> f b

Instances

Applicative []

Applicative Vector

liftA :: (ApplicativeConstraint f a, ApplicativeConstraint f b, PointedConstraint f (a -> b), Applicative f) => (a -> b) -> f a -> f b

Lift a function to actions. This function may be used as a value for fmap in a Functor instance. liftA :: (ApplicativeConstraint f a, ApplicativeConstraint f (a -> b), ApplicativeConstraint f b, Applicative f) => (a -> b) -> f a -> f b

liftA2 :: (ApplicativeConstraint f a, ApplicativeConstraint f b, FunctorConstraint f a1, FunctorConstraint f (a -> b), Applicative f) => (a1 -> a -> b) -> f a1 -> f a -> f b

Lift a binary function to actions. liftA2 :: (FunctorConstraint f a, FunctorConstraint f (b -> c), Applicative f) => (a -> b -> c) -> f a -> f b -> f c

liftA3 :: (ApplicativeConstraint f a, ApplicativeConstraint f b, ApplicativeConstraint f a1, ApplicativeConstraint f (a -> b), FunctorConstraint f a2, FunctorConstraint f (a1 -> a -> b), Applicative f) => (a2 -> a1 -> a -> b) -> f a2 -> f a1 -> f a -> f b

Lift a ternary function to actions. liftA3 :: (FunctorConstraint f a, FunctorConstraint f (b -> c -> d), Applicative f)=> (a -> b -> c -> d) -> f a -> f b -> f c -> f d