package genspio

  1. Overview
  2. Docs

Module EDSL.ElistSource

Functions on 'a list t values.

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

Make an EDSL list out of an OCaml list.

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

Concatenate two EDSL lists.

Sourceval 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.

Sourceval to_string : 'a list t -> f:('a t -> byte_array t) -> byte_array t
Sourceval of_string : byte_array t -> f:(byte_array t -> 'a t) -> 'a list t