Control.Comonad.Store.Trans

newtype StoreT s w a

The store comonad transformer.

This comonad transformer extends the context of a value in the base comonad so that the value depends on a position of type s.

The ComonadStore type class describes the operations supported by this comonad.

Constructors

• StoreT (Tuple (w (s -> a)) s)

Instances

• Newtype (StoreT s w a) _
• (Functor w) => Functor (StoreT s w)
• (Extend w) => Extend (StoreT s w)
• (Comonad w) => Comonad (StoreT s w)
• ComonadTrans (StoreT s)

runStoreT :: forall a w s. StoreT s w a -> Tuple (w (s -> a)) s

Unwrap a value in the StoreT comonad.