| Copyright | © Clément Delafargue 2021 |
|---|---|
| License | MIT |
| Maintainer | clement@delafargue.name |
| Safe Haskell | None |
| Language | Haskell2010 |
Auth.Biscuit.Datalog.AST
Description
The Datalog elements
Synopsis
- data Binary
- = LessThan
- | GreaterThan
- | LessOrEqual
- | GreaterOrEqual
- | Equal
- | Contains
- | Prefix
- | Suffix
- | Regex
- | Add
- | Sub
- | Mul
- | Div
- | And
- | Or
- | Intersection
- | Union
- type Block = Block' 'RegularString
- data Block' (ctx :: ParsedAs) = Block {}
- data BlockElement' ctx
- = BlockFact (Predicate' 'InFact ctx)
- | BlockRule (Rule' ctx)
- | BlockCheck (Check' ctx)
- | BlockComment
- type Check = Query
- type Check' ctx = Query' ctx
- type Expression = Expression' 'RegularString
- data Expression' (ctx :: ParsedAs)
- = EValue (ID' 'NotWithinSet 'InPredicate ctx)
- | EUnary Unary (Expression' ctx)
- | EBinary Binary (Expression' ctx) (Expression' ctx)
- type Fact = Predicate' 'InFact 'RegularString
- type ID = ID' 'NotWithinSet 'InPredicate 'RegularString
- data ID' (inSet :: IsWithinSet) (pof :: PredicateOrFact) (ctx :: ParsedAs)
- data IsWithinSet
- data Op
- data ParsedAs
- type Policy = (PolicyType, Query)
- type Policy' ctx = (PolicyType, Query' ctx)
- data PolicyType
- type Predicate = Predicate' 'InPredicate 'RegularString
- data Predicate' (pof :: PredicateOrFact) (ctx :: ParsedAs) = Predicate {
- name :: Text
- terms :: [ID' 'NotWithinSet pof ctx]
- data PredicateOrFact
- type QQID = ID' 'NotWithinSet 'InPredicate 'QuasiQuote
- type Query = Query' 'RegularString
- type Query' ctx = [QueryItem' ctx]
- data QueryItem' ctx = QueryItem {
- qBody :: [Predicate' 'InPredicate ctx]
- qExpressions :: [Expression' ctx]
- type Rule = Rule' 'RegularString
- data Rule' ctx = Rule {
- rhead :: Predicate' 'InPredicate ctx
- body :: [Predicate' 'InPredicate ctx]
- expressions :: [Expression' ctx]
- type family SetType (inSet :: IsWithinSet) (ctx :: ParsedAs) where ...
- newtype Slice = Slice String
- type family SliceType (ctx :: ParsedAs) where ...
- data Unary
- type Value = ID' 'NotWithinSet 'InFact 'RegularString
- type family VariableType (inSet :: IsWithinSet) (pof :: PredicateOrFact) where ...
- type Verifier = Verifier' 'RegularString
- data Verifier' (ctx :: ParsedAs) = Verifier {}
- data VerifierElement' ctx
- = VerifierPolicy (Policy' ctx)
- | BlockElement (BlockElement' ctx)
- elementToBlock :: BlockElement' ctx -> Block' ctx
- elementToVerifier :: VerifierElement' ctx -> Verifier' ctx
- fromStack :: [Op] -> Either String Expression
- listSymbolsInBlock :: Block' 'RegularString -> Set Text
- renderBlock :: Block -> Text
- renderFact :: Fact -> Text
- renderRule :: Rule' 'RegularString -> Text
- toSetTerm :: Value -> Maybe (ID' 'WithinSet 'InFact 'RegularString)
- toStack :: Expression -> [Op]
Documentation
Constructors
| LessThan | |
| GreaterThan | |
| LessOrEqual | |
| GreaterOrEqual | |
| Equal | |
| Contains | |
| Prefix | |
| Suffix | |
| Regex | |
| Add | |
| Sub | |
| Mul | |
| Div | |
| And | |
| Or | |
| Intersection | |
| Union |
type Block = Block' 'RegularString Source #
A biscuit block, containing facts, rules and checks.
Block has a Monoid instance, this is the expected way
to build composite blocks (eg if you need to generate a list of facts):
-- build a block containing a list of facts `value("a"); value("b"); value("c");`.
foldMap (\v -> [block| value(${v}) |]) ["a", "b", "c"]data Block' (ctx :: ParsedAs) Source #
A biscuit block, that may or may not contain slices referencing haskell variables
Constructors
| Block | |
data BlockElement' ctx Source #
Constructors
| BlockFact (Predicate' 'InFact ctx) | |
| BlockRule (Rule' ctx) | |
| BlockCheck (Check' ctx) | |
| BlockComment |
Instances
| (Show (Predicate' 'InFact ctx), Show (Rule' ctx), Show (QueryItem' ctx)) => Show (BlockElement' ctx) Source # | |
Defined in Auth.Biscuit.Datalog.AST Methods showsPrec :: Int -> BlockElement' ctx -> ShowS # show :: BlockElement' ctx -> String # showList :: [BlockElement' ctx] -> ShowS # | |
type Expression = Expression' 'RegularString Source #
data Expression' (ctx :: ParsedAs) Source #
Constructors
| EValue (ID' 'NotWithinSet 'InPredicate ctx) | |
| EUnary Unary (Expression' ctx) | |
| EBinary Binary (Expression' ctx) (Expression' ctx) |
Instances
type Fact = Predicate' 'InFact 'RegularString Source #
type ID = ID' 'NotWithinSet 'InPredicate 'RegularString Source #
In a regular AST, slices have already been eliminated
data ID' (inSet :: IsWithinSet) (pof :: PredicateOrFact) (ctx :: ParsedAs) Source #
A single datalog item. | This can be a value, a set of items, or a slice (a value that will be injected later), | depending on the context
Constructors
| Symbol Text | A symbol (eg. |
| Variable (VariableType inSet pof) | A variable (eg. |
| LInteger Int | An integer literal (eg. |
| LString Text | A string literal (eg. |
| LDate UTCTime | A date literal (eg. |
| LBytes ByteString | A hex literal (eg. |
| LBool Bool | A bool literal (eg. |
| Antiquote (SliceType ctx) | A slice (eg. |
| TermSet (SetType inSet ctx) | A set (eg. |
Instances
| (Lift (VariableType inSet pof), Lift (SetType inSet ctx), Lift (SliceType ctx)) => Lift (ID' inSet pof ctx :: Type) Source # | |
| (Eq (VariableType inSet pof), Eq (SliceType ctx), Eq (SetType inSet ctx)) => Eq (ID' inSet pof ctx) Source # | |
| (Ord (VariableType inSet pof), Ord (SliceType ctx), Ord (SetType inSet ctx)) => Ord (ID' inSet pof ctx) Source # | |
Defined in Auth.Biscuit.Datalog.AST Methods compare :: ID' inSet pof ctx -> ID' inSet pof ctx -> Ordering # (<) :: ID' inSet pof ctx -> ID' inSet pof ctx -> Bool # (<=) :: ID' inSet pof ctx -> ID' inSet pof ctx -> Bool # (>) :: ID' inSet pof ctx -> ID' inSet pof ctx -> Bool # (>=) :: ID' inSet pof ctx -> ID' inSet pof ctx -> Bool # max :: ID' inSet pof ctx -> ID' inSet pof ctx -> ID' inSet pof ctx # min :: ID' inSet pof ctx -> ID' inSet pof ctx -> ID' inSet pof ctx # | |
| (Show (VariableType inSet pof), Show (SliceType ctx), Show (SetType inSet ctx)) => Show (ID' inSet pof ctx) Source # | |
data IsWithinSet Source #
Constructors
| NotWithinSet | |
| WithinSet |
Constructors
| RegularString | |
| QuasiQuote |
type Policy = (PolicyType, Query) Source #
type Policy' ctx = (PolicyType, Query' ctx) Source #
data PolicyType Source #
Instances
| Eq PolicyType Source # | |
Defined in Auth.Biscuit.Datalog.AST | |
| Ord PolicyType Source # | |
Defined in Auth.Biscuit.Datalog.AST Methods compare :: PolicyType -> PolicyType -> Ordering # (<) :: PolicyType -> PolicyType -> Bool # (<=) :: PolicyType -> PolicyType -> Bool # (>) :: PolicyType -> PolicyType -> Bool # (>=) :: PolicyType -> PolicyType -> Bool # max :: PolicyType -> PolicyType -> PolicyType # min :: PolicyType -> PolicyType -> PolicyType # | |
| Show PolicyType Source # | |
Defined in Auth.Biscuit.Datalog.AST Methods showsPrec :: Int -> PolicyType -> ShowS # show :: PolicyType -> String # showList :: [PolicyType] -> ShowS # | |
| Lift PolicyType Source # | |
Defined in Auth.Biscuit.Datalog.AST | |
type Predicate = Predicate' 'InPredicate 'RegularString Source #
data Predicate' (pof :: PredicateOrFact) (ctx :: ParsedAs) Source #
Instances
data PredicateOrFact Source #
Constructors
| InPredicate | |
| InFact |
type QQID = ID' 'NotWithinSet 'InPredicate 'QuasiQuote Source #
In an AST parsed from a QuasiQuoter, there might be references to haskell variables
type Query = Query' 'RegularString Source #
type Query' ctx = [QueryItem' ctx] Source #
data QueryItem' ctx Source #
Constructors
| QueryItem | |
Fields
| |
Instances
type Rule = Rule' 'RegularString Source #
Constructors
| Rule | |
Fields
| |
Instances
| (Lift (Predicate' 'InPredicate ctx), Lift (Expression' ctx)) => Lift (Rule' ctx :: Type) Source # | |
| (Eq (Predicate' 'InPredicate ctx), Eq (Expression' ctx)) => Eq (Rule' ctx) Source # | |
| (Ord (Predicate' 'InPredicate ctx), Ord (Expression' ctx)) => Ord (Rule' ctx) Source # | |
| (Show (Predicate' 'InPredicate ctx), Show (Expression' ctx)) => Show (Rule' ctx) Source # | |
type family SetType (inSet :: IsWithinSet) (ctx :: ParsedAs) where ... Source #
type family SliceType (ctx :: ParsedAs) where ... Source #
Equations
| SliceType 'RegularString = Void | |
| SliceType 'QuasiQuote = Slice |
type Value = ID' 'NotWithinSet 'InFact 'RegularString Source #
A term that is not a variable
type family VariableType (inSet :: IsWithinSet) (pof :: PredicateOrFact) where ... Source #
Equations
| VariableType 'NotWithinSet 'InPredicate = Text | |
| VariableType inSet pof = Void |
type Verifier = Verifier' 'RegularString Source #
A biscuit verifier, containing, facts, rules, checks and policies
data Verifier' (ctx :: ParsedAs) Source #
The context in which a biscuit policies and checks are verified. A verifier may add policies (`deny if` / `allow if` conditions), as well as rules, facts, and checks. A verifier may or may not contain slices referencing haskell variables.
Constructors
| Verifier | |
Instances
data VerifierElement' ctx Source #
Constructors
| VerifierPolicy (Policy' ctx) | |
| BlockElement (BlockElement' ctx) |
Instances
| (Show (Predicate' 'InFact ctx), Show (Rule' ctx), Show (QueryItem' ctx)) => Show (VerifierElement' ctx) Source # | |
Defined in Auth.Biscuit.Datalog.AST Methods showsPrec :: Int -> VerifierElement' ctx -> ShowS # show :: VerifierElement' ctx -> String # showList :: [VerifierElement' ctx] -> ShowS # | |
elementToBlock :: BlockElement' ctx -> Block' ctx Source #
elementToVerifier :: VerifierElement' ctx -> Verifier' ctx Source #
listSymbolsInBlock :: Block' 'RegularString -> Set Text Source #
renderBlock :: Block -> Text Source #
renderFact :: Fact -> Text Source #
renderRule :: Rule' 'RegularString -> Text Source #
toStack :: Expression -> [Op] Source #