Table of contents
Collapse the table of content
Expand the table of content

DerivedPatterns.SpecificCall Active Pattern (F#)

Den Delimarsky|Last Updated: 8/18/2017
1 Contributor

Recognizes calls to a specified function or method. This is a parameterized active pattern.

Namespace/Module Path: Microsoft.FSharp.Quotations.DerivedPatterns

Assembly: FSharp.Core (in FSharp.Core.dll)


// Signature:
( |SpecificCall|_| ) : (templateParameter:Expr) -> Expr -> (Expr option * Type list * Expr list) option


templateParameter Type: Expr

The input template expression that specifies the method to call.

Return Value

The formal return type is (Expr option * Type list * Expr list) option. The option indicates whether there is a successful match. In a pattern matching expression, the input is decomposed, upon a successful match, into a tuple of three elements. The first element represents the optional target object, which is present if the target is an instance method. The second element represents the generic type instantiation, which is non-empty if the target is a generic instantiation. The third element represents the arguments to the function or method.


This function is named SpecificCallPattern in the .NET Framework assembly. If you are accessing the member from a .NET Framework language other than F#, or through reflection, use this name.


Windows 8, Windows 7, Windows Server 2012, Windows Server 2008 R2

Version Information

F# Core Library Versions

Supported in: 2.0, 4.0, Portable

See Also

Quotations.DerivedPatterns Module (F#)

Microsoft.FSharp.Quotations Namespace (F#)

© 2020 Microsoft