Expand description
§Passdata
Passdata
is authentication and authorization data expressed in a logic
programming language. Data should fit within the limits of a HTTP cookie or
header. The language is limited in order to guarantee properties during
execution.
Modules§
- error
- Error type for the crate.
Structs§
- AnyBool
- Any boolean value.
- AnyConstant
- Any constant value.
- AnyNum
- Any number value.
- AnyStr
- Any string value.
- Fact
Terms - Terms for a fact.
- Passdata
- Data for the logic program.
- Schema
- Schema for a program.
Enums§
- Constant
- A constant value.
- Constant
Ty - Type of a constant
- Fact
Terms Error - Errors returned when using
FactTerms
methods.