package dolmen_loop

  1. Overview
  2. Docs

Solver State

This module defines various interfaces for states used in main loops of solvers (or other binaries) using dolmen.

Useful type aliases

type source = [
  1. | `Stdin
  2. | `File of string
  3. | `Raw of string * string
]
type phase = [
  1. | `Parsing
  2. | `Include
  3. | `Typing
  4. | `Solving
]
type mode = [
  1. | `Full
  2. | `Incremental
]

Signatures

module type Pipeline = sig ... end

This modules defines the smallest signatures for a solver state that allow to instantiate the Pipeline.Make functor.

module type Parser_pipe = sig ... end

This modules defines the smallest signatures for a solver state that allow to instantiate the Parser.Pipe functor.

module type Typer = sig ... end

This modules defines the smallest signatures for a solver state that allow to instantiate the Typer.Make functor.

module type Typer_pipe = sig ... end

This modules defines the smallest signatures for a solver state that allow to instantiate the Typer.Pipe functor.

module type Header_pipe = sig ... end

This modules defines the smallest signatures for a solver state that allow to instantiate the Headers.Pipe functor.