Module biscuit_auth::datalog

Logic language implementation for checks

Structs

• Check
• CombineIt
  recursive iterator for rule application
• Expression
• Fact
• FactSet
• MatchedVariables
• Origin
• Predicate
• Rule
• RuleSet
• RunLimits
  runtime limits for the Datalog engine
• SchemaVersion
• SymbolTable
• TemporarySymbolTable
• TrustedOrigins
  This represents the sets of origins trusted by a rule
• World

Enums

• Binary
  Binary operation code
• Op
• Term
• Unary
  Unary operation code

Functions

• contains_v4_op
  Determine whether any of the expression contain a v4 operator. Bitwise operators and != are only supported in biscuits v4+
• date
• expressed_rule
• fact
• get_schema_version
  Determine the schema version given the elements of a block.
• int
• match_preds
• pred
• rule
• var

Type Aliases

• SymbolIndex