Module

Control.Applicative.Indexed

Package
purescript-indexed-monad
Repository
garyb/purescript-indexed-monad

#IxApplicative Source

class (IxApply m) <= IxApplicative m  where

Members

  • ipure :: forall x a. a -> m x x a

#iwhen Source

iwhen :: forall x m. IxApplicative m => Boolean -> m x x Unit -> m x x Unit

#iunless Source

iunless :: forall x m. IxApplicative m => Boolean -> m x x Unit -> m x x Unit

Re-exports from Control.Apply.Indexed

#IxApply Source

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

#IxFunctor Source

class IxFunctor f  where

Members

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

#ivoidRight Source

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

#ivoidLeft Source

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

#ivoid Source

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

#iapplySecond Source

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

#iapplyFirst Source

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

#(<*:) Source

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

#(<$:) Source

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

#(:*>) Source

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

#(:$>) Source

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

Modules
Control.Applicative.Indexed
Control.Apply.Indexed
Control.Bind.Indexed
Control.Monad.Indexed
Control.Monad.Indexed.Qualified
Data.Functor.Indexed
Data.Indexed