Combinators-as-predicates-for-combinators means that you can’t use concatenation/alternation as and/or. Instead of HMRConcatenate(x, y), implement & use HMRConcatenateP(x, y) which returns a predicate which matches HMRConcatenation instances with x and y.
Combinators-as-predicates-for-combinators means that you can’t use concatenation/alternation as and/or. Instead of
HMRConcatenate(x, y)
, implement & useHMRConcatenateP(x, y)
which returns a predicate which matchesHMRConcatenation
instances withx
andy
.