The value's type is T exactly; for an Any, the type of what it holds.
- $T: the type the value must have.
of_type :: ($T: Type) -> MatcherThe value's type is T exactly; for an Any, the type of what it holds.
Parameters
- $T: Type
- the type the value must have.