|
|
|
|
|
|
by Iceland_jack
692 days ago
|
|
|
Applicative is n-ary lifting, Functor is a special unary case of Applicative: liftA0 :: Applicative f => (a) -> (f a)
liftF1 :: Functor f => (a -> b) -> (f a -> f b)
liftA2 :: Applicative f => (a -> b -> c) -> (f a -> f b -> f c)
liftA3 :: Applicative f => (a -> b -> c -> d) -> (f a -> f b -> f c -> f d)
.. where
liftA0 = pure
liftF1 = fmap
|
|
|