Control.Comonad.Static

Documentation

class StaticFunctor w => StaticExtend w where

Instances of StaticExtend should satisfy the following laws:

staticExtend f = staticMap f . staticDuplicate
staticDuplicate = staticExtend (static id)
staticExtend f . staticExtend g = staticExtend (static (.) cap f cap staticExtend g)
staticDuplicate . staticDuplicate = staticMap (static staticDuplicate) . staticDuplicate

Minimal complete definition

staticDuplicate | staticExtend

Methods

staticDuplicate :: Typeable a => w a -> w (w a)

staticExtend :: (Typeable a, Typeable b) => Closure (w a -> b) -> w a -> w b

Instances

StaticExtend Closure

Methods

staticDuplicate :: Typeable * a => Closure a -> Closure (Closure a)

staticExtend :: (Typeable * a, Typeable * b) => Closure (Closure a -> b) -> Closure a -> Closure b

class StaticExtend w => StaticComonad w where

Minimal complete definition

staticExtract

Methods

staticExtract :: Typeable a => w a -> a

Instances

StaticComonad Closure

Methods

staticExtract :: Typeable * a => Closure a -> a