$sel:algorithm:PublicKey | Auth.Biscuit.Proto |
$sel:allFacts:AuthorizationSuccess | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
$sel:authority:Biscuit | Auth.Biscuit.Proto |
$sel:block:SignedBlock | Auth.Biscuit.Proto |
$sel:blocks:Biscuit | Auth.Biscuit.Proto |
$sel:body:RuleV2 | Auth.Biscuit.Proto |
$sel:checks_v2:Block | Auth.Biscuit.Proto |
$sel:context:Block | Auth.Biscuit.Proto |
$sel:expressions:RuleV2 | Auth.Biscuit.Proto |
$sel:facts_v2:Block | Auth.Biscuit.Proto |
$sel:head:RuleV2 | Auth.Biscuit.Proto |
$sel:key:PublicKey | Auth.Biscuit.Proto |
$sel:kind:OpBinary | Auth.Biscuit.Proto |
$sel:kind:OpTernary | Auth.Biscuit.Proto |
$sel:kind:OpUnary | Auth.Biscuit.Proto |
$sel:limits:AuthorizationSuccess | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
$sel:matchedAllowQuery:AuthorizationSuccess | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
$sel:name:PredicateV2 | Auth.Biscuit.Proto |
$sel:nextKey:SignedBlock | Auth.Biscuit.Proto |
$sel:ops:ExpressionV2 | Auth.Biscuit.Proto |
$sel:predicate:FactV2 | Auth.Biscuit.Proto |
$sel:proof:Biscuit | Auth.Biscuit.Proto |
$sel:queries:CheckV2 | Auth.Biscuit.Proto |
$sel:rootKeyId:Biscuit | Auth.Biscuit.Proto |
$sel:rules_v2:Block | Auth.Biscuit.Proto |
$sel:set:TermSet | Auth.Biscuit.Proto |
$sel:signature:SignedBlock | Auth.Biscuit.Proto |
$sel:symbols:Block | Auth.Biscuit.Proto |
$sel:terms:PredicateV2 | Auth.Biscuit.Proto |
$sel:version:Block | Auth.Biscuit.Proto |
Add | |
1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
2 (Data Constructor) | Auth.Biscuit.Proto |
addBlock | Auth.Biscuit.Token, Auth.Biscuit |
addFromBlock | Auth.Biscuit.Symbols |
addFromBlocks | Auth.Biscuit.Symbols |
addSymbols | Auth.Biscuit.Symbols |
Algorithm | Auth.Biscuit.Proto |
Allow | Auth.Biscuit.Datalog.AST |
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, Auth.Biscuit |
asOpen | Auth.Biscuit.Token, Auth.Biscuit |
asSealed | Auth.Biscuit.Token, Auth.Biscuit |
authority | Auth.Biscuit.Token |
AuthorizationSuccess | |
1 (Type/Class) | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
2 (Data Constructor) | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
authorizeBiscuit | Auth.Biscuit.Token, Auth.Biscuit |
authorizeBiscuitWithLimits | Auth.Biscuit.Token, Auth.Biscuit |
Authorizer | |
1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
2 (Type/Class) | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
authorizer | Auth.Biscuit.Datalog.Parser, Auth.Biscuit |
Authorizer' | Auth.Biscuit.Datalog.AST |
AuthorizerElement' | Auth.Biscuit.Datalog.AST |
authorizerParser | Auth.Biscuit.Datalog.Parser |
AuthorizerPolicy | Auth.Biscuit.Datalog.AST |
BadRule | Auth.Biscuit.Datalog.ScopedExecutor |
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 |
bindings | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
Biscuit | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
3 (Type/Class) | Auth.Biscuit.Token, Auth.Biscuit |
BiscuitEncoding | Auth.Biscuit.Token, Auth.Biscuit |
BiscuitProof | Auth.Biscuit.Token, Auth.Biscuit |
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 |
blockParser | Auth.Biscuit.Datalog.Parser |
BlockRule | Auth.Biscuit.Datalog.AST |
Blocks | Auth.Biscuit.Crypto |
blocks | Auth.Biscuit.Token |
BlockSymbols | Auth.Biscuit.Symbols |
blockToPb | Auth.Biscuit.ProtoBufAdapter |
BlockWithRevocationId | Auth.Biscuit.Datalog.ScopedExecutor |
body | Auth.Biscuit.Datalog.AST |
BOp | Auth.Biscuit.Datalog.AST |
bRules | Auth.Biscuit.Datalog.AST |
bScope | Auth.Biscuit.Datalog.AST |
buildSymbolTable | Auth.Biscuit.ProtoBufAdapter |
Check | Auth.Biscuit.Datalog.AST |
check | Auth.Biscuit.Datalog.Parser |
Check' | Auth.Biscuit.Datalog.AST |
checkBiscuitSignatures | Auth.Biscuit.Token, Auth.Biscuit |
checkCheck | Auth.Biscuit.Datalog.Executor |
checkParser | Auth.Biscuit.Datalog.Parser |
checkPolicy | Auth.Biscuit.Datalog.Executor |
CheckV2 | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
Contains | |
1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
2 (Data Constructor) | Auth.Biscuit.Proto |
convert | Auth.Biscuit.Crypto |
countFacts | Auth.Biscuit.Datalog.Executor |
creation | Auth.Biscuit.Example |
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 |
Ed25519 | Auth.Biscuit.Proto |
eitherCryptoError | Auth.Biscuit.Crypto |
elementToAuthorizer | Auth.Biscuit.Datalog.AST |
elementToBlock | Auth.Biscuit.Datalog.AST |
encodeBlock | Auth.Biscuit.Proto |
encodeBlockList | Auth.Biscuit.Proto |
encoding | Auth.Biscuit.Token, Auth.Biscuit |
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 |
ExpressionV2 | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
extractSymbols | Auth.Biscuit.ProtoBufAdapter |
extractVariables | Auth.Biscuit.Datalog.Executor |
Fact | Auth.Biscuit.Datalog.AST |
fact | Auth.Biscuit.Datalog.Parser |
FactGroup | |
1 (Type/Class) | Auth.Biscuit.Datalog.Executor, Auth.Biscuit.Datalog.ScopedExecutor |
2 (Data Constructor) | Auth.Biscuit.Datalog.Executor, Auth.Biscuit.Datalog.ScopedExecutor |
Facts | Auth.Biscuit.Datalog.ScopedExecutor |
FactV2 | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
FailedChecks | Auth.Biscuit.Datalog.Executor |
fromHex | Auth.Biscuit |
fromOpen | Auth.Biscuit.Token, Auth.Biscuit |
fromRevocationList | Auth.Biscuit |
fromScopedFacts | Auth.Biscuit.Datalog.Executor |
fromSealed | Auth.Biscuit.Token, Auth.Biscuit |
fromStack | Auth.Biscuit.Datalog.AST |
FromValue | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
fromValue | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
generateSecretKey | Auth.Biscuit.Crypto |
getBindings | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
getBindingsForRuleBody | Auth.Biscuit.Datalog.Executor |
getCombinations | Auth.Biscuit.Datalog.Executor |
getFactGroup | Auth.Biscuit.Datalog.Executor, Auth.Biscuit.Datalog.ScopedExecutor |
getFactsForRule | Auth.Biscuit.Datalog.Executor |
getField | Auth.Biscuit.Proto |
getPublicKey | Auth.Biscuit.Token, Auth.Biscuit |
getRevocationIds | Auth.Biscuit.Token, Auth.Biscuit |
getSignatureProof | Auth.Biscuit.Crypto |
getSingleVariableValue | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
getSymbol | Auth.Biscuit.Symbols |
getSymbolCode | Auth.Biscuit.Symbols |
getSymbolList | Auth.Biscuit.Symbols |
getSymbolRef | Auth.Biscuit.Symbols |
getVariableValues | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
getVerifiedBiscuitPublicKey | Auth.Biscuit.Token, Auth.Biscuit |
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 |
HasParsers | Auth.Biscuit.Datalog.Parser |
HasTermParsers | Auth.Biscuit.Datalog.Parser |
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 |
InvalidProof | Auth.Biscuit.Token, Auth.Biscuit |
InvalidProtobuf | Auth.Biscuit.Token, Auth.Biscuit |
InvalidProtobufSer | Auth.Biscuit.Token, Auth.Biscuit |
InvalidRule | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
InvalidSignatures | Auth.Biscuit.Token, Auth.Biscuit |
isRevoked | Auth.Biscuit.Token, Auth.Biscuit |
IsWithinSet | Auth.Biscuit.Datalog.AST |
Iterations | Auth.Biscuit.Datalog.ScopedExecutor |
keepAuthorized' | Auth.Biscuit.Datalog.Executor |
LBool | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
LBytes | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
LDate | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
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, Auth.Biscuit |
listSymbolsInBlock | Auth.Biscuit.Datalog.AST |
LString | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
MatchedQuery | |
1 (Type/Class) | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
2 (Data Constructor) | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
matchedQuery | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
maxFacts | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
maxIterations | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
maxTime | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
maybeCryptoError | Auth.Biscuit.Crypto |
maybeToRight | Auth.Biscuit.Utils |
mkBiscuit | Auth.Biscuit.Token, Auth.Biscuit |
mkBiscuitWith | 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 |
newSecret | Auth.Biscuit |
newSymbolTable | Auth.Biscuit.Symbols |
NoPoliciesMatched | Auth.Biscuit.Datalog.Executor |
NotWithinSet | Auth.Biscuit.Datalog.AST |
OnlyAuthority | Auth.Biscuit.Datalog.AST |
OnlyBlocks | 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 |
Open | Auth.Biscuit.Token, Auth.Biscuit |
OpenOrSealed | Auth.Biscuit.Token, Auth.Biscuit |
OpTernary | |
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 |
Parens | |
1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
2 (Data Constructor) | Auth.Biscuit.Proto |
parse | Auth.Biscuit |
parseB64 | Auth.Biscuit |
parseBiscuitUnverified | Auth.Biscuit.Token, Auth.Biscuit |
parseBiscuitWith | Auth.Biscuit.Token |
ParsedAs | Auth.Biscuit.Datalog.AST |
ParsedSignedBlock | Auth.Biscuit.Token |
ParseError | Auth.Biscuit.Token, Auth.Biscuit |
parsePublicKey | Auth.Biscuit |
parsePublicKeyHex | Auth.Biscuit |
ParserConfig | |
1 (Type/Class) | Auth.Biscuit.Token, Auth.Biscuit |
2 (Data Constructor) | Auth.Biscuit.Token, Auth.Biscuit |
parseSecretKey | Auth.Biscuit |
parseSecretKeyHex | Auth.Biscuit |
parseWith | Auth.Biscuit |
pbToBlock | Auth.Biscuit.ProtoBufAdapter |
pbToProof | Auth.Biscuit.ProtoBufAdapter |
pbToSignedBlock | 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 |
PredicateV2 | |
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 |
Previous | Auth.Biscuit.Datalog.AST |
privateKey' | Auth.Biscuit.Example |
Proof | Auth.Biscuit.Proto |
proof | Auth.Biscuit.Token |
proofCheck | Auth.Biscuit.Token |
ProofSecret | Auth.Biscuit.Proto |
ProofSignature | Auth.Biscuit.Proto |
PublicKey | |
1 (Type/Class) | Auth.Biscuit.Crypto, Auth.Biscuit |
2 (Type/Class) | Auth.Biscuit.Proto |
3 (Data Constructor) | Auth.Biscuit.Proto |
publicKey | Auth.Biscuit.Crypto |
publicKey' | Auth.Biscuit.Example |
PureExecError | Auth.Biscuit.Datalog.ScopedExecutor |
putField | Auth.Biscuit.Proto |
qBody | Auth.Biscuit.Datalog.AST |
qExpressions | Auth.Biscuit.Datalog.AST |
QQTerm | Auth.Biscuit.Datalog.AST |
qScope | Auth.Biscuit.Datalog.AST |
QuasiQuote | Auth.Biscuit.Datalog.AST |
Query | Auth.Biscuit.Datalog.AST |
query | Auth.Biscuit.Datalog.Parser, Auth.Biscuit |
Query' | Auth.Biscuit.Datalog.AST |
queryAuthorizerFacts | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
QueryItem | Auth.Biscuit.Datalog.AST |
QueryItem' | Auth.Biscuit.Datalog.AST |
RawBytes | Auth.Biscuit.Token, Auth.Biscuit |
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 |
ReverseSymbols | Auth.Biscuit.Symbols |
reverseSymbols | Auth.Biscuit.Symbols |
RevokedBiscuit | Auth.Biscuit.Token, Auth.Biscuit |
rhead | Auth.Biscuit.Datalog.AST |
rootKeyId | Auth.Biscuit.Token |
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 |
RuleScope | Auth.Biscuit.Datalog.AST |
RuleV2 | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
runAuthorizer | Auth.Biscuit.Datalog.ScopedExecutor |
runAuthorizerNoTimeout | Auth.Biscuit.Datalog.ScopedExecutor |
runAuthorizerWithLimits | Auth.Biscuit.Datalog.ScopedExecutor |
runFactGeneration | Auth.Biscuit.Datalog.ScopedExecutor |
scope | Auth.Biscuit.Datalog.AST |
Scoped | Auth.Biscuit.Datalog.Executor |
seal | Auth.Biscuit.Token, Auth.Biscuit |
Sealed | Auth.Biscuit.Token, Auth.Biscuit |
SecretKey | Auth.Biscuit.Crypto, Auth.Biscuit |
secretKey | Auth.Biscuit.Crypto |
serialize | Auth.Biscuit |
serializeB64 | Auth.Biscuit |
serializeBiscuit | Auth.Biscuit.Token |
serializePublicKey | Auth.Biscuit |
serializePublicKeyHex | Auth.Biscuit |
serializeSecretKey | Auth.Biscuit |
serializeSecretKeyHex | Auth.Biscuit |
SetType | Auth.Biscuit.Datalog.AST |
Signature | Auth.Biscuit.Crypto |
signature | Auth.Biscuit.Crypto |
signBlock | Auth.Biscuit.Crypto |
SignedBlock | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
3 (Type/Class) | Auth.Biscuit.Crypto |
signedBlockToPb | Auth.Biscuit.ProtoBufAdapter |
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 |
SymbolRef | |
1 (Type/Class) | Auth.Biscuit.Symbols |
2 (Data Constructor) | Auth.Biscuit.Symbols |
Symbols | Auth.Biscuit.Symbols, Auth.Biscuit.ProtoBufAdapter |
symbols | Auth.Biscuit.Token |
Term | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
Term' | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
TermBool | Auth.Biscuit.Proto |
TermBytes | Auth.Biscuit.Proto |
TermDate | Auth.Biscuit.Proto |
TermInteger | Auth.Biscuit.Proto |
termParser | Auth.Biscuit.Datalog.Parser |
terms | Auth.Biscuit.Datalog.AST |
TermSet | |
1 (Data Constructor) | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
2 (Type/Class) | Auth.Biscuit.Proto |
3 (Data Constructor) | Auth.Biscuit.Proto |
TermString | Auth.Biscuit.Proto |
TermTermSet | Auth.Biscuit.Proto |
TermV2 | Auth.Biscuit.Proto |
TermVariable | Auth.Biscuit.Proto |
TernaryKind | Auth.Biscuit.Proto |
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 |
toPossibleProofs | Auth.Biscuit.Token |
toPublic | Auth.Biscuit.Crypto, Auth.Biscuit |
toScopedFacts | Auth.Biscuit.Datalog.Executor |
toSetTerm | Auth.Biscuit.Datalog.AST |
toStack | Auth.Biscuit.Datalog.AST |
ToTerm | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
toTerm | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
Unary | Auth.Biscuit.Datalog.AST |
UnaryKind | Auth.Biscuit.Proto |
Union | |
1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
2 (Data Constructor) | Auth.Biscuit.Proto |
UnsafeAny | Auth.Biscuit.Datalog.AST |
Unverified | Auth.Biscuit.Token, Auth.Biscuit |
UOp | Auth.Biscuit.Datalog.AST |
UrlBase64 | Auth.Biscuit.Token, Auth.Biscuit |
Value | Auth.Biscuit.Datalog.AST |
Variable | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
VariableType | Auth.Biscuit.Datalog.AST |
vBlock | Auth.Biscuit.Datalog.AST |
verification | Auth.Biscuit.Example |
Verified | Auth.Biscuit.Token, Auth.Biscuit |
verifyBlocks | Auth.Biscuit.Crypto |
VerifyEd25519Signature | Auth.Biscuit.Proto |
verifySecretProof | Auth.Biscuit.Crypto |
verifySignatureProof | Auth.Biscuit.Crypto |
VOp | Auth.Biscuit.Datalog.AST |
vPolicies | Auth.Biscuit.Datalog.AST |
WithinSet | Auth.Biscuit.Datalog.AST |