Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Comonad.Static

Synopsis

class StaticFunctor w => StaticExtend w where
- staticDuplicate :: Typeable a => w a -> w (w a)
- staticExtend :: (Typeable a, Typeable b) => Closure (w a -> b) -> w a -> w b
class StaticExtend w => StaticComonad w where
- staticExtract :: Typeable a => w a -> a

Documentation

class StaticFunctor w => StaticExtend w where Source #

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) Source #

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

Instances

Instances details

StaticExtend Closure Source #
Instance details Defined in Control.Comonad.Static Methods staticDuplicate :: Typeable a => Closure a -> Closure (Closure a) Source # staticExtend :: (Typeable a, Typeable b) => Closure (Closure a -> b) -> Closure a -> Closure b Source #

class StaticExtend w => StaticComonad w where Source #

Methods

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

Instances

Instances details

StaticComonad Closure Source #
Instance details Defined in Control.Comonad.Static Methods staticExtract :: Typeable a => Closure a -> a Source #