Data.Constraint.Lifting

Documentation

class Lifting p f where

Methods

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

Instances

Lifting Eq []

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq a :- Eq [a]

Lifting Eq Maybe

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq a :- Eq (Maybe a)

Lifting Eq Ratio

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq a :- Eq (Ratio a)

Lifting Eq Complex

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq a :- Eq (Complex a)

Lifting Eq Identity

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq a :- Eq (Identity a)

Lifting Ord []

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Ord a :- Ord [a]

Lifting Ord Maybe

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Ord a :- Ord (Maybe a)

Lifting Ord Identity

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Ord a :- Ord (Identity a)

Lifting Read []

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Read a :- Read [a]

Lifting Read Maybe

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Read a :- Read (Maybe a)

Lifting Read Complex

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Read a :- Read (Complex a)

Lifting Read Identity

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Read a :- Read (Identity a)

Lifting Show []

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show a :- Show [a]

Lifting Show Maybe

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show a :- Show (Maybe a)

Lifting Show Complex

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show a :- Show (Complex a)

Lifting Show Identity

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show a :- Show (Identity a)

Lifting Semigroup Maybe

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Semigroup a :- Semigroup (Maybe a)

Lifting Monoid Maybe

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Monoid a :- Monoid (Maybe a)

Lifting Binary []

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Binary a :- Binary [a]

Lifting Binary Maybe

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Binary a :- Binary (Maybe a)

Lifting NFData []

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). NFData a :- NFData [a]

Lifting NFData Maybe

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). NFData a :- NFData (Maybe a)

Lifting Hashable []

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Hashable a :- Hashable [a]

Lifting Hashable Maybe

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Hashable a :- Hashable (Maybe a)

Bounded a => Lifting Bounded ((,) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Bounded a0 :- Bounded (a, a0)

Eq a => Lifting Eq (Either a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Eq a0 :- Eq (Either a a0)

Eq a => Lifting Eq ((,) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Eq a0 :- Eq (a, a0)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq a :- Eq (ListT m a)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq a :- Eq (Lift f a)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq a :- Eq (MaybeT m a)

Ord a => Lifting Ord (Either a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Ord a0 :- Ord (Either a a0)

Ord a => Lifting Ord ((,) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Ord a0 :- Ord (a, a0)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Ord a :- Ord (ListT m a)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Ord a :- Ord (Lift f a)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Ord a :- Ord (MaybeT m a)

Read a => Lifting Read (Either a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Read a0 :- Read (Either a a0)

Read a => Lifting Read ((,) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Read a0 :- Read (a, a0)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Read a :- Read (ListT m a)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Read a :- Read (Lift f a)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Read a :- Read (MaybeT m a)

Show a => Lifting Show (Either a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Show a0 :- Show (Either a a0)

Show a => Lifting Show ((,) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Show a0 :- Show (a, a0)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show a :- Show (ListT m a)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show a :- Show (Lift f a)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show a :- Show (MaybeT m a)

Ix a => Lifting Ix ((,) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Ix a0 :- Ix (a, a0)

Semigroup a => Lifting Semigroup ((,) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Semigroup a0 :- Semigroup (a, a0)

Monoid a => Lifting Monoid ((,) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Monoid a0 :- Monoid (a, a0)

Binary a => Lifting Binary (Either a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Binary a0 :- Binary (Either a a0)

Binary a => Lifting Binary ((,) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Binary a0 :- Binary (a, a0)

NFData a => Lifting NFData (Either a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). NFData a0 :- NFData (Either a a0)

NFData a => Lifting NFData ((,) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). NFData a0 :- NFData (a, a0)

Hashable a => Lifting Hashable (Either a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Hashable a0 :- Hashable (Either a a0)

Hashable a => Lifting Hashable ((,) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Hashable a0 :- Hashable (a, a0)

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

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)

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)

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)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq a :- Eq (Reverse f a)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq a :- Eq (Backwards f a)

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

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)

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)

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)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Ord a :- Ord (Reverse f a)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Ord a :- Ord (Backwards f a)

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

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)

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)

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)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Read a :- Read (Reverse f a)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Read a :- Read (Backwards f a)

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

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)

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)

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)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show a :- Show (Reverse f a)

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

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)

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)

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)

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)

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)

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)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show a :- Show (Sum f g a)

Lifting Semigroup ((->) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a0 :: k). Semigroup a0 :- Semigroup (a -> a0)

Lifting Monoid ((->) a :: Type -> Type)

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)

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)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show a :- Show (Compose f g a)

Lifting Monad ListT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Monad a :- Monad (ListT a)

Lifting Monad MaybeT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Monad a :- Monad (MaybeT a)

Lifting Functor ListT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Functor a :- Functor (ListT a)

Lifting Functor Lift

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Functor a :- Functor (Lift a)

Lifting Functor MaybeT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Functor a :- Functor (MaybeT a)

Lifting Applicative ListT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Applicative a :- Applicative (ListT a)

Lifting Applicative Lift

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Applicative a :- Applicative (Lift a)

Lifting Foldable ListT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Foldable a :- Foldable (ListT a)

Lifting Foldable Lift

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Foldable a :- Foldable (Lift a)

Lifting Foldable MaybeT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Foldable a :- Foldable (MaybeT a)

Lifting Traversable ListT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Traversable a :- Traversable (ListT a)

Lifting Traversable Lift

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Traversable a :- Traversable (Lift a)

Lifting Traversable MaybeT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Traversable a :- Traversable (MaybeT a)

Lifting Eq1 ListT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq1 a :- Eq1 (ListT a)

Lifting Eq1 Lift

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq1 a :- Eq1 (Lift a)

Lifting Eq1 MaybeT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq1 a :- Eq1 (MaybeT a)

Lifting Ord1 ListT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Ord1 a :- Ord1 (ListT a)

Lifting Ord1 Lift

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Ord1 a :- Ord1 (Lift a)

Lifting Ord1 MaybeT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Ord1 a :- Ord1 (MaybeT a)

Lifting Read1 ListT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Read1 a :- Read1 (ListT a)

Lifting Read1 Lift

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Read1 a :- Read1 (Lift a)

Lifting Read1 MaybeT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Read1 a :- Read1 (MaybeT a)

Lifting Show1 ListT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show1 a :- Show1 (ListT a)

Lifting Show1 Lift

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show1 a :- Show1 (Lift a)

Lifting Show1 MaybeT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show1 a :- Show1 (MaybeT a)

Lifting MonadIO ListT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadIO a :- MonadIO (ListT a)

Lifting MonadIO MaybeT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadIO a :- MonadIO (MaybeT a)

Lifting Alternative ListT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Alternative a :- Alternative (ListT a)

Lifting Alternative Lift

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Alternative a :- Alternative (Lift a)

Lifting MonadPlus ListT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadPlus a :- MonadPlus (ListT a)

Lifting MonadPlus MaybeT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadPlus a :- MonadPlus (MaybeT a)

Lifting MonadCont ListT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadCont a :- MonadCont (ListT a)

Lifting MonadCont MaybeT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadCont a :- MonadCont (MaybeT a)

Lifting Monad (IdentityT :: (Type -> Type) -> Type -> Type)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Monad a :- Monad (ErrorT e a)

Lifting Monad (ExceptT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Monad a :- Monad (ExceptT e a)

Lifting Monad (ReaderT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Monad a :- Monad (ReaderT e a)

Lifting Monad (StateT s :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Monad a :- Monad (StateT s a)

Lifting Monad (StateT s :: (Type -> Type) -> Type -> Type)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Monad a :- Monad (WriterT w a)

Lifting Functor (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Functor a :- Functor (IdentityT a)

Lifting Functor (ErrorT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Functor a :- Functor (ErrorT e a)

Lifting Functor (ExceptT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Functor a :- Functor (ExceptT e a)

Lifting Functor (ReaderT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Functor a :- Functor (ReaderT e a)

Lifting Functor (StateT s :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Functor a :- Functor (StateT s a)

Lifting Functor (StateT s :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Functor a :- Functor (StateT s a)

Lifting Functor (WriterT w :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Functor a :- Functor (WriterT w a)

Lifting Functor (WriterT w :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Functor a :- Functor (WriterT w a)

Lifting Functor (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Functor a :- Functor (Reverse a)

Lifting Functor (Backwards :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Functor a :- Functor (Backwards a)

Lifting MonadFix (IdentityT :: (Type -> Type) -> Type -> Type)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadFix a :- MonadFix (ErrorT e a)

Lifting MonadFix (ExceptT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadFix a :- MonadFix (ExceptT e a)

Lifting MonadFix (ReaderT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadFix a :- MonadFix (ReaderT e a)

Lifting MonadFix (StateT s :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadFix a :- MonadFix (StateT s a)

Lifting MonadFix (StateT s :: (Type -> Type) -> Type -> Type)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadFix a :- MonadFix (WriterT w a)

Lifting Applicative (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Applicative a :- Applicative (IdentityT a)

Lifting Applicative (ReaderT e :: (Type -> Type) -> Type -> Type)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Applicative a :- Applicative (WriterT w a)

Lifting Applicative (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Applicative a :- Applicative (Reverse a)

Lifting Applicative (Backwards :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Applicative a :- Applicative (Backwards a)

Lifting Foldable (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Foldable a :- Foldable (IdentityT a)

Lifting Foldable (ErrorT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Foldable a :- Foldable (ErrorT e a)

Lifting Foldable (ExceptT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Foldable a :- Foldable (ExceptT e a)

Lifting Foldable (WriterT w :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Foldable a :- Foldable (WriterT w a)

Lifting Foldable (WriterT w :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Foldable a :- Foldable (WriterT w a)

Lifting Foldable (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Foldable a :- Foldable (Reverse a)

Lifting Foldable (Backwards :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Foldable a :- Foldable (Backwards a)

Lifting Traversable (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Traversable a :- Traversable (IdentityT a)

Lifting Traversable (ErrorT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Traversable a :- Traversable (ErrorT e a)

Lifting Traversable (ExceptT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Traversable a :- Traversable (ExceptT e a)

Lifting Traversable (WriterT w :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Traversable a :- Traversable (WriterT w a)

Lifting Traversable (WriterT w :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Traversable a :- Traversable (WriterT w a)

Lifting Traversable (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Traversable a :- Traversable (Reverse a)

Lifting Traversable (Backwards :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Traversable a :- Traversable (Backwards a)

Lifting Eq1 (IdentityT :: (Type -> Type) -> Type -> Type)

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)

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)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq1 a :- Eq1 (WriterT w a)

Lifting Eq1 (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq1 a :- Eq1 (Reverse a)

Lifting Eq1 (Backwards :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Eq1 a :- Eq1 (Backwards a)

Lifting Ord1 (IdentityT :: (Type -> Type) -> Type -> Type)

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)

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)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Ord1 a :- Ord1 (WriterT w a)

Lifting Ord1 (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Ord1 a :- Ord1 (Reverse a)

Lifting Ord1 (Backwards :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Ord1 a :- Ord1 (Backwards a)

Lifting Read1 (IdentityT :: (Type -> Type) -> Type -> Type)

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)

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)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Read1 a :- Read1 (WriterT w a)

Lifting Read1 (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Read1 a :- Read1 (Reverse a)

Lifting Read1 (Backwards :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Read1 a :- Read1 (Backwards a)

Lifting Show1 (IdentityT :: (Type -> Type) -> Type -> Type)

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)

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)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show1 a :- Show1 (WriterT w a)

Lifting Show1 (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show1 a :- Show1 (Reverse a)

Lifting Show1 (Backwards :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show1 a :- Show1 (Backwards a)

Lifting MonadIO (IdentityT :: (Type -> Type) -> Type -> Type)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadIO a :- MonadIO (ErrorT e a)

Lifting MonadIO (ExceptT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadIO a :- MonadIO (ExceptT e a)

Lifting MonadIO (ReaderT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadIO a :- MonadIO (ReaderT e a)

Lifting MonadIO (StateT s :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadIO a :- MonadIO (StateT s a)

Lifting MonadIO (StateT s :: (Type -> Type) -> Type -> Type)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadIO a :- MonadIO (WriterT w a)

Lifting Alternative (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Alternative a :- Alternative (IdentityT a)

Lifting Alternative (ReaderT e :: (Type -> Type) -> Type -> Type)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Alternative a :- Alternative (WriterT w a)

Lifting Alternative (Reverse :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Alternative a :- Alternative (Reverse a)

Lifting Alternative (Backwards :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Alternative a :- Alternative (Backwards a)

Lifting MonadPlus (IdentityT :: (Type -> Type) -> Type -> Type)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadPlus a :- MonadPlus (ExceptT e a)

Lifting MonadPlus (ReaderT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadPlus a :- MonadPlus (ReaderT e a)

Lifting MonadPlus (StateT s :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadPlus a :- MonadPlus (StateT s a)

Lifting MonadPlus (StateT s :: (Type -> Type) -> Type -> Type)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadPlus a :- MonadPlus (WriterT w a)

Lifting MonadCont (IdentityT :: (Type -> Type) -> Type -> Type)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadCont a :- MonadCont (ErrorT e a)

Lifting MonadCont (ExceptT w :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadCont a :- MonadCont (ExceptT w a)

Lifting MonadCont (ReaderT e :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadCont a :- MonadCont (ReaderT e a)

Lifting MonadCont (StateT s :: (Type -> Type) -> Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadCont a :- MonadCont (StateT s a)

Lifting MonadCont (StateT s :: (Type -> Type) -> Type -> Type)

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)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Monad a :- Monad (Product f a)

Lifting Monad (ContT r :: (Type -> Type) -> Type -> Type)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Functor a :- Functor (Sum f a)

Lifting Functor (ContT r :: (Type -> Type) -> Type -> Type)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Applicative a :- Applicative (Product f a)

Lifting Applicative (ContT r :: (Type -> Type) -> Type -> Type)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). Show1 a :- Show1 (Sum f a)

Lifting MonadIO (ContT r :: (Type -> Type) -> Type -> Type)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadState s a :- MonadState s (ListT a)

Lifting (MonadState s :: (Type -> Type) -> Constraint) MaybeT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadState s a :- MonadState s (MaybeT a)

Lifting (MonadReader r :: (Type -> Type) -> Constraint) ListT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadReader r a :- MonadReader r (ListT a)

Lifting (MonadReader r :: (Type -> Type) -> Constraint) MaybeT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadReader r a :- MonadReader r (MaybeT a)

Lifting (MonadError e :: (Type -> Type) -> Constraint) ListT

Defined in Data.Constraint.Lifting

Methods

lifting :: forall (a :: k). MonadError e a :- MonadError e (ListT a)

Lifting (MonadError e :: (Type -> Type) -> Constraint) MaybeT

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

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)

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)

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)

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

Lifting2 Bounded (,)

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Bounded a :- Lifting Bounded ((,) a)

Lifting2 Eq Either

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Eq a :- Lifting Eq (Either a)

Lifting2 Eq (,)

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Eq a :- Lifting Eq ((,) a)

Lifting2 Ord Either

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Ord a :- Lifting Ord (Either a)

Lifting2 Ord (,)

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Ord a :- Lifting Ord ((,) a)

Lifting2 Read Either

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Read a :- Lifting Read (Either a)

Lifting2 Read (,)

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Read a :- Lifting Read ((,) a)

Lifting2 Show Either

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Show a :- Lifting Show (Either a)

Lifting2 Show (,)

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Show a :- Lifting Show ((,) a)

Lifting2 Ix (,)

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Ix a :- Lifting Ix ((,) a)

Lifting2 Semigroup (,)

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Semigroup a :- Lifting Semigroup ((,) a)

Lifting2 Monoid (,)

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Monoid a :- Lifting Monoid ((,) a)

Lifting2 Binary Either

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Binary a :- Lifting Binary (Either a)

Lifting2 Binary (,)

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Binary a :- Lifting Binary ((,) a)

Lifting2 NFData Either

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). NFData a :- Lifting NFData (Either a)

Lifting2 NFData (,)

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). NFData a :- Lifting NFData ((,) a)

Lifting2 Hashable Either

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Hashable a :- Lifting Hashable (Either a)

Lifting2 Hashable (,)

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Hashable a :- Lifting Hashable ((,) a)

Lifting2 Monad (Product :: (Type -> Type) -> (Type -> Type) -> Type -> Type)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Defined in Data.Constraint.Lifting

Methods

lifting2 :: forall (a :: k). Alternative a :- Lifting Alternative (Compose a)