package typeset

  1. Overview
  2. Docs
package typeset
Legend:
Library
Module
Module type
Parameter
Class
Class type
type attr = {
  1. pad : bool;
  2. fix : bool;
}
type eDSL =
  1. | UNull
  2. | UText of string
  3. | UFix of eDSL
  4. | UGrp of eDSL
  5. | USeq of eDSL
  6. | UNest of eDSL
  7. | UPack of eDSL
  8. | ULine of eDSL * eDSL
  9. | UComp of eDSL * eDSL * attr
val null : eDSL
val text : string -> eDSL
val fix : eDSL -> eDSL
val seq : eDSL -> eDSL
val grp : eDSL -> eDSL
val nest : eDSL -> eDSL
val pack : eDSL -> eDSL
val (~$) : string -> eDSL
val (</>) : eDSL -> eDSL -> eDSL
val (<&>) : eDSL -> eDSL -> eDSL
val (<+>) : eDSL -> eDSL -> eDSL
val (<!&>) : eDSL -> eDSL -> eDSL
val (<!+>) : eDSL -> eDSL -> eDSL
val (<//>) : eDSL -> eDSL -> eDSL
type doc =
  1. | REOD
  2. | REmpty of doc
  3. | RBreak of doc_obj * doc
  4. | RLine of doc_obj
and doc_obj =
  1. | RText of string
  2. | RFix of doc_obj_fix
  3. | RGrp of doc_obj
  4. | RSeq of doc_obj
  5. | RNest of doc_obj
  6. | RPack of int * doc_obj
  7. | RComp of doc_obj * doc_obj * bool
and doc_obj_fix =
  1. | RFText of string
  2. | RFComp of doc_obj_fix * doc_obj_fix * bool
val compile : eDSL -> doc
val render : doc -> int -> int -> string
val print : doc -> string