DerivedPatterns.SpecificCall Active Pattern (F#)

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

Parameters

  • 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.

Remarks

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.

Platforms

Windows 7, Windows Vista SP2, Windows XP SP3, Windows XP x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2

Version Information

F# Runtime

Supported in: 2.0, 4.0

Silverlight

Supported in: 3

See Also

Reference

Quotations.DerivedPatterns Module (F#)

Microsoft.FSharp.Quotations Namespace (F#)