Expr.Substitute Method (F#)

Substitutes through the given expression using the given functions to map variables to new values. The functions must give consistent results at each application. Variable renaming may occur on the target expression if variable capture occurs.

Namespace/Module Path: Microsoft.FSharp.Quotations

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

// Signature:
member this.Substitute : (Var -> Expr option) -> Expr

// Usage:
expr.Substitute (substitution)

Parameters

  • substitution
    Type: Var -> Expr

    The function to map variables into expressions.

Return Value

The expression with the given substitutions.

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.Expr Class (F#)

Microsoft.FSharp.Quotations Namespace (F#)