apero-core 0.4.7 (latest) · OCaml Package

include module type of struct include Atypes end

type error_kind = [

| `NoMsg
| `Msg of string
| `Code of int
| `Pos of string * int * int * int
| `Loc of string

]

val pp_error_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  error_kind ->
  Ppx_deriving_runtime.unit

val show_error_kind : error_kind -> Ppx_deriving_runtime.string

val error_kind_to_yojson : error_kind -> Yojson.Safe.t

val error_kind_of_yojson : 
  Yojson.Safe.t ->
  error_kind Ppx_deriving_yojson_runtime.error_or

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

]

val pp_error : 
  Ppx_deriving_runtime.Format.formatter ->
  error ->
  Ppx_deriving_runtime.unit

val show_error : error -> Ppx_deriving_runtime.string

val error_to_yojson : error -> Yojson.Safe.t

val error_of_yojson : 
  Yojson.Safe.t ->
  error Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> error Ppx_deriving_yojson_runtime.error_or

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

package apero-core