Commits

camlspotter committed ba51119

monad_intf

Comments (0)

Files changed (4)

   module Str : Stream.S
   exception Error of Str.pos * string
   module Result : Result.S with type error = Str.pos * string
-  include Monad.T with type 'a t = Str.t -> ('a * Str.t) Result.t
+  include Monad_intf.T with type 'a t = Str.t -> ('a * Str.t) Result.t
   val take : Str.elem t
   val pos : 'a t -> ('a * Str.pos) t
   val error : string -> 'a t
   exception Error of Str.pos * string
   module Result : Result.S with type error = Str.pos * string
   
-  include Spotlib.Spot.Monad.T with type 'a t = Str.t -> ('a * Str.t) Result.t
+  include Spotlib.Spot.Monad_intf.T with type 'a t = Str.t -> ('a * Str.t) Result.t
 
   val take : Str.elem t
   val pos : 'a t -> ('a * Str.pos) t
   type 'a _t = 
       | Ok of 'a
       | Error of error
-  include Monad.T with type 'a t = 'a _t
+  include Monad_intf.T with type 'a t = 'a _t
   val fail : error -> 'a t
 end
 
   type 'a _t = 
       | Ok of 'a
       | Error of error
-  include Monad.T with type 'a t = 'a _t
+  include Monad_intf.T with type 'a t = 'a _t
   val fail : error -> 'a t
 end