Copyright	(c) Edward Kmett & Sjoerd Visscher 2011
License	BSD3
Maintainer	ekmett@gmail.com
Stability	experimental
Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Comonad.Representable.Store

Description

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 (g :: Type -> Type) = StoreT g Identity
store :: forall (g :: Type -> Type) a. Representable g => (Rep g -> a) -> Rep g -> Store g a
runStore :: forall (g :: Type -> Type) a. Representable g => Store g a -> (Rep g -> a, Rep g)
data StoreT (g :: Type -> Type) (w :: Type -> Type) a = StoreT (w (g a)) (Rep g)
storeT :: forall w (g :: Type -> Type) a. (Functor w, Representable g) => w (Rep g -> a) -> Rep g -> StoreT g w a
runStoreT :: forall w (g :: Type -> Type) a. (Functor w, Representable g) => StoreT g w a -> (w (Rep g -> a), Rep g)
class Comonad w => ComonadStore s (w :: Type -> Type) | w -> s where
- 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

Documentation

type 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.

store Source #

Arguments

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

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

runStore Source #

Arguments

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

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

data 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)

Instances

Instances details

(ComonadEnv m w, Representable g) => ComonadEnv m (StoreT g w) Source #
Instance details Defined in Control.Comonad.Representable.Store Methods ask :: StoreT g w a -> m #
(Comonad w, Representable g, Rep g ~ s) => ComonadStore s (StoreT g w) Source #
Instance details Defined in Control.Comonad.Representable.Store Methods pos :: StoreT g w a -> s # peek :: s -> StoreT g w a -> a # peeks :: (s -> s) -> StoreT g w a -> a # seek :: s -> StoreT g w a -> StoreT g w a # seeks :: (s -> s) -> StoreT g w a -> StoreT g w a # experiment :: Functor f => (s -> f s) -> StoreT g w a -> f a #
(ComonadTraced m w, Representable g) => ComonadTraced m (StoreT g w) Source #
Instance details Defined in Control.Comonad.Representable.Store Methods trace :: m -> StoreT g w a -> a #
(Representable g, ComonadCofree f w) => ComonadCofree f (StoreT g w) Source #
Instance details Defined in Control.Comonad.Representable.Store Methods unwrap :: StoreT g w a -> f (StoreT g w a) #
ComonadHoist (StoreT g) Source #
Instance details Defined in Control.Comonad.Representable.Store Methods cohoist :: (Comonad w, Comonad v) => (forall x. w x -> v x) -> StoreT g w a -> StoreT g v a #
Representable g => ComonadTrans (StoreT g) Source #
Instance details Defined in Control.Comonad.Representable.Store Methods lower :: Comonad w => StoreT g w a -> w a #
(Applicative w, Monoid (Rep g), Representable g) => Applicative (StoreT g w) Source #
Instance details Defined in Control.Comonad.Representable.Store Methods pure :: a -> StoreT g w a # (<>) :: StoreT g w (a -> b) -> StoreT g w a -> StoreT g w b # liftA2 :: (a -> b -> c) -> StoreT g w a -> StoreT g w b -> StoreT g w c # (>) :: StoreT g w a -> StoreT g w b -> StoreT g w b # (<*) :: StoreT g w a -> StoreT g w b -> StoreT g w a #
(Functor w, Functor g) => Functor (StoreT g w) Source #
Instance details Defined in Control.Comonad.Representable.Store Methods fmap :: (a -> b) -> StoreT g w a -> StoreT g w b # (<$) :: a -> StoreT g w b -> StoreT g w a #
(Comonad w, Representable g) => Comonad (StoreT g w) Source #
Instance details Defined in Control.Comonad.Representable.Store Methods extract :: StoreT g w a -> a # duplicate :: StoreT g w a -> StoreT g w (StoreT g w a) # extend :: (StoreT g w a -> b) -> StoreT g w a -> StoreT g w b #
(ComonadApply w, Semigroup (Rep g), Representable g) => ComonadApply (StoreT g w) Source #
Instance details Defined in Control.Comonad.Representable.Store Methods (<@>) :: StoreT g w (a -> b) -> StoreT g w a -> StoreT g w b # (@>) :: StoreT g w a -> StoreT g w b -> StoreT g w b # (<@) :: StoreT g w a -> StoreT g w b -> StoreT g w a #
(Apply w, Semigroup (Rep g), Representable g) => Apply (StoreT g w) Source #
Instance details Defined in Control.Comonad.Representable.Store Methods (<.>) :: StoreT g w (a -> b) -> StoreT g w a -> StoreT g w b # (.>) :: StoreT g w a -> StoreT g w b -> StoreT g w b # (<.) :: StoreT g w a -> StoreT g w b -> StoreT g w a # liftF2 :: (a -> b -> c) -> StoreT g w a -> StoreT g w b -> StoreT g w c #
(Extend w, Representable g) => Extend (StoreT g w) Source #
Instance details Defined in Control.Comonad.Representable.Store Methods duplicated :: StoreT g w a -> StoreT g w (StoreT g w a) # extended :: (StoreT g w a -> b) -> StoreT g w a -> StoreT g w b #

storeT :: forall w (g :: Type -> Type) a. (Functor w, Representable g) => w (Rep g -> a) -> Rep g -> StoreT g w a Source #

runStoreT :: forall w (g :: Type -> Type) a. (Functor w, Representable g) => StoreT g w a -> (w (Rep g -> a), Rep g) Source #

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

Minimal complete definition

pos, peek

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 #

Instances

Instances details

ComonadStore s w => ComonadStore s (Cofree w)
Instance details Defined in Control.Comonad.Cofree Methods pos :: Cofree w a -> s # peek :: s -> Cofree w a -> a # peeks :: (s -> s) -> Cofree w a -> a # seek :: s -> Cofree w a -> Cofree w a # seeks :: (s -> s) -> Cofree w a -> Cofree w a # experiment :: Functor f => (s -> f s) -> Cofree w a -> f a #
ComonadStore s w => ComonadStore s (CoiterT w)
Instance details Defined in Control.Comonad.Trans.Coiter Methods pos :: CoiterT w a -> s # peek :: s -> CoiterT w a -> a # peeks :: (s -> s) -> CoiterT w a -> a # seek :: s -> CoiterT w a -> CoiterT w a # seeks :: (s -> s) -> CoiterT w a -> CoiterT w a # experiment :: Functor f => (s -> f s) -> CoiterT w a -> f a #
(Comonad w, Representable g, Rep g ~ s) => ComonadStore s (StoreT g w) Source #
Instance details Defined in Control.Comonad.Representable.Store Methods pos :: StoreT g w a -> s # peek :: s -> StoreT g w a -> a # peeks :: (s -> s) -> StoreT g w a -> a # seek :: s -> StoreT g w a -> StoreT g w a # seeks :: (s -> s) -> StoreT g w a -> StoreT g w a # experiment :: Functor f => (s -> f s) -> StoreT g w a -> f a #
ComonadStore s w => ComonadStore s (EnvT e w)
Instance details Defined in Control.Comonad.Store.Class Methods pos :: EnvT e w a -> s # peek :: s -> EnvT e w a -> a # peeks :: (s -> s) -> EnvT e w a -> a # seek :: s -> EnvT e w a -> EnvT e w a # seeks :: (s -> s) -> EnvT e w a -> EnvT e w a # experiment :: Functor f => (s -> f s) -> EnvT e w a -> f a #
Comonad w => ComonadStore s (StoreT s w)
Instance details Defined in Control.Comonad.Store.Class Methods pos :: StoreT s w a -> s # peek :: s -> StoreT s w a -> a # peeks :: (s -> s) -> StoreT s w a -> a # seek :: s -> StoreT s w a -> StoreT s w a # seeks :: (s -> s) -> StoreT s w a -> StoreT s w a # experiment :: Functor f => (s -> f s) -> StoreT s w a -> f a #
(ComonadStore s w, Monoid m) => ComonadStore s (TracedT m w)
Instance details Defined in Control.Comonad.Store.Class Methods pos :: TracedT m w a -> s # peek :: s -> TracedT m w a -> a # peeks :: (s -> s) -> TracedT m w a -> a # seek :: s -> TracedT m w a -> TracedT m w a # seeks :: (s -> s) -> TracedT m w a -> TracedT m w a # experiment :: Functor f => (s -> f s) -> TracedT m w a -> f a #
ComonadStore s w => ComonadStore s (IdentityT w)
Instance details Defined in Control.Comonad.Store.Class Methods pos :: IdentityT w a -> s # peek :: s -> IdentityT w a -> a # peeks :: (s -> s) -> IdentityT w a -> a # seek :: s -> IdentityT w a -> IdentityT w a # seeks :: (s -> s) -> IdentityT w a -> IdentityT w a # experiment :: Functor f => (s -> f s) -> IdentityT w a -> f a #