Trait for a type pattern.
A type pattern is something that a AvroType AvroType is matched against when determining if a PFA function signature can be applied to a given set of arguments.
It could be as simple as the type itself (e.g. P.Int matches AvroInt()) or it could be a complex wildcard.
Trait for a type pattern. A type pattern is something that a AvroType AvroType is matched against when determining if a PFA function signature can be applied to a given set of arguments.
It could be as simple as the type itself (e.g.
P.Int
matchesAvroInt()
) or it could be a complex wildcard.