Safe Haskell	None
Language	Haskell2010

Control.Comonad.Static

Synopsis

class StaticFunctor w => StaticExtend w where
class StaticExtend w => StaticComonad w where

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 #
Instance details 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 #
Instance details Defined in Control.Comonad.Static Methods staticExtract :: Typeable a => Closure a -> a #