Control.Comonad.Store.Interface

Definitions

interface ComonadStore : Type -> (Type -> Type) -> Type

Parameters: s, w
Constraints: Comonad w
Methods:

pos : w a -> s

peek : s -> w a -> a

peeks : (s -> s) -> w a -> a

seek : s -> w a -> w a

seeks : (s -> s) -> w a -> w a

experiment : Functor f => (s -> f s) -> w a -> f a

Implementations:

ComonadStore s w => ComonadStore s (EnvT e w)

Comonad w => ComonadStore s (StoreT s w)

(ComonadStore s w, Monoid m) => ComonadStore s (TracedT m w)

pos : ComonadStore s w => w a -> s

Totality: total
Visibility: public export

peek : ComonadStore s w => s -> w a -> a

Totality: total
Visibility: public export

peeks : ComonadStore s w => (s -> s) -> w a -> a

Totality: total
Visibility: public export

seek : ComonadStore s w => s -> w a -> w a

Totality: total
Visibility: public export

seeks : ComonadStore s w => (s -> s) -> w a -> w a

Totality: total
Visibility: public export

experiment : ComonadStore s w => Functor f => (s -> f s) -> w a -> f a

Totality: total
Visibility: public export

lowerPos : (ComonadTrans t, ComonadStore s w) => t w a -> s

Totality: total
Visibility: public export

lowerPeek : (ComonadTrans t, ComonadStore s w) => s -> t w a -> a

Totality: total
Visibility: public export

lowerExperiment : (ComonadTrans t, (ComonadStore s w, Functor f)) => (s -> f s) -> t w a -> f a

Totality: total
Visibility: public export