category-extras-0.53.0: Various modules and constructs inspired by category theory

Control.Comonad.Trans

Description

(C) 2004 Dave Menendez License : BSD-style (see the file LICENSE)

Maintainer : Edward Kmett ekmett@gmail.com Stability : experimental Portability : portable

Documentation

class ComonadTrans t whereSource

Methods

colift :: Comonad w => w a -> t w aSource

Instances