constraints-0.9: Constraint manipulation

Safe Haskell | None
Language | Haskell2010

Data.Constraint.Lifting

# Documentation

class Lifting p f where #

Minimal complete definition

lifting

Methods

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

Instances

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

class Lifting2 p f where #

Minimal complete definition

lifting2

Methods

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

Instances

Lifting2 * Bounded (,) # |
Methods lifting2 :: (,) a :- Lifting Bounded (,) (f a) #
Lifting2 * Eq Either # |
Methods lifting2 :: Either a :- Lifting Eq Either (f a) #
Lifting2 * Eq (,) # |
Methods lifting2 :: (,) a :- Lifting Eq (,) (f a) #
Lifting2 * Ord Either # |
Methods lifting2 :: Either a :- Lifting Ord Either (f a) #
Lifting2 * Ord (,) # |
Methods lifting2 :: (,) a :- Lifting Ord (,) (f a) #
Lifting2 * Read Either # |
Methods lifting2 :: Either a :- Lifting Read Either (f a) #
Lifting2 * Read (,) # |
Methods lifting2 :: (,) a :- Lifting Read (,) (f a) #
Lifting2 * Show Either # |
Methods lifting2 :: Either a :- Lifting Show Either (f a) #
Lifting2 * Show (,) # |
Methods lifting2 :: (,) a :- Lifting Show (,) (f a) #
Lifting2 * Ix (,) # |
Methods lifting2 :: (,) a :- Lifting Ix (,) (f a) #
Lifting2 * Monoid (,) # |
Methods lifting2 :: (,) a :- Lifting Monoid (,) (f a) #
Lifting2 * Binary Either # |
Methods lifting2 :: Either a :- Lifting Binary Either (f a) #
Lifting2 * Binary (,) # |
Methods lifting2 :: (,) a :- Lifting Binary (,) (f a) #
Lifting2 * NFData Either # |
Methods lifting2 :: Either a :- Lifting NFData Either (f a) #
Lifting2 * NFData (,) # |
Methods lifting2 :: (,) a :- Lifting NFData (,) (f a) #
Lifting2 * Hashable Either # |
Methods lifting2 :: Either a :- Lifting Hashable Either (f a) #
Lifting2 * Hashable (,) # |
Methods lifting2 :: (,) a :- Lifting Hashable (,) (f a) #
Lifting2 (* -> *) Monad (Product *) # |
Methods lifting2 :: Product * a :- Lifting Monad (Product *) (f a) #
Lifting2 (* -> *) Functor (Sum *) # |
Methods lifting2 :: Sum * a :- Lifting Functor (Sum *) (f a) #
Lifting2 (* -> *) Functor (Product *) # |
Methods lifting2 :: Product * a :- Lifting Functor (Product *) (f a) #
Lifting2 (* -> *) MonadFix (Product *) # |
Methods lifting2 :: Product * a :- Lifting MonadFix (Product *) (f a) #
Lifting2 (* -> *) Applicative (Product *) # |
Methods lifting2 :: Product * a :- Lifting Applicative (Product *) (f a) #
Lifting2 (* -> *) Foldable (Sum *) # |
Methods lifting2 :: Sum * a :- Lifting Foldable (Sum *) (f a) #
Lifting2 (* -> *) Foldable (Product *) # |
Methods lifting2 :: Product * a :- Lifting Foldable (Product *) (f a) #
Lifting2 (* -> *) Traversable (Sum *) # |
Methods lifting2 :: Sum * a :- Lifting Traversable (Sum *) (f a) #
Lifting2 (* -> *) Traversable (Product *) # |
Methods lifting2 :: Product * a :- Lifting Traversable (Product *) (f a) #
Lifting2 (* -> *) Eq1 (Sum *) # |
Methods lifting2 :: Sum * a :- Lifting Eq1 (Sum *) (f a) #
Lifting2 (* -> *) Eq1 (Product *) # |
Methods lifting2 :: Product * a :- Lifting Eq1 (Product *) (f a) #
Lifting2 (* -> *) Ord1 (Sum *) # |
Methods lifting2 :: Sum * a :- Lifting Ord1 (Sum *) (f a) #
Lifting2 (* -> *) Ord1 (Product *) # |
Methods lifting2 :: Product * a :- Lifting Ord1 (Product *) (f a) #
Lifting2 (* -> *) Read1 (Sum *) # |
Methods lifting2 :: Sum * a :- Lifting Read1 (Sum *) (f a) #
Lifting2 (* -> *) Read1 (Product *) # |
Methods lifting2 :: Product * a :- Lifting Read1 (Product *) (f a) #
Lifting2 (* -> *) Show1 (Sum *) # |
Methods lifting2 :: Sum * a :- Lifting Show1 (Sum *) (f a) #
Lifting2 (* -> *) Show1 (Product *) # |
Methods lifting2 :: Product * a :- Lifting Show1 (Product *) (f a) #
Lifting2 (* -> *) Alternative (Product *) # |
Methods lifting2 :: Product * a :- Lifting Alternative (Product *) (f a) #
Lifting2 (* -> *) MonadPlus (Product *) # |
Methods lifting2 :: Product * a :- Lifting MonadPlus (Product *) (f a) #
Lifting2 (* -> *) Functor (Compose * *) # |
Methods lifting2 :: Compose * * a :- Lifting Functor (Compose * *) (f a) #
Lifting2 (* -> *) Applicative (Compose * *) # |
Methods lifting2 :: Compose * * a :- Lifting Applicative (Compose * *) (f a) #
Lifting2 (* -> *) Foldable (Compose * *) # |
Methods lifting2 :: Compose * * a :- Lifting Foldable (Compose * *) (f a) #
Lifting2 (* -> *) Traversable (Compose * *) # |
Methods lifting2 :: Compose * * a :- Lifting Traversable (Compose * *) (f a) #
Lifting2 (* -> *) Alternative (Compose * *) # |
Methods lifting2 :: Compose * * a :- Lifting Alternative (Compose * *) (f a) #