package gen

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Clonable Generators

gen
- Gen
  - IO
  - Infix
  - Restart
    
    Infix
- GenClone
  - IO
- GenLabels
  - IO
  - Infix
  - Restart
    
    Infix
- GenLabels_intf
  - S
    
    Infix
- GenM
  - Make
    
    Infix
    
    M
- GenMList
- GenM_intf
  - MONAD
  - S
    
    Infix
    
    M
- GenShims_
- Gen_intf
  - S
    
    Infix

Legend:
Library
Module
Module type
Parameter
Class
Class type

Clonable Generators

Utils to save the internal state of a generator, and restart from this state. This will and should not work on any iterator, but for some of them (e.g. reading from a file, see IO) it makes a lot of sense.

since 0.2.3

type 'a gen = unit -> 'a option

type 'a t = < gen : 'a gen ; clone : 'a t >

A generator that can be cloned as many times as required.

type 'a clonable = 'a t

Alias to 'at

Prepend method

type 'a prependable =
  < gen : 'a gen
  ; clone : 'a prependable
  ; prepend : 'a -> unit >

val to_prependable : 'a t -> 'a prependable

Misc

val map : ('a -> 'b) -> 'a t -> 'b t

Low-level Persistency

Example:

let g = 1 -- 1000 ;;
val g : int t = <fun>

let c = g |> MList.of_gen_lazy |> MList.to_clonable;;
val c : int clonable = <obj>

          c#next |> take 500 |> to_list;;
- : int list = [1; 2; 3; .....; 500]

let c' = c#clone ;;
val c' : int clonable = <obj>

           c |> to_list;;
- : int list = [501; 502; ....; 1000]

  c'#gen |> to_list;;   (* c consumed, but not c' *)
- : int list = [501; 502; ....; 1000]

  c#gen |> to_list;;
- : int list = []

IO

module IO : sig ... end