Commits

camlspotter committed 20cbe4a

Spotlib.Spot.Stream

Comments (0)

Files changed (3)

 open Stream_intf
 
 (** Import the constructors *)
-type 'a desc = 'a Spotlib.Stream.desc = 
+type 'a desc = 'a Spotlib.Spot.Stream.desc = 
   | Cons of 'a * 'a desc lazy_t
   | Null
 
   type pos = P.Pos.t
   type attr = P.Attr.t
 
-  open Spotlib.Stream
+  open Spotlib.Spot.Stream
   open P
 
-  type desc = (Elem.t option * Attr.t) Spotlib.Stream.desc
-  type t = (Elem.t option * Attr.t) Spotlib.Stream.t (* None means EOS *)
+  type desc = (Elem.t option * Attr.t) Spotlib.Spot.Stream.desc
+  type t = (Elem.t option * Attr.t) Spotlib.Spot.Stream.t (* None means EOS *)
 
   let cons_desc e attr v = Cons ((Some e,attr), v)
-  let null_desc attr = Cons ((None, attr), Spotlib.Stream.null)
+  let null_desc attr = Cons ((None, attr), Spotlib.Spot.Stream.null)
   let null attr = Lazy.lazy_from_val (null_desc attr)
 
   let peek = function
 open Stream_intf
 
 (** Import the constructors *)
-type 'a desc = 'a Spotlib.Stream.desc = 
+type 'a desc = 'a Spotlib.Spot.Stream.desc = 
   | Cons of 'a * 'a desc lazy_t
   | Null
 

lib/stream_intf.ml

   val to_list : t -> elem list
   val iter : (elem -> unit) -> t -> unit
   val fold_right : (elem -> 'a -> 'a) -> t -> 'a -> 'a
-  val map : (elem -> 'a) -> t -> 'a Spotlib.Stream.t
+  val map : (elem -> 'a) -> t -> 'a Spotlib.Spot.Stream.t
   (** Iteration, folding and map *)
 
   val rev_between : t -> t -> elem list