Packages

aarondb

2.4.0
2.4.5 2.4.0

A high-performance, analytical Datalog engine for Gleam

HexDocs

Current section

Files

Jump to
Readme
2 Versions
12 Dependencies
Dependants
Files
Activity
aarondb src aarondb@engine@solver_context.erl
Raw

src/aarondb@engine@solver_context.erl 

-module(aarondb@engine@solver_context).

-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch, inline]).

-define(FILEPATH, "src/aarondb/engine/solver_context.gleam").

-export_type([solver_context/0]).



-type solver_context() :: {solver_context,

        aarondb@shared@state:db_state(),

        list(aarondb@shared@ast:rule()),

        gleam@set:set(aarondb@fact:datom()),

        gleam@option:option(integer()),

        gleam@option:option(integer())}.