package mdx

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Lines
Document
Evaluation
Filtering

mdx
- Mdx
  - Block
  - Cram
  - Output
  - Toplevel
mdx.top
- Mdx_top

Legend:
Library
Module
Module type
Parameter
Class
Class type

Mdx is a library to manipulate markdown code blocks.

mdx allows to execute code blocks inside markdow files. The supported code blocks are either cram-like tests, raw OCaml fragments or toplevel phrases.

Cram tests and toplevel phrases are sequences of commands and outputs.

module Output : sig ... end

Test outputs.

module Cram : sig ... end

Cram tests

module Toplevel : sig ... end

Toplevel phrases.

module Block : sig ... end

Code blocks.

Lines

type line =

| Section of int * string
| Text of string
| Block of Block.t

The type for the lines of a markdown file.

val pp_line : line Fmt.t

pp_line is the pretty-printer for markdown lines.

Document

type t = line list

The type for mdx documents.

val pp : t Fmt.t

pp is the pretty printer for mdx documents. Should be idempotent with of_string.

val to_string : t -> string

to_string t converts the document t to a string.

val of_string : string -> t

of_string s is the document t such that to_string t = s.

val parse_file : string -> t

parse_file s is of_string of s's contents.

val parse_lexbuf : Lexing.lexbuf -> t

parse_lexbuf l is of_string of l's contents.

Evaluation

val run : f:(string -> t -> string) -> string -> unit

run ~f n runs the expect callback f over the file named n. f is called with the raw contents of n and its structured contents; it returns the new file contents. If the result of f is different from the initial contents, then $n.corrected is created with the new contents.

Filtering

val section_of_line : line -> (int * string) option

section_of_line l is l's section.

val filter_section : Re.re -> t -> t option

section re t is the subset of t such that their section matches with re.