Module
Control.Applicative.Indexed
- Package
- purescript-indexed-monad
- Repository
- garyb/purescript-indexed-monad
#IxApplicative Source
class IxApplicative :: forall ix. (ix -> ix -> Type -> Type) -> Constraint
class (IxApply m) <= IxApplicative m where
Members
ipure :: forall a x. a -> m x x a
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