Crate passdata

Source
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.
FactTerms
Terms for a fact.
Passdata
Data for the logic program.
Schema
Schema for a program.

Enums§

Constant
A constant value.
ConstantTy
Type of a constant
FactTermsError
Errors returned when using FactTerms methods.