READMEMilky2018/diago/ir does not have a README file
#Composite
Composite values (Array or Map)
#Edge
An edge in the IR
#Edge::new
#EdgeID
pub struct EdgeID {
src_path : Array[String]
src_path_syntax : Array[StringValue]
src_arrow : Bool
dst_path : Array[String]
dst_path_syntax : Array[StringValue]
dst_arrow : Bool
index : Int?
glob : Bool
} derive(Eq, Debug)Unique identifier for an edge
#EdgeID::matches
Check if this EdgeID matches another (for queries)
#EdgeID::new
fn EdgeID::new(src_path : Array[String], dst_path : Array[String], src_arrow : Bool, dst_arrow : Bool, src_path_syntax? : Array[StringValue]?, dst_path_syntax? : Array[StringValue]?) -> EdgeID#EdgeID::with_glob
fn EdgeID::with_glob(src_path : Array[String], dst_path : Array[String], src_arrow : Bool, dst_arrow : Bool, src_path_syntax? : Array[StringValue]?, dst_path_syntax? : Array[StringValue]?) -> EdgeID#EdgeID::with_index
fn EdgeID::with_index(src_path : Array[String], dst_path : Array[String], src_arrow : Bool, dst_arrow : Bool, index : Int, src_path_syntax? : Array[StringValue]?, dst_path_syntax? : Array[StringValue]?) -> EdgeID#EdgeReference
pub struct EdgeReference {
range : Range
edge : Edge?
context : RefContext?
edge_index : Int
primary : Bool
due_to_glob : Bool
due_to_lazy_glob : Bool
} derive(Eq, Debug)Reference to an edge from the AST
#EdgeReference::from_ast
fn EdgeReference::from_ast(edge : Edge, edge_index : Int, primary : Bool, context : RefContext, due_to_glob? : Bool, due_to_lazy_glob? : Bool) -> EdgeReference#EdgeReference::new
#Field
pub struct Field {
name : String
name_syntax : StringValue?
primary : Scalar?
composite : Composite?
references : Array[FieldReference]
import_ast : Node?
path : NodePath?
} derive(Eq, Debug)A field in the IR map
#Field::array
Get the array composite if this field has one
#Field::has_composite
Check if this field has a composite value
#Field::has_primary
Check if this field has a primary value
#Field::new
fn Field::new(name : String, primary : Scalar?, composite : Composite?, references : Array[FieldReference], name_syntax? : StringValue?) -> Field#FieldReference
pub struct FieldReference {
range : Range
string : String
syntax : StringValue?
key_path : KeyPath?
context : RefContext?
key_path_index : Int
primary : Bool
due_to_glob : Bool
due_to_lazy_glob : Bool
} derive(Eq, Debug)Reference to a field from the AST
#FieldReference::from_ast
fn FieldReference::from_ast(syntax : StringValue, key_path : KeyPath, key_path_index : Int, primary : Bool, context : RefContext, due_to_glob? : Bool, due_to_lazy_glob? : Bool) -> FieldReference#FieldReference::new
fn FieldReference::new(range : Range, string : String, key_path_index : Int, primary : Bool) -> FieldReference#FilterContext
Filter context for evaluating ampersand filters
#IRArray
An array of values
#IRArray::from_ast
#ImportResolver
pub struct ImportResolver((String) -> String?)Import resolver function type
Takes an import path and returns the file content, or None if not found
#ImportResolver::new
Create a new import resolver from a function
#Map
An IR Map containing fields and edges
#Map::apply_glob_properties
Apply properties to fields matching a glob pattern
If filters are provided, only apply to fields that pass all filters
#Map::delete_field
Delete a field by name, returning it if found
#Map::double_glob
Collect all fields matching a double glob (**) pattern
This recursively collects all descendant fields except board keywords
#Map::ensure_field
Get or create a field by name
#Map::ensure_field_by_syntax
#Map::find_edges
Find edges matching an EdgeID
#Map::get_field
Get a field by name (case-insensitive)
#Map::get_field_by_syntax
#Map::has_field
Check if map has a field with given name
#Map::multi_glob
Collect fields matching a multi-glob pattern (** or ***)
Returns (fields, is_glob_pattern)
#Map::overlay
Return a detached map created by overlaying overlay onto self.
#Map::single_glob
Collect fields at one level matching a single glob pattern
#Node
Boxed IR node for generic traversal.
#NodePath
#NodePathSegment
Stable path to an IR node inside a compiled map.
#RefContext
Reference context for a field or edge reference.
#RefContext::new
#Reference
Boxed reference for generic traversal.
#Scalar
A scalar value in the IR.
Scalars carry a source range for error reporting and reference tracking.
#Scalar::as_bool
Get boolean value if this is a boolean
#Scalar::as_string_value
Get underlying string value (including block-string metadata) if present
#Scalar::block_string_tag
Get block-string language tag if this scalar is a block string
#Scalar::from_ast
#ScalarValue
Types of scalar values
#Value
Value types in IR
#compile_with_imports
Compile an AST Map with import resolution
#evaluate_filter
Evaluate a filter condition against a field
Returns true if the field passes the filter
#is_board_keyword
fn is_board_keyword(name : String) -> BoolCheck if a keyword is a board keyword
#is_double_glob
Check if pattern represents a double glob ()
Parser stores ** as ["", "", ""]
#is_reserved_keyword
fn is_reserved_keyword(name : String) -> BoolCheck if a keyword is reserved
#is_triple_glob
Check if pattern represents a triple glob ()
Parser stores *** as ["", "", "", "", ""]
A diagram toolkit for MoonBit with Dagre, ELK, and Railway layout engines, rendering SVG, ASCII, and Unicode outputs.
graph
0.3.2
Apache-2.0
Updated 4 days ago
12K downloadsDependencies
- moonbitlang/x0.4.49
- Milky2018/xml0.4.0
- moonbit-community/cmark0.4.5
- Milky2018/moon_yazi0.1.3
- gmlewis/flate0.36.11
- gmlewis/io0.23.14
- gmlewis/zlib0.21.11
- Milky2018/moon_elk0.2.3
- moonbit-community/moon_dagre0.3.1
- moonbitlang/async0.20.5