Module
Data.Indexed
- Package
- purescript-indexed-monad
- Repository
- garyb/purescript-indexed-monad
#Indexed Source
newtype 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) => IxFunctor (Indexed m)
(Apply m) => IxApply (Indexed m)
(Applicative m) => IxApplicative (Indexed m)
(Bind m) => IxBind (Indexed m)
(Monad m) => IxMonad (Indexed m)