Commits

camlspotter committed 7ad0373

removed begin_with

  • Participants
  • Parent commits 7457d17
  • Branches v1.1.0

Comments (0)

Files changed (2)

   let (/?/) : 'a list t -> 'a list t -> 'a list t = fun c1 c2 ->
     (c1 >>= fun x -> c2 >>= fun y -> return (x @ y)) <!> c2
 
-  let begin_with c1 c2 =
-    option c1 >>= function
-      | None -> return None
-      | Some _ -> c2 >>= fun v -> return (Some v)
-
   let set_stream new_st _st = Profile.incr (); Ok ((), new_st)
 
   let run : 'a t -> Str.t -> ('a * Str.t, error) Result.t = fun t st ->

File planck_intf.ml

 
 
 
-  (** Misc *)
-    
-  val begin_with : 'a t -> 'b t -> 'b option t
-  (** [begin_with b w]: if [b] matches then try [w] and returns [w]'s result.
-      Otherwise, it returns [None]. *)
-  (* CR jfuruse: should be removed *)
-
-
   (** Monad runner *)
 
   val run : 'a t -> Str.t -> ('a * Str.t, error) Result.t