Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package indentation_buffer
A buffer that keeps track of the current indentation level. It abstracts the need for formatting code to thread the current indentation everywhere, and also ensures that blank lines do not accidentally get filled with the current indentation, thus yielding trailing whitespace in the output.
val string : t -> string -> unitAppends the input string to a buffer. If the buffer is at the start of a new line, then the current indentation is inserted.
val newline : t -> unitStarts a new line in the buffer, but does not append any indentation. This will only happen if a string is appended before the buffer moves to the next line.
val indent : t -> unitIncrease the current indentation by one level.
val dedent : t -> unitDecrease the current indentation by one level.
val create : int -> tCreate a new buffer with the specified initial capacity.
val contents : t -> stringRetrieve the contents of the buffer as a string.