Skip to main content

Crate shifty_parse

Crate shifty_parse 

Source
Expand description

RDF shapes graph -> formalism IR lowering (Layer 2).

parse_turtle reads a SHACL shapes graph and lowers all supported Core + AF vocabulary into the shifty_algebra::Schema IR, applying every sugar rule from docs/01-gap-analysis.md. Unsupported custom components, JS, and richer AF constructs produce Diagnostics rather than silent wrong answers.

Re-exports§

pub use diagnostics::DiagLevel;
pub use diagnostics::Diagnostic;
pub use diagnostics::ParseError;
pub use graph::Loaded;
pub use graph::RdfFormat;

Modules§

diagnostics
Parse/lowering diagnostics. Unsupported constructs are reported here rather than silently dropped (gap-analysis principle: never a silent wrong answer).
graph
Loading an RDF graph from Turtle and convenience accessors over it.
lower
Lower a loaded shapes graph into the formalism Schema.
path
Parse a sh:path value into the Path algebra (gap-analysis P1 for the oneOrMore/zeroOrOne sugar).
vocab
IRI constants for the SHACL, RDF, and RDFS vocabularies.

Structs§

ParseOutput
The result of lowering a shapes graph.

Functions§

load_ntriples
load_turtle
Load a Turtle shapes graph (for inspecting the raw RDF stage).
parse_loaded
Lower an already-loaded graph into the algebra IR.
parse_turtle
Parse and lower a Turtle shapes graph into the algebra IR.