GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages


Manual Reference Pages  -  CAMLINTERNALFORMATBASICS (3)

NAME

CamlinternalFormatBasics - no description

CONTENTS

Module
Documentation

Module

Module CamlinternalFormatBasics

Documentation

Module CamlinternalFormatBasics
: sig end

type padty =
| Left
| Right
| Zeros

type int_conv =
| Int_d
| Int_pd
| Int_sd
| Int_i
| Int_pi
| Int_si
| Int_x
| Int_Cx
| Int_X
| Int_CX
| Int_o
| Int_Co
| Int_u

type float_conv =
| Float_f
| Float_pf
| Float_sf
| Float_e
| Float_pe
| Float_se
| Float_E
| Float_pE
| Float_sE
| Float_g
| Float_pg
| Float_sg
| Float_G
| Float_pG
| Float_sG
| Float_F

type char_set = string

type counter =
| Line_counter
| Char_counter
| Token_counter

type (’a, ’b) padding =
| No_padding : (’a0, ’a0) padding
| Lit_padding : padty * int -> (’a1, ’a1) padding
| Arg_padding : padty -> (int -> ’a2, ’a2) padding

type pad_option = int option

type (’a, ’b) precision =
| No_precision : (’a0, ’a0) precision
| Lit_precision : int -> (’a1, ’a1) precision
| Arg_precision : (int -> ’a2, ’a2) precision

type prec_option = int option

type (’a, ’b, ’c) custom_arity =
| Custom_zero : (’a0, string, ’a0) custom_arity
| Custom_succ : (’a1, ’b0, ’c0) custom_arity -> (’a1, ’x -> ’b0, ’x -> ’c0) custom_arity

type block_type =
| Pp_hbox
| Pp_vbox
| Pp_hvbox
| Pp_hovbox
| Pp_box
| Pp_fits

type formatting_lit =
| Close_box
| Close_tag
| Break of string * int * int
| FFlush
| Force_newline
| Flush_newline
| Magic_size of string * int
| Escaped_at
| Escaped_percent
| Scan_indic of char

type (’a, ’b, ’c, ’d, ’e, ’f) formatting_gen =
| Open_tag : (’a0, ’b0, ’c0, ’d0, ’e0, ’f0) format6 -> (’a0, ’b0, ’c0, ’d0, ’e0, ’f0) formatting_gen
| Open_box : (’a1, ’b1, ’c1, ’d1, ’e1, ’f1) format6 -> (’a1, ’b1, ’c1, ’d1, ’e1, ’f1) formatting_gen

type (’a, ’b, ’c, ’d, ’e, ’f) fmtty = (’a, ’b, ’c, ’d, ’e, ’f, ’a, ’b, ’c, ’d, ’e, ’f) fmtty_rel

type (’a1, ’b1, ’c1, ’d1, ’e1, ’f1, ’a2, ’b2, ’c2, ’d2, ’e2, ’f2) fmtty_rel =
| Char_ty : (’a10, ’b10, ’c10, ’d10, ’e10, ’f10, ’a20, ’b20, ’c20, ’d20, ’e20, ’f20) fmtty_rel -> (char -> ’a10, ’b10, ’c10, ’d10, ’e10, ’f10, char -> ’a20, ’b20, ’c20, ’d20, ’e20, ’f20) fmtty_rel
| String_ty : (’a11, ’b11, ’c11, ’d11, ’e11, ’f11, ’a21, ’b21, ’c21, ’d21, ’e21, ’f21) fmtty_rel -> (string -> ’a11, ’b11, ’c11, ’d11, ’e11, ’f11, string -> ’a21, ’b21, ’c21, ’d21, ’e21, ’f21) fmtty_rel
| Int_ty : (’a12, ’b12, ’c12, ’d12, ’e12, ’f12, ’a22, ’b22, ’c22, ’d22, ’e22, ’f22) fmtty_rel -> (int -> ’a12, ’b12, ’c12, ’d12, ’e12, ’f12, int -> ’a22, ’b22, ’c22, ’d22, ’e22, ’f22) fmtty_rel
| Int32_ty : (’a13, ’b13, ’c13, ’d13, ’e13, ’f13, ’a23, ’b23, ’c23, ’d23, ’e23, ’f23) fmtty_rel -> (int32 -> ’a13, ’b13, ’c13, ’d13, ’e13, ’f13, int32 -> ’a23, ’b23, ’c23, ’d23, ’e23, ’f23) fmtty_rel
| Nativeint_ty : (’a14, ’b14, ’c14, ’d14, ’e14, ’f14, ’a24, ’b24, ’c24, ’d24, ’e24, ’f24) fmtty_rel -> (nativeint -> ’a14, ’b14, ’c14, ’d14, ’e14, ’f14, nativeint -> ’a24, ’b24, ’c24, ’d24, ’e24, ’f24) fmtty_rel
| Int64_ty : (’a15, ’b15, ’c15, ’d15, ’e15, ’f15, ’a25, ’b25, ’c25, ’d25, ’e25, ’f25) fmtty_rel -> (int64 -> ’a15, ’b15, ’c15, ’d15, ’e15, ’f15, int64 -> ’a25, ’b25, ’c25, ’d25, ’e25, ’f25) fmtty_rel
| Float_ty : (’a16, ’b16, ’c16, ’d16, ’e16, ’f16, ’a26, ’b26, ’c26, ’d26, ’e26, ’f26) fmtty_rel -> (float -> ’a16, ’b16, ’c16, ’d16, ’e16, ’f16, float -> ’a26, ’b26, ’c26, ’d26, ’e26, ’f26) fmtty_rel
| Bool_ty : (’a17, ’b17, ’c17, ’d17, ’e17, ’f17, ’a27, ’b27, ’c27, ’d27, ’e27, ’f27) fmtty_rel -> (bool -> ’a17, ’b17, ’c17, ’d17, ’e17, ’f17, bool -> ’a27, ’b27, ’c27, ’d27, ’e27, ’f27) fmtty_rel
| Format_arg_ty : (’g, ’h, ’i, ’j, ’k, ’l) fmtty * (’a18, ’b18, ’c18, ’d18, ’e18, ’f18, ’a28, ’b28, ’c28, ’d28, ’e28, ’f28) fmtty_rel -> ((’g, ’h, ’i, ’j, ’k, ’l) format6 -> ’a18, ’b18, ’c18, ’d18, ’e18, ’f18, (’g, ’h, ’i, ’j, ’k, ’l) format6 -> ’a28, ’b28, ’c28, ’d28, ’e28, ’f28) fmtty_rel
| Format_subst_ty : (’g0, ’h0, ’i0, ’j0, ’k0, ’l0, ’g1, ’b19, ’c19, ’j1, ’d19, ’a19) fmtty_rel * (’g0, ’h0, ’i0, ’j0, ’k0, ’l0, ’g2, ’b29, ’c29, ’j2, ’d29, ’a29) fmtty_rel * (’a19, ’b19, ’c19, ’d19, ’e19, ’f19, ’a29, ’b29, ’c29, ’d29, ’e29, ’f29) fmtty_rel -> ((’g0, ’h0, ’i0, ’j0, ’k0, ’l0) format6 -> ’g1, ’b19, ’c19, ’j1, ’e19, ’f19, (’g0, ’h0, ’i0, ’j0, ’k0, ’l0) format6 -> ’g2, ’b29, ’c29, ’j2, ’e29, ’f29) fmtty_rel
| Alpha_ty : (’a110, ’b110, ’c110, ’d110, ’e110, ’f110, ’a210, ’b210, ’c210, ’d210, ’e210, ’f210) fmtty_rel -> ((’b110 -> ’x -> ’c110) -> ’x -> ’a110, ’b110, ’c110, ’d110, ’e110, ’f110, (’b210 -> ’x -> ’c210) -> ’x -> ’a210, ’b210, ’c210, ’d210, ’e210, ’f210) fmtty_rel
| Theta_ty : (’a111, ’b111, ’c111, ’d111, ’e111, ’f111, ’a211, ’b211, ’c211, ’d211, ’e211, ’f211) fmtty_rel -> ((’b111 -> ’c111) -> ’a111, ’b111, ’c111, ’d111, ’e111, ’f111, (’b211 -> ’c211) -> ’a211, ’b211, ’c211, ’d211, ’e211, ’f211) fmtty_rel
| Any_ty : (’a112, ’b112, ’c112, ’d112, ’e112, ’f112, ’a212, ’b212, ’c212, ’d212, ’e212, ’f212) fmtty_rel -> (’x0 -> ’a112, ’b112, ’c112, ’d112, ’e112, ’f112, ’x0 -> ’a212, ’b212, ’c212, ’d212, ’e212, ’f212) fmtty_rel
| Reader_ty : (’a113, ’b113, ’c113, ’d113, ’e113, ’f113, ’a213, ’b213, ’c213, ’d213, ’e213, ’f213) fmtty_rel -> (’x1 -> ’a113, ’b113, ’c113, (’b113 -> ’x1) -> ’d113, ’e113, ’f113, ’x1 -> ’a213, ’b213, ’c213, (’b213 -> ’x1) -> ’d213, ’e213, ’f213) fmtty_rel
| Ignored_reader_ty : (’a114, ’b114, ’c114, ’d114, ’e114, ’f114, ’a214, ’b214, ’c214, ’d214, ’e214, ’f214) fmtty_rel -> (’a114, ’b114, ’c114, (’b114 -> ’x2) -> ’d114, ’e114, ’f114, ’a214, ’b214, ’c214, (’b214 -> ’x2) -> ’d214, ’e214, ’f214) fmtty_rel
| End_of_fmtty : (’f115, ’b115, ’c115, ’d115, ’d115, ’f115, ’f215, ’b215, ’c215, ’d215, ’d215, ’f215) fmtty_rel

type (’a, ’b, ’c, ’d, ’e, ’f) fmt =
| Char : (’a0, ’b0, ’c0, ’d0, ’e0, ’f0) fmt -> (char -> ’a0, ’b0, ’c0, ’d0, ’e0, ’f0) fmt
| Caml_char : (’a1, ’b1, ’c1, ’d1, ’e1, ’f1) fmt -> (char -> ’a1, ’b1, ’c1, ’d1, ’e1, ’f1) fmt
| String : (’x, string -> ’a2) padding * (’a2, ’b2, ’c2, ’d2, ’e2, ’f2) fmt -> (’x, ’b2, ’c2, ’d2, ’e2, ’f2) fmt
| Caml_string : (’x0, string -> ’a3) padding * (’a3, ’b3, ’c3, ’d3, ’e3, ’f3) fmt -> (’x0, ’b3, ’c3, ’d3, ’e3, ’f3) fmt
| Int : int_conv * (’x1, ’y) padding * (’y, int -> ’a4) precision * (’a4, ’b4, ’c4, ’d4, ’e4, ’f4) fmt -> (’x1, ’b4, ’c4, ’d4, ’e4, ’f4) fmt
| Int32 : int_conv * (’x2, ’y0) padding * (’y0, int32 -> ’a5) precision * (’a5, ’b5, ’c5, ’d5, ’e5, ’f5) fmt -> (’x2, ’b5, ’c5, ’d5, ’e5, ’f5) fmt
| Nativeint : int_conv * (’x3, ’y1) padding * (’y1, nativeint -> ’a6) precision * (’a6, ’b6, ’c6, ’d6, ’e6, ’f6) fmt -> (’x3, ’b6, ’c6, ’d6, ’e6, ’f6) fmt
| Int64 : int_conv * (’x4, ’y2) padding * (’y2, int64 -> ’a7) precision * (’a7, ’b7, ’c7, ’d7, ’e7, ’f7) fmt -> (’x4, ’b7, ’c7, ’d7, ’e7, ’f7) fmt
| Float : float_conv * (’x5, ’y3) padding * (’y3, float -> ’a8) precision * (’a8, ’b8, ’c8, ’d8, ’e8, ’f8) fmt -> (’x5, ’b8, ’c8, ’d8, ’e8, ’f8) fmt
| Bool : (’a9, ’b9, ’c9, ’d9, ’e9, ’f9) fmt -> (bool -> ’a9, ’b9, ’c9, ’d9, ’e9, ’f9) fmt
| Flush : (’a10, ’b10, ’c10, ’d10, ’e10, ’f10) fmt -> (’a10, ’b10, ’c10, ’d10, ’e10, ’f10) fmt
| String_literal : string * (’a11, ’b11, ’c11, ’d11, ’e11, ’f11) fmt -> (’a11, ’b11, ’c11, ’d11, ’e11, ’f11) fmt
| Char_literal : char * (’a12, ’b12, ’c12, ’d12, ’e12, ’f12) fmt -> (’a12, ’b12, ’c12, ’d12, ’e12, ’f12) fmt
| Format_arg : pad_option * (’g, ’h, ’i, ’j, ’k, ’l) fmtty * (’a13, ’b13, ’c13, ’d13, ’e13, ’f13) fmt -> ((’g, ’h, ’i, ’j, ’k, ’l) format6 -> ’a13, ’b13, ’c13, ’d13, ’e13, ’f13) fmt
| Format_subst : pad_option * (’g0, ’h0, ’i0, ’j0, ’k0, ’l0, ’g2, ’b14, ’c14, ’j2, ’d14, ’a14) fmtty_rel * (’a14, ’b14, ’c14, ’d14, ’e14, ’f14) fmt -> ((’g0, ’h0, ’i0, ’j0, ’k0, ’l0) format6 -> ’g2, ’b14, ’c14, ’j2, ’e14, ’f14) fmt
| Alpha : (’a15, ’b15, ’c15, ’d15, ’e15, ’f15) fmt -> ((’b15 -> ’x6 -> ’c15) -> ’x6 -> ’a15, ’b15, ’c15, ’d15, ’e15, ’f15) fmt
| Theta : (’a16, ’b16, ’c16, ’d16, ’e16, ’f16) fmt -> ((’b16 -> ’c16) -> ’a16, ’b16, ’c16, ’d16, ’e16, ’f16) fmt
| Formatting_lit : formatting_lit * (’a17, ’b17, ’c17, ’d17, ’e17, ’f17) fmt -> (’a17, ’b17, ’c17, ’d17, ’e17, ’f17) fmt
| Formatting_gen : (’a18, ’b18, ’c18, ’d18, ’e18, ’f18) formatting_gen * (’f18, ’b18, ’c18, ’e18, ’e20, ’f20) fmt -> (’a18, ’b18, ’c18, ’d18, ’e20, ’f20) fmt
| Reader : (’a19, ’b19, ’c19, ’d19, ’e19, ’f19) fmt -> (’x7 -> ’a19, ’b19, ’c19, (’b19 -> ’x7) -> ’d19, ’e19, ’f19) fmt
| Scan_char_set : pad_option * char_set * (’a20, ’b20, ’c20, ’d20, ’e21, ’f21) fmt -> (string -> ’a20, ’b20, ’c20, ’d20, ’e21, ’f21) fmt
| Scan_get_counter : counter * (’a21, ’b21, ’c21, ’d21, ’e22, ’f22) fmt -> (int -> ’a21, ’b21, ’c21, ’d21, ’e22, ’f22) fmt
| Scan_next_char : (’a22, ’b22, ’c22, ’d22, ’e23, ’f23) fmt -> (char -> ’a22, ’b22, ’c22, ’d22, ’e23, ’f23) fmt
| Ignored_param : (’a23, ’b23, ’c23, ’d23, ’y4, ’x8) ignored * (’x8, ’b23, ’c23, ’y4, ’e24, ’f24) fmt -> (’a23, ’b23, ’c23, ’d23, ’e24, ’f24) fmt
| Custom : (’a24, ’x9, ’y5) custom_arity * (unit -> ’x9) * (’a24, ’b24, ’c24, ’d24, ’e25, ’f25) fmt -> (’y5, ’b24, ’c24, ’d24, ’e25, ’f25) fmt
| End_of_format : (’f26, ’b25, ’c25, ’e26, ’e26, ’f26) fmt

List of format elements.

type (’a, ’b, ’c, ’d, ’e, ’f) ignored =
| Ignored_char : (’a0, ’b0, ’c0, ’d0, ’d0, ’a0) ignored
| Ignored_caml_char : (’a1, ’b1, ’c1, ’d1, ’d1, ’a1) ignored
| Ignored_string : pad_option -> (’a2, ’b2, ’c2, ’d2, ’d2, ’a2) ignored
| Ignored_caml_string : pad_option -> (’a3, ’b3, ’c3, ’d3, ’d3, ’a3) ignored
| Ignored_int : int_conv * pad_option -> (’a4, ’b4, ’c4, ’d4, ’d4, ’a4) ignored
| Ignored_int32 : int_conv * pad_option -> (’a5, ’b5, ’c5, ’d5, ’d5, ’a5) ignored
| Ignored_nativeint : int_conv * pad_option -> (’a6, ’b6, ’c6, ’d6, ’d6, ’a6) ignored
| Ignored_int64 : int_conv * pad_option -> (’a7, ’b7, ’c7, ’d7, ’d7, ’a7) ignored
| Ignored_float : pad_option * prec_option -> (’a8, ’b8, ’c8, ’d8, ’d8, ’a8) ignored
| Ignored_bool : (’a9, ’b9, ’c9, ’d9, ’d9, ’a9) ignored
| Ignored_format_arg : pad_option * (’g, ’h, ’i, ’j, ’k, ’l) fmtty -> (’a10, ’b10, ’c10, ’d10, ’d10, ’a10) ignored
| Ignored_format_subst : pad_option * (’a11, ’b11, ’c11, ’d11, ’e0, ’f0) fmtty -> (’a11, ’b11, ’c11, ’d11, ’e0, ’f0) ignored
| Ignored_reader : (’a12, ’b12, ’c12, (’b12 -> ’x) -> ’d12, ’d12, ’a12) ignored
| Ignored_scan_char_set : pad_option * char_set -> (’a13, ’b13, ’c13, ’d13, ’d13, ’a13) ignored
| Ignored_scan_get_counter : counter -> (’a14, ’b14, ’c14, ’d14, ’d14, ’a14) ignored
| Ignored_scan_next_char : (’a15, ’b15, ’c15, ’d15, ’d15, ’a15) ignored

type (’a, ’b, ’c, ’d, ’e, ’f) format6 =
| Format of (’a, ’b, ’c, ’d, ’e, ’f) fmt * string

val concat_fmtty : (’g1, ’b1, ’c1, ’j1, ’d1, ’a1, ’g2, ’b2, ’c2, ’j2, ’d2, ’a2) fmtty_rel -> (’a1, ’b1, ’c1, ’d1, ’e1, ’f1, ’a2, ’b2, ’c2, ’d2, ’e2, ’f2) fmtty_rel -> (’g1, ’b1, ’c1, ’j1, ’e1, ’f1, ’g2, ’b2, ’c2, ’j2, ’e2, ’f2) fmtty_rel

val erase_rel : (’a, ’b, ’c, ’d, ’e, ’f, ’g, ’h, ’i, ’j, ’k, ’l) fmtty_rel -> (’a, ’b, ’c, ’d, ’e, ’f) fmtty

val concat_fmt : (’a, ’b, ’c, ’d, ’e, ’f) fmt -> (’f, ’b, ’c, ’e, ’g, ’h) fmt -> (’a, ’b, ’c, ’d, ’g, ’h) fmt

Search for    or go to Top of page |  Section 3 |  Main Index


OCamldoc CAMLINTERNALFORMATBASICS (3) 2016-03-17

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.