package pattern

  1. Overview
  2. Docs
package pattern
Legend:
Library
Module
Module type
Parameter
Class
Class type
type pattern = Ppxlib.pattern
and expression = Ppxlib.expression
and mismatch = {
  1. ident : string;
  2. expected : pattern;
  3. got : expression option;
}
and failure = {
  1. common : pattern;
  2. mismatches : mismatch list;
}
type 'a pattern_result = ('a, failure) result
type ('a, 'b) matcher = ?quoted:Ppxlib.expression -> 'a -> 'b pattern_result
val check : ('a -> Ppxlib.expression) -> 'a -> ('a, 'b) matcher -> 'b pattern_result
val format_failure : Format.formatter -> failure -> unit
val elim_type_constraints : Ppxlib.expression -> Ppxlib.expression
val pp_failure : Format.formatter -> failure -> unit
val pp_pattern_result : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a pattern_result -> unit