Module reality

Expand description

Traits concerned with modelling reality.

Modules§

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.

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.

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

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.

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.