Modules in Juvix¶

Juvix Package version¶

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

Modules by letter¶

A¶

• anoma

• anoma_config

• anoma_environment

• anoma_message

B¶

• basics

C¶

• commitment

• commitment_behaviour

• commitment_config

• commitment_environment

• commitment_messages

• compute

• configurator

• crypto

D¶

• decryption

• decryption_behaviour

• decryption_config

• decryption_environment

• decryption_messages

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

I¶

• identities

• identity

• identity_management

• identity_management_behaviour

• identity_management_config

• identity_management_environment

• identity_management_messages

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¶

• 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

• node_proxy

• node_proxy_behaviour

• node_proxy_config

• node_proxy_environment

• node_proxy_messages

P¶

• prelude

• 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

• router

• router_behaviour

• router_config

• router_environment

• router_messages

• router_types

S¶

• 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_behaviour

• storage_config

• storage_environment

• storage_messages

• storage_types

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

• 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

• transport_types

• 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