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

Defined in Control.Comonad.Static

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

Defined in Control.Comonad.Static

Methods

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