jaredzhou/mooncedar/parser

README
U
Condition
U
Context
U
Entity
U
EntityType
U
EntityUID
U
EntityUIDEntry
U
EvalError
U
Expr
U
ParseError
U
PartialValue
U
Policy
U
PolicyEffect
U
Request
U
ScopeConstraint
U
Type
U
Value
T
AuthorizationResult
T
Decision
T
DecisionRecord
T
DiagnosticError
T
DiagnosticReason
T
MapEntityStore
- ::concretizePartialAuthorizationAnswer::concretize
- ::reauthorizePartialAuthorizationAnswer::reauthorize
- ::to_requestRequestJSON::to_request
T
ResidualRecord
V
action
V
bool
V
cedar_entity_from_json
V
cedar_value_from_json
V
cedar_value_from_object
V
context
V
default_policy
V
entity_type
V
entity_uid
V
euid
V
eval_expr
V
evaluate
V
ext_call
V
if_
V
is_authorized
V
is_empty
V
long
V
neg
V
new_map_store
V
not_
V
parse_policies
V
principal
V
record
V
resource
V
set
V
str
V
stringify
V
stringify_expr
V
to_request_json
V
unknown
V
value_to_expr

jaredzhou/mooncedar/parser does not have a README file

ParseError

pub(all) suberror ParseError {
  ParseError(String, @jaredzhou/mooncedar/ast.Position
Position)
} derive(@moonbitlang/core/debug.Debug
Debug)

Keyword

source

pub(all) enum Keyword {
  Permit
  Forbid
  When
  Unless
  In
  Has
  Like
  Is
  If
  Then
  Else
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Reserved keywords — matched by the lexer before user identifiers. principal/action/resource/context are NOT keywords; they are Lower(...) since they can appear as user identifiers.

impl Show for Keyword

Operator

source

pub(all) enum Operator {
  Add
  Sub
  Mul
  Eq
  Ne
  Lt
  Gt
  Le
  Ge
  And
  Or
  Not
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

impl Show for Operator

Token

source

pub(all) struct Token {
  kind : TokenKind
  pos : @jaredzhou/mooncedar/ast.Position
Position
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Token::new

source

fn Token::new(kind : TokenKind, pos : @jaredzhou/mooncedar/ast.Position
Position) -> Token

TokenKind

source

pub(all) enum TokenKind {
  Bool(Bool)
  Int(Int64)
  String(String)
  Ident(String)
  Keyword(Keyword)
  Op(Operator)
  Bracket(Char)
  Symbol(String)
  Unknown
  EOF
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

impl Show for TokenKind

parse_expr

source

fn parse_expr(tokens : ArrayView[Token]) -> (@jaredzhou/mooncedar/ast.Expr
Expr, ArrayView[Token]) raise ParseError

parse_policies

source

fn parse_policies(src : String) -> Array[@jaredzhou/mooncedar/ast.Policy
Policy] raise ParseError

Parse one or more Cedar policies from source text. Each policy is validated immediately after parsing.

stringify

source

fn stringify(p : @jaredzhou/mooncedar/ast.Policy
Policy) -> String

Convert Policy to Cedar source text.

stringify_expr

source

fn stringify_expr(e : @jaredzhou/mooncedar/ast.Expr
Expr) -> String

Convert Expr to Cedar source text.

tokenize

source

fn tokenize(code : String, filename? : String) -> Array[Token]

Source Files

Site source Report issue Packages Build queue Skills Statistics

#ParseError

#Keyword

#Operator

#Token

#Token::new

#TokenKind

#parse_expr

#parse_policies

#stringify

#stringify_expr

#tokenize

Source Files

ParseError

Keyword

Operator

Token

Token::new

TokenKind

parse_expr

parse_policies

stringify

stringify_expr

tokenize