package mdx

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Document
Evaluation
Filtering

package mdx

mdx
- Library mdx
  - Mdx
    
    Lexer_mdx
    
    Output
    
    Cram
    
    Deprecated
    
    Missing_double_semicolon
    
    Document
    
    Toplevel
    
    Ocaml_delimiter
    
    Part
    
    Block
    
    Header
    
    Mli_parser
    
    Compat
    
    Util
    
    Result
    
    Infix
    
    List
    
    File
    
    Option
    
    List
    
    String
    
    Sexp
    
    Csexp
    
    Array
    
    Process
    
    Prelude
    
    Syntax
    
    Label
    
    Relation
    
    Dep
    
    Ocaml_env
    
    Set
    
    Stable_printer
    
    Location
- Library mdx.test
  - Mdx_test
    
    Package
    
    Predicate
- Library mdx.top
  - Mdx_top
- Sources
  - mdx
    
    block.ml
    
    compat.ml
    
    cram.ml
    
    dep.ml
    
    deprecated.ml
    
    document.ml
    
    label.ml
    
    lexer_cram.ml
    
    lexer_mdx.ml
    
    lexer_top.ml
    
    library.ml
    
    mdx.ml
    
    mdx__.ml
    
    misc.ml
    
    mli_parser.ml
    
    ocaml_delimiter.ml
    
    ocaml_env.ml
    
    output.ml
    
    part.ml
    
    prelude.ml
    
    stable_printer.ml
    
    syntax.ml
    
    toplevel.ml
    
    util.ml
  - mdx.test
    
    mdx_test.ml
  - mdx.top
    
    compat_top.ml
    
    mdx_top.ml
    
    mdx_top__.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Mdx`Source

Mdx is a library to manipulate markdown code blocks.

mdx allows to execute code blocks inside markdown 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.

Sourcemodule Lexer_mdx : sig ... end

Sourcemodule Output : sig ... end

Test outputs.

Sourcemodule Cram : sig ... end

Cram tests

Sourcemodule Deprecated : sig ... end

Sourcemodule Document : sig ... end

Sourcemodule Toplevel : sig ... end

Toplevel phrases.

Sourcemodule Ocaml_delimiter : sig ... end

Sourcemodule Part : sig ... end

Sourcemodule Block : sig ... end

Code blocks headers.

Sourcemodule Mli_parser : sig ... end

Sourcemodule Compat : sig ... end

Sourcemodule Util : sig ... end

Sourcemodule Prelude : sig ... end

Sourcemodule Syntax : sig ... end

Sourcemodule Label : sig ... end

Sourcemodule Dep : sig ... end

Sourcemodule Ocaml_env : sig ... end

Block environments.

Sourcemodule Stable_printer : sig ... end

Stable printing functions built on top of compiler-libs types Use this for user facing part of the code so that mdx's output does not depend on the ocaml version it was built with.

include module type of Document

Lines

Sourcetype syntax = Syntax.t =

| Normal
| Cram
| Mli

Sourcetype line = Document.line =

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

The type for the lines of a markdown or cram file.

Sourceval pp_line : ?syntax:syntax -> line Fmt.t

pp_line is the pretty-printer for markdown or cram lines.

Document

Sourcetype t = line list

The type for mdx documents.

Sourceval pp : ?syntax:syntax -> t Fmt.t

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

Sourceval to_string : t -> string

to_string t converts the document t to a string.

Sourceval envs : t -> Ocaml_env.Set.t

Sourceval dump : line list Fmt.t

Document

Sourceval of_string : syntax -> string -> (t, [ `Msg of string ]) Result.result

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

Sourceval parse_file : syntax -> string -> (t, [ `Msg of string ]) Result.result

parse_file s is of_string of s's contents.

Source

val parse_lexbuf : 
  string ->
  syntax ->
  Lexing.lexbuf ->
  (t, [ `Msg of string ]) Result.result

parse_lexbuf l is of_string of l's contents.

Evaluation

Source

val run_to_stdout : 
  ?syntax:syntax ->
  f:(string -> t -> string) ->
  string ->
  (unit, [ `Msg of string ]) Result.result

run_to_stdout ?syntax ~f file runs the callback f on the raw and structured content of file, as specified by syntax (defaults to Normal). The returned corrected version is then written to stdout.

Source

val run_to_file : 
  ?syntax:syntax ->
  f:(string -> t -> string) ->
  outfile:string ->
  string ->
  (unit, [ `Msg of string ]) Result.result

Same as run_to_stdout but writes the corrected version to outfile

Source

val run : 
  ?syntax:syntax ->
  ?force_output:bool ->
  f:(string -> t -> string) ->
  string ->
  (unit, [ `Msg of string ]) Result.result

run_to_file ?syntax ?force_output ~f ~outfile file runs the callback f similarly to run_to_stdout to generate its corrected version. If force_output is true (defaults to false) or if the corrected version differs from the original file content, it writes it to <file>.corrected. Otherwise, if <file>.corrected already exists, it removes it.

Filtering

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

section_of_line l is l's section.

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

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

package mdx

Module MdxSource

Lines

Document

Document

Evaluation

Filtering

Module `Mdx`Source