jon.recoil.org

Module Patterns.HeadSource

Sourcetype desc =
  1. | Any
  2. | Construct of Types.constructor_description
  3. | Constant of Typedtree.constant
  4. | Unboxed_unit
  5. | Unboxed_bool of bool
  6. | Tuple of string option list
  7. | Unboxed_tuple of (string option * Jkind.sort) list
  8. | Record of Types.label_description list
  9. | Record_unboxed_product of Types.unboxed_label_description list
  10. | Variant of {
    1. tag : Ocaml_parsing.Asttypes.label;
    2. has_arg : bool;
    3. cstr_row : Types.row_desc ref;
    4. type_row : unit -> Types.row_desc;
    }
  11. | Array of Types.mutability * Jkind.sort * int
  12. | Lazy
Sourceval arity : t -> int
Sourceval deconstruct : Simple.pattern -> t * Typedtree.pattern list

deconstruct p returns the head of p and the list of sub patterns.

  • raises [Invalid_arg

    _] if p is an or- or an exception-pattern.

Sourceval to_omega_pattern : t -> Typedtree.pattern

reconstructs a pattern, putting wildcards as sub-patterns.

Sourceval omega : t