Control.Monad.Record

Synopsis

• maybeAbort :: Monad m => r -> Maybe a -> AbortT r m a
• maybeAbortM :: (MonadTrans t, Monad m, MonadAbort (t m)) => AbortResultType (t m) -> MaybeT m a -> t m a
• class MLens l a where
  • type MLensA l a
  • toLens :: l f a -> f :-> Maybe (MLensA l a)
• newtype f :--> a = MaybeLens {
  • unMaybeLens :: f :-> Maybe a
  }
• getM :: MonadState m => (StateType m :-> a) -> m a
• setM :: MonadState m => (StateType m :-> a) -> a -> m ()
• modM :: MonadState m => (StateType m :-> a) -> (a -> a) -> m ()
• getMAbort :: (MonadState m, MLens l b) => r -> l (StateType (AbortT r m)) b -> (MLensA l b :-> a) -> AbortT r m a
• setMAbort :: (MonadState m, MLens l b) => l (StateType m) b -> (MLensA l b :-> a) -> a -> m ()
• modMAbort :: (MonadState m, MLens l b) => l (StateType m) b -> (MLensA l b :-> a) -> (a -> a) -> m ()
• askM :: MonadReader m => (EnvType m :-> a) -> m a
• liftState :: MonadState m => (StateType m :-> s) -> StateT s m a -> m a
• liftSubState :: (Monad m, MonadTrans t, MonadState (t m)) => (StateType (t m) :-> s) -> StateT s m a -> t m a
• liftSubMaybeState :: (Monad m, MonadTrans t, MonadState (t m), MLens l a) => l (StateType (t m)) a -> StateT (MLensA l a) m a1 -> MaybeT (t m) a1
• (<:) :: (f :-> a) -> f -> a
• (=:) :: (f :-> a) -> a -> f -> f
• ($:) :: (f :-> a) -> (a -> a) -> f -> f
• (<::) :: MonadState m => (StateType m :-> a) -> m a
• (=::) :: MonadState m => (StateType m :-> a) -> a -> m ()
• ($::) :: MonadState m => (StateType m :-> a) -> (a -> a) -> m ()
• (<<:) :: (MonadState m, MLens l b) => r -> l (StateType (AbortT r m)) b -> (MLensA l b :-> a) -> AbortT r m a
• (<=:) :: (MonadState m, MLens l b) => l (StateType m) b -> (MLensA l b :-> a) -> a -> m ()
• (<$:) :: (MonadState m, MLens l b) => l (StateType m) b -> (MLensA l b :-> a) -> (a -> a) -> m ()
• (<<::) :: (MonadState m, MLens l b) => l (StateType (AbortT r m)) b -> (MLensA l b :-> a) -> AbortT () m a
• (<->) :: (MLens l a, MLens l' a') => l (MLensA l' a') a -> l' f a' -> f :--> MLensA l a
• (<:<) :: MonadReader m => (EnvType m :-> a) -> m a
• (>$<) :: MonadState m => (StateType m :-> s) -> StateT s m a -> m a
• (>$>) :: Monad m => (s :-> s') -> StateT s' m a -> StateT s m a
• (>$$>) :: (Monad m, MLens l a) => l s a -> StateT (MLensA l a) m a1 -> MaybeT (StateT s m) a1
• module Data.Record.Label

Documentation