HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulecomonad-5.0.9Haskell2010

Control.Comonad.Store

  • 2 types
  • 1 class
  • 3 values
  • Packagecomonad-5.0.9
  • 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