mdx 1.3.0 · OCaml Package

Code blocks.

type cram_value = {

pad : int;
tests : Cram.t list;

}

type value =

| Raw
| OCaml
| Error of string list
| Cram of cram_value
| Toplevel of Toplevel.t list

The type for block values.

type section = int * string

The type for sections.

type t = {

line : int;
file : string;
section : section option;
labels : (string * ([ `Eq | `Neq | `Le | `Lt | `Ge | `Gt ] * string) option) list;
header : string option;
contents : string list;
value : value;

}

The type for supported code blocks.

val empty : t

empty is the empty block.

Printers

val dump : t Fmt.t

dump is the printer for dumping code blocks. Useful for debugging.

val pp_header : ?syntax:Mdx__.Syntax.t -> t Fmt.t

pp_header pretty-prints block headers.

val pp_contents : ?syntax:Mdx__.Syntax.t -> t Fmt.t

pp_contents pretty-prints block contents.

val pp_footer : ?syntax:Mdx__.Syntax.t -> unit Fmt.t

pp_footer pretty-prints block footer.

val pp : ?syntax:Mdx__.Syntax.t -> t Fmt.t

pp pretty-prints blocks.

val pp_line_directive : (string * int) Fmt.t

pp_line_directive pretty-prints a line directive given as a filename and line number.

Accessors

val mode : t -> [ `Non_det of [ `Command | `Output ] | `Normal ]

mode t is t's mode.

val directory : t -> string option

directory t is the directory where t tests should be run.

val source_trees : t -> string list

source_trees t is the list of extra source-trees to add as dependency of the code-block.

val file : t -> string option

file t is the name of the file to synchronize t with.

val part : t -> string option

part t is the part of the file to synchronize t with. If lines is not specified synchronize the whole file.

val environment : t -> string

environment t is the name given to the environment where t tests are run.

val skip : t -> bool

skip t is true iff skip is in the labels of t.

val value : t -> value

value t is t's value.

val section : t -> section option

section t is t's section.

val header : t -> string option

header t is t's header.

val executable_contents : t -> string list

executable_contents t is either t's contents if t is a raw or a cram block, or t's commands if t is a toplevel fragments (e.g. the phrase result is discarded).

val version : 
  t ->
  [ `Eq | `Neq | `Ge | `Gt | `Le | `Lt ] * int option * int option * int option

version t is t's OCaml version.

val version_enabled : t -> bool

version_supported t if the current OCaml version complies with t's version.

Evaluation

val eval : t -> t

eval t is the same as t but with it's value replaced by either Cram or Toplevel blocks, depending on t's header.

Parsers

val labels_of_string : 
  string ->
  (string * ([ `Eq | `Neq | `Gt | `Ge | `Lt | `Le ] * string) option) list

labels_of_string s cuts s into a list of labels.

package mdx

Printers

Accessors

Evaluation

Parsers