Module

Control.Comonad.Store.Trans

This module defines the store comonad transformer, StoreT.

#StoreT

newtype StoreT :: Type -> (Type -> Type) -> Type -> Typenewtype 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

Instances

#runStoreT

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

Unwrap a value in the StoreT comonad.

Modules