CurryInfo: base-3.3.0 / Control.Monad.Applicative

class Functor f => Applicative f where
  pure :: a -> f a
  (<*>) :: f (a -> b) -> f a -> f b
  (*>) :: f a -> f b -> f b
  (<*) :: f a -> f b -> f a
  liftA2 :: (a -> b -> c) -> f a -> f b -> f c

  (<*>) = liftA2 id
  a1 *> a2 = (id <$ a1) <*> a2
  (<*) = liftA2 const
  liftA2 f x = (<*>) (fmap f x)

--- The class `Applicative` defines a functor structure
--- with application operators to apply functions and argument
--- contained in structure and combining their results back into a structure.

["pure :: b -> a b","(<*>) 0 :: a (b -> c) -> a b -> a c","(*>) 2 :: a b -> a c -> a c","(<*) 0 :: a b -> a c -> a b","liftA2 2 :: (b -> c -> d) -> a b -> a c -> a d"]

Applicative