Netstring_tstring · ocamlnet 4.1.9-2

type !_ tstring_kind =

| String_kind : string tstring_kind

| Bytes_kind : Bytes.t tstring_kind

| Memory_kind : Netsys_types.memory tstring_kind

type !'t tstring_ops = {

kind : 't tstring_kind option;

length : 't -> int;

get : 't -> int -> char;

unsafe_get : 't -> int -> char;

unsafe_get3 : 't -> int -> int;

copy : 't -> 't;

string : 't -> string;

bytes : 't -> Bytes.t;

sub : 't -> int -> int -> 't;

substring : 't -> int -> int -> string;

subbytes : 't -> int -> int -> Bytes.t;

subpoly : 'u. 'u tstring_kind -> 't -> int -> int -> 'u;

blit_to_bytes : 't -> int -> Bytes.t -> int -> int -> unit;

blit_to_memory : 't -> int -> Netsys_types.memory -> int -> int -> unit;

index_from : 't -> int -> char -> int;

index_from3 : 't -> int -> int -> char -> char -> char -> int;

rindex_from : 't -> int -> char -> int;

rindex_from3 : 't -> int -> int -> char -> char -> char -> int;

}

type tstring_ops_box =

| Tstring_ops_box : 't tstring_kind * 't tstring_ops -> tstring_ops_box

type tstring_box =

| Tstring_box : 't tstring_kind * 't tstring_ops * 't -> tstring_box

type tstring_polybox =

| Tstring_polybox : 't tstring_ops * 't -> tstring_polybox

val string_ops : string tstring_ops

val bytes_ops : Bytes.t tstring_ops

val memory_ops : Netsys_types.memory tstring_ops

val ops_of_tstring : Netsys_types.tstring -> tstring_ops_box

type !'a with_fun = {

with_fun : 's. 's tstring_ops -> 's -> 'a;

}

val with_tstring : 'a 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 ) ->
  's tstring_ops ->
  't tstring_kind ->
  's ->
  't

val bytes_subpoly : 'u tstring_kind -> Bytes.t -> int -> int -> 'u