package acgtk

  1. Overview
  2. Docs
Abstract Categorial Grammar development toolkit

Install 

dune-project
 Dependency

acg.loria.fr Readme Changelog CeCILL-1.0+ License Edit opam file Versions (3)

Authors

  1. S
    Sylvain Pogodalla

Maintainers

  1. S
    sylvain.pogodalla@inria.fr

Sources

acg-2.2.0-20251107.tar.gz
sha512=07f391d052090bb70c10ec511fdc53af764954cbe1c30093778984c5ed41a4327573fdac0890c6fd619ff9827725572eb7b8a7545bd8ccb7f5bddb84d2d7f7cc

doc/acgtk.utilsLib/UtilsLib/PPUtils/index.html

Module UtilsLib.PPUtilsSource

This module provides pretty printing formatters and utilities

Sourceval pp_list : ?sep:(unit, Format.formatter, unit, unit, unit, unit) format6 -> ?terminal:(unit, Format.formatter, unit, unit, unit, unit) format6 -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit

pp_list ~sep ppf fmt l pretty prints on the formater fmt the items of the list l, each of them being pretty-printed by ppf. Example usage: pp_list ~sep:",@\n" Format.pp_print_int Format.std_formatter [1;2;3]

Sourceval pp_list_i : ?sep:(unit, Format.formatter, unit, unit, unit, unit) format6 -> ?terminal:(unit, Format.formatter, unit, unit, unit, unit) format6 -> (Format.formatter -> (int * 'a) -> unit) -> Format.formatter -> 'a list -> unit

pp_list_i ~sep ppf fmt l pretty prints on the formater fmt the items of the list l, each of them, together with its position (starting at 1) being pretty-printed by ppf.

Sourceval pp_text : Format.formatter -> string -> unit

pp_text fmt t pretty prints on the formater fmt the text of of the string t where each space in t is made a space break.

Sourceval resize_formatter : ?width:int -> ?formatter:Format.formatter -> unit -> unit

resize_formatter ~width ~formatter () sets the max output width of the formatter formatter to width. Argument formatter defaults to Format.std_formatter. Argument width defaults to the current terminal width if stdout is a tty, or Format.pp_infinity - 1 otherwise.

Sourceval no_pp : ?formatter:Format.formatter -> unit -> unit

no_pp () sets the max output width of the formatter formatter to Format.pp_infinity - 1 so that break hints are basically not used, and no pretty printing information is used but semantic tags. Argument formatter defaults to Format.std_formatter.

Sourceval format_of_list : Format.formatter -> string -> ('a -> string) -> 'a list -> unit
Sourceval app_pp : Format.formatter -> string -> unit

app_pp ppf s pretty prints the string s on the formatter ppf surrounded by the application semantic tag <app>

Sourceval err_pp : Format.formatter -> string -> unit

err_pp ppf s pretty prints the string s on the formatter ppf surrounded by the error semantic tag <err>

Sourceval warn_pp : Format.formatter -> string -> unit

warn_pp ppf s pretty prints the string s on the formatter ppf surrounded by the warning semantic tag <warn>

Sourceval info_pp : Format.formatter -> string -> unit

info_pp ppf s pretty prints the string s on the formatter ppf surrounded by the information semantic tag <info>

Sourceval debug_pp : Format.formatter -> string -> unit

debug_pp ppf s pretty prints the string s on the formatter ppf surrounded by the debug semantic tag <debug>

Sourceval fun_pp : Format.formatter -> string -> unit

fun_pp ppf s pretty prints the string s on the formatter ppf surrounded by the semantic tag <fun>

Sourceval sig_pp : Format.formatter -> string -> unit

sig_pp ppf s pretty prints the string s on the formatter ppf surrounded by the semantic tag <sig>

Sourceval lex_pp : Format.formatter -> string -> unit

lex_pp ppf s pretty prints the string s on the formatter ppf surrounded by the semantic tag <lex>

Sourceval term_pp : Format.formatter -> string -> unit

terms_pp ppf s pretty prints the string s on the formatter ppf surrounded by the semantic tag <terms>

Sourceval arg_pp : Format.formatter -> string -> unit

arg_pp ppf s pretty prints the string s on the formatter ppf surrounded by the semantic tag <arg>

Sourceval binary_pp : Format.formatter -> string -> unit

bin_pp ppf s pretty prints the string s on the formatter ppf surrounded by the semantic tag <bin>