Module
Control.IxMonad
- Package
- purescript-indexed-monad
- Repository
- garyb/purescript-indexed-monad
#ibindFlipped Source
ibindFlipped :: forall z y x b a m. IxMonad m => (a -> m y z b) -> m x y a -> m x z b
#composeiKleisli Source
composeiKleisli :: forall z y x c b a m. IxMonad m => (a -> m x y b) -> (b -> m y z c) -> a -> m x z c
#composeiKleisliFlipped Source
composeiKleisliFlipped :: forall z y x c b a m. IxMonad m => (b -> m y z c) -> (a -> m x y b) -> a -> m x z c
#(<=<:) Source
Operator alias for Control.IxMonad.composeiKleisliFlipped (right-associative / precedence 1)
#iapplyFirst Source
iapplyFirst :: forall b a z y x m. IxMonad m => m x y a -> m y z b -> m x z a
#iapplySecond Source
iapplySecond :: forall b a z y x m. IxMonad m => m x y a -> m y z b -> m x z b