genspio
  1. Overview
  2. Docs

Functions on 'a list t values.

val make : 'a t list -> 'a list t

Make an EDSL list out of an OCaml list.

val append : 'a list t -> 'a list t -> 'a list t

Concatenate two EDSL lists.

val iter : 'a list t -> f:((unit -> 'a t) -> unit t) -> unit t

Iterate over a list, the body of the loop ~f takes as argument function that returns the current eletment at the EDSL level.

val serialize_byte_array_list : byte_array list t -> byte_array t
val deserialize_to_byte_array_list : byte_array t -> byte_array list t
val serialize_c_string_list : c_string list t -> byte_array t
val deserialize_to_c_string_list : byte_array t -> c_string list t
val serialize_int_list : int list t -> byte_array t
val deserialize_to_int_list : byte_array t -> int list t