module arch.node.types.anoma_environment;

import arch.node.engines.template_environment open;
import arch.node.engines.ticker_environment open;
import arch.node.engines.identity_management_environment open;
import arch.node.engines.decryption_environment open;
import arch.node.engines.encryption_environment open;
import arch.node.engines.commitment_environment open;
import arch.node.engines.verification_environment open;
import arch.node.engines.reads_for_environment open;
import arch.node.engines.signs_for_environment open;
import arch.node.engines.naming_environment open;
import arch.node.engines.local_key_value_storage_environment open;
import arch.node.engines.logging_environment open;
import arch.node.engines.wall_clock_environment open;
import arch.node.engines.local_time_series_storage_environment open;

Anoma Engine Environments¶

An Anoma engine environment is a collection of all the necessary information/context that an engine instance needs to operate. See Engine Environment for more information on engine environments.

Below is the definition of the type Env, which represents an Anoma engine environment. This means, an Anoma engine instance would have an environment of type Env.

For example, an environment for an engine instance of the engine TickerEngine is of type TickerEnvironment.

type Env :=
  | EnvTemplate TemplateEnv
  | EnvTicker TickerEnv
  | EnvIdentityManagement IdentityManagementEnv
  | EnvDecryption DecryptionEnv
  | EnvEncryption EncryptionEnv
  | EnvCommitment CommitmentEnv
  | EnvVerification VerificationEnv
  | EnvReadsFor ReadsForEnv
  | EnvSignsFor SignsForEnv
  | EnvNaming NamingEnv
  | EnvLocalKeyValueStorage LocalKVStorageEnv
  | EnvLogging LoggingEnv
  | EnvWallClock WallClockEnv
  | EnvLocalTSeries LocalTSStorageEnv;