Data.Indexed

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) => 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)