Module `Serlib.Ser_pattern`Source

Sourcetype patvar = Pattern.patvar

Sourceval sexp_of_patvar : patvar -> Sexplib0.Sexp.t

Sourceval patvar_of_sexp : Sexplib0.Sexp.t -> patvar

Sourceval patvar_to_yojson : patvar -> Yojson.Safe.t

val patvar_of_yojson : 
  Yojson.Safe.t ->
  patvar Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_patvar : 
  Ppx_hash_lib.Std.Hash.state ->
  patvar ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_patvar : patvar -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_patvar : patvar -> patvar -> int

Sourcetype case_info_pattern = Pattern.case_info_pattern

Sourceval sexp_of_case_info_pattern : case_info_pattern -> Sexplib0.Sexp.t

Sourceval case_info_pattern_of_sexp : Sexplib0.Sexp.t -> case_info_pattern

Sourceval case_info_pattern_to_yojson : case_info_pattern -> Yojson.Safe.t

Source

val case_info_pattern_of_yojson : 
  Yojson.Safe.t ->
  case_info_pattern Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_case_info_pattern : 
  Ppx_hash_lib.Std.Hash.state ->
  case_info_pattern ->
  Ppx_hash_lib.Std.Hash.state

Source

val hash_case_info_pattern : 
  case_info_pattern ->
  Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_case_info_pattern : case_info_pattern -> case_info_pattern -> int

Sourcetype 'i uninstantiated_pattern = 'i Pattern.uninstantiated_pattern

Source

val sexp_of_uninstantiated_pattern : 
  ('i -> Sexplib0.Sexp.t) ->
  'i uninstantiated_pattern ->
  Sexplib0.Sexp.t

Source

val uninstantiated_pattern_of_sexp : 
  (Sexplib0.Sexp.t -> 'i) ->
  Sexplib0.Sexp.t ->
  'i uninstantiated_pattern

Source

val uninstantiated_pattern_to_yojson : 
  ('i -> Yojson.Safe.t) ->
  'i uninstantiated_pattern ->
  Yojson.Safe.t

Source

val uninstantiated_pattern_of_yojson : 
  (Yojson.Safe.t -> 'i Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'i uninstantiated_pattern Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_uninstantiated_pattern : 
  (Ppx_hash_lib.Std.Hash.state -> 'i -> Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'i uninstantiated_pattern ->
  Ppx_hash_lib.Std.Hash.state

Source

val compare_uninstantiated_pattern : 
  ('i -> 'i -> int) ->
  'i uninstantiated_pattern ->
  'i uninstantiated_pattern ->
  int

Sourcetype constr_pattern = Pattern.constr_pattern

Sourceval sexp_of_constr_pattern : constr_pattern -> Sexplib0.Sexp.t

Sourceval constr_pattern_of_sexp : Sexplib0.Sexp.t -> constr_pattern

Sourceval constr_pattern_to_yojson : constr_pattern -> Yojson.Safe.t

Source

val constr_pattern_of_yojson : 
  Yojson.Safe.t ->
  constr_pattern Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_constr_pattern : 
  Ppx_hash_lib.Std.Hash.state ->
  constr_pattern ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_constr_pattern : constr_pattern -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_constr_pattern : constr_pattern -> constr_pattern -> int

package coq-lsp

Module Serlib.Ser_patternSource

Module `Serlib.Ser_pattern`Source