package apero-core

  1. Overview
  2. Docs
include module type of struct include Atypes end
type error_kind = [
  1. | `NoMsg
  2. | `Msg of string
  3. | `Code of int
  4. | `Pos of string * int * int * int
  5. | `Loc of string
]
val show_error_kind : error_kind -> Ppx_deriving_runtime.string
val error_kind_to_yojson : error_kind -> Yojson.Safe.t
type error = [
  1. | `OutOfBounds of error_kind
  2. | `OutOfRange of error_kind
  3. | `IOError of error_kind
  4. | `ClosedSession of error_kind
  5. | `InvalidFormat of error_kind
  6. | `ProtocolError of error_kind
  7. | `InvalidSession of error_kind
  8. | `ResourceLimitViolation of error_kind
  9. | `InvalidAddress
  10. | `InvalidFlags
  11. | `NotImplemented
  12. | `UnknownSubMode
  13. | `UnknownMessageId
  14. | `UnexpextedMessage
  15. | `ValidationError of error_kind
  16. | `ErrorStack of error list
]
val error_to_yojson : error -> Yojson.Safe.t
exception Exception of error
module Vle = Atypes.Vle
include module type of struct include Acommon end
val identity : 'a -> 'a
val drop : int -> 'a list -> 'a list
val take : int -> 'a list -> 'a list
val compose : ('b -> 'c) -> ('a -> 'b) -> 'a -> 'c
val some : 'b -> ('a -> 'b) -> 'a option -> 'b
val result : ('a -> 'b) -> ('c -> 'b) -> ('a, 'c) result -> 'b
val apply : ('a -> 'b) -> 'a -> 'b
val apply_n : 'a -> ('a -> 'b) -> int -> 'b list
val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
module Infix = Acommon.Infix
module Astring = Acommon.Astring
module type Monad = Acommon.Monad
module Option = Acommon.Option
module Result = Acommon.Result
module LwtM = Acommon.LwtM
include module type of struct include State end
module StateFunc = State.StateFunc
module State = State.State
include module type of struct include Ordered end
module type Comparable = Ordered.Comparable
module Ordered = Ordered.Ordered
include module type of struct include Key_value end
module KeyValueF = Key_value.KeyValueF
include module type of struct include Properties end
module Property = Properties.Property
module Properties = Properties.Properties
type properties = Property.Value.t Properties.t
include module type of struct include Uuid end
module Uuid = Uuid.Uuid
include module type of struct include Mvar end
module type MVar = Mvar.MVar
module MVar_lwt = Mvar.MVar_lwt
include module type of struct include Json end
module Json = Json.Json
include module type of struct include Identifiers end
module Id = Identifiers.Id
module NumId = Identifiers.NumId
include module type of struct include Apath end
module Path = Apath.Path
module PathExpr = Apath.PathExpr
module List = Alist
module Stringable = Stringable
module EventStream : sig ... end
val encode_vle : ?size:int -> int64 -> Abuf.t -> unit
val decode_vle : Abuf.t -> int64
val fast_encode_vle : Vle.t -> Abuf.t -> unit
val fast_decode_vle : Abuf.t -> int64
val skip_vle : Abuf.t -> unit
val encode_buf : Abuf.t -> Abuf.t -> unit
val decode_buf : Abuf.t -> Abuf.t
val encode_bytes : bytes -> Abuf.t -> unit
val decode_bytes : Abuf.t -> bytes
val encode_abytes : Abytes.t -> Abuf.t -> unit
val decode_abytes : Abuf.t -> Abytes.t
val encode_string : string -> Abuf.t -> unit
val decode_string : Abuf.t -> string
val decode_seq : (Abuf.t -> 'a) -> Abuf.t -> 'a list
val encode_seq : ('a -> Abuf.t -> 'b) -> 'a list -> Abuf.t -> unit
val encode_seq_safe : ('a -> Abuf.t -> 'b) -> 'a list -> Abuf.t -> 'a list
val read1_spec : 'a -> ('b -> 'c) -> ('c -> 'd) -> 'b -> 'd
val read2_spec : 'a -> ('b -> 'c) -> ('b -> 'd) -> ('c -> 'd -> 'e) -> 'b -> 'e
val read3_spec : 'a -> ('b -> 'c) -> ('b -> 'd) -> ('b -> 'e) -> ('c -> 'd -> 'e -> 'f) -> 'b -> 'f
val read4_spec : 'a -> ('b -> 'c) -> ('b -> 'd) -> ('b -> 'e) -> ('b -> 'f) -> ('c -> 'd -> 'e -> 'f -> 'g) -> 'b -> 'g
val read5_spec : 'a -> ('b -> 'c) -> ('b -> 'd) -> ('b -> 'e) -> ('b -> 'f) -> ('b -> 'g) -> ('c -> 'd -> 'e -> 'f -> 'g -> 'h) -> 'b -> 'h
val read6_spec : 'a -> ('b -> 'c) -> ('b -> 'd) -> ('b -> 'e) -> ('b -> 'f) -> ('b -> 'g) -> ('b -> 'h) -> ('c -> 'd -> 'e -> 'f -> 'g -> 'h -> 'i) -> 'b -> 'i
val lwt_of_result : ('a, error) result -> 'a Lwt.t
val failw_with_not_impl : unit -> ('a, exn) Result.t