Module `Tjr_lib_core.Seq_obj`

Sequences

Example:

let range (l:int) (h:int) = 
  seq_f#make (fun x -> x+1) l |> 
  seq_f#map (fun x -> if x >= h then None else Some x) 

let _ = range

let nums = (range 0 10) |> seq_f#peek_filter 100 

let _ = assert(nums=[0;1;2;3;4;5;6;7;8;9])

let nums = (range 0 10) |> seq_f#drop 5 |> seq_f#peek_filter 5

let _ = assert(nums=[5;6;7;8;9])

Object seq_f has type:

< drop : int -> 'a seq2 -> 'a seq2;
  make : ('a -> 'a) -> 'a -> (< get : 'a; next : 'c > as 'c);
  map : ('a -> 'b) -> 'a seq2 -> 'b seq2; peek : int -> 'a seq2 -> 'a list;
  peek_filter : int -> 'a option seq2 -> 'a list;
  read : int -> 'a seq2 -> 'a list * 'a seq2;
  read_filter : int -> 'a option seq2 -> 'a list * 'a option seq2 >

val iter_k : (k:('a -> 'b) -> 'a -> 'b) -> 'a -> 'b

type 'a seq1 = 'a
type 'a seq2 = < get : 'a; next : 'a seq2; >

val seq_f : < drop : int -> 'a seq2 -> 'a seq2; make : ('a -> 'a) -> 'a -> < get : 'a; next : 'c; > as 'c; map : ('a -> 'b) -> 'a seq2 -> 'b seq2; peek : int -> 'a seq2 -> 'a list; peek_filter : int -> 'a option seq2 -> 'a list; read : int -> 'a seq2 -> 'a list * 'a seq2; read_filter : int -> 'a option seq2 -> 'a list * 'a option seq2; >: f for functional; m for mutable

val seq_example : unit -> unit