Module
Control.Bind.Indexed
- Package
- purescript-indexed-monad
- Repository
- garyb/purescript-indexed-monad
#ibindFlipped Source
ibindFlipped :: forall m a b x y z. IxBind m => (a -> m y z b) -> m x y a -> m x z b
#(=<<:) Source
Operator alias for Control.Bind.Indexed.ibindFlipped (right-associative / precedence 1)
#composeiKleisli Source
composeiKleisli :: forall m a b c x y z. IxBind m => (a -> m x y b) -> (b -> m y z c) -> a -> m x z c
#(:>=>) Source
Operator alias for Control.Bind.Indexed.composeiKleisli (right-associative / precedence 1)
#composeiKleisliFlipped Source
composeiKleisliFlipped :: forall m a b c x y z. IxBind m => (b -> m y z c) -> (a -> m x y b) -> a -> m x z c
#(<=<:) Source
Operator alias for Control.Bind.Indexed.composeiKleisliFlipped (right-associative / precedence 1)
Re-exports from Control.Apply.Indexed
#ivoidRight Source
ivoidRight :: forall f a b x y. IxFunctor f => a -> f x y b -> f x y a
#iapplySecond Source
iapplySecond :: forall m a b x y z. IxApply m => m x y a -> m y z b -> m x z b
#iapplyFirst Source
iapplyFirst :: forall m a b x y z. IxApply m => m x y a -> m y z b -> m x z a