free-4.12.4: Monads for free

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

Control.Comonad.Cofree.Class

Description

 

Synopsis

Documentation

class (Functor f, Comonad w) => ComonadCofree f w | w -> f where Source

Allows you to peel a layer off a cofree comonad.

Methods

unwrap :: w a -> f (w a) Source

Remove a layer.