読者です 読者をやめる 読者になる 読者になる

IT練習ノート

IT関連で調べたこと(実際は嵌ったこと)を書いています。

map, map, liftM

> :t map 
map          ::                  (a  -> b) -> [a]  -> [b] 

> :t fmap
fmap         :: Functor f     => (a  -> b) -> f a  -> f b 

> :t liftM
liftM        :: Monad m       => (a1 -> r) -> m a1 -> m r 

> :t (<*>) . pure
(<*>) . pure :: Applicative f => (a  -> b) -> f a  -> f b 

> map            (+1) [1,2,3]
[2,3,4]

> fmap           (+1) [1,2,3]
[2,3,4]

> liftM          (+1) [1,2,3]
[2,3,4]

> ((<*>) . pure) (+1) [1,2,3]
[2,3,4]
>