1Stdlib.Pervasives(3) OCaml library Stdlib.Pervasives(3)
2
6 Stdlib.Pervasives - no description
7
9 Module Stdlib.Pervasives
10
12 Module Pervasives
13 : (module Stdlib__pervasives)
14 val raise : exn -> 'a
23 val raise_notrace : exn -> 'a
28 val invalid_arg : string -> 'a
33 val failwith : string -> 'a
38 exception Exit
43 val (=) : 'a -> 'a -> bool
49 val (<>) : 'a -> 'a -> bool
54 val (<) : 'a -> 'a -> bool
59 val (>) : 'a -> 'a -> bool
64 val (<=) : 'a -> 'a -> bool
69 val (>=) : 'a -> 'a -> bool
74 val compare : 'a -> 'a -> int
79 val min : 'a -> 'a -> 'a
84 val max : 'a -> 'a -> 'a
89 val (==) : 'a -> 'a -> bool
94 val (!=) : 'a -> 'a -> bool
99 val not : bool -> bool
104 val (&&) : bool -> bool -> bool
109 val (&) : bool -> bool -> bool
114 val (||) : bool -> bool -> bool
119 val (or) : bool -> bool -> bool
124 val __LOC__ : string
129 val __FILE__ : string
134 val __LINE__ : int
139 val __MODULE__ : string
144 val __POS__ : string * int * int * int
149 val __LOC_OF__ : 'a -> string * 'a
154 val __LINE_OF__ : 'a -> int * 'a
159 val __POS_OF__ : 'a -> (string * int * int * int) * 'a
164 val (|>) : 'a -> ('a -> 'b) -> 'b
169 val (@@) : ('a -> 'b) -> 'a -> 'b
174 val (~-) : int -> int
179 val (~+) : int -> int
184 val succ : int -> int
189 val pred : int -> int
194 val (+) : int -> int -> int
199 val (-) : int -> int -> int
204 val ( * ) : int -> int -> int
209 val (/) : int -> int -> int
214 val (mod) : int -> int -> int
219 val abs : int -> int
224 val max_int : int
229 val min_int : int
234 val (land) : int -> int -> int
239 val (lor) : int -> int -> int
244 val (lxor) : int -> int -> int
249 val lnot : int -> int
254 val (lsl) : int -> int -> int
259 val (lsr) : int -> int -> int
264 val (asr) : int -> int -> int
269 val (~-.) : float -> float
274 val (~+.) : float -> float
279 val (+.) : float -> float -> float
284 val (-.) : float -> float -> float
289 val ( *. ) : float -> float -> float
294 val (/.) : float -> float -> float
299 val ( ** ) : float -> float -> float
304 val sqrt : float -> float
309 val exp : float -> float
314 val log : float -> float
319 val log10 : float -> float
324 val expm1 : float -> float
329 val log1p : float -> float
334 val cos : float -> float
339 val sin : float -> float
344 val tan : float -> float
349 val acos : float -> float
354 val asin : float -> float
359 val atan : float -> float
364 val atan2 : float -> float -> float
369 val hypot : float -> float -> float
374 val cosh : float -> float
379 val sinh : float -> float
384 val tanh : float -> float
389 val ceil : float -> float
394 val floor : float -> float
399 val abs_float : float -> float
404 val copysign : float -> float -> float
409 val mod_float : float -> float -> float
414 val frexp : float -> float * int
419 val ldexp : float -> int -> float
424 val modf : float -> float * float
429 val float : int -> float
434 val float_of_int : int -> float
439 val truncate : float -> int
444 val int_of_float : float -> int
449 val infinity : float
454 val neg_infinity : float
459 val nan : float
464 val max_float : float
469 val min_float : float
474 val epsilon_float : float
479 type fpclass = fpclass =
483 | FP_normal
484 | FP_subnormal
485 | FP_zero
486 | FP_infinite
487 | FP_nan
488 val classify_float : float -> fpclass
494 val (^) : string -> string -> string
499 val int_of_char : char -> int
504 val char_of_int : int -> char
509 val ignore : 'a -> unit
514 val string_of_bool : bool -> string
519 val bool_of_string : string -> bool
524 val bool_of_string_opt : string -> bool option
529 val string_of_int : int -> string
534 val int_of_string : string -> int
539 val int_of_string_opt : string -> int option
544 val string_of_float : float -> string
549 val float_of_string : string -> float
554 val float_of_string_opt : string -> float option
559 val fst : 'a * 'b -> 'a
564 val snd : 'a * 'b -> 'b
569 val (@) : 'a list -> 'a list -> 'a list
574 type in_channel = in_channel
578 type out_channel = out_channel
583 val stdin : in_channel
589 val stdout : out_channel
594 val stderr : out_channel
599 val print_char : char -> unit
604 val print_string : string -> unit
609 val print_bytes : bytes -> unit
614 val print_int : int -> unit
619 val print_float : float -> unit
624 val print_endline : string -> unit
629 val print_newline : unit -> unit
634 val prerr_char : char -> unit
639 val prerr_string : string -> unit
644 val prerr_bytes : bytes -> unit
649 val prerr_int : int -> unit
654 val prerr_float : float -> unit
659 val prerr_endline : string -> unit
664 val prerr_newline : unit -> unit
669 val read_line : unit -> string
674 val read_int : unit -> int
679 val read_int_opt : unit -> int option
684 val read_float : unit -> float
689 val read_float_opt : unit -> float option
694 type open_flag = open_flag =
698 | Open_rdonly
699 | Open_wronly
700 | Open_append
701 | Open_creat
702 | Open_trunc
703 | Open_excl
704 | Open_binary
705 | Open_text
706 | Open_nonblock
707 val open_out : string -> out_channel
713 val open_out_bin : string -> out_channel
718 val open_out_gen : open_flag list -> int -> string -> out_channel
723 val flush : out_channel -> unit
728 val flush_all : unit -> unit
733 val output_char : out_channel -> char -> unit
738 val output_string : out_channel -> string -> unit
743 val output_bytes : out_channel -> bytes -> unit
748 val output : out_channel -> bytes -> int -> int -> unit
753 val output_substring : out_channel -> string -> int -> int -> unit
758 val output_byte : out_channel -> int -> unit
763 val output_binary_int : out_channel -> int -> unit
768 val output_value : out_channel -> 'a -> unit
773 val seek_out : out_channel -> int -> unit
778 val pos_out : out_channel -> int
783 val out_channel_length : out_channel -> int
788 val close_out : out_channel -> unit
793 val close_out_noerr : out_channel -> unit
798 val set_binary_mode_out : out_channel -> bool -> unit
803 val open_in : string -> in_channel
808 val open_in_bin : string -> in_channel
813 val open_in_gen : open_flag list -> int -> string -> in_channel
818 val input_char : in_channel -> char
823 val input_line : in_channel -> string
828 val input : in_channel -> bytes -> int -> int -> int
833 val really_input : in_channel -> bytes -> int -> int -> unit
838 val really_input_string : in_channel -> int -> string
843 val input_byte : in_channel -> int
848 val input_binary_int : in_channel -> int
853 val input_value : in_channel -> 'a
858 val seek_in : in_channel -> int -> unit
863 val pos_in : in_channel -> int
868 val in_channel_length : in_channel -> int
873 val close_in : in_channel -> unit
878 val close_in_noerr : in_channel -> unit
883 val set_binary_mode_in : in_channel -> bool -> unit
888 module LargeFile : (module LargeFile)
892 type 'a ref = 'a ref = {
897 mutable contents : 'a ;
899 }
900 val ref : 'a -> 'a ref
906 val (!) : 'a ref -> 'a
911 val (:=) : 'a ref -> 'a -> unit
916 val incr : int ref -> unit
921 val decr : int ref -> unit
926 type ('a, 'b) result = ('a, 'b) result =
930 | Ok of 'a
931 | Error of 'b
932 type ('a, 'b, 'c, 'd, 'e, 'f) format6 = ('a, 'b, 'c, 'd, 'e, 'f) Cam‐
937 linternalFormatBasics.format6
938 type ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'c, 'c, 'd) format6
943 type ('a, 'b, 'c) format = ('a, 'b, 'c, 'c) format4
948 val string_of_format : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> string
954 val format_of_string : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c,
959 'd, 'e, 'f) format6
960 val (^^) : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('f, 'b, 'c, 'e, 'g, 'h)
965 format6 -> ('a, 'b, 'c, 'd, 'g, 'h) format6
966 val exit : int -> 'a
971 val at_exit : (unit -> unit) -> unit
976 val valid_float_lexem : string -> string
981 val do_at_exit : unit -> unit
986OCamldoc 2019-07-30 Stdlib.Pervasives(3)