Crate mycroft

mycroft is an in-memory, Datalog + callbacks library.

Currently, all it can do is parse predicates.

mycroft is in work-in-progress status, and is not even suitable for experimental use.

Modules

ast

The ast module defines the parsed form of the Mycroft language.

codegen

codegen contains code related to producing Rust code with the relevant data structures. It would be difficult to avoid generating code due to type-level decisions in terms of what data structures and APIs to provide.

ir

The IR module describes the internal representation of the program. Transformation into the IR will also check the AST for validity, so errors may be returned in some cases.

parse

Provides parsing functions for the Mycroft language.