Module
Data.Indexed
- Package
- purescript-indexed-monad
- Repository
- garyb/purescript-indexed-monad
#Indexed Source
newtype Indexed :: forall ix. (Type -> Type) -> ix -> ix -> Type -> Typenewtype Indexed m x y a
Constructors
Indexed (m a)
Instances
Newtype (Indexed m i o a) _(Eq (m a)) => Eq (Indexed m i o a)(Eq1 m) => Eq1 (Indexed m i o)(Ord (m a)) => Ord (Indexed m i o a)(Ord1 m) => Ord1 (Indexed m i o)(Show (m a)) => Show (Indexed m i o a)(Functor m) => Functor (Indexed m x x)(Apply m) => Apply (Indexed m x x)(Applicative m) => Applicative (Indexed m x x)(Bind m) => Bind (Indexed m x x)(Monad m) => Monad (Indexed m x x)(Functor m) => IxFunctor (Indexed m)(Apply m) => IxApply (Indexed m)(Applicative m) => IxApplicative (Indexed m)(Bind m) => IxBind (Indexed m)(Monad m) => IxMonad (Indexed m)