Identity - BHC Documentation

newtype Identity a { } #

Identity { runIdentity :: a }

newtype IdentityT m a { } #

IdentityT { runIdentityT :: m a }

The identity monad transformer.

<*> :: { } #

y :: { } #

<* :: { } #

>>= :: { } #

<*> :: { } #

*> :: { } #

<* :: { } #

>>= :: { } #

mapIdentityT :: ((m a) -> n b) -> (IdentityT m a) -> IdentityT n b { } #

Transform the computation inside an IdentityT.

instance Functor Identity { }

instance Foldable Identity { }

instance Traversable Identity { }

instance Functor m => Functor (IdentityT m) { }

instance MonadTrans IdentityT { }

instance MonadIO m => MonadIO (IdentityT m) { }

instance Foldable m => Foldable (IdentityT m) { }

instance Traversable m => Traversable (IdentityT m) { }