| (^:) [Kojson_pattern] | l^: f matches an association with a label l such that f matches
the mapping of l and returns a pattern which matches the remainder.
|
| (^?:) [Kojson_pattern] | l^?: f matches an association which either has no mapping for l and is
matched by f None or which maps l to some v with remainder lvs
such that f (Some v) lvs verifies a match for both v and lvs.
|
A | |
| any [Kojson_pattern.Ka] | any matches any remaining bindings and returns them.
|
| any [Kojson_pattern.K] | json matches any value and returns it.
|
| array [Kojson_pattern.K] | array f matches the same inputs as list f, but returns an array
instead of a list.
|
| assoc [Kojson_pattern.K] | assoc f matches `Assoc vs if f matches vs and passes though the
computed value f vs.
|
| assoc_or_null [Kojson_pattern.K] | assoc_or_null f matches the same inputs as assoc f, in addition to
`Null and `List [] given that f matches the empty association.
|
B | |
| bool [Kojson_pattern.K] | bool matches a value of the form `Bool b and returns b.
|
C | |
| convert [Kojson_pattern.K] | convert type_name f performs the conversion f, intercepting Failure
and re-raises them as a conversion error informing that a value of
type_name was expected.
|
D | |
| default_warn [Kojson] |
This is the default warning handler used by
Kojson.jin_of_json.
|
| drop [Kojson_pattern.Ka] | drop ls removes the labels ls.
|
E | |
| empty [Kojson_pattern.Ka] | empty x matches the empty association and returns x.
|
F | |
| first [Kojson_pattern.Ka] | first_assoc [f₁; …; fₙ] matches an association which is matched by fᵢ
for some i, and returns the result of the first match.
|
| first [Kojson_pattern.K] | first [f₁; …; fₙ] matches a value which is matched by either of the fᵢ
patters, and returns the result of the first match.
|
| float [Kojson_pattern.K] | float matches a value of the form `Float x and returns x.
|
| fold [Kojson_pattern.Ka] | fold f matches any association such that f lᵢ matches the value vᵢ
bound to lᵢ for each label.
|
I | |
| int [Kojson_pattern.K] | int matches a value of the form `Int i and returns i.
|
| iter [Kojson_pattern.Ka] | iter f matches any association such that f lᵢ matches the value
vᵢ bound to lᵢ for each label.
|
J | |
| jain_path [Kojson] | |
| jin_of_json [Kojson] |
Pair a JSON value with a path for use during matching.
|
| jin_path [Kojson] | |
L | |
| list [Kojson_pattern.K] | list f matches `List vs if f matches v for each v in vs, and
returns the list of values f v.
|
| literal [Kojson_pattern.K] | literal v matches only the value v.
|
M | |
| map [Kojson_pattern.Ka] | map f matches any association such that f lᵢ matches the value vᵢ
bound to lᵢ for each label.
|
N | |
| null [Kojson_pattern.K] | null matches `Null.
|
S | |
| stop [Kojson_pattern.Ka] | stop x matches any association and returns x, but warns about
present labels.
|
| string [Kojson_pattern.K] | string matches a value of the form `String s and returns s.
|
| string_enum [Kojson_pattern.K] | string_enum lxs matches any of the keys of the association list lxs
and returns the corresponding value.
|
| string_of_mismatch [Kojson] |
Format a explanation of why a pattern did not match.
|
| string_of_path [Kojson] |
Convert a label and index path to a human readable string.
|