[−][src]Module biscuit_auth::datalog
Logic language implementation for caveats
Structs
| CombineIt | recursive iterator for rule application |
| Constraint | |
| Fact | |
| MatchedVariables | |
| Predicate | |
| Rule | |
| SymbolTable | |
| World |
Enums
| ConstraintKind | |
| DateConstraint | |
| ID | |
| IntConstraint | |
| StrConstraint | |
| SymbolConstraint |
Functions
| constrained_rule | |
| date | |
| fact | |
| int | |
| match_preds | |
| pred | |
| rule | |
| string | |
| sym | |
| var | warning: collision risk |
Type Definitions
| Symbol |