Plasma GitLab Archive
Projects Blog Knowledge

sig
  type _ tstring_kind =
      String_kind : string Netstring_tstring.tstring_kind
    | Bytes_kind : Bytes.t Netstring_tstring.tstring_kind
    | Memory_kind : Netsys_types.memory Netstring_tstring.tstring_kind
  type 't tstring_ops = {
    kind : 'Netstring_tstring.tstring_kind option;
    length : '-> int;
    get : '-> int -> char;
    unsafe_get : '-> int -> char;
    unsafe_get3 : '-> int -> int;
    copy : '-> 't;
    string : '-> string;
    bytes : '-> Bytes.t;
    sub : '-> int -> int -> 't;
    substring : '-> int -> int -> string;
    subbytes : '-> int -> int -> Bytes.t;
    subpoly : 'u. 'Netstring_tstring.tstring_kind -> '-> int -> int -> 'u;
    blit_to_bytes : '-> int -> Bytes.t -> int -> int -> unit;
    blit_to_memory : '-> int -> Netsys_types.memory -> int -> int -> unit;
    index_from : '-> int -> char -> int;
    index_from3 : '-> int -> int -> char -> char -> char -> int;
    rindex_from : '-> int -> char -> int;
    rindex_from3 : '-> int -> int -> char -> char -> char -> int;
  }
  type tstring_ops_box =
      Tstring_ops_box : 'Netstring_tstring.tstring_kind *
        'Netstring_tstring.tstring_ops -> Netstring_tstring.tstring_ops_box
  type tstring_box =
      Tstring_box : 'Netstring_tstring.tstring_kind *
        'Netstring_tstring.tstring_ops *
        '-> Netstring_tstring.tstring_box
  type tstring_polybox =
      Tstring_polybox : 'Netstring_tstring.tstring_ops *
        '-> Netstring_tstring.tstring_polybox
  val string_ops : string Netstring_tstring.tstring_ops
  val bytes_ops : Bytes.t Netstring_tstring.tstring_ops
  val memory_ops : Netsys_types.memory Netstring_tstring.tstring_ops
  val ops_of_tstring :
    Netsys_types.tstring -> Netstring_tstring.tstring_ops_box
  type 'a with_fun = {
    with_fun : 's. 'Netstring_tstring.tstring_ops -> '-> 'a;
  }
  val with_tstring :
    'Netstring_tstring.with_fun -> Netsys_types.tstring -> 'a
  val length_tstring : Netsys_types.tstring -> int
  val tstring_of_tbuffer : Netsys_types.tbuffer -> Netsys_types.tstring
  val polymorph_string_transformation :
    (string -> string) ->
    'Netstring_tstring.tstring_ops ->
    'Netstring_tstring.tstring_kind -> '-> 't
  val bytes_subpoly :
    'Netstring_tstring.tstring_kind -> Bytes.t -> int -> int -> 'u
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml