HORIZON HASKELLDocslts/ghc-10.0.xaa25b892026-10-10Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · aa25b89 · 2026-10-10

Modulecomonad-5.0.10Haskell2010

Control.Comonad.Store

  • 2 types
  • 1 class
  • 3 values
  • Packagecomonad-5.0.10
  • Exports6
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceStore.hs

ComonadStore class

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

Methods

Instances4ComonadStore

The Store comonad

3 declarations
valuestore :: (s -> a) -> s -> Store s a
#

Create a Store using an accessor function and a stored value

The StoreT comonad transformer

2 declarations
datadata StoreT s (w :: Type -> Type) a
#

Constructors

Instances9ComonadEnv, ComonadStore, ComonadTraced, ComonadTrans, ComonadHoist, Functor, …

Re-exported modules

0 declarations

module Control.Comonad

module Control.Comonad.Trans.Class