aarondb/engine/solver/positive

Values

negative

pub fn negative(
  db_state: state.DbState,
  triple: #(ast.Part, String, ast.Part),
  ctx: dict.Dict(String, fact.Value),
  as_of_tx: option.Option(Int),
  as_of_valid: option.Option(Int),
) -> List(dict.Dict(String, fact.Value))

positive

pub fn positive(
  db_state: state.DbState,
  triple: #(ast.Part, String, ast.Part),
  ctx: dict.Dict(String, fact.Value),
  as_of_tx: option.Option(Int),
  as_of_valid: option.Option(Int),
) -> List(dict.Dict(String, fact.Value))

positive_with_state

pub fn positive_with_state(
  db_state: state.DbState,
  triple: #(ast.Part, String, ast.Part),
  ctx: dict.Dict(String, fact.Value),
  as_of_tx: option.Option(Int),
  as_of_valid: option.Option(Int),
) -> #(
  List(dict.Dict(String, fact.Value)),
  option.Option(dict.Dict(String, List(internal.StorageChunk))),
)

✨