Concrete.Pattern
See TaglessFinal.Pattern
.
type t = private
| MatchValue of {
} | |||||
| MatchSingleton of {
} | |||||
| MatchSequence of {
} | |||||
| MatchMapping of {
} | |||||
| MatchClass of {
} | |||||
| MatchStar of {
} | |||||
| MatchAs of {
} | |||||
| MatchOr of {
} |
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
val make_matchvalue_of_t :
location:Location.t ->
value:Expression.t ->
unit ->
t
val make_matchsingleton_of_t :
location:Location.t ->
value:Constant.t ->
unit ->
t
val make_matchsequence_of_t :
location:Location.t ->
?patterns:t list ->
unit ->
t
val make_matchmapping_of_t :
location:Location.t ->
?keys:Expression.t list ->
?patterns:t list ->
?rest:Identifier.t ->
unit ->
t
val make_matchclass_of_t :
location:Location.t ->
cls:Expression.t ->
?patterns:t list ->
?kwd_attrs:Identifier.t list ->
?kwd_patterns:t list ->
unit ->
t
val make_matchstar_of_t :
location:Location.t ->
?name:Identifier.t ->
unit ->
t
val make_matchas_of_t :
location:Location.t ->
?pattern:t ->
?name:Identifier.t ->
unit ->
t
val make_matchor_of_t : location:Location.t -> ?patterns:t list -> unit -> t