Data.Ten.Exists

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

Documentation

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

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

Constructors

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

Instances

Foldable10 (Exists :: (k -> Type) -> Type)

Defined in Data.Ten.Exists

Methods

foldMap10 :: Monoid w => (forall (a :: k0). m a -> w) -> Exists m -> w

Functor10 (Exists :: (k -> Type) -> Type)

Defined in Data.Ten.Exists

Methods

fmap10 :: (forall (a :: k0). m a -> n a) -> Exists m -> Exists n

Traversable10 (Exists :: (k -> Type) -> Type)

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

GEq m => Eq (Exists m)

Defined in Data.Ten.Exists

Methods

(==) :: Exists m -> Exists m -> Bool

(/=) :: Exists m -> Exists m -> Bool

GCompare m => Ord (Exists m)

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)

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)

Defined in Data.Ten.Exists

Methods

hashWithSalt :: Int -> Exists m -> Int

hash :: Exists m -> Int

(forall (a :: k). Portray (m a)) => Portray (Exists m)

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)

Defined in Data.Ten.Exists

Methods

diff :: Exists m -> Exists m -> Maybe Portrayal