A combinator pattern produced by the P namespace.
The type parameters are phantom: T is the type of values the pattern matches, and C the captures it contributes. They only exist at the type level and drive CapturesOf and MatchedOf.
T
C
A combinator pattern produced by the P namespace.
The type parameters are phantom:
Tis the type of values the pattern matches, andCthe captures it contributes. They only exist at the type level and drive CapturesOf and MatchedOf.