comonad-5: Comonads

Copyright(C) 2008-2011 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Control.Comonad.Trans.Identity

Description

 

Synopsis

Documentation

newtype IdentityT f a :: (* -> *) -> * -> *

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

Constructors

IdentityT 

Fields

runIdentityT :: f a