Crate passdata

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.