Module Env.Core_over_comonad

Parameters

Signature

type env = Env.t

The encapsulated environment.

type 'a comonad = 'a C.t

The inner comonad.

type 'a t = env * 'a comonad

The type held by the env comonad.

val lower : 'a t -> 'a comonad

get the underlying comonad.

val run : 'a t -> env * 'a comonad

Unwrap the env computation.

val ask : 'a t -> env

Retrieves the environment.

val asks : (env -> 'b) -> 'a t -> 'b

Retrieves the environment and apply a function.

val local : (env -> env) -> 'a t -> 'a t

Modifies the environment using the specified function.

module Local (Env : Preface_specs.Types.T0) : sig ... end

Perform local with an other environment.