Pprint

#

type document

#

val empty : document

#

val hardline : document

#

val char : char -> document

#

val substring : string -> int -> int -> document

#

val text : string -> document

#

val blank : int -> document

#

val (^^) : document -> document -> document

#

val nest : int -> document -> document

#

val column : (int -> document) -> document

#

val nesting : (int -> document) -> document

#

val group : document -> document

#

val ifflat : document -> document -> document

#

val align : document -> document

#

val hang : int -> document -> document

#

val indent : int -> document -> document

#

val break : int -> document

#

val break0 : document

#

val break1 : document

#

val string : string -> document

#

val words : string -> document

#

val lparen : document

#

val rparen : document

#

val langle : document

#

val rangle : document

#

val lbrace : document

#

val rbrace : document

#

val lbracket : document

#

val rbracket : document

#

val squote : document

#

val dquote : document

#

val bquote : document

#

val semi : document

#

val colon : document

#

val comma : document

#

val space : document

#

val dot : document

#

val sharp : document

#

val backslash : document

#

val equals : document

#

val qmark : document

#

val tilde : document

#

val at : document

#

val percent : document

#

val dollar : document

#

val caret : document

#

val ampersand : document

#

val star : document

#

val plus : document

#

val minus : document

#

val underscore : document

#

val bang : document

#

val bar : document

#

val squotes : document -> document

#

val dquotes : document -> document

#

val bquotes : document -> document

#

val braces : document -> document

#

val parens : document -> document

#

val angles : document -> document

#

val brackets : document -> document

#

val fold : (document -> document -> document) -> document list -> document

#

val fold1 : (document -> document -> document) -> document list -> document

#

val fold1map : (document -> document -> document) -> ('a -> document) -> 'a list -> document

#

val sepmap : document -> ('a -> document) -> 'a list -> document

#

val optional : ('a -> document) -> 'a option -> document

#

val prefix : string -> document -> document

#

val infix : string -> document -> document -> document

#

val infix_com : string -> document -> document -> document

#

val infix_dot : string -> document -> document -> document

#

val surround : int -> document -> document -> document -> document -> document

#

val surround1 : string -> document -> string -> document

#

val surround2 : string -> document -> string -> document

#

val soft_surround : int -> document -> document -> document -> document -> document

#

val seq : int -> document -> document -> document -> document -> document -> document list -> document

#

val seq1 : string -> string -> string -> document list -> document

#

val seq2 : string -> string -> string -> document list -> document

#

val group1 : document -> document

#

val group2 : document -> document

#

module Operators : sig

#

val (^^) : document -> document -> document

#

val (!^) : string -> document

#

val (^/^) : document -> document -> document

#

val (^//^) : document -> document -> document

#

val (^@^) : document -> document -> document

#

val (^@@^) : document -> document -> document

end

#

module type RENDERER = sig

#

type channel

#

val pretty : float -> int -> channel -> document -> unit

#

val compact : channel -> document -> unit

end

#

module Channel : RENDERER with type channel = Pervasives.out_channel

#

module Buffer : RENDERER with type channel = Buffer.t

#

module type VALUE_REPRESENTATION = sig

#

type t

#

val variant : string -> string -> int -> t list -> t

#

val record : string -> (string * t) list -> t

#

val tuple : t list -> t

#

val string : string -> t

#

val int : int -> t

#

val int32 : int32 -> t

#

val int64 : int64 -> t

#

val nativeint : nativeint -> t

#

val float : float -> t

#

val char : char -> t

#

val bool : bool -> t

#

val option : ('a -> t) -> 'a option -> t

#

val list : ('a -> t) -> 'a list -> t

#

val array : ('a -> t) -> 'a array -> t

#

val ref : ('a -> t) -> 'a Pervasives.ref -> t

#

val unknown : string -> 'a -> t

end

#

module type DOCUMENT_VALUE_REPRESENTATION = VALUE_REPRESENTATION with type t = document

#

module ML : DOCUMENT_VALUE_REPRESENTATION

#

val line : document

#

val linebreak : document

#

val softline : document

#

val softbreak : document

module Pprint