package apero-core

  1. Overview
  2. Docs
package apero-core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file atypes.ml

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
type error_kind = [`NoMsg | `Msg of string | `Code of int | `Pos of (string * int * int * int) | `Loc of string] [@@deriving show, yojson]
  
type error = [
  | `OutOfBounds of error_kind
  | `OutOfRange of error_kind
  | `IOError of error_kind    
  | `ClosedSession of error_kind
  | `InvalidFormat of error_kind
  | `ProtocolError of error_kind
  | `InvalidSession of error_kind
  | `ResourceLimitViolation of error_kind
  | `InvalidAddress
  | `InvalidFlags
  | `NotImplemented
  | `UnknownSubMode
  | `UnknownMessageId
  | `UnexpextedMessage
  | `ValidationError of error_kind
  | `ErrorStack of error list ]
  [@@deriving show, yojson]


(* exception Exception of error [@@deriving show] *)
exception Exception of error [@@deriving show, yojson]

let () = Printexc.register_printer @@ function | Exception(e) -> Some ("Atypes.Exception: "^(show_error e)) | _ -> None

module Vle = struct
  include Int64
  
  type intsixtyfour = int64  [@@deriving yojson]

  let of_yojson = intsixtyfour_of_yojson

  let to_yojson = intsixtyfour_to_yojson

  let of_char =
    let open Acommon.Infix in
    Int64.of_int <.> int_of_char

  let byte_mask =  0x7fL
  let more_bytes_flag = 0x80L
  let shift_len = 7
  let max_bits = 64
  let max_bytes = 10
end