Safe Haskell	None
Language	Haskell2010

Data.Ten.Exists

Description

A Functor10 made by applying the argument to an existential type.

Synopsis

data Exists (m :: k -> Type) where
- Exists :: forall a m. m a -> Exists m

Documentation

data Exists (m :: k -> Type) where Source #

A Functor10 made by applying the argument to an existential type.

Constructors

Exists :: forall a m. m a -> Exists m

Instances

Instances details

Foldable10 (Exists :: (k -> Type) -> Type) Source #
Instance details Defined in Data.Ten.Exists Methods foldMap10 :: Monoid w => (forall (a :: k0). m a -> w) -> Exists m -> w Source #
Functor10 (Exists :: (k -> Type) -> Type) Source #
Instance details Defined in Data.Ten.Exists Methods fmap10 :: (forall (a :: k0). m a -> n a) -> Exists m -> Exists n Source #
Traversable10 (Exists :: (k -> Type) -> Type) Source #
Instance details Defined in Data.Ten.Exists Methods mapTraverse10 :: forall f m n r. Applicative f => (Exists n -> r) -> (forall (a :: k0). m a -> f (n a)) -> Exists m -> f r Source #
GEq m => Eq (Exists m) Source #
Instance details Defined in Data.Ten.Exists Methods (==) :: Exists m -> Exists m -> Bool # (/=) :: Exists m -> Exists m -> Bool #
GCompare m => Ord (Exists m) Source #
Instance details Defined in Data.Ten.Exists Methods compare :: Exists m -> Exists m -> Ordering # (<) :: Exists m -> Exists m -> Bool # (<=) :: Exists m -> Exists m -> Bool # (>) :: Exists m -> Exists m -> Bool # (>=) :: Exists m -> Exists m -> Bool # max :: Exists m -> Exists m -> Exists m # min :: Exists m -> Exists m -> Exists m #
(forall (a :: k). Show (m a)) => Show (Exists m) Source #
Instance details Defined in Data.Ten.Exists Methods showsPrec :: Int -> Exists m -> ShowS # show :: Exists m -> String # showList :: [Exists m] -> ShowS #
(forall (a :: k). Hashable (m a)) => Hashable (Exists m) Source #
Instance details Defined in Data.Ten.Exists Methods hashWithSalt :: Int -> Exists m -> Int # hash :: Exists m -> Int #
(forall (a :: k). Portray (m a)) => Portray (Exists m) Source #
Instance details Defined in Data.Ten.Exists Methods portray :: Exists m -> Portrayal # portrayList :: [Exists m] -> Portrayal #
(TestEquality m, forall (a :: k). Portray (m a), forall (a :: k). Diff (m a)) => Diff (Exists m) Source #
Instance details Defined in Data.Ten.Exists Methods diff :: Exists m -> Exists m -> Maybe Portrayal #