blob: dd5900e1d7d2f1d14a4512aab91e4e6c3c985b6f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
|
(************************************************************************)
(* ocplib-endian *)
(* *)
(* Copyright 2014 OCamlPro *)
(* *)
(* This file is distributed under the terms of the GNU Lesser General *)
(* Public License as published by the Free Software Foundation; either *)
(* version 2.1 of the License, or (at your option) any later version, *)
(* with the OCaml static compilation exception. *)
(* *)
(* ocplib-endian is distributed in the hope that it will be useful, *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *)
(* GNU General Public License for more details. *)
(* *)
(************************************************************************)
module type EndianBytesSig = sig
(** Functions reading according to Big Endian byte order *)
val get_char : Bytes.t -> int -> char
(** [get_char buff i] reads 1 byte at offset i as a char *)
val get_uint8 : Bytes.t -> int -> int
(** [get_uint8 buff i] reads 1 byte at offset i as an unsigned int of 8
bits. i.e. It returns a value between 0 and 2^8-1 *)
val get_int8 : Bytes.t -> int -> int
(** [get_int8 buff i] reads 1 byte at offset i as a signed int of 8
bits. i.e. It returns a value between -2^7 and 2^7-1 *)
val get_uint16 : Bytes.t -> int -> int
(** [get_uint16 buff i] reads 2 bytes at offset i as an unsigned int
of 16 bits. i.e. It returns a value between 0 and 2^16-1 *)
val get_int16 : Bytes.t -> int -> int
(** [get_int16 buff i] reads 2 byte at offset i as a signed int of
16 bits. i.e. It returns a value between -2^15 and 2^15-1 *)
val get_int32 : Bytes.t -> int -> int32
(** [get_int32 buff i] reads 4 bytes at offset i as an int32. *)
val get_int64 : Bytes.t -> int -> int64
(** [get_int64 buff i] reads 8 bytes at offset i as an int64. *)
val get_float : Bytes.t -> int -> float
(** [get_float buff i] is equivalent to
[Int32.float_of_bits (get_int32 buff i)] *)
val get_double : Bytes.t -> int -> float
(** [get_double buff i] is equivalent to
[Int64.float_of_bits (get_int64 buff i)] *)
val set_char : Bytes.t -> int -> char -> unit
(** [set_char buff i v] writes [v] to [buff] at offset [i] *)
val set_int8 : Bytes.t -> int -> int -> unit
(** [set_int8 buff i v] writes the least significant 8 bits of [v]
to [buff] at offset [i] *)
val set_int16 : Bytes.t -> int -> int -> unit
(** [set_int16 buff i v] writes the least significant 16 bits of [v]
to [buff] at offset [i] *)
val set_int32 : Bytes.t -> int -> int32 -> unit
(** [set_int32 buff i v] writes [v] to [buff] at offset [i] *)
val set_int64 : Bytes.t -> int -> int64 -> unit
(** [set_int64 buff i v] writes [v] to [buff] at offset [i] *)
val set_float : Bytes.t -> int -> float -> unit
(** [set_float buff i v] is equivalent to
[set_int32 buff i (Int32.bits_of_float v)] *)
val set_double : Bytes.t -> int -> float -> unit
(** [set_double buff i v] is equivalent to
[set_int64 buff i (Int64.bits_of_float v)] *)
end
let get_char (s:Bytes.t) off =
Bytes.get s off
[@@ocaml.inline]
let set_char (s:Bytes.t) off v =
Bytes.set s off v
[@@ocaml.inline]
let unsafe_get_char (s:Bytes.t) off =
Bytes.unsafe_get s off
[@@ocaml.inline]
let unsafe_set_char (s:Bytes.t) off v =
Bytes.unsafe_set s off v
[@@ocaml.inline]
#include "common.ml"
#if OCAML_VERSION < (4, 07, 0)
external unsafe_get_16 : Bytes.t -> int -> int = "%caml_string_get16u"
external unsafe_get_32 : Bytes.t -> int -> int32 = "%caml_string_get32u"
external unsafe_get_64 : Bytes.t -> int -> int64 = "%caml_string_get64u"
external unsafe_set_16 : Bytes.t -> int -> int -> unit = "%caml_string_set16u"
external unsafe_set_32 : Bytes.t -> int -> int32 -> unit = "%caml_string_set32u"
external unsafe_set_64 : Bytes.t -> int -> int64 -> unit = "%caml_string_set64u"
external get_16 : Bytes.t -> int -> int = "%caml_string_get16"
external get_32 : Bytes.t -> int -> int32 = "%caml_string_get32"
external get_64 : Bytes.t -> int -> int64 = "%caml_string_get64"
external set_16 : Bytes.t -> int -> int -> unit = "%caml_string_set16"
external set_32 : Bytes.t -> int -> int32 -> unit = "%caml_string_set32"
external set_64 : Bytes.t -> int -> int64 -> unit = "%caml_string_set64"
#else
external unsafe_get_16 : Bytes.t -> int -> int = "%caml_bytes_get16u"
external unsafe_get_32 : Bytes.t -> int -> int32 = "%caml_bytes_get32u"
external unsafe_get_64 : Bytes.t -> int -> int64 = "%caml_bytes_get64u"
external unsafe_set_16 : Bytes.t -> int -> int -> unit = "%caml_bytes_set16u"
external unsafe_set_32 : Bytes.t -> int -> int32 -> unit = "%caml_bytes_set32u"
external unsafe_set_64 : Bytes.t -> int -> int64 -> unit = "%caml_bytes_set64u"
external get_16 : Bytes.t -> int -> int = "%caml_bytes_get16"
external get_32 : Bytes.t -> int -> int32 = "%caml_bytes_get32"
external get_64 : Bytes.t -> int -> int64 = "%caml_bytes_get64"
external set_16 : Bytes.t -> int -> int -> unit = "%caml_bytes_set16"
external set_32 : Bytes.t -> int -> int32 -> unit = "%caml_bytes_set32"
external set_64 : Bytes.t -> int -> int64 -> unit = "%caml_bytes_set64"
#endif
#include "common_401.ml"
|
