Control.Bind.Indexed

class (IxApply m) <= IxBind m  where

Members

• ibind :: forall z y x b a. m x y a -> (a -> m y z b) -> m x z b

Operator alias for Control.Bind.Indexed.ibind (left-associative / precedence 1)

ibindFlipped :: forall z y x b a m. IxBind m => (a -> m y z b) -> m x y a -> m x z b

Operator alias for Control.Bind.Indexed.ibindFlipped (right-associative / precedence 1)

composeiKleisli :: forall z y x c b a m. IxBind m => (a -> m x y b) -> (b -> m y z c) -> a -> m x z c

Operator alias for Control.Bind.Indexed.composeiKleisli (right-associative / precedence 1)

composeiKleisliFlipped :: forall z y x c b a m. IxBind m => (b -> m y z c) -> (a -> m x y b) -> a -> m x z c

Operator alias for Control.Bind.Indexed.composeiKleisliFlipped (right-associative / precedence 1)

class IxDiscard a  where

Members

• idiscard :: forall z y x b f. IxBind f => f x y a -> (a -> f y z b) -> f x z b

Instances

• IxDiscard Unit

class (IxFunctor m) <= IxApply m  where

Members

• iapply :: forall z y x b a. m x y (a -> b) -> m y z a -> m x z b

class IxFunctor f  where

Members

• imap :: forall y x b a. (a -> b) -> f x y a -> f x y b

ivoidRight :: forall y x b a f. IxFunctor f => a -> f x y b -> f x y a

ivoidLeft :: forall y x b a f. IxFunctor f => f x y a -> b -> f x y b

ivoid :: forall y x a f. IxFunctor f => f x y a -> f x y Unit

iapplySecond :: forall z y x b a m. IxApply m => m x y a -> m y z b -> m x z b

iapplyFirst :: forall z y x b a m. IxApply m => m x y a -> m y z b -> m x z a

Operator alias for Control.Apply.Indexed.iapplyFirst (left-associative / precedence 4)

Operator alias for Data.Functor.Indexed.ivoidRight (left-associative / precedence 4)

Operator alias for Control.Apply.Indexed.iapplySecond (left-associative / precedence 4)

Operator alias for Data.Functor.Indexed.ivoidLeft (left-associative / precedence 4)