constraints-0.13.3: Constraint manipulation

Safe Haskell | None
Language | Haskell2010

Data.Constraint.Lifting

# Documentation

class Lifting p f where #

Methods

lifting :: p a :- p (f a) #

#### Instances

Instances details

Lifting Eq [] # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq [a] #
Lifting Eq Maybe # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (Maybe a) #
Lifting Eq Ratio # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (Ratio a) #
Lifting Eq Complex # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (Complex a) #
Lifting Eq Identity # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (Identity a) #
Lifting Ord [] # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord [a] #
Lifting Ord Maybe # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord (Maybe a) #
Lifting Ord Identity # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord (Identity a) #
Lifting Read [] # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read [a] #
Lifting Read Maybe # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (Maybe a) #
Lifting Read Complex # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (Complex a) #
Lifting Read Identity # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (Identity a) #
Lifting Show [] # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show [a] #
Lifting Show Maybe # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (Maybe a) #
Lifting Show Complex # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (Complex a) #
Lifting Show Identity # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (Identity a) #
Lifting Semigroup Maybe # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Semigroup a :- Semigroup (Maybe a) #
Lifting Monoid Maybe # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Monoid a :- Monoid (Maybe a) #
Lifting Binary [] # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Binary a :- Binary [a] #
Lifting Binary Maybe # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Binary a :- Binary (Maybe a) #
Lifting NFData [] # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). NFData a :- NFData [a] #
Lifting NFData Maybe # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). NFData a :- NFData (Maybe a) #
Lifting Hashable [] # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Hashable a :- Hashable [a] #
Lifting Hashable Maybe # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Hashable a :- Hashable (Maybe a) #
Bounded a => Lifting Bounded ((,) a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Bounded a0 :- Bounded (a, a0) #
Eq a => Lifting Eq (Either a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Eq a0 :- Eq (Either a a0) #
Eq a => Lifting Eq ((,) a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Eq a0 :- Eq (a, a0) #
Eq1 m => Lifting Eq (ListT m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (ListT m a) #
Eq1 f => Lifting Eq (Lift f :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (Lift f a) #
Eq1 m => Lifting Eq (MaybeT m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (MaybeT m a) #
Ord a => Lifting Ord (Either a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Ord a0 :- Ord (Either a a0) #
Ord a => Lifting Ord ((,) a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Ord a0 :- Ord (a, a0) #
Ord1 m => Lifting Ord (ListT m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord (ListT m a) #
Ord1 f => Lifting Ord (Lift f :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord (Lift f a) #
Ord1 m => Lifting Ord (MaybeT m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord (MaybeT m a) #
Read a => Lifting Read (Either a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Read a0 :- Read (Either a a0) #
Read a => Lifting Read ((,) a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Read a0 :- Read (a, a0) #
Read1 m => Lifting Read (ListT m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (ListT m a) #
Read1 f => Lifting Read (Lift f :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (Lift f a) #
Read1 m => Lifting Read (MaybeT m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (MaybeT m a) #
Show a => Lifting Show (Either a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Show a0 :- Show (Either a a0) #
Show a => Lifting Show ((,) a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Show a0 :- Show (a, a0) #
Show1 m => Lifting Show (ListT m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (ListT m a) #
Show1 f => Lifting Show (Lift f :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (Lift f a) #
Show1 m => Lifting Show (MaybeT m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (MaybeT m a) #
Ix a => Lifting Ix ((,) a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Ix a0 :- Ix (a, a0) #
Semigroup a => Lifting Semigroup ((,) a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Semigroup a0 :- Semigroup (a, a0) #
Monoid a => Lifting Monoid ((,) a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Monoid a0 :- Monoid (a, a0) #
Binary a => Lifting Binary (Either a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Binary a0 :- Binary (Either a a0) #
Binary a => Lifting Binary ((,) a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Binary a0 :- Binary (a, a0) #
NFData a => Lifting NFData (Either a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). NFData a0 :- NFData (Either a a0) #
NFData a => Lifting NFData ((,) a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). NFData a0 :- NFData (a, a0) #
Hashable a => Lifting Hashable (Either a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Hashable a0 :- Hashable (Either a a0) #
Hashable a => Lifting Hashable ((,) a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Hashable a0 :- Hashable (a, a0) #
Eq1 m => Lifting Eq (IdentityT m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (IdentityT m a) #
(Eq e, Eq1 m) => Lifting Eq (ErrorT e m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (ErrorT e m a) #
(Eq e, Eq1 m) => Lifting Eq (ExceptT e m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (ExceptT e m a) #
(Eq w, Eq1 m) => Lifting Eq (WriterT w m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (WriterT w m a) #
(Eq w, Eq1 m) => Lifting Eq (WriterT w m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (WriterT w m a) #
Eq1 f => Lifting Eq (Reverse f :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (Reverse f a) #
Eq1 f => Lifting Eq (Backwards f :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (Backwards f a) #
Ord1 m => Lifting Ord (IdentityT m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord (IdentityT m a) #
(Ord e, Ord1 m) => Lifting Ord (ErrorT e m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord (ErrorT e m a) #
(Ord e, Ord1 m) => Lifting Ord (ExceptT e m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord (ExceptT e m a) #
(Ord w, Ord1 m) => Lifting Ord (WriterT w m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord (WriterT w m a) #
(Ord w, Ord1 m) => Lifting Ord (WriterT w m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord (WriterT w m a) #
Ord1 f => Lifting Ord (Reverse f :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord (Reverse f a) #
Ord1 f => Lifting Ord (Backwards f :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord (Backwards f a) #
Read1 m => Lifting Read (IdentityT m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (IdentityT m a) #
(Read e, Read1 m) => Lifting Read (ErrorT e m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (ErrorT e m a) #
(Read e, Read1 m) => Lifting Read (ExceptT e m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (ExceptT e m a) #
(Read w, Read1 m) => Lifting Read (WriterT w m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (WriterT w m a) #
(Read w, Read1 m) => Lifting Read (WriterT w m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (WriterT w m a) #
Read1 f => Lifting Read (Reverse f :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (Reverse f a) #
Read1 f => Lifting Read (Backwards f :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (Backwards f a) #
Show1 m => Lifting Show (IdentityT m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (IdentityT m a) #
(Show e, Show1 m) => Lifting Show (ErrorT e m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (ErrorT e m a) #
(Show e, Show1 m) => Lifting Show (ExceptT e m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (ExceptT e m a) #
(Show w, Show1 m) => Lifting Show (WriterT w m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (WriterT w m a) #
(Show w, Show1 m) => Lifting Show (WriterT w m :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (WriterT w m a) #
Show1 f => Lifting Show (Reverse f :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (Reverse f a) #
Show1 f => Lifting Show (Backwards f :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (Backwards f a) #
(Eq1 f, Eq1 g) => Lifting Eq (Product f g :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (Product f g a) #
(Eq1 f, Eq1 g) => Lifting Eq (Sum f g :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (Sum f g a) #
(Ord1 f, Ord1 g) => Lifting Ord (Product f g :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord (Product f g a) #
(Ord1 f, Ord1 g) => Lifting Ord (Sum f g :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord (Sum f g a) #
(Read1 f, Read1 g) => Lifting Read (Product f g :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (Product f g a) #
(Read1 f, Read1 g) => Lifting Read (Sum f g :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (Sum f g a) #
(Show1 f, Show1 g) => Lifting Show (Product f g :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (Product f g a) #
(Show1 f, Show1 g) => Lifting Show (Sum f g :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (Sum f g a) #
Lifting Semigroup ((->) a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Semigroup a0 :- Semigroup (a -> a0) #
Lifting Monoid ((->) a :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a0 :: k). Monoid a0 :- Monoid (a -> a0) #
(Eq1 f, Eq1 g) => Lifting Eq (Compose f g :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq a :- Eq (Compose f g a) #
(Ord1 f, Ord1 g) => Lifting Ord (Compose f g :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord a :- Ord (Compose f g a) #
(Read1 f, Read1 g) => Lifting Read (Compose f g :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read a :- Read (Compose f g a) #
(Show1 f, Show1 g) => Lifting Show (Compose f g :: Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show a :- Show (Compose f g a) #
Lifting Monad ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Monad a :- Monad (ListT a) #
Lifting Monad MaybeT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Monad a :- Monad (MaybeT a) #
Lifting Functor ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (ListT a) #
Lifting Functor Lift # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (Lift a) #
Lifting Functor MaybeT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (MaybeT a) #
Lifting Applicative ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Applicative a :- Applicative (ListT a) #
Lifting Applicative Lift # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Applicative a :- Applicative (Lift a) #
Lifting Foldable ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Foldable a :- Foldable (ListT a) #
Lifting Foldable Lift # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Foldable a :- Foldable (Lift a) #
Lifting Foldable MaybeT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Foldable a :- Foldable (MaybeT a) #
Lifting Traversable ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Traversable a :- Traversable (ListT a) #
Lifting Traversable Lift # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Traversable a :- Traversable (Lift a) #
Lifting Traversable MaybeT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Traversable a :- Traversable (MaybeT a) #
Lifting Eq1 ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq1 a :- Eq1 (ListT a) #
Lifting Eq1 Lift # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq1 a :- Eq1 (Lift a) #
Lifting Eq1 MaybeT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq1 a :- Eq1 (MaybeT a) #
Lifting Ord1 ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord1 a :- Ord1 (ListT a) #
Lifting Ord1 Lift # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord1 a :- Ord1 (Lift a) #
Lifting Ord1 MaybeT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord1 a :- Ord1 (MaybeT a) #
Lifting Read1 ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read1 a :- Read1 (ListT a) #
Lifting Read1 Lift # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read1 a :- Read1 (Lift a) #
Lifting Read1 MaybeT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read1 a :- Read1 (MaybeT a) #
Lifting Show1 ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show1 a :- Show1 (ListT a) #
Lifting Show1 Lift # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show1 a :- Show1 (Lift a) #
Lifting Show1 MaybeT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show1 a :- Show1 (MaybeT a) #
Lifting MonadIO ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadIO a :- MonadIO (ListT a) #
Lifting MonadIO MaybeT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadIO a :- MonadIO (MaybeT a) #
Lifting Alternative ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Alternative a :- Alternative (ListT a) #
Lifting Alternative Lift # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Alternative a :- Alternative (Lift a) #
Lifting MonadPlus ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadPlus a :- MonadPlus (ListT a) #
Lifting MonadPlus MaybeT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadPlus a :- MonadPlus (MaybeT a) #
Lifting MonadCont ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadCont a :- MonadCont (ListT a) #
Lifting MonadCont MaybeT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadCont a :- MonadCont (MaybeT a) #
Lifting Monad (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Monad a :- Monad (IdentityT a) #
Error e => Lifting Monad (ErrorT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Monad a :- Monad (ErrorT e a) #
Lifting Monad (ExceptT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Monad a :- Monad (ExceptT e a) #
Lifting Monad (ReaderT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Monad a :- Monad (ReaderT e a) #
Lifting Monad (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Monad a :- Monad (StateT s a) #
Lifting Monad (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Monad a :- Monad (StateT s a) #
Monoid w => Lifting Monad (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Monad a :- Monad (WriterT w a) #
Monoid w => Lifting Monad (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Monad a :- Monad (WriterT w a) #
Lifting Functor (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (IdentityT a) #
Lifting Functor (ErrorT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (ErrorT e a) #
Lifting Functor (ExceptT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (ExceptT e a) #
Lifting Functor (ReaderT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (ReaderT e a) #
Lifting Functor (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (StateT s a) #
Lifting Functor (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (StateT s a) #
Lifting Functor (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (WriterT w a) #
Lifting Functor (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (WriterT w a) #
Lifting Functor (Reverse :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (Reverse a) #
Lifting Functor (Backwards :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (Backwards a) #
Lifting MonadFix (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadFix a :- MonadFix (IdentityT a) #
Error e => Lifting MonadFix (ErrorT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadFix a :- MonadFix (ErrorT e a) #
Lifting MonadFix (ExceptT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadFix a :- MonadFix (ExceptT e a) #
Lifting MonadFix (ReaderT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadFix a :- MonadFix (ReaderT e a) #
Lifting MonadFix (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadFix a :- MonadFix (StateT s a) #
Lifting MonadFix (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadFix a :- MonadFix (StateT s a) #
Monoid w => Lifting MonadFix (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadFix a :- MonadFix (WriterT w a) #
Monoid w => Lifting MonadFix (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadFix a :- MonadFix (WriterT w a) #
Lifting Applicative (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Applicative a :- Applicative (IdentityT a) #
Lifting Applicative (ReaderT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Applicative a :- Applicative (ReaderT e a) #
Monoid w => Lifting Applicative (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Applicative a :- Applicative (WriterT w a) #
Monoid w => Lifting Applicative (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Applicative a :- Applicative (WriterT w a) #
Lifting Applicative (Reverse :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Applicative a :- Applicative (Reverse a) #
Lifting Applicative (Backwards :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Applicative a :- Applicative (Backwards a) #
Lifting Foldable (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Foldable a :- Foldable (IdentityT a) #
Lifting Foldable (ErrorT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Foldable a :- Foldable (ErrorT e a) #
Lifting Foldable (ExceptT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Foldable a :- Foldable (ExceptT e a) #
Lifting Foldable (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Foldable a :- Foldable (WriterT w a) #
Lifting Foldable (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Foldable a :- Foldable (WriterT w a) #
Lifting Foldable (Reverse :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Foldable a :- Foldable (Reverse a) #
Lifting Foldable (Backwards :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Foldable a :- Foldable (Backwards a) #
Lifting Traversable (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Traversable a :- Traversable (IdentityT a) #
Lifting Traversable (ErrorT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Traversable a :- Traversable (ErrorT e a) #
Lifting Traversable (ExceptT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Traversable a :- Traversable (ExceptT e a) #
Lifting Traversable (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Traversable a :- Traversable (WriterT w a) #
Lifting Traversable (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Traversable a :- Traversable (WriterT w a) #
Lifting Traversable (Reverse :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Traversable a :- Traversable (Reverse a) #
Lifting Traversable (Backwards :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Traversable a :- Traversable (Backwards a) #
Lifting Eq1 (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq1 a :- Eq1 (IdentityT a) #
Eq e => Lifting Eq1 (ErrorT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq1 a :- Eq1 (ErrorT e a) #
Eq e => Lifting Eq1 (ExceptT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq1 a :- Eq1 (ExceptT e a) #
Eq w => Lifting Eq1 (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq1 a :- Eq1 (WriterT w a) #
Eq w => Lifting Eq1 (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq1 a :- Eq1 (WriterT w a) #
Lifting Eq1 (Reverse :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq1 a :- Eq1 (Reverse a) #
Lifting Eq1 (Backwards :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq1 a :- Eq1 (Backwards a) #
Lifting Ord1 (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord1 a :- Ord1 (IdentityT a) #
Ord e => Lifting Ord1 (ErrorT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord1 a :- Ord1 (ErrorT e a) #
Ord e => Lifting Ord1 (ExceptT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord1 a :- Ord1 (ExceptT e a) #
Ord w => Lifting Ord1 (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord1 a :- Ord1 (WriterT w a) #
Ord w => Lifting Ord1 (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord1 a :- Ord1 (WriterT w a) #
Lifting Ord1 (Reverse :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord1 a :- Ord1 (Reverse a) #
Lifting Ord1 (Backwards :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord1 a :- Ord1 (Backwards a) #
Lifting Read1 (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read1 a :- Read1 (IdentityT a) #
Read e => Lifting Read1 (ErrorT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read1 a :- Read1 (ErrorT e a) #
Read e => Lifting Read1 (ExceptT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read1 a :- Read1 (ExceptT e a) #
Read w => Lifting Read1 (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read1 a :- Read1 (WriterT w a) #
Read w => Lifting Read1 (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read1 a :- Read1 (WriterT w a) #
Lifting Read1 (Reverse :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read1 a :- Read1 (Reverse a) #
Lifting Read1 (Backwards :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read1 a :- Read1 (Backwards a) #
Lifting Show1 (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show1 a :- Show1 (IdentityT a) #
Show e => Lifting Show1 (ErrorT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show1 a :- Show1 (ErrorT e a) #
Show e => Lifting Show1 (ExceptT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show1 a :- Show1 (ExceptT e a) #
Show w => Lifting Show1 (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show1 a :- Show1 (WriterT w a) #
Show w => Lifting Show1 (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show1 a :- Show1 (WriterT w a) #
Lifting Show1 (Reverse :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show1 a :- Show1 (Reverse a) #
Lifting Show1 (Backwards :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show1 a :- Show1 (Backwards a) #
Lifting MonadIO (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadIO a :- MonadIO (IdentityT a) #
Error e => Lifting MonadIO (ErrorT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadIO a :- MonadIO (ErrorT e a) #
Lifting MonadIO (ExceptT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadIO a :- MonadIO (ExceptT e a) #
Lifting MonadIO (ReaderT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadIO a :- MonadIO (ReaderT e a) #
Lifting MonadIO (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadIO a :- MonadIO (StateT s a) #
Lifting MonadIO (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadIO a :- MonadIO (StateT s a) #
Monoid w => Lifting MonadIO (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadIO a :- MonadIO (WriterT w a) #
Monoid w => Lifting MonadIO (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadIO a :- MonadIO (WriterT w a) #
Lifting Alternative (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Alternative a :- Alternative (IdentityT a) #
Lifting Alternative (ReaderT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Alternative a :- Alternative (ReaderT e a) #
Monoid w => Lifting Alternative (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Alternative a :- Alternative (WriterT w a) #
Monoid w => Lifting Alternative (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Alternative a :- Alternative (WriterT w a) #
Lifting Alternative (Reverse :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Alternative a :- Alternative (Reverse a) #
Lifting Alternative (Backwards :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Alternative a :- Alternative (Backwards a) #
Lifting MonadPlus (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadPlus a :- MonadPlus (IdentityT a) #
Error e => Lifting MonadPlus (ErrorT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadPlus a :- MonadPlus (ErrorT e a) #
Monoid e => Lifting MonadPlus (ExceptT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadPlus a :- MonadPlus (ExceptT e a) #
Lifting MonadPlus (ReaderT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadPlus a :- MonadPlus (ReaderT e a) #
Lifting MonadPlus (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadPlus a :- MonadPlus (StateT s a) #
Lifting MonadPlus (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadPlus a :- MonadPlus (StateT s a) #
Monoid w => Lifting MonadPlus (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadPlus a :- MonadPlus (WriterT w a) #
Monoid w => Lifting MonadPlus (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadPlus a :- MonadPlus (WriterT w a) #
Lifting MonadCont (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadCont a :- MonadCont (IdentityT a) #
Error e => Lifting MonadCont (ErrorT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadCont a :- MonadCont (ErrorT e a) #
Lifting MonadCont (ExceptT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadCont a :- MonadCont (ExceptT w a) #
Lifting MonadCont (ReaderT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadCont a :- MonadCont (ReaderT e a) #
Lifting MonadCont (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadCont a :- MonadCont (StateT s a) #
Lifting MonadCont (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadCont a :- MonadCont (StateT s a) #
Monoid w => Lifting MonadCont (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadCont a :- MonadCont (WriterT w a) #
Monoid w => Lifting MonadCont (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadCont a :- MonadCont (WriterT w a) #
Monad f => Lifting Monad (Product f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Monad a :- Monad (Product f a) #
Lifting Monad (ContT r :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Monad a :- Monad (ContT r a) #
Functor f => Lifting Functor (Product f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (Product f a) #
Functor f => Lifting Functor (Sum f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (Sum f a) #
Lifting Functor (ContT r :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (ContT r a) #
MonadFix f => Lifting MonadFix (Product f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadFix a :- MonadFix (Product f a) #
Applicative f => Lifting Applicative (Product f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Applicative a :- Applicative (Product f a) #
Lifting Applicative (ContT r :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Applicative a :- Applicative (ContT r a) #
Foldable f => Lifting Foldable (Product f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Foldable a :- Foldable (Product f a) #
Foldable f => Lifting Foldable (Sum f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Foldable a :- Foldable (Sum f a) #
Traversable f => Lifting Traversable (Product f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Traversable a :- Traversable (Product f a) #
Traversable f => Lifting Traversable (Sum f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Traversable a :- Traversable (Sum f a) #
Eq1 f => Lifting Eq1 (Product f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq1 a :- Eq1 (Product f a) #
Eq1 f => Lifting Eq1 (Sum f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq1 a :- Eq1 (Sum f a) #
Ord1 f => Lifting Ord1 (Product f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord1 a :- Ord1 (Product f a) #
Ord1 f => Lifting Ord1 (Sum f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord1 a :- Ord1 (Sum f a) #
Read1 f => Lifting Read1 (Product f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read1 a :- Read1 (Product f a) #
Read1 f => Lifting Read1 (Sum f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read1 a :- Read1 (Sum f a) #
Show1 f => Lifting Show1 (Product f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show1 a :- Show1 (Product f a) #
Show1 f => Lifting Show1 (Sum f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show1 a :- Show1 (Sum f a) #
Lifting MonadIO (ContT r :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadIO a :- MonadIO (ContT r a) #
Alternative f => Lifting Alternative (Product f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Alternative a :- Alternative (Product f a) #
MonadPlus f => Lifting MonadPlus (Product f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadPlus a :- MonadPlus (Product f a) #
Monoid w => Lifting Monad (RWST r w s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Monad a :- Monad (RWST r w s a) #
Monoid w => Lifting Monad (RWST r w s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Monad a :- Monad (RWST r w s a) #
Functor f => Lifting Functor (Compose f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (Compose f a) #
Lifting Functor (RWST r w s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (RWST r w s a) #
Lifting Functor (RWST r w s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Functor a :- Functor (RWST r w s a) #
Monoid w => Lifting MonadFix (RWST r w s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadFix a :- MonadFix (RWST r w s a) #
Monoid w => Lifting MonadFix (RWST r w s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadFix a :- MonadFix (RWST r w s a) #
Applicative f => Lifting Applicative (Compose f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Applicative a :- Applicative (Compose f a) #
Foldable f => Lifting Foldable (Compose f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Foldable a :- Foldable (Compose f a) #
Traversable f => Lifting Traversable (Compose f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Traversable a :- Traversable (Compose f a) #
Eq1 f => Lifting Eq1 (Compose f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Eq1 a :- Eq1 (Compose f a) #
Ord1 f => Lifting Ord1 (Compose f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Ord1 a :- Ord1 (Compose f a) #
Read1 f => Lifting Read1 (Compose f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Read1 a :- Read1 (Compose f a) #
Show1 f => Lifting Show1 (Compose f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Show1 a :- Show1 (Compose f a) #
Monoid w => Lifting MonadIO (RWST r w s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadIO a :- MonadIO (RWST r w s a) #
Monoid w => Lifting MonadIO (RWST r w s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadIO a :- MonadIO (RWST r w s a) #
Alternative f => Lifting Alternative (Compose f :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). Alternative a :- Alternative (Compose f a) #
Monoid w => Lifting MonadPlus (RWST r w s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadPlus a :- MonadPlus (RWST r w s a) #
Monoid w => Lifting MonadPlus (RWST r w s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadPlus a :- MonadPlus (RWST r w s a) #
Monoid w => Lifting MonadCont (RWST r w s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadCont a :- MonadCont (RWST r w s a) #
Monoid w => Lifting MonadCont (RWST r w s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadCont a :- MonadCont (RWST r w s a) #
Lifting (MonadState s :: (Type -> Type) -> Constraint) ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadState s a :- MonadState s (ListT a) #
Lifting (MonadState s :: (Type -> Type) -> Constraint) MaybeT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadState s a :- MonadState s (MaybeT a) #
Lifting (MonadReader r :: (Type -> Type) -> Constraint) ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadReader r a :- MonadReader r (ListT a) #
Lifting (MonadReader r :: (Type -> Type) -> Constraint) MaybeT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadReader r a :- MonadReader r (MaybeT a) #
Lifting (MonadError e :: (Type -> Type) -> Constraint) ListT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadError e a :- MonadError e (ListT a) #
Lifting (MonadError e :: (Type -> Type) -> Constraint) MaybeT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadError e a :- MonadError e (MaybeT a) #
Error e => Lifting (MonadState s :: (Type -> Type) -> Constraint) (ErrorT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadState s a :- MonadState s (ErrorT e a) #
Lifting (MonadState s :: (Type -> Type) -> Constraint) (ExceptT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadState s a :- MonadState s (ExceptT e a) #
Lifting (MonadState s :: (Type -> Type) -> Constraint) (ReaderT r :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadState s a :- MonadState s (ReaderT r a) #
Monoid w => Lifting (MonadState s :: (Type -> Type) -> Constraint) (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadState s a :- MonadState s (WriterT w a) #
Monoid w => Lifting (MonadState s :: (Type -> Type) -> Constraint) (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadState s a :- MonadState s (WriterT w a) #
Lifting (MonadState s :: (Type -> Type) -> Constraint) (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadState s a :- MonadState s (IdentityT a) #
Error e => Lifting (MonadReader r :: (Type -> Type) -> Constraint) (ErrorT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadReader r a :- MonadReader r (ErrorT e a) #
Lifting (MonadReader r :: (Type -> Type) -> Constraint) (ExceptT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadReader r a :- MonadReader r (ExceptT e a) #
Lifting (MonadReader r :: (Type -> Type) -> Constraint) (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadReader r a :- MonadReader r (StateT s a) #
Lifting (MonadReader r :: (Type -> Type) -> Constraint) (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadReader r a :- MonadReader r (StateT s a) #
Monoid w => Lifting (MonadReader r :: (Type -> Type) -> Constraint) (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadReader r a :- MonadReader r (WriterT w a) #
Monoid w => Lifting (MonadReader r :: (Type -> Type) -> Constraint) (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadReader r a :- MonadReader r (WriterT w a) #
Lifting (MonadReader r :: (Type -> Type) -> Constraint) (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadReader r a :- MonadReader r (IdentityT a) #
Lifting (MonadError e :: (Type -> Type) -> Constraint) (ReaderT r :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadError e a :- MonadError e (ReaderT r a) #
Lifting (MonadError e :: (Type -> Type) -> Constraint) (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadError e a :- MonadError e (StateT s a) #
Lifting (MonadError e :: (Type -> Type) -> Constraint) (StateT s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadError e a :- MonadError e (StateT s a) #
Monoid w => Lifting (MonadError e :: (Type -> Type) -> Constraint) (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadError e a :- MonadError e (WriterT w a) #
Monoid w => Lifting (MonadError e :: (Type -> Type) -> Constraint) (WriterT w :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadError e a :- MonadError e (WriterT w a) #
Lifting (MonadError e :: (Type -> Type) -> Constraint) (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadError e a :- MonadError e (IdentityT a) #
Lifting (MonadState s :: (Type -> Type) -> Constraint) (ContT r' :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadState s a :- MonadState s (ContT r' a) #
Lifting (MonadReader r :: (Type -> Type) -> Constraint) (ContT r' :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadReader r a :- MonadReader r (ContT r' a) #
Monoid w => Lifting (MonadError e :: (Type -> Type) -> Constraint) (RWST r w s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadError e a :- MonadError e (RWST r w s a) #
Monoid w => Lifting (MonadError e :: (Type -> Type) -> Constraint) (RWST r w s :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadError e a :- MonadError e (RWST r w s a) #
Lifting (MonadRWS r w s :: (Type -> Type) -> Constraint) MaybeT # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadRWS r w s a :- MonadRWS r w s (MaybeT a) #
Error e => Lifting (MonadRWS r w s :: (Type -> Type) -> Constraint) (ErrorT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadRWS r w s a :- MonadRWS r w s (ErrorT e a) #
Lifting (MonadRWS r w s :: (Type -> Type) -> Constraint) (ExceptT e :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadRWS r w s a :- MonadRWS r w s (ExceptT e a) #
Lifting (MonadRWS r w s :: (Type -> Type) -> Constraint) (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting :: forall (a :: k). MonadRWS r w s a :- MonadRWS r w s (IdentityT a) #

class Lifting2 p f where #

Methods

lifting2 :: p a :- Lifting p (f a) #

#### Instances

Instances details

Lifting2 Bounded (,) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Bounded a :- Lifting Bounded ((,) a) #
Lifting2 Eq Either # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Eq a :- Lifting Eq (Either a) #
Lifting2 Eq (,) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Eq a :- Lifting Eq ((,) a) #
Lifting2 Ord Either # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Ord a :- Lifting Ord (Either a) #
Lifting2 Ord (,) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Ord a :- Lifting Ord ((,) a) #
Lifting2 Read Either # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Read a :- Lifting Read (Either a) #
Lifting2 Read (,) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Read a :- Lifting Read ((,) a) #
Lifting2 Show Either # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Show a :- Lifting Show (Either a) #
Lifting2 Show (,) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Show a :- Lifting Show ((,) a) #
Lifting2 Ix (,) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Ix a :- Lifting Ix ((,) a) #
Lifting2 Semigroup (,) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Semigroup a :- Lifting Semigroup ((,) a) #
Lifting2 Monoid (,) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Monoid a :- Lifting Monoid ((,) a) #
Lifting2 Binary Either # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Binary a :- Lifting Binary (Either a) #
Lifting2 Binary (,) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Binary a :- Lifting Binary ((,) a) #
Lifting2 NFData Either # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). NFData a :- Lifting NFData (Either a) #
Lifting2 NFData (,) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). NFData a :- Lifting NFData ((,) a) #
Lifting2 Hashable Either # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Hashable a :- Lifting Hashable (Either a) #
Lifting2 Hashable (,) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Hashable a :- Lifting Hashable ((,) a) #
Lifting2 Monad (Product :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Monad a :- Lifting Monad (Product a) #
Lifting2 Functor (Product :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Functor a :- Lifting Functor (Product a) #
Lifting2 Functor (Sum :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Functor a :- Lifting Functor (Sum a) #
Lifting2 MonadFix (Product :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). MonadFix a :- Lifting MonadFix (Product a) #
Lifting2 Applicative (Product :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Applicative a :- Lifting Applicative (Product a) #
Lifting2 Foldable (Product :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Foldable a :- Lifting Foldable (Product a) #
Lifting2 Foldable (Sum :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Foldable a :- Lifting Foldable (Sum a) #
Lifting2 Traversable (Product :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Traversable a :- Lifting Traversable (Product a) #
Lifting2 Traversable (Sum :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Traversable a :- Lifting Traversable (Sum a) #
Lifting2 Eq1 (Product :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Eq1 a :- Lifting Eq1 (Product a) #
Lifting2 Eq1 (Sum :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Eq1 a :- Lifting Eq1 (Sum a) #
Lifting2 Ord1 (Product :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Ord1 a :- Lifting Ord1 (Product a) #
Lifting2 Ord1 (Sum :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Ord1 a :- Lifting Ord1 (Sum a) #
Lifting2 Read1 (Product :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Read1 a :- Lifting Read1 (Product a) #
Lifting2 Read1 (Sum :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Read1 a :- Lifting Read1 (Sum a) #
Lifting2 Show1 (Product :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Show1 a :- Lifting Show1 (Product a) #
Lifting2 Show1 (Sum :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Show1 a :- Lifting Show1 (Sum a) #
Lifting2 Alternative (Product :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Alternative a :- Lifting Alternative (Product a) #
Lifting2 MonadPlus (Product :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). MonadPlus a :- Lifting MonadPlus (Product a) #
Lifting2 Functor (Compose :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Functor a :- Lifting Functor (Compose a) #
Lifting2 Applicative (Compose :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Applicative a :- Lifting Applicative (Compose a) #
Lifting2 Foldable (Compose :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Foldable a :- Lifting Foldable (Compose a) #
Lifting2 Traversable (Compose :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Traversable a :- Lifting Traversable (Compose a) #
Lifting2 Alternative (Compose :: (Type -> Type) -> (Type -> Type) -> Type -> Type) # |
Instance details Defined in Data.Constraint.Lifting Methods lifting2 :: forall (a :: k). Alternative a :- Lifting Alternative (Compose a) #