Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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
- lensGS :: (f -> a) -> (a -> f -> f) -> f :-> a
- class MLens l a f where
- 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 f, MLensF l b f ~ StateType m) => r -> l f b -> (MLensA l b f :-> a) -> AbortT r m a
- setMAbort :: (MonadState m, MLens l b f, MLensF l b f ~ StateType m) => l f b -> (MLensA l b f :-> a) -> a -> m ()
- modMAbort :: (MonadState m, MLens l b f, MLensF l b f ~ StateType m) => l f b -> (MLensA l b f :-> 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 b f, MLensF l b f ~ StateType (t m)) => l f b -> StateT (MLensA l b f) m a -> MaybeT (t m) a
- (<:) :: (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 f, MLensF l b f ~ StateType m) => r -> l f b -> (MLensA l b f :-> a) -> AbortT r m a
- (<=:) :: (MonadState m, MLens l b f, MLensF l b f ~ StateType m) => l f b -> (MLensA l b f :-> a) -> a -> m ()
- (<$:) :: (MonadState m, MLens l b f, MLensF l b f ~ StateType m) => l f b -> (MLensA l b f :-> a) -> (a -> a) -> m ()
- (<<::) :: (MonadState m, MLens l b f, MLensF l b f ~ StateType m) => l f b -> (MLensA l b f :-> a) -> AbortT () m a
- (<->) :: (MLens l a f, MLens l' a' f', MLensA l a f ~ MLensF l' a' f') => l' f' a' -> l f a -> MLensF l a f :--> MLensA l' a' f'
- (<:<) :: 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, MonadTrans t, MonadState (t m), MLens l b f, MLensF l b f ~ StateType (t m)) => l f b -> StateT (MLensA l b f) m a -> MaybeT (t m) a
- module Data.Label
- module Data.Label.Poly
- module Data.Label.Point
Documentation
maybeAbort :: Monad m => r -> Maybe a -> AbortT r m a Source
maybeAbortM :: (MonadTrans t, Monad m, MonadAbort (t m)) => AbortResultType (t m) -> MaybeT m a -> t m a Source
MaybeLens | |
|
getM :: MonadState m => (StateType m :-> a) -> m a Source
setM :: MonadState m => (StateType m :-> a) -> a -> m () Source
modM :: MonadState m => (StateType m :-> a) -> (a -> a) -> m () Source
getMAbort :: (MonadState m, MLens l b f, MLensF l b f ~ StateType m) => r -> l f b -> (MLensA l b f :-> a) -> AbortT r m a Source
setMAbort :: (MonadState m, MLens l b f, MLensF l b f ~ StateType m) => l f b -> (MLensA l b f :-> a) -> a -> m () Source
modMAbort :: (MonadState m, MLens l b f, MLensF l b f ~ StateType m) => l f b -> (MLensA l b f :-> a) -> (a -> a) -> m () Source
askM :: MonadReader m => (EnvType m :-> a) -> m a Source
liftSubState :: (Monad m, MonadTrans t, MonadState (t m)) => (StateType (t m) :-> s) -> StateT s m a -> t m a Source
liftSubMaybeState :: (Monad m, MonadTrans t, MonadState (t m), MLens l b f, MLensF l b f ~ StateType (t m)) => l f b -> StateT (MLensA l b f) m a -> MaybeT (t m) a Source
(<<:) :: (MonadState m, MLens l b f, MLensF l b f ~ StateType m) => r -> l f b -> (MLensA l b f :-> a) -> AbortT r m a infixr 8 Source
(<=:) :: (MonadState m, MLens l b f, MLensF l b f ~ StateType m) => l f b -> (MLensA l b f :-> a) -> a -> m () infixr 5 Source
(<$:) :: (MonadState m, MLens l b f, MLensF l b f ~ StateType m) => l f b -> (MLensA l b f :-> a) -> (a -> a) -> m () infixr 8 Source
(<<::) :: (MonadState m, MLens l b f, MLensF l b f ~ StateType m) => l f b -> (MLensA l b f :-> a) -> AbortT () m a infixr 8 Source
getMAbort
()
(<->) :: (MLens l a f, MLens l' a' f', MLensA l a f ~ MLensF l' a' f') => l' f' a' -> l f a -> MLensF l a f :--> MLensA l' a' f' infixr 5 Source
(>$$>) :: (Monad m, MonadTrans t, MonadState (t m), MLens l b f, MLensF l b f ~ StateType (t m)) => l f b -> StateT (MLensA l b f) m a -> MaybeT (t m) a infixr 4 Source
module Data.Label
module Data.Label.Poly
module Data.Label.Point