adamc@1: (* Copyright (c) 2008, Adam Chlipala adamc@1: * All rights reserved. adamc@1: * adamc@1: * Redistribution and use in source and binary forms, with or without adamc@1: * modification, are permitted provided that the following conditions are met: adamc@1: * adamc@1: * - Redistributions of source code must retain the above copyright notice, adamc@1: * this list of conditions and the following disclaimer. adamc@1: * - Redistributions in binary form must reproduce the above copyright notice, adamc@1: * this list of conditions and the following disclaimer in the documentation adamc@1: * and/or other materials provided with the distribution. adamc@1: * - The names of contributors may not be used to endorse or promote products adamc@1: * derived from this software without specific prior written permission. adamc@1: * adamc@1: * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" adamc@1: * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE adamc@1: * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE adamc@1: * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE adamc@1: * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR adamc@1: * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF adamc@1: * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS adamc@1: * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN adamc@1: * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) adamc@1: * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE adamc@1: * POSSIBILITY OF SUCH DAMAGE. adamc@1: *) adamc@1: adamc@1: (* Pretty-printing *) adamc@1: adamc@1: signature PRINT = sig adamc@1: structure PD : PP_DESC adamc@1: where type PPS.token = string adamc@1: adamc@1: type 'a printer = 'a -> PD.pp_desc adamc@1: adamc@1: val box : PD.pp_desc list -> PD.pp_desc adamc@1: val parenIf : bool -> PD.pp_desc -> PD.pp_desc adamc@1: val space : PD.pp_desc adamc@1: adamc@1: val p_list_sep : PD.pp_desc -> 'a printer -> 'a list printer adamc@1: val p_list : 'a printer -> 'a list printer adamc@1: adamc@1: val fprint : PD.PPS.stream -> PD.pp_desc -> unit adamc@1: val print : PD.pp_desc -> unit adamc@1: val eprint : PD.pp_desc -> unit adamc@1: adamc@1: val fpreface : PD.PPS.stream -> string * PD.pp_desc -> unit adamc@1: val preface : string * PD.pp_desc -> unit adamc@1: val epreface : string * PD.pp_desc -> unit adamc@1: adamc@3: val fprefaces : PD.PPS.stream -> string -> (string * PD.pp_desc) list -> unit adamc@3: val prefaces : string -> (string * PD.pp_desc) list -> unit adamc@3: val eprefaces : string -> (string * PD.pp_desc) list -> unit adamc@3: adamc@3: val fprefaces' : PD.PPS.stream -> (string * PD.pp_desc) list -> unit adamc@3: val prefaces' : (string * PD.pp_desc) list -> unit adamc@3: val eprefaces' : (string * PD.pp_desc) list -> unit adamc@1: end