Html (p.catala.0.2.0.doc.catala.literate.Literate.Html)

Sourcemodule Pos = Utils.Pos

Sourcemodule Cli = Utils.Cli

Sourcemodule Errors = Utils.Errors

Sourcemodule A = Surface.Ast

Sourcemodule P = Printf

Sourcemodule R = Re.Pcre

Sourcemodule C = Cli

Helpers

Sourceval pre_html : string -> string

Converts double lines into HTML newlines.

Sourceval raise_failed_pygments : string -> int -> 'a

Raise an error if pygments cannot be found

val wrap_html : 
  string list ->
  string option ->
  Cli.backend_lang ->
  Format.formatter ->
  (Format.formatter -> unit) ->
  unit

Usage: wrap_html source_files custom_pygments language fmt wrapped

Prints an HTML complete page structure around the wrapped content.

val pygmentize_code : 
  string Pos.marked ->
  C.backend_lang ->
  string option ->
  string

Performs syntax highlighting on a piece of code by using Pygments and the special Catala lexer.

val law_article_item_to_html : 
  string option ->
  C.backend_lang ->
  Format.formatter ->
  A.law_article_item ->
  unit

val law_structure_to_html : 
  string option ->
  C.backend_lang ->
  Format.formatter ->
  A.law_structure ->
  unit

val program_item_to_html : 
  string option ->
  C.backend_lang ->
  Format.formatter ->
  A.program_item ->
  unit

val ast_to_html : 
  string option ->
  C.backend_lang ->
  Format.formatter ->
  A.program ->
  unit