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

Reference

Quotations.Expr Class (F#)

Microsoft.FSharp.Quotations Namespace (F#)