Liftin every day
- 3. pure :: a -> f a
ap :: f (a -> b) -> f a -> f b
- 9. liftA :: (a -> b) -> f a -> f b
liftA2 :: (a -> b -> c) -> f a -> f b -> f c
- 10. liftA :: (a -> b) -> f a -> f b
liftA2 :: (a -> b -> c) -> f a -> f b -> f c
Just fmap
- 11. liftA :: (a -> b) -> f a -> f b
liftA2 :: (a -> b -> c) -> f a -> f b -> f c
Just fmap
We can get arity
automatically
- 30. ap([f, g], [x,y])
[f(x), f(y), g(x), g(y)]
-or-
ap([f, g], [x,y])
[f(x), g(y)]
- 31. ap([f, g], [x,y])
[f(x), f(y), g(x), g(y)]
-or-
ap([f, g], [x,y])
[f(x), g(y)]
ZipList