Moduleadjunctions-4.4.4Haskell2010

Control.Comonad.Representable.Store

This is a generalized Store Comonad, parameterized by a Representable Functor. The representation of that Functor serves as the index of the store.

This can be useful if the representable functor serves to memoize its contents and will be inspected often.

Synopsis

type Store
value store
value runStore
data StoreT
value storeT
value runStoreT
class ComonadStore

Packageadjunctions-4.4.4
Exports7
LanguageHaskell2010
LicenceBSD-2-Clause
SourceStore.hs

typetype Store (g :: Type -> Type) = StoreT g Identity

Source#

A memoized store comonad parameterized by a representable functor g, where the representatation of g, Rep g is the index of the store.

valuestore

:: Representable g
=> (Rep g -> a)
computation
-> Rep g
index
-> Store g a

Source#

Construct a store comonad computation from a function and a current index. (The inverse of runStore.)

valuerunStore

:: Representable g
=> Store g a
a store to access
-> (Rep g -> a, Rep g)
initial state

Source#

Unwrap a store comonad computation as a function and a current index. (The inverse of store.)

datadata StoreT (g :: Type -> Type) (w :: Type -> Type) a

Source#

A store transformer comonad parameterized by:

g - A representable functor used to memoize results for an index Rep g
w - The inner comonad.

Constructors

StoreT (w (g a)) (Rep g)

Instances12ComonadEnv, ComonadStore, ComonadTraced, ComonadCofree, ComonadTrans, ComonadHoist, …

(ComonadEnv m w, Representable g) => ComonadEnv m (StoreT g w)Defined in adjunctions-4.4.4 · Control.Comonad.Representable.Store
(Comonad w, Representable g, Rep g ~ s) => ComonadStore s (StoreT g w)Defined in adjunctions-4.4.4 · Control.Comonad.Representable.Store
(ComonadTraced m w, Representable g) => ComonadTraced m (StoreT g w)Defined in adjunctions-4.4.4 · Control.Comonad.Representable.Store
(Representable g, ComonadCofree f w) => ComonadCofree f (StoreT g w)Defined in adjunctions-4.4.4 · Control.Comonad.Representable.Store
Representable g => ComonadTrans (StoreT g)Defined in adjunctions-4.4.4 · Control.Comonad.Representable.Store
ComonadHoist (StoreT g)Defined in adjunctions-4.4.4 · Control.Comonad.Representable.Store
(Functor w, Functor g) => Functor (StoreT g w)Defined in adjunctions-4.4.4 · Control.Comonad.Representable.Store
(Applicative w, Monoid (Rep g), Representable g) => Applicative (StoreT g w)Defined in adjunctions-4.4.4 · Control.Comonad.Representable.Store
(Comonad w, Representable g) => Comonad (StoreT g w)Defined in adjunctions-4.4.4 · Control.Comonad.Representable.Store
(ComonadApply w, Semigroup (Rep g), Representable g) => ComonadApply (StoreT g w)Defined in adjunctions-4.4.4 · Control.Comonad.Representable.Store
(Apply w, Semigroup (Rep g), Representable g) => Apply (StoreT g w)Defined in adjunctions-4.4.4 · Control.Comonad.Representable.Store
(Extend w, Representable g) => Extend (StoreT g w)Defined in adjunctions-4.4.4 · Control.Comonad.Representable.Store

valuestoreT

:: (Functor w, Representable g)
=> w (Rep g -> a)
-> Rep g
-> StoreT g w a

valuerunStoreT

:: (Functor w, Representable g)
=> StoreT g w a
-> (w (Rep g -> a), Rep g)

classclass Comonad w => ComonadStore s (w :: Type -> Type) | w -> s where

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

Instances7ComonadStore, …

ComonadStore s w => ComonadStore s (Cofree w)Defined in free-5.2 · Control.Comonad.Cofree
ComonadStore s w => ComonadStore s (CoiterT w)Defined in free-5.2 · Control.Comonad.Trans.Coiter
Comonad w => ComonadStore s (StoreT s w)Defined in comonad-5.0.10 · Control.Comonad.Store.Class
ComonadStore s w => ComonadStore s (EnvT e w)Defined in comonad-5.0.10 · Control.Comonad.Store.Class
ComonadStore s w => ComonadStore s (IdentityT w)Defined in comonad-5.0.10 · Control.Comonad.Store.Class
(Comonad w, Representable g, Rep g ~ s) => ComonadStore s (StoreT g w)Defined in adjunctions-4.4.4 · Control.Comonad.Representable.Store
(ComonadStore s w, Monoid m) => ComonadStore s (TracedT m w)Defined in comonad-5.0.10 · Control.Comonad.Store.Class