Module Unstring_engine.Make_derivedSource

Parameters

module M : sig ... end

Signature

Sourcetype 'a t =
  1. | Return : 'a -> 'a t
  2. | Map : 'a t * ('a -> 'b) -> 'b t
  3. | Terminal : M.terminal -> unit t
  4. | Capture : unit t * (M.input -> pos:int -> len:int -> 'a) -> 'a t
  5. | Capture_also : 'a t * (M.input -> pos:int -> len:int -> 'a -> 'b) -> 'b t
  6. | Union : 'a t list -> 'a t
  7. | Append : 'a t * 'b t * ('a -> 'b -> 'c) -> 'c t
  8. | Concat_unit : unit t list -> unit t
  9. | Star : 'a t * ('acc, 'a) Unstring_engine__.Grammar_module_types_intf.Definitions.Fold.t -> 'acc t
  10. | Star_unit : unit t -> unit t
Sourceval sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t