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 |
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 #