| Copyright | (C) 2024 Eitan Chatav |
|---|---|
| License | BSD 3-Clause License (see the file LICENSE) |
| Maintainer | Eitan Chatav <eitan.chatav@gmail.com> |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Control.Monad.Trans.Indexed.Do
Description
Qualified Indexed.do notation.
>>>:set -XQualifiedDo>>>import qualified Control.Monad.Trans.Indexed.Do as Indexed
Synopsis
- (>>=) :: (IxMonadTrans t, Monad m) => t i j m x -> (x -> t j k m y) -> t i k m y
- (>>) :: (IxMonadTrans t, Monad m) => t i j m x -> t j k m y -> t i k m y
- return :: Monad m => a -> m a
- fail :: (IxMonadTrans t, MonadFail m, i ~ j) => String -> t i j m x
Documentation
(>>=) :: (IxMonadTrans t, Monad m) => t i j m x -> (x -> t j k m y) -> t i k m y Source #
(>>) :: (IxMonadTrans t, Monad m) => t i j m x -> t j k m y -> t i k m y Source #