Module reality

Source
Expand description

Traits concerned with modelling reality.

Modules§

identity

Structs§

Callback
Describes the location within the runtime of a callback, along with other type information such as parameters passed into the callback.
ContextualAlias
The Alias type enriched with the originating Context.

Enums§

Judgement
Judgement passed on the truth and validity of a statement.
Statement
A statement upon which a StatementOracle can provide judgement.
Truth
A legitimate verdict on a particular statement.

Constants§

CONTEXT_SIZE
Maximum length of the context passed in the oracle’s judgements.
MAX_STATEMENT_DATA_SIZE
The maximum length of custom statement data.

Traits§

AddOnlyPeopleTrait
Trait to recognize people and handle personal id.
CountedMembers
Trait to get the total number of active members in a set.
PeopleTrait
Trait to recognize and suspend people.
StatementOracle
A provider of wondrous magic: give it a Statement and it will tell you if it’s true, with some degree of resilience.

Type Aliases§

Alias
Identifier for a specific individual within an application context.
Context
Identifier for a specific application in which we may wish to track individual people.
CustomStatement
Data type for custom statement information handled by the statement oracle.
Data
Data type for arbitrary information handled by the statement oracle.
EvidenceHash
The type used to represent the hash of the evidence used in statements by the statement oracle.
JudgementContext
The type used to represent the context of an oracle’s judgement.
PersonalId
Identity of personhood.
RingIndex
The type we use to identify different rings.