Control.Comonad.Context

Portability	non-portable (MPTCs)
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>

Description

The Context Comonad Transformer is related to the left Kan Extension Lan of a comonad along itself, except the type of the context is fixed, and not existentially quantified.

Documentation

module Control.Comonad

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)

ComonadContext e w => ComonadContext e (Density w)

ComonadContext e m => ComonadContext e (CoYoneda m)

ComonadContext e m => ComonadContext e (Yoneda m)

Comonad w => ComonadContext s (ContextT s w)

ComonadContext e (ACompF ((,) e) ((->) e))

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

Source

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

Source

data Context s a

Source

Constructors

Context (s -> a) s

Instances

ComonadContext s (Context s)

Functor (Context s)

Copointed (Context s)

Comonad (Context s)

runContext :: (Context s s -> Context s b) -> s -> (b, s)

Source

newtype ContextT s w a

Source

Constructors

ContextT

runContextT :: (w s -> a, w s)

Instances

Comonad w => ComonadContext s (ContextT s w)

Functor (ContextT b f)

Copointed (ContextT b w)

Comonad w => Comonad (ContextT b w)

Produced by Haddock version 2.3.0