Crate nightjar_lang 

Nightjar Language is a declarative, prefix-notation DSL for formal verification of structured data.

Re-exports

pub use error::ErrorCode;

pub use error::NightjarLanguageError;

pub use error::Span;

pub use language::grammar::BoolExpr;

pub use language::grammar::FuncOp;

pub use language::grammar::Keyword;

pub use language::grammar::Literal;

pub use language::grammar::Predicate;

pub use language::grammar::Program;

pub use language::grammar::QuantifierOp;

pub use language::grammar::Spanned;

pub use language::grammar::SpannedBoolExpr;

pub use language::grammar::SpannedValueExpr;

pub use language::grammar::UnaryCheckOp;

pub use language::grammar::ValueExpr;

pub use language::grammar::VerifierOp;

pub use language::parser::parse;

pub use language::parser::parse_with_config;

pub use language::parser::ParserConfig;

pub use context::entity::Entity;

pub use context::entity::TypeTag;

pub use executor::exec_entity;

pub use executor::ExecOptions;

pub use executor::ExecResult;

pub use symbol_table::SymbolTable;

pub use executor::exec;

Modules

context

Context module root.

error

Error module

executor

Core executor.

language

Language module root.

symbol_table

Symbol table.