| $sel:authority:Biscuit | Auth.Biscuit.Proto |
| $sel:blocks:Biscuit | Auth.Biscuit.Proto |
| $sel:body:RuleV1 | Auth.Biscuit.Proto |
| $sel:checks_v1:Block | Auth.Biscuit.Proto |
| $sel:context:Block | Auth.Biscuit.Proto |
| $sel:expressions:RuleV1 | Auth.Biscuit.Proto |
| $sel:facts_v1:Block | Auth.Biscuit.Proto |
| $sel:head:RuleV1 | Auth.Biscuit.Proto |
| $sel:ids:PredicateV1 | Auth.Biscuit.Proto |
| $sel:index:Block | Auth.Biscuit.Proto |
| $sel:keys:Biscuit | Auth.Biscuit.Proto |
| $sel:kind:OpBinary | Auth.Biscuit.Proto |
| $sel:kind:OpUnary | Auth.Biscuit.Proto |
| $sel:name:PredicateV1 | Auth.Biscuit.Proto |
| $sel:ops:ExpressionV1 | Auth.Biscuit.Proto |
| $sel:parameters:Signature | Auth.Biscuit.Proto |
| $sel:predicate:FactV1 | Auth.Biscuit.Proto |
| $sel:queries:CheckV1 | Auth.Biscuit.Proto |
| $sel:rules_v1:Block | Auth.Biscuit.Proto |
| $sel:set:IDSet | Auth.Biscuit.Proto |
| $sel:signature:Biscuit | Auth.Biscuit.Proto |
| $sel:symbols:Block | Auth.Biscuit.Proto |
| $sel:version:Block | Auth.Biscuit.Proto |
| $sel:z:Signature | Auth.Biscuit.Proto |
| Add | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| addBlock | Auth.Biscuit.Token, Auth.Biscuit |
| aggregate | Auth.Biscuit.Sel |
| Allow | Auth.Biscuit.Datalog.AST |
| allowBlockFacts | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| allowRegexes | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| And | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| Antiquote | Auth.Biscuit.Datalog.AST |
| authority | Auth.Biscuit.Token |
| bBlock | Auth.Biscuit.Datalog.Executor, Auth.Biscuit.Token |
| bChecks | Auth.Biscuit.Datalog.AST |
| bContext | Auth.Biscuit.Datalog.AST |
| bFacts | Auth.Biscuit.Datalog.AST |
| Binary | Auth.Biscuit.Datalog.AST |
| BinaryKind | Auth.Biscuit.Proto |
| Bindings | Auth.Biscuit.Datalog.Executor |
| Biscuit | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| 3 (Type/Class) | Auth.Biscuit.Token, Auth.Biscuit |
| 4 (Data Constructor) | Auth.Biscuit.Token |
| Block | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Type/Class) | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| 3 (Type/Class) | Auth.Biscuit.Proto |
| 4 (Data Constructor) | Auth.Biscuit.Proto |
| block | Auth.Biscuit.Datalog.Parser, Auth.Biscuit |
| Block' | Auth.Biscuit.Datalog.AST |
| BlockCheck | Auth.Biscuit.Datalog.AST |
| BlockComment | Auth.Biscuit.Datalog.AST |
| blockContext | Auth.Biscuit |
| BlockElement | Auth.Biscuit.Datalog.AST |
| BlockElement' | Auth.Biscuit.Datalog.AST |
| BlockFact | Auth.Biscuit.Datalog.AST |
| BlockRule | Auth.Biscuit.Datalog.AST |
| blockRules | Auth.Biscuit.Datalog.Executor |
| blocks | Auth.Biscuit.Token |
| blockToPb | Auth.Biscuit.ProtoBufAdapter |
| BlockWithRevocationIds | |
| 1 (Type/Class) | Auth.Biscuit.Datalog.Executor, Auth.Biscuit.Token |
| 2 (Data Constructor) | Auth.Biscuit.Datalog.Executor, Auth.Biscuit.Token |
| body | Auth.Biscuit.Datalog.AST |
| BOp | Auth.Biscuit.Datalog.AST |
| bRules | Auth.Biscuit.Datalog.AST |
| buildSymbolTable | Auth.Biscuit.ProtoBufAdapter |
| Check | Auth.Biscuit.Datalog.AST |
| check | Auth.Biscuit.Datalog.Parser |
| Check' | Auth.Biscuit.Datalog.AST |
| checkBiscuitSignature | Auth.Biscuit.Token, Auth.Biscuit |
| checkParser | Auth.Biscuit.Datalog.Parser |
| checkRevocationId | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| CheckV1 | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| commonSymbols | Auth.Biscuit.ProtoBufAdapter |
| computeAllFacts | Auth.Biscuit.Datalog.Executor |
| Contains | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| creation | Auth.Biscuit.Example |
| DatalogError | Auth.Biscuit.Token, Auth.Biscuit |
| decodeBlock | Auth.Biscuit.Proto |
| decodeBlockList | Auth.Biscuit.Proto |
| defaultLimits | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| Deny | Auth.Biscuit.Datalog.AST |
| DenyRuleMatched | Auth.Biscuit.Datalog.Executor |
| Div | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| EBinary | Auth.Biscuit.Datalog.AST |
| elementToBlock | Auth.Biscuit.Datalog.AST |
| elementToVerifier | Auth.Biscuit.Datalog.AST |
| encodeBlock | Auth.Biscuit.Proto |
| encodeBlockList | Auth.Biscuit.Proto |
| Equal | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| EUnary | Auth.Biscuit.Datalog.AST |
| evaluateExpression | Auth.Biscuit.Datalog.Executor |
| EValue | Auth.Biscuit.Datalog.AST |
| ExecutionError | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| ExistingBlock | Auth.Biscuit.Token |
| Expression | Auth.Biscuit.Datalog.AST |
| Expression' | Auth.Biscuit.Datalog.AST |
| expressionParser | Auth.Biscuit.Datalog.Parser |
| expressions | Auth.Biscuit.Datalog.AST |
| ExpressionV1 | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| extractSymbols | Auth.Biscuit.ProtoBufAdapter |
| Fact | Auth.Biscuit.Datalog.AST |
| fact | Auth.Biscuit.Datalog.Parser |
| facts | Auth.Biscuit.Datalog.Executor |
| FactsInBlocks | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| FactV1 | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| FailedChecks | Auth.Biscuit.Datalog.Executor |
| fromPrivateKey | Auth.Biscuit.Sel, Auth.Biscuit |
| fromStack | Auth.Biscuit.Datalog.AST |
| genericRevocationId | Auth.Biscuit.Datalog.Executor, Auth.Biscuit.Token |
| getField | Auth.Biscuit.Proto |
| getRevocationIds | Auth.Biscuit.Token |
| GreaterOrEqual | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| GreaterThan | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| hashBytes | Auth.Biscuit.Sel |
| HasParsers | Auth.Biscuit.Datalog.Parser |
| HasTermParsers | Auth.Biscuit.Datalog.Parser |
| ID | Auth.Biscuit.Datalog.AST |
| ID' | Auth.Biscuit.Datalog.AST |
| IDBool | Auth.Biscuit.Proto |
| IDBytes | Auth.Biscuit.Proto |
| IDDate | Auth.Biscuit.Proto |
| IDIDSet | Auth.Biscuit.Proto |
| IDInteger | Auth.Biscuit.Proto |
| IDSet | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| IDString | Auth.Biscuit.Proto |
| IDSymbol | Auth.Biscuit.Proto |
| IDV1 | Auth.Biscuit.Proto |
| IDVariable | Auth.Biscuit.Proto |
| InFact | Auth.Biscuit.Datalog.AST |
| InPredicate | Auth.Biscuit.Datalog.AST |
| Intersection | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| InvalidB64Encoding | Auth.Biscuit.Token, Auth.Biscuit |
| InvalidHexEncoding | Auth.Biscuit.Token, Auth.Biscuit |
| InvalidProtobuf | Auth.Biscuit.Token, Auth.Biscuit |
| InvalidProtobufSer | Auth.Biscuit.Token, Auth.Biscuit |
| IsWithinSet | Auth.Biscuit.Datalog.AST |
| Keypair | |
| 1 (Type/Class) | Auth.Biscuit.Sel, Auth.Biscuit |
| 2 (Data Constructor) | Auth.Biscuit.Sel, Auth.Biscuit |
| LBool | Auth.Biscuit.Datalog.AST |
| LBytes | Auth.Biscuit.Datalog.AST |
| LDate | Auth.Biscuit.Datalog.AST |
| Length | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| LessOrEqual | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| LessThan | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| Limits | |
| 1 (Type/Class) | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| 2 (Data Constructor) | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| LInteger | Auth.Biscuit.Datalog.AST |
| listSymbolsInBlock | Auth.Biscuit.Datalog.AST |
| LString | Auth.Biscuit.Datalog.AST |
| maxFacts | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| maxIterations | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| maxTime | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| maybeToRight | Auth.Biscuit.Utils |
| mkBiscuit | Auth.Biscuit.Token, Auth.Biscuit |
| Mul | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| Name | Auth.Biscuit.Datalog.Executor |
| name | Auth.Biscuit.Datalog.AST |
| Negate | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| newKeypair | Auth.Biscuit.Sel, Auth.Biscuit |
| NoPoliciesMatched | Auth.Biscuit.Datalog.Executor |
| NotWithinSet | Auth.Biscuit.Datalog.AST |
| Op | |
| 1 (Type/Class) | Auth.Biscuit.Datalog.AST |
| 2 (Type/Class) | Auth.Biscuit.Proto |
| OpBinary | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| OpUnary | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| OpVBinary | Auth.Biscuit.Proto |
| OpVUnary | Auth.Biscuit.Proto |
| OpVValue | Auth.Biscuit.Proto |
| Or | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| parameters | Auth.Biscuit.Sel |
| Parens | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| parse | Auth.Biscuit |
| parseB64 | Auth.Biscuit |
| parseBiscuit | Auth.Biscuit.Token |
| ParsedAs | Auth.Biscuit.Datalog.AST |
| ParseError | Auth.Biscuit.Token, Auth.Biscuit |
| parseHex | Auth.Biscuit |
| parsePrivateKey | Auth.Biscuit.Sel, Auth.Biscuit |
| parsePrivateKeyHex | Auth.Biscuit |
| parsePublicKey | Auth.Biscuit.Sel, Auth.Biscuit |
| parsePublicKeyHex | Auth.Biscuit |
| pbToBlock | Auth.Biscuit.ProtoBufAdapter |
| Policy | Auth.Biscuit.Datalog.AST |
| Policy' | Auth.Biscuit.Datalog.AST |
| policyParser | Auth.Biscuit.Datalog.Parser |
| PolicyType | Auth.Biscuit.Datalog.AST |
| Predicate | |
| 1 (Type/Class) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| predicate | Auth.Biscuit.Datalog.Parser |
| Predicate' | Auth.Biscuit.Datalog.AST |
| PredicateOrFact | Auth.Biscuit.Datalog.AST |
| predicateParser | Auth.Biscuit.Datalog.Parser |
| PredicateV1 | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| Prefix | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| PrivateKey | Auth.Biscuit.Sel, Auth.Biscuit |
| privateKey | Auth.Biscuit.Sel, Auth.Biscuit |
| privateKey' | Auth.Biscuit.Example |
| PublicKey | Auth.Biscuit.Sel, Auth.Biscuit |
| publicKey | Auth.Biscuit.Sel, Auth.Biscuit |
| publicKey' | Auth.Biscuit.Example |
| putField | Auth.Biscuit.Proto |
| qBody | Auth.Biscuit.Datalog.AST |
| qExpressions | Auth.Biscuit.Datalog.AST |
| QQID | Auth.Biscuit.Datalog.AST |
| QuasiQuote | Auth.Biscuit.Datalog.AST |
| Query | Auth.Biscuit.Datalog.AST |
| Query' | Auth.Biscuit.Datalog.AST |
| QueryItem | Auth.Biscuit.Datalog.AST |
| QueryItem' | Auth.Biscuit.Datalog.AST |
| Regex | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| RegularString | Auth.Biscuit.Datalog.AST |
| renderBlock | Auth.Biscuit.Datalog.AST |
| renderFact | Auth.Biscuit.Datalog.AST |
| renderRule | Auth.Biscuit.Datalog.AST |
| ResultError | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| 2 (Type/Class) | Auth.Biscuit.Datalog.Executor |
| rhead | Auth.Biscuit.Datalog.AST |
| Rule | |
| 1 (Type/Class) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| rule | Auth.Biscuit.Datalog.Parser |
| Rule' | Auth.Biscuit.Datalog.AST |
| ruleParser | Auth.Biscuit.Datalog.Parser |
| rules | Auth.Biscuit.Datalog.Executor |
| RuleV1 | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| runVerifier | Auth.Biscuit.Datalog.Executor |
| runVerifierWithLimits | Auth.Biscuit.Datalog.Executor |
| serialize | Auth.Biscuit |
| serializeB64 | Auth.Biscuit |
| serializeBiscuit | Auth.Biscuit.Token |
| serializeHex | Auth.Biscuit |
| serializePrivateKey | Auth.Biscuit.Sel, Auth.Biscuit |
| serializePrivateKeyHex | Auth.Biscuit |
| serializePublicKey | Auth.Biscuit.Sel, Auth.Biscuit |
| serializePublicKeyHex | Auth.Biscuit |
| SetType | Auth.Biscuit.Datalog.AST |
| Signature | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| 3 (Type/Class) | Auth.Biscuit.Sel |
| 4 (Data Constructor) | Auth.Biscuit.Sel |
| signature | Auth.Biscuit.Token |
| SignatureError | Auth.Biscuit.Token, Auth.Biscuit |
| signBlock | Auth.Biscuit.Sel |
| Slice | |
| 1 (Type/Class) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| SliceType | Auth.Biscuit.Datalog.AST |
| Sub | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| Suffix | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| Symbol | Auth.Biscuit.Datalog.AST |
| Symbols | Auth.Biscuit.ProtoBufAdapter |
| symbols | Auth.Biscuit.Token |
| termParser | Auth.Biscuit.Datalog.Parser |
| terms | Auth.Biscuit.Datalog.AST |
| TermSet | Auth.Biscuit.Datalog.AST |
| Timeout | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| timer | Auth.Biscuit.Timer |
| TooManyFacts | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| TooManyIterations | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| toSetTerm | Auth.Biscuit.Datalog.AST |
| toStack | Auth.Biscuit.Datalog.AST |
| Unary | Auth.Biscuit.Datalog.AST |
| UnaryKind | Auth.Biscuit.Proto |
| Union | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| uniqueRevocationId | Auth.Biscuit.Datalog.Executor, Auth.Biscuit.Token |
| UOp | Auth.Biscuit.Datalog.AST |
| Value | Auth.Biscuit.Datalog.AST |
| Variable | Auth.Biscuit.Datalog.AST |
| VariableType | Auth.Biscuit.Datalog.AST |
| vBlock | Auth.Biscuit.Datalog.AST |
| verification | Auth.Biscuit.Example |
| VerificationError | Auth.Biscuit.Token, Auth.Biscuit |
| Verifier | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Type/Class) | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| verifier | Auth.Biscuit.Datalog.Parser, Auth.Biscuit |
| Verifier' | Auth.Biscuit.Datalog.AST |
| VerifierElement' | Auth.Biscuit.Datalog.AST |
| verifierParser | Auth.Biscuit.Datalog.Parser |
| VerifierPolicy | Auth.Biscuit.Datalog.AST |
| verifyBiscuit | Auth.Biscuit.Token, Auth.Biscuit |
| verifyBiscuitWithLimits | Auth.Biscuit.Token, Auth.Biscuit |
| verifySignature | Auth.Biscuit.Sel |
| VOp | Auth.Biscuit.Datalog.AST |
| vPolicies | Auth.Biscuit.Datalog.AST |
| WithinSet | Auth.Biscuit.Datalog.AST |
| World | |
| 1 (Type/Class) | Auth.Biscuit.Datalog.Executor |
| 2 (Data Constructor) | Auth.Biscuit.Datalog.Executor |
| z | Auth.Biscuit.Sel |