package codept-lib

  1. Overview
  2. Docs
package codept-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Solver.DirectedSource

Alternative solver

Parameters

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

Signature

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

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 solve_once : state -> (Envt.t * Unit.r list, state) result
Sourceval approx_and_try_harder : state -> state
Sourceval solve : loader -> entry list -> Envt.t -> Namespaced.t list -> Envt.t * Unit.r list