Auth.Biscuit.Datalog.Parser

Documentation

block :: QuasiQuoter

Quasiquoter for a block expression. You can reference haskell variables like this: ${variableName}.

A typical use of block looks like this:

[block|
  resource(#authority, ${fileName});
  rule($variable) <- fact($value), other_fact($value);
  check if operation(#ambient, #read);
|]

check :: QuasiQuoter

Quasiquoter for a check expression. You can reference haskell variables like this: ${variableName}.

You most likely want to directly use block or verifier instead.

fact :: QuasiQuoter

Quasiquoter for a fact expression. You can reference haskell variables like this: ${variableName}.

You most likely want to directly use block or verifier instead.

predicate :: QuasiQuoter

Quasiquoter for a predicate expression. You can reference haskell variables like this: ${variableName}.

You most likely want to directly use block or verifier instead.

rule :: QuasiQuoter

Quasiquoter for a rule expression. You can reference haskell variables like this: ${variableName}.

You most likely want to directly use block or verifier instead.

verifier :: QuasiQuoter

Quasiquoter for a verifier expression. You can reference haskell variables like this: ${variableName}.

A typical use of block looks like this:

[verifier|
  current_time(#ambient, ${now});
  allow if resource(#authority, "file1");
  deny if true;
|]

checkParser :: HasParsers 'InPredicate ctx => Parser (Check' ctx)

expressionParser :: HasParsers 'InPredicate ctx => Parser (Expression' ctx)

policyParser :: HasParsers 'InPredicate ctx => Parser (Policy' ctx)

predicateParser :: HasParsers pof ctx => Parser (Predicate' pof ctx)

ruleParser :: HasParsers 'InPredicate ctx => Parser (Rule' ctx)

termParser :: forall inSet pof ctx. HasTermParsers inSet pof ctx => Parser (ID' inSet pof ctx)

verifierParser :: (HasParsers 'InPredicate ctx, HasParsers 'InFact ctx, Show (VerifierElement' ctx)) => Parser (Verifier' ctx)

type HasParsers pof ctx = HasTermParsers 'NotWithinSet pof ctx

type HasTermParsers inSet pof ctx = (ConditionalParse (SliceType 'QuasiQuote) (SliceType ctx), ConditionalParse (VariableType 'NotWithinSet 'InPredicate) (VariableType inSet pof), SetParser inSet ctx)