Expand description
Traits concerned with modelling reality.
Modules§
Structs§
- Callback
- Describes the location within the runtime of a callback, along with other type information such as parameters passed into the callback.
- Contextual
Alias - The
Alias
type enriched with the originatingContext
.
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§
- AddOnly
People Trait - Trait to recognize people and handle personal id.
- Counted
Members - Trait to get the total number of active members in a set.
- People
Trait - Trait to recognize and suspend people.
- Statement
Oracle - 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.
- Custom
Statement - Data type for custom statement information handled by the statement oracle.
- Data
- Data type for arbitrary information handled by the statement oracle.
- Evidence
Hash - The type used to represent the hash of the evidence used in statements by the statement oracle.
- Judgement
Context - The type used to represent the context of an oracle’s judgement.
- Personal
Id - Identity of personhood.
- Ring
Index - The type we use to identify different rings.