Skip to content
Juvix Markdown error

    ***/everything.juvix.md:23:8-34: error: The module arch.system.identity.index does not exist. It should be in
***/arch/system/identity/index.juvix or in one of the dependencies: • name: anoma_juvix-stdlib ref:
0080b1183ab55e5180e69bfc3987e4cd6edbc230 url: https://github.com/anoma/juvix-stdlib

Everything

module everything;

{- Prelude -}

import prelude;

{- System -}

import arch.system.identity.index;
import arch.system.identity.identity;

{- Types -}

-- import arch.node.types;

import arch.node.types.basics;
import arch.node.types.crypto;
import arch.node.types.messages;
import arch.node.types.identities;

import arch.node.types.anoma_message;
import arch.node.types.anoma_config;
import arch.node.types.anoma_environment;
import arch.node.types.anoma;

import arch.node.types.engine_environment;
import arch.node.types.engine_behaviour;
import arch.node.types.engine;

{- Engines -}

{- Examples -}

import arch.node.engines.template_messages;
import arch.node.engines.template_environment;
import arch.node.engines.template_behaviour;
import arch.node.engines.template;

import arch.node.engines.ticker_messages;
import arch.node.engines.ticker_environment;
import arch.node.engines.ticker_behaviour;
import arch.node.engines.ticker;

{- Identity -}

import arch.node.engines.commitment_messages;
import arch.node.engines.commitment_config;
import arch.node.engines.commitment_environment;
import arch.node.engines.commitment_behaviour;
import arch.node.engines.commitment;

import arch.node.engines.decryption_messages;
import arch.node.engines.decryption_config;
import arch.node.engines.decryption_environment;
import arch.node.engines.decryption_behaviour;
import arch.node.engines.decryption;

import arch.node.engines.encryption_messages;
import arch.node.engines.encryption_config;
import arch.node.engines.encryption_environment;
import arch.node.engines.encryption_behaviour;
import arch.node.engines.encryption;

import arch.node.engines.identity_management_messages;
import arch.node.engines.identity_management_config;
import arch.node.engines.identity_management_environment;
import arch.node.engines.identity_management_behaviour;
import arch.node.engines.identity_management;

import arch.node.engines.naming_messages;
import arch.node.engines.naming_config;
import arch.node.engines.naming_environment;
import arch.node.engines.naming_behaviour;
import arch.node.engines.naming;

import arch.node.engines.reads_for_messages;
import arch.node.engines.reads_for_config;
import arch.node.engines.reads_for_environment;
import arch.node.engines.reads_for_behaviour;
import arch.node.engines.reads_for;

import arch.node.engines.signs_for_messages;
import arch.node.engines.signs_for_config;
import arch.node.engines.signs_for_environment;
import arch.node.engines.signs_for_behaviour;
import arch.node.engines.signs_for;

import arch.node.engines.verification_messages;
import arch.node.engines.verification_config;
import arch.node.engines.verification_environment;
import arch.node.engines.verification_behaviour;
import arch.node.engines.verification;

import arch.node.engines.local_key_value_storage_messages;
import arch.node.engines.local_key_value_storage_config;
import arch.node.engines.local_key_value_storage_environment;
import arch.node.engines.local_key_value_storage_behaviour;
import arch.node.engines.local_key_value_storage;

import arch.node.engines.logging_messages;
import arch.node.engines.logging_config;
import arch.node.engines.logging_environment;
import arch.node.engines.logging_behaviour;
import arch.node.engines.logging;

import arch.node.engines.wall_clock_messages;
import arch.node.engines.wall_clock_config;
import arch.node.engines.wall_clock_environment;
import arch.node.engines.wall_clock_behaviour;
import arch.node.engines.wall_clock;

import arch.node.engines.local_time_series_storage_messages;
import arch.node.engines.local_time_series_storage_config;
import arch.node.engines.local_time_series_storage_environment;
import arch.node.engines.local_time_series_storage_behaviour;
import arch.node.engines.local_time_series_storage;