| definition: |
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) |
| documentation: |
--- 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. |
| methods: |
["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"] |
| name: |
Applicative |