The left matcher, with a context type of A
The right matcher, with a context type of B
The TypeReduce rule
Operator version of and
Operator version of and
Creates a new single-element matcher which combines the results of both this matcher and that matcher.
Creates a new single-element matcher which combines the results of both this matcher and that matcher.
Both this and that will operate on the first element of the stack (as opposed to Chained matchers).
To satisfy covariance on A
The other matcher's result type
The combined result type
The matcher to combine
The TypeReduce rule for combining the two match results
A new matcher which combines the results of this and that
The matching operation for single-element matchers.
The matching operation for single-element matchers.
The first element in the XML tag stack
Some(context) for a successful match, None otherwise
The left matcher, with a context type of A
Specialization of the default or method, specifically for SingleElementContextMatchers
Specialization of the default or method, specifically for SingleElementContextMatchers
The right matcher, with a context type of B
Operator version of or, specialized for SingleElementContextMatchers
Operator version of or, specialized for SingleElementContextMatchers
(and: StringAdd).self
(and: StringFormat).self
(and: ArrowAssoc[And[A, B, R]]).x
(Since version 2.10.0) Use leftOfArrow instead
(and: Ensuring[And[A, B, R]]).x
(Since version 2.10.0) Use resultOfEnsuring instead
Combines two
SingleElementContextMatchers such that the resulting matcher will succeed if both therightandleftmatchers succeed, and returns the results of both matchers (as a tuple, but reduced via theTypeReducerules)The left matcher's context type
The right matcher's context type
The type reduction of
(A, B)The left matcher, with a context type of
AThe right matcher, with a context type of
BThe
TypeReducerule