{-# LANGUAGE DefaultSignatures #-} import Prelude hiding (Functor(..), Monad(..)) class Functor m where fmap :: (a -> b) -> m a -> m b default fmap :: Applicative m => (a -> b) -> m a -> m b fmap f v = pure f <$> v class Functor m => Applicative m where pure :: a -> m a default pure :: Monad m => a -> m a pure = return (<$>) :: m (a -> b) -> m a -> m b default (<$>) :: Monad m => m (a -> b) -> m a
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く