Juvix imports

module arch.node.types.anoma_environment;

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;

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 Environments 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 :=
  | EnvTicker TickerEnvironment
  | EnvIdentityManagement IdentityManagementEnvironment
  | EnvDecryption DecryptionEnvironment
  | EnvEncryption EncryptionEnvironment
  | EnvCommitment CommitmentEnvironment
  | EnvVerification VerificationEnvironment
  | EnvReadsFor ReadsForEnvironment
  | EnvSignsFor SignsForEnvironment
  | EnvNaming NamingEnvironment;