category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code Contents Index

Control.Comonad.Context.Class Portability portable Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

class Comonad w => ComonadContext s w | w -> s where Source

Methods getC :: w a -> s Source modifyC :: (s -> s) -> w a -> a Source Instances ComonadContext s (Context s) Comonad w => ComonadContext s (ContextT s w)

putC :: ComonadContext s w => s -> w a -> a Source

experiment :: (ComonadContext s w, Functor f) => f (s -> s) -> w a -> f a Source

Produced by Haddock version 2.1.0