Type used in pattern matching to allow for wildcard type matching. See also Quote.any and Quote.withType.
The following example shows how to use the AnyType type to match a list of any type.
match <@ [] : int list @> with
| Quote <@ [] : AnyType list @> -> printfn "Matched!"
| _ -> printfn "No Match!"
Basic operator overloads allow to match generally over certain operators.
match <@ 23.0 + 2.0 @> with
| Quote <@ Quote.any "a" + Quote.any "b" @> -> printfn "Matched!"
| _ -> printfn "No Match!"
Constructor | Description |
|