1Pervasives(3) OCaml library Pervasives(3)
2
6 Pervasives - no description
7
9 Module Pervasives
10
12 Module Pervasives
13 : sig end
14 Deprecated. Use Stdlib
17 val raise : exn -> 'a
25 val raise_notrace : exn -> 'a
30 val invalid_arg : string -> 'a
35 val failwith : string -> 'a
40 exception Exit
45 val (=) : 'a -> 'a -> bool
51 val (<>) : 'a -> 'a -> bool
56 val (<) : 'a -> 'a -> bool
61 val (>) : 'a -> 'a -> bool
66 val (<=) : 'a -> 'a -> bool
71 val (>=) : 'a -> 'a -> bool
76 val compare : 'a -> 'a -> int
81 val min : 'a -> 'a -> 'a
86 val max : 'a -> 'a -> 'a
91 val (==) : 'a -> 'a -> bool
96 val (!=) : 'a -> 'a -> bool
101 val not : bool -> bool
106 val (&&) : bool -> bool -> bool
111 val (&) : bool -> bool -> bool
116 val (||) : bool -> bool -> bool
121 val (or) : bool -> bool -> bool
126 val __LOC__ : string
131 val __FILE__ : string
136 val __LINE__ : int
141 val __MODULE__ : string
146 val __POS__ : string * int * int * int
151 val __LOC_OF__ : 'a -> string * 'a
156 val __LINE_OF__ : 'a -> int * 'a
161 val __POS_OF__ : 'a -> (string * int * int * int) * 'a
166 val (|>) : 'a -> ('a -> 'b) -> 'b
171 val (@@) : ('a -> 'b) -> 'a -> 'b
176 val (~-) : int -> int
181 val (~+) : int -> int
186 val succ : int -> int
191 val pred : int -> int
196 val (+) : int -> int -> int
201 val (-) : int -> int -> int
206 val ( * ) : int -> int -> int
211 val (/) : int -> int -> int
216 val (mod) : int -> int -> int
221 val abs : int -> int
226 val max_int : int
231 val min_int : int
236 val (land) : int -> int -> int
241 val (lor) : int -> int -> int
246 val (lxor) : int -> int -> int
251 val lnot : int -> int
256 val (lsl) : int -> int -> int
261 val (lsr) : int -> int -> int
266 val (asr) : int -> int -> int
271 val (~-.) : float -> float
276 val (~+.) : float -> float
281 val (+.) : float -> float -> float
286 val (-.) : float -> float -> float
291 val ( *. ) : float -> float -> float
296 val (/.) : float -> float -> float
301 val ( ** ) : float -> float -> float
306 val sqrt : float -> float
311 val exp : float -> float
316 val log : float -> float
321 val log10 : float -> float
326 val expm1 : float -> float
331 val log1p : float -> float
336 val cos : float -> float
341 val sin : float -> float
346 val tan : float -> float
351 val acos : float -> float
356 val asin : float -> float
361 val atan : float -> float
366 val atan2 : float -> float -> float
371 val hypot : float -> float -> float
376 val cosh : float -> float
381 val sinh : float -> float
386 val tanh : float -> float
391 val ceil : float -> float
396 val floor : float -> float
401 val abs_float : float -> float
406 val copysign : float -> float -> float
411 val mod_float : float -> float -> float
416 val frexp : float -> float * int
421 val ldexp : float -> int -> float
426 val modf : float -> float * float
431 val float : int -> float
436 val float_of_int : int -> float
441 val truncate : float -> int
446 val int_of_float : float -> int
451 val infinity : float
456 val neg_infinity : float
461 val nan : float
466 val max_float : float
471 val min_float : float
476 val epsilon_float : float
481 type fpclass = fpclass =
485 | FP_normal
486 | FP_subnormal
487 | FP_zero
488 | FP_infinite
489 | FP_nan
490 val classify_float : float -> fpclass
496 val (^) : string -> string -> string
501 val int_of_char : char -> int
506 val char_of_int : int -> char
511 val ignore : 'a -> unit
516 val string_of_bool : bool -> string
521 val bool_of_string : string -> bool
526 val bool_of_string_opt : string -> bool option
531 val string_of_int : int -> string
536 val int_of_string : string -> int
541 val int_of_string_opt : string -> int option
546 val string_of_float : float -> string
551 val float_of_string : string -> float
556 val float_of_string_opt : string -> float option
561 val fst : 'a * 'b -> 'a
566 val snd : 'a * 'b -> 'b
571 val (@) : 'a list -> 'a list -> 'a list
576 type in_channel = in_channel
580 type out_channel = out_channel
585 val stdin : in_channel
591 val stdout : out_channel
596 val stderr : out_channel
601 val print_char : char -> unit
606 val print_string : string -> unit
611 val print_bytes : bytes -> unit
616 val print_int : int -> unit
621 val print_float : float -> unit
626 val print_endline : string -> unit
631 val print_newline : unit -> unit
636 val prerr_char : char -> unit
641 val prerr_string : string -> unit
646 val prerr_bytes : bytes -> unit
651 val prerr_int : int -> unit
656 val prerr_float : float -> unit
661 val prerr_endline : string -> unit
666 val prerr_newline : unit -> unit
671 val read_line : unit -> string
676 val read_int : unit -> int
681 val read_int_opt : unit -> int option
686 val read_float : unit -> float
691 val read_float_opt : unit -> float option
696 type open_flag = open_flag =
700 | Open_rdonly
701 | Open_wronly
702 | Open_append
703 | Open_creat
704 | Open_trunc
705 | Open_excl
706 | Open_binary
707 | Open_text
708 | Open_nonblock
709 val open_out : string -> out_channel
715 val open_out_bin : string -> out_channel
720 val open_out_gen : open_flag list -> int -> string -> out_channel
725 val flush : out_channel -> unit
730 val flush_all : unit -> unit
735 val output_char : out_channel -> char -> unit
740 val output_string : out_channel -> string -> unit
745 val output_bytes : out_channel -> bytes -> unit
750 val output : out_channel -> bytes -> int -> int -> unit
755 val output_substring : out_channel -> string -> int -> int -> unit
760 val output_byte : out_channel -> int -> unit
765 val output_binary_int : out_channel -> int -> unit
770 val output_value : out_channel -> 'a -> unit
775 val seek_out : out_channel -> int -> unit
780 val pos_out : out_channel -> int
785 val out_channel_length : out_channel -> int
790 val close_out : out_channel -> unit
795 val close_out_noerr : out_channel -> unit
800 val set_binary_mode_out : out_channel -> bool -> unit
805 val open_in : string -> in_channel
810 val open_in_bin : string -> in_channel
815 val open_in_gen : open_flag list -> int -> string -> in_channel
820 val input_char : in_channel -> char
825 val input_line : in_channel -> string
830 val input : in_channel -> bytes -> int -> int -> int
835 val really_input : in_channel -> bytes -> int -> int -> unit
840 val really_input_string : in_channel -> int -> string
845 val input_byte : in_channel -> int
850 val input_binary_int : in_channel -> int
855 val input_value : in_channel -> 'a
860 val seek_in : in_channel -> int -> unit
865 val pos_in : in_channel -> int
870 val in_channel_length : in_channel -> int
875 val close_in : in_channel -> unit
880 val close_in_noerr : in_channel -> unit
885 val set_binary_mode_in : in_channel -> bool -> unit
890 module LargeFile : (module LargeFile)
894 type 'a ref = 'a ref = {
899 mutable contents : 'a ;
901 }
902 val ref : 'a -> 'a ref
908 val (!) : 'a ref -> 'a
913 val (:=) : 'a ref -> 'a -> unit
918 val incr : int ref -> unit
923 val decr : int ref -> unit
928 type ('a, 'b) result = ('a, 'b) result =
932 | Ok of 'a
933 | Error of 'b
934 type ('a, 'b, 'c, 'd, 'e, 'f) format6 = ('a, 'b, 'c, 'd, 'e, 'f) Cam‐
939 linternalFormatBasics.format6
940 type ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'c, 'c, 'd) format6
945 type ('a, 'b, 'c) format = ('a, 'b, 'c, 'c) format4
950 val string_of_format : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> string
956 val format_of_string : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c,
961 'd, 'e, 'f) format6
962 val (^^) : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('f, 'b, 'c, 'e, 'g, 'h)
967 format6 -> ('a, 'b, 'c, 'd, 'g, 'h) format6
968 val exit : int -> 'a
973 val at_exit : (unit -> unit) -> unit
978 val valid_float_lexem : string -> string
983 val do_at_exit : unit -> unit
988OCamldoc 2019-07-30 Pervasives(3)