$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:externalSig:SignedBlock | Auth.Biscuit.Proto |
$sel:externalSig:ThirdPartyBlockContents | Auth.Biscuit.Proto |
$sel:facts_v2:Block | Auth.Biscuit.Proto |
$sel:head:RuleV2 | Auth.Biscuit.Proto |
$sel:key:PublicKey | Auth.Biscuit.Proto |
$sel:kind:CheckV2 | 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:payload:ThirdPartyBlockContents | Auth.Biscuit.Proto |
$sel:pksTable:Block | Auth.Biscuit.Proto |
$sel:pkTable:ThirdPartyBlockRequest | Auth.Biscuit.Proto |
$sel:predicate:FactV2 | Auth.Biscuit.Proto |
$sel:previousPk:ThirdPartyBlockRequest | Auth.Biscuit.Proto |
$sel:proof:Biscuit | Auth.Biscuit.Proto |
$sel:publicKey:ExternalSig | Auth.Biscuit.Proto |
$sel:queries:CheckV2 | Auth.Biscuit.Proto |
$sel:rootKeyId:Biscuit | Auth.Biscuit.Proto |
$sel:rules_v2:Block | Auth.Biscuit.Proto |
$sel:scope:Block | Auth.Biscuit.Proto |
$sel:scope:RuleV2 | Auth.Biscuit.Proto |
$sel:set:TermSet | Auth.Biscuit.Proto |
$sel:signature:ExternalSig | 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.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
addBlock | Auth.Biscuit.Token, Auth.Biscuit |
addFromBlock | Auth.Biscuit.Symbols |
addSignedBlock | Auth.Biscuit.Token, Auth.Biscuit |
addSymbols | Auth.Biscuit.Symbols |
Algorithm | Auth.Biscuit.Proto |
All | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
Allow | Auth.Biscuit.Datalog.AST |
allowRegexes | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
And | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
Antiquote | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
applyThirdPartyBlock | Auth.Biscuit.Token, Auth.Biscuit |
applyThirdPartyBlockB64 | 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 |
authorizationSuccess | Auth.Biscuit.Token, Auth.Biscuit |
authorizeBiscuit | Auth.Biscuit.Token, Auth.Biscuit |
authorizeBiscuitWithLimits | Auth.Biscuit.Token, Auth.Biscuit |
AuthorizedBiscuit | |
1 (Type/Class) | Auth.Biscuit.Token, Auth.Biscuit |
2 (Data Constructor) | Auth.Biscuit.Token, Auth.Biscuit |
authorizedBiscuit | 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 |
authorizerElementParser | Auth.Biscuit.Datalog.Parser |
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 |
binaryMethodParser | Auth.Biscuit.Datalog.Parser |
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 |
BitwiseAnd | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
BitwiseOr | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
BitwiseXor | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
Block | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
3 (Data Constructor) | Auth.Biscuit.Datalog.AST |
4 (Type/Class) | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
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 |
blockElementParser | Auth.Biscuit.Datalog.Parser |
BlockFact | Auth.Biscuit.Datalog.AST |
BlockId | Auth.Biscuit.Datalog.AST |
BlockIdType | 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 | |
1 (Type/Class) | Auth.Biscuit.Datalog.AST |
2 (Data Constructor) | 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 |
CheckKind | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Type/Class) | Auth.Biscuit.Datalog.AST |
checkParser | Auth.Biscuit.Datalog.Parser |
checkPolicy | Auth.Biscuit.Datalog.Executor |
checkToEvaluation | Auth.Biscuit.Datalog.AST |
CheckV2 | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
cKind | Auth.Biscuit.Datalog.AST |
collectWorld | Auth.Biscuit.Datalog.ScopedExecutor |
compileParser | Auth.Biscuit.Datalog.Parser |
Contains | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
countFacts | Auth.Biscuit.Datalog.Executor |
cQueries | Auth.Biscuit.Datalog.AST |
creation | Auth.Biscuit.Example |
DatalogContext | Auth.Biscuit.Datalog.AST |
decodeBlock | Auth.Biscuit.Proto |
decodeBlockList | Auth.Biscuit.Proto |
decodeThirdPartyBlockContents | Auth.Biscuit.Proto |
decodeThirdPartyBlockRequest | 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.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
EBinary | Auth.Biscuit.Datalog.AST |
Ed25519 | Auth.Biscuit.Proto |
elementToAuthorizer | Auth.Biscuit.Datalog.AST |
elementToBlock | Auth.Biscuit.Datalog.AST |
encodeBlock | Auth.Biscuit.Proto |
encodeBlockList | Auth.Biscuit.Proto |
encodeThirdPartyBlockContents | Auth.Biscuit.Proto |
encodeThirdPartyBlockRequest | Auth.Biscuit.Proto |
encoding | Auth.Biscuit.Token, Auth.Biscuit |
Equal | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
EUnary | Auth.Biscuit.Datalog.AST |
Eval | Auth.Biscuit.Datalog.AST |
EvalBlock | Auth.Biscuit.Datalog.AST |
EvalCheck | Auth.Biscuit.Datalog.AST |
EvalPolicy | Auth.Biscuit.Datalog.AST |
EvalRule | Auth.Biscuit.Datalog.AST |
EvalRuleScope | Auth.Biscuit.Datalog.AST |
evaluateExpression | Auth.Biscuit.Datalog.Executor |
EvaluationContext | Auth.Biscuit.Datalog.AST |
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 |
exprTerm | Auth.Biscuit.Datalog.Parser |
ExternalSig | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
extractVariables | Auth.Biscuit.Datalog.AST |
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 |
factParser | Auth.Biscuit.Datalog.Parser |
Facts | Auth.Biscuit.Datalog.ScopedExecutor |
factTermParser | Auth.Biscuit.Datalog.Parser |
FactV2 | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
FailedChecks | Auth.Biscuit.Datalog.Executor |
forbid | Auth.Biscuit.Datalog.Parser |
forgetSymbols | Auth.Biscuit.Symbols |
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 |
getPkList | Auth.Biscuit.Symbols |
getPkTable | Auth.Biscuit.Symbols |
getPublicKey | Auth.Biscuit.Token, Auth.Biscuit |
getPublicKey' | Auth.Biscuit.Symbols |
getPublicKeyCode | Auth.Biscuit.Symbols |
getPublicKeyRef | Auth.Biscuit.Symbols |
getRevocationIds | Auth.Biscuit.Token, Auth.Biscuit |
getSignatureProof | Auth.Biscuit.Crypto |
getSingleVariableValue | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
getSpan | Auth.Biscuit.Datalog.Parser |
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.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
GreaterThan | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
haskellVariableParser | Auth.Biscuit.Datalog.Parser |
hexParser | Auth.Biscuit.Datalog.Parser |
InFact | Auth.Biscuit.Datalog.AST |
InPredicate | Auth.Biscuit.Datalog.AST |
Intersection | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
InvalidB64Encoding | Auth.Biscuit.Token, Auth.Biscuit |
InvalidBs | Auth.Biscuit.Datalog.Parser |
InvalidHexEncoding | Auth.Biscuit.Token, Auth.Biscuit |
InvalidProof | Auth.Biscuit.Token, Auth.Biscuit |
InvalidProtobuf | Auth.Biscuit.Token, Auth.Biscuit |
InvalidProtobufSer | Auth.Biscuit.Token, Auth.Biscuit |
InvalidPublicKey | Auth.Biscuit.Datalog.Parser |
InvalidRule | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
InvalidSignatures | Auth.Biscuit.Token, Auth.Biscuit |
isCheckOne | Auth.Biscuit.Datalog.AST |
isRevoked | Auth.Biscuit.Token, Auth.Biscuit |
IsWithinSet | Auth.Biscuit.Datalog.AST |
Iterations | Auth.Biscuit.Datalog.ScopedExecutor |
keepAuthorized' | Auth.Biscuit.Datalog.Executor |
l | Auth.Biscuit.Datalog.Parser |
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.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
LessOrEqual | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
LessThan | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
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 |
listPublicKeysInBlock | Auth.Biscuit.Datalog.AST |
listSymbolsInBlock | Auth.Biscuit.Datalog.AST |
LString | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
makeQueryItem | Auth.Biscuit.Datalog.AST |
makeRule | Auth.Biscuit.Datalog.AST |
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 |
maybeToRight | Auth.Biscuit.Utils |
methodParser | Auth.Biscuit.Datalog.Parser |
mkBiscuit | Auth.Biscuit.Token, Auth.Biscuit |
mkBiscuitWith | Auth.Biscuit.Token, Auth.Biscuit |
mkThirdPartyBlock | Auth.Biscuit.Token, Auth.Biscuit |
mkThirdPartyBlockB64 | Auth.Biscuit |
mkThirdPartyBlockReq | Auth.Biscuit.Token, Auth.Biscuit |
mkThirdPartyBlockReqB64 | Auth.Biscuit |
Mul | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
Name | Auth.Biscuit.Datalog.Executor |
name | Auth.Biscuit.Datalog.AST |
Negate | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
NestedSet | Auth.Biscuit.Datalog.Parser |
newSecret | Auth.Biscuit |
newSymbolTable | Auth.Biscuit.Symbols |
NoPoliciesMatched | Auth.Biscuit.Datalog.Executor |
NotWithinSet | Auth.Biscuit.Datalog.AST |
One | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
OnlyAuthority | Auth.Biscuit.Datalog.AST |
Op | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Type/Class) | Auth.Biscuit.Datalog.AST |
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.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
Parens | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
parse | Auth.Biscuit |
parseAuthorizer | Auth.Biscuit.Datalog.Parser |
parseB64 | Auth.Biscuit |
parseBiscuitUnverified | Auth.Biscuit.Token, Auth.Biscuit |
parseBiscuitWith | Auth.Biscuit.Token |
parseBlock | Auth.Biscuit.Datalog.Parser |
ParsedSignedBlock | Auth.Biscuit.Token |
ParseError | Auth.Biscuit.Token, Auth.Biscuit |
parsePublicKey | Auth.Biscuit |
parsePublicKeyHex | Auth.Biscuit |
Parser | Auth.Biscuit.Datalog.Parser |
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 |
parseWithParams | Auth.Biscuit.Datalog.Parser |
pbToBlock | Auth.Biscuit.ProtoBufAdapter |
pbToProof | Auth.Biscuit.ProtoBufAdapter |
pbToSignedBlock | Auth.Biscuit.ProtoBufAdapter |
pbToThirdPartyBlockContents | Auth.Biscuit.ProtoBufAdapter |
pbToThirdPartyBlockRequest | Auth.Biscuit.ProtoBufAdapter |
Pk | Auth.Biscuit.Datalog.AST |
pkBytes | Auth.Biscuit.Crypto |
PkOrSlice | Auth.Biscuit.Datalog.AST |
PkSlice | Auth.Biscuit.Datalog.AST |
Policy | Auth.Biscuit.Datalog.AST |
Policy' | Auth.Biscuit.Datalog.AST |
policyParser | Auth.Biscuit.Datalog.Parser |
policyToEvaluation | Auth.Biscuit.Datalog.AST |
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 |
predicateParser' | Auth.Biscuit.Datalog.Parser |
predicateTermParser | Auth.Biscuit.Datalog.Parser |
PredicateV2 | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
Prefix | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
Previous | Auth.Biscuit.Datalog.AST |
PreviousInAuthorizer | Auth.Biscuit.Datalog.Parser |
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.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
3 (Type/Class) | Auth.Biscuit.Crypto, Auth.Biscuit |
publicKey' | Auth.Biscuit.Example |
publicKeyParser | Auth.Biscuit.Datalog.Parser |
PublicKeyRef | |
1 (Type/Class) | Auth.Biscuit.Symbols |
2 (Data Constructor) | Auth.Biscuit.Symbols |
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 |
Query | Auth.Biscuit.Datalog.AST |
query | Auth.Biscuit.Datalog.Parser, Auth.Biscuit |
Query' | Auth.Biscuit.Datalog.AST |
queryAuthorizerFacts | Auth.Biscuit.Token, Auth.Biscuit |
queryAvailableFacts | Auth.Biscuit.Datalog.ScopedExecutor |
queryGeneratedFacts | Auth.Biscuit.Datalog.ScopedExecutor |
queryHasNoScope | Auth.Biscuit.Datalog.AST |
queryHasNoV4Operators | Auth.Biscuit.Datalog.AST |
QueryItem | Auth.Biscuit.Datalog.AST |
QueryItem' | Auth.Biscuit.Datalog.AST |
queryItemParser | Auth.Biscuit.Datalog.Parser |
queryParser | Auth.Biscuit.Datalog.Parser |
queryRawBiscuitFacts | Auth.Biscuit.Token, Auth.Biscuit |
RawBytes | Auth.Biscuit.Token, Auth.Biscuit |
readEd25519PublicKey | Auth.Biscuit.Crypto |
readEd25519SecretKey | Auth.Biscuit.Crypto |
Regex | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
registerError | Auth.Biscuit.Datalog.Parser |
registerNewPublicKeys | Auth.Biscuit.Symbols |
registerNewSymbols | Auth.Biscuit.Symbols |
renderAuthorizer | Auth.Biscuit.Datalog.AST |
renderBlock | Auth.Biscuit.Datalog.AST |
renderFact | Auth.Biscuit.Datalog.AST |
renderRule | Auth.Biscuit.Datalog.AST |
Repr | Auth.Biscuit.Datalog.AST |
Representation | 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 |
rfc3339DateParser | Auth.Biscuit.Datalog.Parser |
rhead | Auth.Biscuit.Datalog.AST |
rightToMaybe | Auth.Biscuit.Utils |
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 |
ruleBodyParser | Auth.Biscuit.Datalog.Parser |
ruleHasNoScope | Auth.Biscuit.Datalog.AST |
ruleHasNoV4Operators | Auth.Biscuit.Datalog.AST |
ruleParser | Auth.Biscuit.Datalog.Parser |
RuleScope | Auth.Biscuit.Datalog.AST |
RuleScope' | Auth.Biscuit.Datalog.AST |
RuleV2 | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
run | Auth.Biscuit.Datalog.Parser |
runAuthorizer | Auth.Biscuit.Datalog.ScopedExecutor |
runAuthorizerNoTimeout | Auth.Biscuit.Datalog.ScopedExecutor |
runAuthorizerWithLimits | Auth.Biscuit.Datalog.ScopedExecutor |
runFactGeneration | Auth.Biscuit.Datalog.ScopedExecutor |
ScBlock | Auth.Biscuit.Proto |
Scope | Auth.Biscuit.Proto |
scope | Auth.Biscuit.Datalog.AST |
ScopeAuthority | Auth.Biscuit.Proto |
Scoped | Auth.Biscuit.Datalog.Executor |
scopeParser | Auth.Biscuit.Datalog.Parser |
ScopePrevious | Auth.Biscuit.Proto |
ScopeType | Auth.Biscuit.Proto |
ScType | Auth.Biscuit.Proto |
seal | Auth.Biscuit.Token, Auth.Biscuit |
Sealed | Auth.Biscuit.Token, Auth.Biscuit |
SecretKey | Auth.Biscuit.Crypto, Auth.Biscuit |
SemanticError | Auth.Biscuit.Datalog.Parser |
serialize | Auth.Biscuit |
serializeB64 | Auth.Biscuit |
serializeBiscuit | Auth.Biscuit.Token |
serializePublicKey | Auth.Biscuit |
serializePublicKeyHex | Auth.Biscuit |
serializeSecretKey | Auth.Biscuit |
serializeSecretKeyHex | Auth.Biscuit |
setParser | Auth.Biscuit.Datalog.Parser |
SetType | Auth.Biscuit.Datalog.AST |
sigBytes | Auth.Biscuit.Crypto |
sign | Auth.Biscuit.Crypto |
sign3rdPartyBlock | Auth.Biscuit.Crypto |
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 |
signExternalBlock | Auth.Biscuit.Crypto |
skBytes | Auth.Biscuit.Crypto |
Slice | |
1 (Type/Class) | Auth.Biscuit.Datalog.AST |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
SliceType | Auth.Biscuit.Datalog.AST |
Span | Auth.Biscuit.Datalog.Parser |
Sub | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
substituteAuthorizer | Auth.Biscuit.Datalog.AST |
substituteBlock | Auth.Biscuit.Datalog.AST |
substituteCheck | Auth.Biscuit.Datalog.AST |
substituteExpression | Auth.Biscuit.Datalog.AST |
substituteFact | Auth.Biscuit.Datalog.AST |
substitutePolicy | Auth.Biscuit.Datalog.AST |
substitutePredicate | Auth.Biscuit.Datalog.AST |
substitutePTerm | Auth.Biscuit.Datalog.AST |
substituteQuery | Auth.Biscuit.Datalog.AST |
substituteRule | Auth.Biscuit.Datalog.AST |
substituteTerm | Auth.Biscuit.Datalog.AST |
Suffix | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
SymbolRef | |
1 (Type/Class) | Auth.Biscuit.Symbols |
2 (Data Constructor) | Auth.Biscuit.Symbols |
Symbols | Auth.Biscuit.Symbols, Auth.Biscuit.ProtoBufAdapter |
symbols | Auth.Biscuit.Token |
table | Auth.Biscuit.Datalog.Parser |
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 (Type/Class) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
3 (Data Constructor) | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
TermString | Auth.Biscuit.Proto |
TermTermSet | Auth.Biscuit.Proto |
TermV2 | Auth.Biscuit.Proto |
TermVariable | Auth.Biscuit.Proto |
TernaryKind | Auth.Biscuit.Proto |
ThirdPartyBlockContents | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
thirdPartyBlockContentsToPb | Auth.Biscuit.ProtoBufAdapter |
ThirdPartyBlockRequest | |
1 (Type/Class) | Auth.Biscuit.Proto |
2 (Data Constructor) | Auth.Biscuit.Proto |
thirdPartyBlockRequestToPb | Auth.Biscuit.ProtoBufAdapter |
Timeout | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
timer | Auth.Biscuit.Timer |
ToEvaluation | Auth.Biscuit.Datalog.AST |
toEvaluation | Auth.Biscuit.Datalog.AST |
TooManyFacts | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
TooManyIterations | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
toPossibleProofs | Auth.Biscuit.Token |
toPublic | Auth.Biscuit.Crypto, Auth.Biscuit |
toRepresentation | Auth.Biscuit.Datalog.AST |
toScopedFacts | Auth.Biscuit.Datalog.Executor |
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 |
unaryMethodParser | Auth.Biscuit.Datalog.Parser |
unaryParens | Auth.Biscuit.Datalog.Parser |
UnboundVariables | Auth.Biscuit.Datalog.Parser |
Union | |
1 (Data Constructor) | Auth.Biscuit.Proto |
2 (Data Constructor) | 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 |
valueToSetTerm | Auth.Biscuit.Datalog.AST |
Variable | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
variableParser | Auth.Biscuit.Datalog.Parser |
VariableType | Auth.Biscuit.Datalog.AST |
VarInFact | Auth.Biscuit.Datalog.Parser |
VarInSet | Auth.Biscuit.Datalog.Parser |
vBlock | Auth.Biscuit.Datalog.AST |
verification | Auth.Biscuit.Example |
Verified | Auth.Biscuit.Token, Auth.Biscuit |
verifyBlocks | Auth.Biscuit.Crypto |
VerifyEd25519Signature | Auth.Biscuit.Proto |
verifyExternalSig | Auth.Biscuit.Crypto |
verifySecretProof | Auth.Biscuit.Crypto |
verifySignatureProof | Auth.Biscuit.Crypto |
VOp | Auth.Biscuit.Datalog.AST |
vPolicies | Auth.Biscuit.Datalog.AST |
WithinSet | Auth.Biscuit.Datalog.AST |
WithSlices | Auth.Biscuit.Datalog.AST |