SimpleH.Monad

Contents

• The basic Monad interface
• Monad utilities
• Common monads
  • The RWS Monad
    • The State Monad
    • The Reader monad
    • The Writer monad
  • The Continuation monad
  • The List monad
  • The Error Monad

Synopsis

• module SimpleH.Applicative
• class Applicative m => Monad m where
  • join :: m (m a) -> m a
  • (>>=) :: m a -> (a -> m b) -> m b
• class Monad m => MonadFix m where
  • mfix :: (a -> m a) -> m a
• class MonadTrans t where
  • lift :: Monad m => m a -> t m a
• newtype Kleisli m a b = Kleisli {
  • runKleisli :: a -> m b
  }
• _Kleisli :: Iso (Kleisli m a b) (Kleisli m' c d) (a -> m b) (c -> m' d)
• (=<<) :: Monad m => (a -> m b) -> m a -> m b
• (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
• (>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
• (>>) :: Applicative f => f a -> f b -> f b
• (<*=) :: Monad m => m a -> (a -> m b) -> m a
• return :: Unit f => a -> f a
• foldlM :: (Foldable t, Monad m) => (b -> a -> m a) -> a -> t b -> m a
• foldrM :: (Foldable t, Monad m) => (b -> a -> m a) -> a -> t b -> m a
• while :: Monad m => m (Maybe a) -> m ()
• until :: Monad m => m (Maybe a) -> m a
• bind2 :: Monad m => (a -> b -> m c) -> m a -> m b -> m c
• bind3 :: Monad m => (a -> b -> c -> m d) -> m a -> m b -> m c -> m d
• (>>>=) :: Monad m => (m a, m b) -> (a -> b -> m c) -> m c
• (>>>>=) :: Monad m => (m a, m b, m c) -> (a -> b -> c -> m d) -> m d
• newtype RWST r w s m a = RWST {
  • runRWST :: (r, s) -> m (a, s, w)
  }
• type RWS r w s a = RWST r w s Id a
• class Monad m => MonadState s m | m -> s where
  • get :: m s
  • put :: s -> m ()
  • modify :: (s -> s) -> m ()
• type IOLens a = Lens' (IO ()) (IO a)
• _ioref :: IORef a -> IOLens a
• _mvar :: MVar a -> IOLens a
• data StateT s m a
• type State s a = StateT s Id a
• _stateT :: (Functor m, Functor n) => Iso (StateT s m a) (StateT t n b) (s -> m (s, a)) (t -> n (t, b))
• eval :: (Functor f, Functor f') => f (f' (a, b)) -> f (f' b)
• exec :: (Functor f, Functor f') => f (f' (a, b)) -> f (f' a)
• _state :: Iso (State s a) (State t b) (s -> (s, a)) (t -> (t, b))
• (=~) :: MonadState s m => Lens' s s' -> (s' -> s') -> m ()
• (=-) :: MonadState s m => Lens' s s' -> s' -> m ()
• gets :: MonadState s m => Lens' s s' -> m s'
• saving :: MonadState s m => Lens' s s' -> m a -> m a
• mapAccum :: Traversable t => (a -> s -> (s, b)) -> t a -> s -> (s, t b)
• mapAccum_ :: Traversable t => (a -> s -> (s, b)) -> t a -> s -> t b
• mapAccumR :: Traversable t => (a -> s -> (s, b)) -> t a -> s -> (s, t b)
• mapAccumR_ :: Traversable t => (a -> s -> (s, b)) -> t a -> s -> t b
• push :: Traversable t => t a -> a -> t a
• pop :: Traversable t => t a -> a -> t a
• withPrev :: Traversable t => a -> t a -> t (a, a)
• withNext :: Traversable t => t a -> a -> t (a, a)
• class Monad m => MonadReader r m where
  • ask :: m r
  • local :: (r -> r) -> m a -> m a
• data ReaderT r m a
• type Reader r a = ReaderT r Id a
• _readerT :: (Functor m, Functor m') => Iso (ReaderT r m a) (ReaderT r' m' b) (r -> m a) (r' -> m' b)
• _reader :: Iso (Reader r a) (Reader r' b) (r -> a) (r' -> b)
• class (Monad m, Monoid w) => MonadWriter w m | m -> w where
  • tell :: w -> m ()
  • listen :: m a -> m (w, a)
  • censor :: m (a, w -> w) -> m a
• data WriterT w m a
• type Writer w a = WriterT w Id a
• _writerT :: (Functor m, Functor m') => Iso (WriterT w m a) (WriterT w' m' b) (m (w, a)) (m' (w', b))
• _writer :: Iso (Writer w a) (Writer w' b) (w, a) (w', b)
• mute :: (MonadWriter w m, Monoid w) => m a -> m a
• intercept :: (MonadWriter w m, Monoid w) => m a -> m (w, a)
• class Monad m => MonadCont m where
  • callCC :: ((a -> m b) -> m a) -> m a
• newtype ContT r m a = ContT {
  • runContT :: (a -> m r) -> m r
  }
• type Cont r a = ContT r Id a
• evalContT :: Unit m => ContT r m r -> m r
• evalCont :: Cont r r -> r
• class Monad m => MonadList m where
  • fork :: [a] -> m a
• data ListT m a
• _listT :: Iso (ListT m a) (ListT m' a') (m [a]) (m' [a'])
• class Monad m => MonadError e m where
  • throw :: e -> m a
  • catch :: (e -> m a) -> m a -> m a
• try :: MonadError Void m => m a -> m a -> m a
• data EitherT e m a
• _eitherT :: Functor m => Iso (EitherT e m a) (EitherT f m b) (m (e :+: a)) (m (f :+: b))

Documentation

The basic Monad interface

Monad utilities

Common monads

The RWS Monad

The State Monad

The Reader monad

The Writer monad

The Continuation monad

The List monad

The Error Monad