Modules¶

All the Juvix modules for the Anoma Specification are listed below.

Juvix Package version¶

package : Package :=
  defaultPackage@{
    name := "nspec";
    version := mkVersion 0 1 4;
    dependencies :=
      [github "anoma" "juvix-stdlib" "v0.9.0"]
  };

Modules by letter¶

A¶

• arch.node.types.anoma

• arch.node.types.anoma_config

• arch.node.types.anoma_environment

• arch.node.types.anoma_message

• anomian

• arch.system.state.resource_machine.notes.applications

• arch.system.state.resource_machine.primitive_interfaces.fixed_size_type.arithmetic

B¶

• arch.node.types.basics

C¶

• arch.node.engines.commitment

• arch.system.state.resource_machine.primitive_interfaces.commitment_accumulator

• arch.node.engines.commitment_behaviour

• arch.node.engines.commitment_config

• arch.node.engines.commitment_environment

• arch.node.engines.commitment_messages

• arch.system.state.resource_machine.data_structures.compliance_unit.compliance_proof

• arch.system.state.resource_machine.data_structures.compliance_unit.compliance_unit

• arch.node.types.crypto

D¶

• arch.node.engines.decryption

• arch.node.engines.decryption_behaviour

• arch.node.engines.decryption_config

• arch.node.engines.decryption_environment

• arch.node.engines.decryption_messages

• arch.system.state.resource_machine.data_structures.resource.computable_components.delta

• arch.system.state.resource_machine.primitive_interfaces.fixed_size_type.delta_hash

• arch.system.state.resource_machine.data_structures.transaction.delta_proof

E¶

• arch.node.engines.encryption

• arch.node.engines.encryption_behaviour

• arch.node.engines.encryption_config

• arch.node.engines.encryption_environment

• arch.node.engines.encryption_messages

• arch.node.types.engine

• arch.node.types.engine_behaviour

• arch.node.types.engine_config

• arch.node.types.engine_environment

• everything

• arch.node.engines.executor

• arch.node.engines.executor_behaviour

• arch.node.engines.executor_config

• arch.node.engines.executor_environment

• arch.node.engines.executor_messages

F¶

• arch.system.state.resource_machine.primitive_interfaces.fixed_size_type.fixed_size_type

• arch.system.state.resource_machine.execution_flow.flow

H¶

• arch.node.subsystems.hardware

• arch.system.state.resource_machine.primitive_interfaces.fixed_size_type.hash

I¶

• arch.node.types.identities

• arch.system.identity.identity

• arch.node.subsystems.identity

• arch.node.engines.identity_management

• arch.node.engines.identity_management_behaviour

• arch.node.engines.identity_management_config

• arch.node.engines.identity_management_environment

• arch.node.engines.identity_management_messages

• arch.system.state.resource_machine.index

• arch.system.state.resource_machine.primitive_interfaces.index

• arch.system.state.resource_machine.data_structures.resource.index

• arch.system.state.resource_machine.data_structures.action.index

• arch.system.state.resource_machine.data_structures.resource.computable_components.introduction

K¶

• arch.system.state.resource_machine.data_structures.resource.computable_components.kind

L¶

• arch.node.engines.local_key_value_storage

• arch.node.engines.local_key_value_storage_behaviour

• arch.node.engines.local_key_value_storage_config

• arch.node.engines.local_key_value_storage_environment

• arch.node.engines.local_key_value_storage_messages

• arch.node.engines.local_time_series_storage

• arch.node.engines.local_time_series_storage_behaviour

• arch.node.engines.local_time_series_storage_config

• arch.node.engines.local_time_series_storage_environment

• arch.node.engines.local_time_series_storage_messages

• arch.node.engines.logging

• arch.node.engines.logging_behaviour

• arch.node.engines.logging_config

• arch.node.engines.logging_environment

• arch.node.engines.logging_messages

M¶

• arch.system.state.resource_machine.primitive_interfaces.map

• arch.node.engines.mempool_worker

• arch.node.engines.mempool_worker_behaviour

• arch.node.engines.mempool_worker_config

• arch.node.engines.mempool_worker_environment

• arch.node.engines.mempool_worker_messages

• arch.node.types.messages

N¶

• arch.node.engines.naming

• arch.node.engines.naming_behaviour

• arch.node.engines.naming_config

• arch.node.engines.naming_environment

• arch.node.engines.naming_messages

• arch.node.subsystems.net

• arch.node.engines.net_registry

• arch.node.engines.net_registry_behaviour

• arch.node.engines.net_registry_config

• arch.node.engines.net_registry_environment

• arch.node.engines.net_registry_messages

• arch.system.state.resource_machine.data_structures.resource.computable_components.nullifier

• arch.system.state.resource_machine.primitive_interfaces.nullifier_set

O¶

• arch.system.state.resource_machine.primitive_interfaces.ordered_set

• arch.node.subsystems.ordering

P¶

• prelude

• arch.system.state.resource_machine.primitive_interfaces.proving_system.proving_system_delta

• arch.system.state.resource_machine.primitive_interfaces.proving_system.proving_system_types

• arch.node.engines.pub_sub_topic

• arch.node.engines.pub_sub_topic_behaviour

• arch.node.engines.pub_sub_topic_config

• arch.node.engines.pub_sub_topic_environment

• arch.node.engines.pub_sub_topic_messages

R¶

• arch.node.engines.reads_for

• arch.node.engines.reads_for_behaviour

• arch.node.engines.reads_for_config

• arch.node.engines.reads_for_environment

• arch.node.engines.reads_for_messages

• arch.system.state.resource_machine.data_structures.resource.computable_components.resource_commitment

• arch.system.state.resource_machine.data_structures.action.resource_logic_proof

• arch.system.state.resource_machine.notes.roles_and_requirements

• arch.node.engines.router

• arch.node.types.router

• arch.node.engines.router_behaviour

• arch.node.engines.router_config

• arch.node.engines.router_environment

• arch.node.engines.router_messages

S¶

• arch.system.state.resource_machine.primitive_interfaces.set

• arch.node.engines.shard

• arch.node.engines.shard_behaviour

• arch.node.engines.shard_config

• arch.node.engines.shard_environment

• arch.node.engines.shard_messages

• arch.node.engines.signs_for

• arch.node.engines.signs_for_behaviour

• arch.node.engines.signs_for_config

• arch.node.engines.signs_for_environment

• arch.node.engines.signs_for_messages

• arch.system.state.resource_machine.notes.storage

• arch.node.engines.storage

• arch.node.types.storage

• arch.node.engines.storage_behaviour

• arch.node.engines.storage_config

• arch.node.engines.storage_environment

• arch.node.engines.storage_messages

T¶

• tutorial.engines.template

• tutorial.engines.template_behaviour

• tutorial.engines.template_config

• tutorial.engines.template_environment

• tutorial.engines.template_messages

• tutorial.engines.template_minimum

• tutorial.engines.template_minimum_behaviour

• tutorial.engines.template_minimum_config

• tutorial.engines.template_minimum_environment

• tutorial.engines.template_minimum_messages

• arch.node.engines.ticker

• arch.node.engines.ticker_behaviour

• arch.node.engines.ticker_config

• arch.node.engines.ticker_environment

• arch.node.engines.ticker_messages

• arch.system.state.resource_machine.data_structures.transaction.transaction

• arch.system.state.resource_machine.data_structures.transaction.transaction_function

• arch.system.state.resource_machine.notes.function_formats.transaction_function_format

• arch.system.state.resource_machine.primitive_interfaces.transaction_function_vm

• arch.system.state.resource_machine.data_structures.transaction.transaction_with_payment

• arch.node.engines.transport

• arch.node.types.transport

• arch.node.engines.transport_behaviour

• arch.node.engines.transport_config

• arch.node.engines.transport_connection

• arch.node.engines.transport_connection_behaviour

• arch.node.engines.transport_connection_config

• arch.node.engines.transport_connection_environment

• arch.node.engines.transport_connection_messages

• arch.node.engines.transport_environment

• arch.node.engines.transport_messages

• arch.node.engines.transport_protocol

• arch.node.engines.transport_protocol_behaviour

• arch.node.engines.transport_protocol_config

• arch.node.engines.transport_protocol_environment

• arch.node.engines.transport_protocol_messages

• arch.node.types

V¶

• arch.node.engines.verification

• arch.node.engines.verification_behaviour

• arch.node.engines.verification_config

• arch.node.engines.verification_environment

• arch.node.engines.verification_messages

W¶

• arch.node.engines.wall_clock

• arch.node.engines.wall_clock_behaviour

• arch.node.engines.wall_clock_config

• arch.node.engines.wall_clock_environment

• arch.node.engines.wall_clock_messages