package codept-lib

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Solver.Directed`Source

Alternative solver

module Envt : Stage.envt

module Param : Stage.param

module Eval : Stage.outliner with type envt := Envt.t

Sourcetype state

Sourceval eq : state -> state -> bool

Compare if two states would lead to the same result for the solver (weak equality?).

Sourceval wip : state -> Eval.on_going i list

Sourceval end_result : state -> Envt.t * Unit.r list

Sourcetype gen = Namespaced.t -> Unit.s option Unit.pair

Sourceval alias_resolver : state -> Failure.alias_resolver

Resolve current aliases

Sourceval blocker : Eval.on_going Failure.blocker

expose current blocker on an on_going element

Sourcetype entry = Read.kind * string * Namespaced.t

Sourcetype loader = entry -> Unit.s

Sourceval generator : loader -> entry list -> gen

Generate unit files when needed from a loading function and a list of files

Sourceval start : loader -> entry list -> Envt.t -> Namespaced.t list -> state

Sourceval eval : state -> Eval.on_going i -> (state, state) result

Sourceval solve_once : state -> (Envt.t * Unit.r list, state) result

Sourceval approx_and_try_harder : state -> state

val solve : 
  loader ->
  entry list ->
  Envt.t ->
  Namespaced.t list ->
  Envt.t * Unit.r list