Type Extensions (F#)
Type extensions let you add new members to a previously defined object type.
// Intrinsic extension. type typename with member self-identifier.member-name = body ... [ end ] // Optional extension. type typename with member self-identifier.member-name = body ... [ end ]
There are two forms of type extensions that have slightly different syntax and behavior. An intrinsic extension is an extension that appears in the same namespace or module, in the same source file, and in the same assembly (DLL or executable file) as the type being extended. An optional extension is an extension that appears outside the original module, namespace, or assembly of the type being extended. Intrinsic extensions appear on the type when the type is examined by reflection, but optional extensions do not. Optional extensions must be in modules, and they are only in scope when the module that contains the extension is open.
In the previous syntax, typename represents the type that is being extended. Any type that can be accessed can be extended, but the type name must be an actual type name, not a type abbreviation. You can define multiple members in one type extension. The self-identifier represents the instance of the object being invoked, just as in ordinary members.
The end keyword is optional in lightweight syntax.
Members defined in type extensions can be used just like other members on a class type. Like other members, they can be static or instance members. These methods are also known as extension methods; properties are known as extension properties, and so on. Optional extension members are compiled to static members for which the object instance is passed implicitly as the first parameter. However, they act as if they were instance members or static members according to how they are declared. Implicit extension members are included as members of the type and can be used without restriction.
Extension methods cannot be virtual or abstract methods. They can overload other methods of the same name, but the compiler gives preference to non-extension methods in the case of an ambiguous call.
If multiple intrinsic type extensions exist for one type, all members must be unique. For optional type extensions, members in different type extensions to the same type can have the same names. Ambiguity errors occur only if client code opens two different scopes that define the same member names.
In the following example, a type in a module has an intrinsic type extension. To client code outside the module, the type extension appears as a regular member of the type in all respects.
module MyModule1 = // Define a type. type MyClass() = member this.F() = 100 // Define type extension. type MyClass with member this.G() = 200 module MyModule2 = let function1 (obj1: MyModule1.MyClass) = // Call an ordinary method. printfn "%d" (obj1.F()) // Call the extension method. printfn "%d" (obj1.G())
You can use intrinsic type extensions to separate the definition of a type into sections. This can be useful in managing large type definitions, for example, to keep compiler-generated code and authored code separate or to group together code created by different people or associated with different functionality.
In the following example, an optional type extension extends the System.Int32 type with an extension method FromString that calls the static member Parse. The testFromString method demonstrates that the new member is called just like any instance member.
// Define a new member method FromString on the type Int32. type System.Int32 with member this.FromString( s : string ) = System.Int32.Parse(s) let testFromString str = let mutable i = 0 // Use the extension method. i <- i.FromString(str) printfn "%d" i testFromString "500"
The new instance member will appear like any other method of the Int32 type in IntelliSense, but only when the module that contains the extension is open or otherwise in scope.