Struct jaq_core::Definitions

pub struct Definitions(_);

Link names and arities to corresponding filters.

For example, if we define a filter def map(f): [.[] | f], then the definitions will associate map/1 to its definition.

Implementations

impl Definitions

pub fn core() -> Self

Start out with only core filters, such as length, type, …

Does not import filters from the standard library, such as map.

pub fn insert(&mut self, def: Def, errs: &mut Vec<Error>)

Import a parsed definition, such as obtained from the standard library.

Errors that might occur include undefined variables, for example.

pub fn finish(self, (defs, body): Main, errs: &mut Vec<Error>) -> Filter

Given a main filter (consisting of definitions and a body), return a finished filter.