Control.Monad.Ology.Specific.IdentityT

Documentation

newtype IdentityT (f :: k -> Type) (a :: k)

The trivial monad transformer, which maps a monad to an equivalent monad.

Constructors

IdentityT

Fields

• runIdentityT :: f a

Instances

TransConstraint MonadFail (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFail m => Dict (MonadFail (IdentityT m))

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

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFix m => Dict (MonadFix (IdentityT m))

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

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (IdentityT m))

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

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Applicative m => Dict (Applicative (IdentityT m))

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

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (IdentityT m))

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

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (IdentityT m))

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

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadPlus m => Dict (MonadPlus (IdentityT m))

TransConstraint MonadException (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadException m => Dict (MonadException (IdentityT m))

TransConstraint MonadExtract (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadExtract m => Dict (MonadExtract (IdentityT m))

TransConstraint MonadIdentity (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIdentity m => Dict (MonadIdentity (IdentityT m))

TransConstraint MonadInner (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadInner m => Dict (MonadInner (IdentityT m))

TransConstraint MonadOuter (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadOuter m => Dict (MonadOuter (IdentityT m))

MonadCatch e m => MonadCatch e (IdentityT m)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

catch :: IdentityT m a -> (e -> IdentityT m a) -> IdentityT m a

MonadThrow e m => MonadThrow e (IdentityT m)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

throw :: e -> IdentityT m a

MonadTransAskUnlift (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

askUnlift :: forall (m :: Type -> Type). Monad m => IdentityT m (WUnlift Monad IdentityT)

MonadTransCoerce (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

transCoerce :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). Coercible m1 m2 => Dict (Coercible (IdentityT m1) (IdentityT m2))

MonadTransHoist (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> IdentityT m1 --> IdentityT m2

MonadTransTunnel (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Associated Types

type Tunnel IdentityT :: Type -> Type

Methods

tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => IdentityT m1 a -> m1 (Tunnel IdentityT a)) -> m (Tunnel IdentityT r)) -> IdentityT m r

MonadTransUnlift (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

liftWithUnlift :: MonadIO m => (Unlift MonadTunnelIO IdentityT -> m r) -> IdentityT m r

getDiscardingUnlift :: forall (m :: Type -> Type). Monad m => IdentityT m (WUnlift MonadTunnelIO IdentityT)

MonadTrans (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Trans.Identity

Methods

lift :: Monad m => m a -> IdentityT m a

TransConstraint (MonadCatch e) (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadCatch e m => Dict (MonadCatch e (IdentityT m))

TransConstraint (MonadThrow e) (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadThrow e m => Dict (MonadThrow e (IdentityT m))

MonadFail m => MonadFail (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

fail :: String -> IdentityT m a

MonadFix m => MonadFix (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

mfix :: (a -> IdentityT m a) -> IdentityT m a

MonadIO m => MonadIO (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

liftIO :: IO a -> IdentityT m a

MonadZip m => MonadZip (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

mzip :: IdentityT m a -> IdentityT m b -> IdentityT m (a, b)

mzipWith :: (a -> b -> c) -> IdentityT m a -> IdentityT m b -> IdentityT m c

munzip :: IdentityT m (a, b) -> (IdentityT m a, IdentityT m b)

Foldable f => Foldable (IdentityT f)

Defined in Control.Monad.Trans.Identity

Methods

fold :: Monoid m => IdentityT f m -> m

foldMap :: Monoid m => (a -> m) -> IdentityT f a -> m

foldMap' :: Monoid m => (a -> m) -> IdentityT f a -> m

foldr :: (a -> b -> b) -> b -> IdentityT f a -> b

foldr' :: (a -> b -> b) -> b -> IdentityT f a -> b

foldl :: (b -> a -> b) -> b -> IdentityT f a -> b

foldl' :: (b -> a -> b) -> b -> IdentityT f a -> b

foldr1 :: (a -> a -> a) -> IdentityT f a -> a

foldl1 :: (a -> a -> a) -> IdentityT f a -> a

toList :: IdentityT f a -> [a]

null :: IdentityT f a -> Bool

length :: IdentityT f a -> Int

elem :: Eq a => a -> IdentityT f a -> Bool

maximum :: Ord a => IdentityT f a -> a

minimum :: Ord a => IdentityT f a -> a

sum :: Num a => IdentityT f a -> a

product :: Num a => IdentityT f a -> a

Eq1 f => Eq1 (IdentityT f)

Defined in Control.Monad.Trans.Identity

Methods

liftEq :: (a -> b -> Bool) -> IdentityT f a -> IdentityT f b -> Bool

Ord1 f => Ord1 (IdentityT f)

Defined in Control.Monad.Trans.Identity

Methods

liftCompare :: (a -> b -> Ordering) -> IdentityT f a -> IdentityT f b -> Ordering

Read1 f => Read1 (IdentityT f)

Defined in Control.Monad.Trans.Identity

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (IdentityT f a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [IdentityT f a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (IdentityT f a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [IdentityT f a]

Show1 f => Show1 (IdentityT f)

Defined in Control.Monad.Trans.Identity

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> IdentityT f a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [IdentityT f a] -> ShowS

Contravariant f => Contravariant (IdentityT f)

Defined in Control.Monad.Trans.Identity

Methods

contramap :: (a' -> a) -> IdentityT f a -> IdentityT f a'

(>$) :: b -> IdentityT f b -> IdentityT f a

Traversable f => Traversable (IdentityT f)

Defined in Control.Monad.Trans.Identity

Methods

traverse :: Applicative f0 => (a -> f0 b) -> IdentityT f a -> f0 (IdentityT f b)

sequenceA :: Applicative f0 => IdentityT f (f0 a) -> f0 (IdentityT f a)

mapM :: Monad m => (a -> m b) -> IdentityT f a -> m (IdentityT f b)

sequence :: Monad m => IdentityT f (m a) -> m (IdentityT f a)

Alternative m => Alternative (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

empty :: IdentityT m a

(<|>) :: IdentityT m a -> IdentityT m a -> IdentityT m a

some :: IdentityT m a -> IdentityT m [a]

many :: IdentityT m a -> IdentityT m [a]

Applicative m => Applicative (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

pure :: a -> IdentityT m a

(<*>) :: IdentityT m (a -> b) -> IdentityT m a -> IdentityT m b

liftA2 :: (a -> b -> c) -> IdentityT m a -> IdentityT m b -> IdentityT m c

(*>) :: IdentityT m a -> IdentityT m b -> IdentityT m b

(<*) :: IdentityT m a -> IdentityT m b -> IdentityT m a

Functor m => Functor (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

fmap :: (a -> b) -> IdentityT m a -> IdentityT m b

(<$) :: a -> IdentityT m b -> IdentityT m a

Monad m => Monad (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

(>>=) :: IdentityT m a -> (a -> IdentityT m b) -> IdentityT m b

(>>) :: IdentityT m a -> IdentityT m b -> IdentityT m b

return :: a -> IdentityT m a

MonadPlus m => MonadPlus (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

mzero :: IdentityT m a

mplus :: IdentityT m a -> IdentityT m a -> IdentityT m a

Invariant m => Invariant (IdentityT m)

from the transformers package

Defined in Data.Functor.Invariant

Methods

invmap :: (a -> b) -> (b -> a) -> IdentityT m a -> IdentityT m b

MonadException m => MonadException (IdentityT m)

Defined in Control.Monad.Ology.Specific.IdentityT

Associated Types

type Exc (IdentityT m)

Methods

throwExc :: Exc (IdentityT m) -> IdentityT m a

catchExc :: IdentityT m a -> (Exc (IdentityT m) -> IdentityT m a) -> IdentityT m a

MonadExtract m => MonadExtract (IdentityT m)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

mToValue :: Extract (IdentityT m)

MonadIdentity m => MonadIdentity (IdentityT m)

Defined in Control.Monad.Ology.Specific.IdentityT

MonadInner m => MonadInner (IdentityT m)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

retrieveInner :: IdentityT m a -> Result (Exc (IdentityT m)) a

MonadOuter m => MonadOuter (IdentityT m)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

getExtract :: IdentityT m (WExtract (IdentityT m))

(Read1 f, Read a) => Read (IdentityT f a)

Defined in Control.Monad.Trans.Identity

Methods

readsPrec :: Int -> ReadS (IdentityT f a)

readList :: ReadS [IdentityT f a]

readPrec :: ReadPrec (IdentityT f a)

readListPrec :: ReadPrec [IdentityT f a]

(Show1 f, Show a) => Show (IdentityT f a)

Defined in Control.Monad.Trans.Identity

Methods

showsPrec :: Int -> IdentityT f a -> ShowS

show :: IdentityT f a -> String

showList :: [IdentityT f a] -> ShowS

(Eq1 f, Eq a) => Eq (IdentityT f a)

Defined in Control.Monad.Trans.Identity

Methods

(==) :: IdentityT f a -> IdentityT f a -> Bool

(/=) :: IdentityT f a -> IdentityT f a -> Bool

(Ord1 f, Ord a) => Ord (IdentityT f a)

Defined in Control.Monad.Trans.Identity

Methods

compare :: IdentityT f a -> IdentityT f a -> Ordering

(<) :: IdentityT f a -> IdentityT f a -> Bool

(<=) :: IdentityT f a -> IdentityT f a -> Bool

(>) :: IdentityT f a -> IdentityT f a -> Bool

(>=) :: IdentityT f a -> IdentityT f a -> Bool

max :: IdentityT f a -> IdentityT f a -> IdentityT f a

min :: IdentityT f a -> IdentityT f a -> IdentityT f a

type Tunnel (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

type Tunnel (IdentityT :: (Type -> Type) -> Type -> Type) = Identity

type Exc (IdentityT m)

Defined in Control.Monad.Ology.Specific.IdentityT

type Exc (IdentityT m) = Exc m

mapIdentityT :: forall {k1} {k2} m (a :: k1) n (b :: k2). (m a -> n b) -> IdentityT m a -> IdentityT n b

Lift a unary operation to the new monad.

identityWUnlift :: WUnlift c IdentityT

Orphan instances

TransConstraint MonadFail (IdentityT :: (Type -> Type) -> Type -> Type)

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFail m => Dict (MonadFail (IdentityT m))

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

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadFix m => Dict (MonadFix (IdentityT m))

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

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (IdentityT m))

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

Methods

hasTransConstraint :: forall (m :: Type -> Type). Applicative m => Dict (Applicative (IdentityT m))

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

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (IdentityT m))

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

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (IdentityT m))

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

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadPlus m => Dict (MonadPlus (IdentityT m))

TransConstraint MonadException (IdentityT :: (Type -> Type) -> Type -> Type)

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadException m => Dict (MonadException (IdentityT m))

TransConstraint MonadExtract (IdentityT :: (Type -> Type) -> Type -> Type)

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadExtract m => Dict (MonadExtract (IdentityT m))

TransConstraint MonadIdentity (IdentityT :: (Type -> Type) -> Type -> Type)

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIdentity m => Dict (MonadIdentity (IdentityT m))

TransConstraint MonadInner (IdentityT :: (Type -> Type) -> Type -> Type)

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadInner m => Dict (MonadInner (IdentityT m))

TransConstraint MonadOuter (IdentityT :: (Type -> Type) -> Type -> Type)

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadOuter m => Dict (MonadOuter (IdentityT m))

MonadCatch e m => MonadCatch e (IdentityT m)

Methods

catch :: IdentityT m a -> (e -> IdentityT m a) -> IdentityT m a

MonadThrow e m => MonadThrow e (IdentityT m)

Methods

throw :: e -> IdentityT m a

MonadTransAskUnlift (IdentityT :: (Type -> Type) -> Type -> Type)

Methods

askUnlift :: forall (m :: Type -> Type). Monad m => IdentityT m (WUnlift Monad IdentityT)

MonadTransCoerce (IdentityT :: (Type -> Type) -> Type -> Type)

Methods

transCoerce :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). Coercible m1 m2 => Dict (Coercible (IdentityT m1) (IdentityT m2))

MonadTransHoist (IdentityT :: (Type -> Type) -> Type -> Type)

Methods

hoist :: forall (m1 :: Type -> Type) (m2 :: Type -> Type). (Monad m1, Monad m2) => (m1 --> m2) -> IdentityT m1 --> IdentityT m2

MonadTransTunnel (IdentityT :: (Type -> Type) -> Type -> Type)

Associated Types

type Tunnel IdentityT :: Type -> Type

Methods

tunnel :: Monad m => ((forall (m1 :: Type -> Type) a. Monad m1 => IdentityT m1 a -> m1 (Tunnel IdentityT a)) -> m (Tunnel IdentityT r)) -> IdentityT m r

MonadTransUnlift (IdentityT :: (Type -> Type) -> Type -> Type)

Methods

liftWithUnlift :: MonadIO m => (Unlift MonadTunnelIO IdentityT -> m r) -> IdentityT m r

getDiscardingUnlift :: forall (m :: Type -> Type). Monad m => IdentityT m (WUnlift MonadTunnelIO IdentityT)

TransConstraint (MonadCatch e) (IdentityT :: (Type -> Type) -> Type -> Type)

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadCatch e m => Dict (MonadCatch e (IdentityT m))

TransConstraint (MonadThrow e) (IdentityT :: (Type -> Type) -> Type -> Type)

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadThrow e m => Dict (MonadThrow e (IdentityT m))

MonadException m => MonadException (IdentityT m)

Associated Types

type Exc (IdentityT m)

Methods

throwExc :: Exc (IdentityT m) -> IdentityT m a

catchExc :: IdentityT m a -> (Exc (IdentityT m) -> IdentityT m a) -> IdentityT m a

MonadExtract m => MonadExtract (IdentityT m)

Methods

mToValue :: Extract (IdentityT m)

MonadIdentity m => MonadIdentity (IdentityT m)

MonadInner m => MonadInner (IdentityT m)

Methods

retrieveInner :: IdentityT m a -> Result (Exc (IdentityT m)) a

MonadOuter m => MonadOuter (IdentityT m)

Methods

getExtract :: IdentityT m (WExtract (IdentityT m))