Source file `stdcompat__stack.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
include Stack

(*

type 'a internal = { mutable c : 'a list; mutable len : int; }

let pop_opt (s : 'a t) =
  let s : 'a internal = Obj.magic s in
  match s.c with
  | [] -> None
  | hd :: tl ->
      s.c <- tl;
      s.len <- pred s.len;
      Some hd

let top_opt (s : 'a t) =
  let s : 'a internal = Obj.magic s in
  match s.c with
  | [] -> None
  | hd :: _tl -> Some hd

(*
let pop_opt s =
  try Some (pop s)
  with Empty -> None

let top_opt s =
  try Some (top s)
  with Empty -> None
*)
*)

(*

let fold f acc (s : 'a t) =
  let s : 'a internal = Obj.magic s in
  List.fold_left f acc s.c

(*
let fold f acc s =
  let r = ref acc in
  iter (fun item -> r := f !r item) s;
  !r
*)
*)

(*
let add_seq s i = Stdcompat__seq.iter (fun x -> push x s) i

let of_seq g =
  let s = create() in
  add_seq s g;
  s


let to_seq (s : 'a t) =
  let s : 'a internal = Obj.magic s in
  Stdcompat__list.to_seq s.c

(*
let to_list s =
  fold (fun accu content -> content :: accu) [] s

let to_seq s =
  Stdcompat__list.to_seq (List.rev (to_list s))
*)
*)