constraints-0.10.1: Constraint manipulation

Safe HaskellNone
LanguageHaskell2010

Data.Constraint.Lifting

Documentation

class Lifting p f where #

Methods

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

Instances
Lifting Eq [] # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq a :- Eq [a] #

Lifting Eq Maybe # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq a :- Eq (Maybe a) #

Lifting Eq Ratio # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq a :- Eq (Ratio a) #

Lifting Eq Complex # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq a :- Eq (Complex a) #

Lifting Eq Identity # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq a :- Eq (Identity a) #

Lifting Ord [] # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord a :- Ord [a] #

Lifting Ord Maybe # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord a :- Ord (Maybe a) #

Lifting Ord Identity # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord a :- Ord (Identity a) #

Lifting Read [] # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read a :- Read [a] #

Lifting Read Maybe # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read a :- Read (Maybe a) #

Lifting Read Complex # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read a :- Read (Complex a) #

Lifting Read Identity # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read a :- Read (Identity a) #

Lifting Show [] # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show a :- Show [a] #

Lifting Show Maybe # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show a :- Show (Maybe a) #

Lifting Show Complex # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show a :- Show (Complex a) #

Lifting Show Identity # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show a :- Show (Identity a) #

Lifting Semigroup Maybe # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Monoid Maybe # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Monoid a :- Monoid (Maybe a) #

Lifting Binary [] # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Binary a :- Binary [a] #

Lifting Binary Maybe # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Binary a :- Binary (Maybe a) #

Lifting NFData [] # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: NFData a :- NFData [a] #

Lifting NFData Maybe # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: NFData a :- NFData (Maybe a) #

Lifting Hashable [] # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Hashable a :- Hashable [a] #

Lifting Hashable Maybe # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Hashable a :- Hashable (Maybe a) #

Bounded a => Lifting Bounded ((,) a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Bounded a0 :- Bounded (a, a0) #

Eq a => Lifting Eq (Either a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq a0 :- Eq (Either a a0) #

Eq a => Lifting Eq ((,) a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq a0 :- Eq (a, a0) #

Eq1 m => Lifting Eq (ListT m :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq a :- Eq (ListT m a) #

Eq1 f => Lifting Eq (Lift f :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq a :- Eq (Lift f a) #

Eq1 m => Lifting Eq (MaybeT m :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq a :- Eq (MaybeT m a) #

Ord a => Lifting Ord (Either a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord a0 :- Ord (Either a a0) #

Ord a => Lifting Ord ((,) a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord a0 :- Ord (a, a0) #

Ord1 m => Lifting Ord (ListT m :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord a :- Ord (ListT m a) #

Ord1 f => Lifting Ord (Lift f :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord a :- Ord (Lift f a) #

Ord1 m => Lifting Ord (MaybeT m :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord a :- Ord (MaybeT m a) #

Read a => Lifting Read (Either a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read a0 :- Read (Either a a0) #

Read a => Lifting Read ((,) a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read a0 :- Read (a, a0) #

Read1 m => Lifting Read (ListT m :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read a :- Read (ListT m a) #

Read1 f => Lifting Read (Lift f :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read a :- Read (Lift f a) #

Read1 m => Lifting Read (MaybeT m :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read a :- Read (MaybeT m a) #

Show a => Lifting Show (Either a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show a0 :- Show (Either a a0) #

Show a => Lifting Show ((,) a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show a0 :- Show (a, a0) #

Show1 m => Lifting Show (ListT m :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show a :- Show (ListT m a) #

Show1 f => Lifting Show (Lift f :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show a :- Show (Lift f a) #

Show1 m => Lifting Show (MaybeT m :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show a :- Show (MaybeT m a) #

Ix a => Lifting Ix ((,) a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ix a0 :- Ix (a, a0) #

Semigroup a => Lifting Semigroup ((,) a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Semigroup a0 :- Semigroup (a, a0) #

Monoid a => Lifting Monoid ((,) a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Monoid a0 :- Monoid (a, a0) #

Binary a => Lifting Binary (Either a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Binary a0 :- Binary (Either a a0) #

Binary a => Lifting Binary ((,) a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Binary a0 :- Binary (a, a0) #

NFData a => Lifting NFData (Either a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: NFData a0 :- NFData (Either a a0) #

NFData a => Lifting NFData ((,) a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: NFData a0 :- NFData (a, a0) #

Hashable a => Lifting Hashable (Either a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Hashable a0 :- Hashable (Either a a0) #

Hashable a => Lifting Hashable ((,) a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Hashable a0 :- Hashable (a, a0) #

Eq1 m => Lifting Eq (IdentityT m :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: 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 :: Eq a :- Eq (WriterT w m a) #

Eq1 f => Lifting Eq (Reverse f :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq a :- Eq (Reverse f a) #

Eq1 f => Lifting Eq (Backwards f :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq a :- Eq (Backwards f a) #

Ord1 m => Lifting Ord (IdentityT m :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: 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 :: Ord a :- Ord (WriterT w m a) #

Ord1 f => Lifting Ord (Reverse f :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord a :- Ord (Reverse f a) #

Ord1 f => Lifting Ord (Backwards f :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord a :- Ord (Backwards f a) #

Read1 m => Lifting Read (IdentityT m :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: 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 :: Read a :- Read (WriterT w m a) #

Read1 f => Lifting Read (Reverse f :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read a :- Read (Reverse f a) #

Read1 f => Lifting Read (Backwards f :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read a :- Read (Backwards f a) #

Show1 m => Lifting Show (IdentityT m :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: 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 :: Show a :- Show (WriterT w m a) #

Show1 f => Lifting Show (Reverse f :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show a :- Show (Reverse f a) #

Show1 f => Lifting Show (Backwards f :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: Show a :- Show (Sum f g a) #

Lifting Semigroup ((->) a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Semigroup a0 :- Semigroup (a -> a0) #

Lifting Monoid ((->) a :: Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: 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 :: Show a :- Show (Compose f g a) #

Lifting Monad ListT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Monad a :- Monad (ListT a) #

Lifting Monad MaybeT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Monad a :- Monad (MaybeT a) #

Lifting Functor ListT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Functor a :- Functor (ListT a) #

Lifting Functor Lift # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Functor a :- Functor (Lift a) #

Lifting Functor MaybeT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Functor a :- Functor (MaybeT a) #

Lifting Applicative ListT # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Applicative Lift # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Foldable ListT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Foldable a :- Foldable (ListT a) #

Lifting Foldable Lift # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Foldable a :- Foldable (Lift a) #

Lifting Foldable MaybeT # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Traversable ListT # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Traversable Lift # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Traversable MaybeT # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Eq1 ListT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq1 a :- Eq1 (ListT a) #

Lifting Eq1 Lift # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq1 a :- Eq1 (Lift a) #

Lifting Eq1 MaybeT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq1 a :- Eq1 (MaybeT a) #

Lifting Ord1 ListT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord1 a :- Ord1 (ListT a) #

Lifting Ord1 Lift # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord1 a :- Ord1 (Lift a) #

Lifting Ord1 MaybeT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord1 a :- Ord1 (MaybeT a) #

Lifting Read1 ListT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read1 a :- Read1 (ListT a) #

Lifting Read1 Lift # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read1 a :- Read1 (Lift a) #

Lifting Read1 MaybeT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read1 a :- Read1 (MaybeT a) #

Lifting Show1 ListT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show1 a :- Show1 (ListT a) #

Lifting Show1 Lift # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show1 a :- Show1 (Lift a) #

Lifting Show1 MaybeT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show1 a :- Show1 (MaybeT a) #

Lifting MonadIO ListT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadIO a :- MonadIO (ListT a) #

Lifting MonadIO MaybeT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadIO a :- MonadIO (MaybeT a) #

Lifting Alternative ListT # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Alternative Lift # 
Instance details

Defined in Data.Constraint.Lifting

Lifting MonadPlus ListT # 
Instance details

Defined in Data.Constraint.Lifting

Lifting MonadPlus MaybeT # 
Instance details

Defined in Data.Constraint.Lifting

Lifting MonadCont ListT # 
Instance details

Defined in Data.Constraint.Lifting

Lifting MonadCont MaybeT # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Monad (IdentityT :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Monad a :- Monad (IdentityT a) #

Error e => Lifting Monad (ErrorT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Monad a :- Monad (ErrorT e a) #

Lifting Monad (ExceptT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Monad a :- Monad (ExceptT e a) #

Lifting Monad (ReaderT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Monad a :- Monad (ReaderT e a) #

Lifting Monad (StateT s :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Monad a :- Monad (StateT s a) #

Lifting Monad (StateT s :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: Monad a :- Monad (WriterT w a) #

Lifting Functor (IdentityT :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Functor (ErrorT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Functor a :- Functor (ErrorT e a) #

Lifting Functor (ExceptT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Functor a :- Functor (ExceptT e a) #

Lifting Functor (ReaderT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Functor a :- Functor (ReaderT e a) #

Lifting Functor (StateT s :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Functor a :- Functor (StateT s a) #

Lifting Functor (StateT s :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Functor a :- Functor (StateT s a) #

Lifting Functor (WriterT w :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Functor a :- Functor (WriterT w a) #

Lifting Functor (WriterT w :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Functor a :- Functor (WriterT w a) #

Lifting Functor (Reverse :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Functor a :- Functor (Reverse a) #

Lifting Functor (Backwards :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting MonadFix (IdentityT :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Error e => Lifting MonadFix (ErrorT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadFix a :- MonadFix (ErrorT e a) #

Lifting MonadFix (ExceptT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadFix a :- MonadFix (ExceptT e a) #

Lifting MonadFix (ReaderT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadFix a :- MonadFix (ReaderT e a) #

Lifting MonadFix (StateT s :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadFix a :- MonadFix (StateT s a) #

Lifting MonadFix (StateT s :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: MonadFix a :- MonadFix (WriterT w a) #

Lifting Applicative (IdentityT :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Applicative (ReaderT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Monoid w => Lifting Applicative (WriterT w :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Monoid w => Lifting Applicative (WriterT w :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Applicative (Reverse :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Applicative (Backwards :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Foldable (IdentityT :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Foldable (ErrorT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Foldable a :- Foldable (ErrorT e a) #

Lifting Foldable (ExceptT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Foldable a :- Foldable (ExceptT e a) #

Lifting Foldable (WriterT w :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Foldable a :- Foldable (WriterT w a) #

Lifting Foldable (WriterT w :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Foldable a :- Foldable (WriterT w a) #

Lifting Foldable (Reverse :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Foldable (Backwards :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Traversable (IdentityT :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Traversable (ErrorT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Traversable (ExceptT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Traversable (WriterT w :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Traversable (WriterT w :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Traversable (Reverse :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Traversable (Backwards :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Eq1 (IdentityT :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq1 a :- Eq1 (IdentityT a) #

Eq e => Lifting Eq1 (ErrorT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: Eq1 a :- Eq1 (WriterT w a) #

Lifting Eq1 (Reverse :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq1 a :- Eq1 (Reverse a) #

Lifting Eq1 (Backwards :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Eq1 a :- Eq1 (Backwards a) #

Lifting Ord1 (IdentityT :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord1 a :- Ord1 (IdentityT a) #

Ord e => Lifting Ord1 (ErrorT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: Ord1 a :- Ord1 (WriterT w a) #

Lifting Ord1 (Reverse :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord1 a :- Ord1 (Reverse a) #

Lifting Ord1 (Backwards :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Ord1 a :- Ord1 (Backwards a) #

Lifting Read1 (IdentityT :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read1 a :- Read1 (IdentityT a) #

Read e => Lifting Read1 (ErrorT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: Read1 a :- Read1 (WriterT w a) #

Lifting Read1 (Reverse :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read1 a :- Read1 (Reverse a) #

Lifting Read1 (Backwards :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Read1 a :- Read1 (Backwards a) #

Lifting Show1 (IdentityT :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show1 a :- Show1 (IdentityT a) #

Show e => Lifting Show1 (ErrorT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: Show1 a :- Show1 (WriterT w a) #

Lifting Show1 (Reverse :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show1 a :- Show1 (Reverse a) #

Lifting Show1 (Backwards :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Show1 a :- Show1 (Backwards a) #

Lifting MonadIO (IdentityT :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Error e => Lifting MonadIO (ErrorT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadIO a :- MonadIO (ErrorT e a) #

Lifting MonadIO (ExceptT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadIO a :- MonadIO (ExceptT e a) #

Lifting MonadIO (ReaderT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadIO a :- MonadIO (ReaderT e a) #

Lifting MonadIO (StateT s :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadIO a :- MonadIO (StateT s a) #

Lifting MonadIO (StateT s :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: MonadIO a :- MonadIO (WriterT w a) #

Lifting Alternative (IdentityT :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Alternative (ReaderT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Monoid w => Lifting Alternative (WriterT w :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Monoid w => Lifting Alternative (WriterT w :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Alternative (Reverse :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Alternative (Backwards :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting MonadPlus (IdentityT :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Error e => Lifting MonadPlus (ErrorT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadPlus a :- MonadPlus (ErrorT e a) #

Monoid e => Lifting MonadPlus (ExceptT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting MonadPlus (ReaderT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting MonadPlus (StateT s :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadPlus a :- MonadPlus (StateT s a) #

Lifting MonadPlus (StateT s :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadPlus a :- MonadPlus (StateT s a) #

Monoid w => Lifting MonadPlus (WriterT w :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Monoid w => Lifting MonadPlus (WriterT w :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting MonadCont (IdentityT :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Error e => Lifting MonadCont (ErrorT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadCont a :- MonadCont (ErrorT e a) #

Lifting MonadCont (ExceptT w :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting MonadCont (ReaderT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting MonadCont (StateT s :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadCont a :- MonadCont (StateT s a) #

Lifting MonadCont (StateT s :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadCont a :- MonadCont (StateT s a) #

Monoid w => Lifting MonadCont (WriterT w :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Monoid w => Lifting MonadCont (WriterT w :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Monad f => Lifting Monad (Product f :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Monad a :- Monad (Product f a) #

Lifting Monad (ContT r :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: Functor a :- Functor (Sum f a) #

Lifting Functor (ContT r :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: MonadFix a :- MonadFix (Product f a) #

Applicative f => Lifting Applicative (Product f :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Lifting Applicative (ContT r :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Foldable f => Lifting Foldable (Product f :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: Foldable a :- Foldable (Sum f a) #

Traversable f => Lifting Traversable (Product f :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Traversable f => Lifting Traversable (Sum f :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Eq1 f => Lifting Eq1 (Product f :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: Show1 a :- Show1 (Sum f a) #

Lifting MonadIO (ContT r :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadIO a :- MonadIO (ContT r a) #

Alternative f => Lifting Alternative (Product f :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

MonadPlus f => Lifting MonadPlus (Product f :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Monoid w => Lifting Monad (RWST r w s :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: 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 :: 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 :: 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 :: 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

Foldable f => Lifting Foldable (Compose f :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: Foldable a :- Foldable (Compose f a) #

Traversable f => Lifting Traversable (Compose f :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Eq1 f => Lifting Eq1 (Compose f :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: 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 :: 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 :: 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

Monoid w => Lifting MonadPlus (RWST r w s :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: MonadCont a :- MonadCont (RWST r w s a) #

Lifting (MonadState s :: (Type -> Type) -> Constraint) ListT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadState s a :- MonadState s (ListT a) #

Lifting (MonadState s :: (Type -> Type) -> Constraint) MaybeT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadState s a :- MonadState s (MaybeT a) #

Lifting (MonadReader r :: (Type -> Type) -> Constraint) ListT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadReader r a :- MonadReader r (ListT a) #

Lifting (MonadReader r :: (Type -> Type) -> Constraint) MaybeT # 
Instance details

Defined in Data.Constraint.Lifting

Lifting (MonadError e :: (Type -> Type) -> Constraint) ListT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: MonadError e a :- MonadError e (ListT a) #

Lifting (MonadError e :: (Type -> Type) -> Constraint) MaybeT # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: 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 :: 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 :: 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

Error e => Lifting (MonadReader r :: (Type -> Type) -> Constraint) (ErrorT e :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: 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 :: 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 :: 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 :: 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

Lifting (MonadError e :: (Type -> Type) -> Constraint) (ReaderT r :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Data.Constraint.Lifting

Methods

lifting :: 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 :: 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 :: MonadError e a :- MonadError e (StateT s a) #

Monoid w => Lifting (MonadError e :: (Type -> Type) -> Constraint) (WriterT w :: (Type -> Type) ->