Control.Comonad.Store.Store

Definitions

record StoreT : Type -> (Type -> Type) -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkStoreT : w (s -> a) -> s -> StoreT s w a

Projections:

.run : StoreT s w a -> w (s -> a)

.val : StoreT s w a -> s

Hints:

(Monoid s, Applicative w) => Applicative (StoreT s w)

Comonad w => Comonad (StoreT s w)

(ComonadApply w, Semigroup s) => ComonadApply (StoreT s w)

ComonadEnv e w => ComonadEnv e (StoreT t w)

Comonad w => ComonadStore s (StoreT s w)

ComonadTrans (StoreT s)

Functor w => Functor (StoreT s w)

.run : StoreT s w a -> w (s -> a)

Totality: total
Visibility: public export

run : StoreT s w a -> w (s -> a)

Totality: total
Visibility: public export

.val : StoreT s w a -> s

Totality: total
Visibility: public export

val : StoreT s w a -> s

Totality: total
Visibility: public export

Store : Type -> Type -> Type

Totality: total
Visibility: public export

store : (s -> a) -> s -> Store s a

  Create a Store using an accessor function and a stored value

Totality: total
Visibility: public export

runStore : Store s a -> (s -> a, s)

Totality: total
Visibility: public export

runStoreT : StoreT s w a -> (w (s -> a), s)

Totality: total
Visibility: public export