Module

Control.Applicative.Indexed

#IxApplicative 

class (IxApply m) <= IxApplicative m  where

Members

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

#iwhen 

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

#iunless 

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

Re-exports from Control.Apply.Indexed

#IxApply 

class (IxFunctor m) <= IxApply m  where

Members

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

#IxFunctor 

class IxFunctor f  where

Members

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

#ivoidRight 

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

#ivoidLeft 

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

#ivoid 

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

#iapplySecond 

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

#iapplyFirst 

iapplyFirst :: forall m a b x y z. 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)

Modules