Control.Comonad.Env.Interface

Definitions

interface ComonadEnv : Type -> (Type -> Type) -> Type

Parameters: e, w
Constraints: Comonad w
Methods:

ask : w a -> e

Implementations:

Comonad w => ComonadEnv e (EnvT e w)

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

(ComonadEnv e w, Monoid m) => ComonadEnv e (TracedT m w)

ask : ComonadEnv e w => w a -> e

Totality: total
Visibility: public export

asks : ComonadEnv e w => (e -> e') -> w a -> e'

Totality: total
Visibility: public export

lowerAsk : (ComonadEnv e w, ComonadTrans t) => t w a -> e

Totality: total
Visibility: public export