Modules in Juvix¶

Juvix Package version¶

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

Modules by letter¶

A¶

• anoma

• anoma_config

• anoma_environment

• anoma_message

• anomian

• applications

• arithmetic

B¶

• basics

C¶

• commitment

• commitment_accumulator

• commitment_behaviour

• commitment_config

• commitment_environment

• commitment_messages

• compliance_proof

• compliance_unit

• crypto

D¶

• decryption

• decryption_behaviour

• decryption_config

• decryption_environment

• decryption_messages

• delta

• delta_hash

• delta_proof

E¶

• encryption

• encryption_behaviour

• encryption_config

• encryption_environment

• encryption_messages

• engine

• engine_behaviour

• engine_config

• engine_environment

• everything

• executor

• executor_behaviour

• executor_config

• executor_environment

• executor_messages

F¶

• fixed_size_type

• flow

H¶

• hash

I¶

• identities

• identity

• identity_management

• identity_management_behaviour

• identity_management_config

• identity_management_environment

• identity_management_messages

• index

• index

• index

• index

• introduction

K¶

• kind

L¶

• local_key_value_storage

• local_key_value_storage_behaviour

• local_key_value_storage_config

• local_key_value_storage_environment

• local_key_value_storage_messages

• local_time_series_storage

• local_time_series_storage_behaviour

• local_time_series_storage_config

• local_time_series_storage_environment

• local_time_series_storage_messages

• logging

• logging_behaviour

• logging_config

• logging_environment

• logging_messages

M¶

• map

• mempool_worker

• mempool_worker_behaviour

• mempool_worker_config

• mempool_worker_environment

• mempool_worker_messages

• messages

N¶

• naming

• naming_behaviour

• naming_config

• naming_environment

• naming_messages

• net_registry

• net_registry_behaviour

• net_registry_config

• net_registry_environment

• net_registry_messages

• nullifier

• nullifier_set

O¶

• ordered_set

P¶

• prelude

• proving_system_delta

• proving_system_types

• pub_sub_topic

• pub_sub_topic_behaviour

• pub_sub_topic_config

• pub_sub_topic_environment

• pub_sub_topic_messages

R¶

• reads_for

• reads_for_behaviour

• reads_for_config

• reads_for_environment

• reads_for_messages

• resource_commitment

• resource_logic_proof

• roles_and_requirements

• router

• router

• router_behaviour

• router_config

• router_environment

• router_messages

S¶

• set

• shard

• shard_behaviour

• shard_config

• shard_environment

• shard_messages

• signs_for

• signs_for_behaviour

• signs_for_config

• signs_for_environment

• signs_for_messages

• storage

• storage

• storage

• storage_behaviour

• storage_config

• storage_environment

• storage_messages

T¶

• template

• template_behaviour

• template_config

• template_environment

• template_messages

• template_minimum

• template_minimum_behaviour

• template_minimum_config

• template_minimum_environment

• template_minimum_messages

• ticker

• ticker_behaviour

• ticker_config

• ticker_environment

• ticker_messages

• transaction

• transaction_function

• transaction_function_format

• transaction_function_vm

• transaction_with_payment

• transport

• transport

• transport_behaviour

• transport_config

• transport_connection

• transport_connection_behaviour

• transport_connection_config

• transport_connection_environment

• transport_connection_messages

• transport_environment

• transport_messages

• transport_protocol

• transport_protocol_behaviour

• transport_protocol_config

• transport_protocol_environment

• transport_protocol_messages

• types

V¶

• verification

• verification_behaviour

• verification_config

• verification_environment

• verification_messages

W¶

• wall_clock

• wall_clock_behaviour

• wall_clock_config

• wall_clock_environment

• wall_clock_messages