Control.Monad

The Functor, Monad and MonadPlus classes, with some useful operations on monads. Synopsisclass Functor (f :: Type -> Type) wherefmap :: (a -> b) -> f a -> f b(<$) :: a -> f b -> f aclass Applicative m => Monad (m :: Type -> Type) where(>>=) :: m a -> (a -> m b) -> m b(>>) :: m a -> m b -> m breturn :: a -> m aclass Monad m => MonadFail (m :: Type -> Type) wherefail :: String -> m aclass (Alternati

[todesking]

@_marony hoogleで検索したら出ました