Crate cedar_policy_core

Source
Expand description

Implementation of the Cedar parser and evaluation engine in Rust.

Modules§

  • ast
    This module contains the AST datatypes.
  • authorizer
    This module contains the Cedar “authorizer”, which implements the actual authorization logic.
  • entities
    This module contains the Entities type and related functionality.
  • est
    This module contains the External Syntax Tree (EST)
  • evaluator
    This module contains the Cedar evaluator.
  • extensions
    This module contains all of the standard Cedar extensions.
  • fuzzy_match
    This module provides the fuzzy matching utility used to make suggestions when encountering unknown values in entities, functions, etc.
  • jsonvalue
    This module provides general-purpose JSON utilities not specific to Cedar.
  • parser
    This module contains the parser for the Cedar language.
  • transitive_closure
    Module containing code to compute the transitive closure of a graph. This is a generic utility, and not specific to Cedar.

Macros§

  • impl_diagnostic_from_expr_field
    Macro which implements the .labels() and .source_code() methods of miette::Diagnostic by using the parameter $i which must be an Expr (or Box<Expr>) type field.
  • impl_diagnostic_from_source_loc_field
    Macro which implements the .labels() and .source_code() methods of miette::Diagnostic by using the parameter $i which must be the name of a field of type Loc
  • impl_diagnostic_from_source_loc_opt_field
    Macro which implements the .labels() and .source_code() methods of miette::Diagnostic by using the parameter $i which must be the name of a field of type Option<Loc>
  • impl_diagnostic_from_two_source_loc_fields
    Macro which implements the .labels() and .source_code() methods of miette::Diagnostic by using the parameters $i and $j which must be names of fields of type Loc. Both locations will be underlined. It is assumed they have the same src.
  • impl_diagnostic_from_two_source_loc_opt_fields
    Macro which implements the .labels() and .source_code() methods of miette::Diagnostic by using the parameters $i and $j which must be the names of fields of type Option<Loc>. Both locations will be underlined, if both locs are present. It is assumed that both locs have the same src, if both locs are present.

Traits§