Was ist der Enum.GetName Äquivalent für F # union-Mitglied?

Question

Ich möchte das Äquivalent von Enum.GetName für ein F # diskriminiert Gewerkschaftsmitglied bekommen. ToString() Aufruf gibt mir Type-Namen + Member, die nicht genau das, was ich will. Ich kann es String, natürlich, aber ist es sicher? Oder vielleicht gibt es einen besseren Weg?

Answer 1

Sie müssen die Klassen im Microsoft.FSharp.Reflection Namespace verwenden, so:

open Microsoft.FSharp.Reflection

///Returns the case name of the object with union type 'ty.
let GetUnionCaseName (x:'a) = 
    match FSharpValue.GetUnionFields(x, typeof<'a>) with
    | case, _ -> case.Name  

///Returns the case names of union type 'ty.
let GetUnionCaseNames <'ty> () = 
    FSharpType.GetUnionCases(typeof<'ty>) |> Array.map (fun info -> info.Name)

// Example
type Beverage =
    | Coffee
    | Tea

let t = Tea
> val t : Beverage = Tea

GetUnionCaseName(t)
> val it : string = "Tea"

GetUnionCaseNames<Beverage>()
> val it : string array = [|"Coffee"; "Tea"|]

Answer 2

@ DanielAsher Antwort funktioniert, aber es eleganter zu machen, würde ich es auf diese Weise tun (und schnell, weil der Mangel an Reflexion für eine der Methoden?):

type Beverage =
    | Coffee
    | Tea
    static member ToStrings() =
        Microsoft.FSharp.Reflection.FSharpType.GetUnionCases(typeof<Beverage>)
            |> Array.map (fun info -> info.Name)
    override self.ToString() =
        sprintf "%A" self

(inspiriert von diese und

Ich möchte etwas noch prägnante vorzuschlagen:

open Microsoft.FSharp.Reflection

type Coffee = { Country: string; Intensity: int }

type Beverage =
    | Tea
    | Coffee of Coffee

    member x.GetName() = 
        match FSharpValue.GetUnionFields(x, x.GetType()) with
        | (case, _) -> case.Name  

Wenn Vereinigung Fall einfach ist, GetName() die gleiche wie ToString() bringen kann:

> let tea = Tea
val tea : Beverage = Tea

> tea.GetName()
val it : string = "Tea"

> tea.ToString()
val it : string = "Tea"

Wenn jedoch Vereinigung Fall ist schicker, wird es einen Unterschied :.

> let coffee = Coffee ({ Country = "Kenya"; Intensity = 42 })
val coffee : Beverage = Coffee {Country = "Kenya"; Intensity = 42;}

> coffee.GetName()
val it : string = "Coffee"

> coffee.ToString()
val it : string = "Coffee {Country = "Kenya";        Intensity = 42;}"

Answer 3

Answer 4

Answer 5

Ich möchte etwas noch prägnante vorzuschlagen:

open Microsoft.FSharp.Reflection

type Coffee = { Country: string; Intensity: int }

type Beverage =
    | Tea
    | Coffee of Coffee

    member x.GetName() = 
        match FSharpValue.GetUnionFields(x, x.GetType()) with
        | (case, _) -> case.Name  

Wenn Vereinigung Fall einfach ist, GetName() die gleiche wie ToString() bringen kann:

> let tea = Tea
val tea : Beverage = Tea

> tea.GetName()
val it : string = "Tea"

> tea.ToString()
val it : string = "Tea"

Wenn jedoch Vereinigung Fall ist schicker, wird es einen Unterschied :.

> let coffee = Coffee ({ Country = "Kenya"; Intensity = 42 })
val coffee : Beverage = Coffee {Country = "Kenya"; Intensity = 42;}

> coffee.GetName()
val it : string = "Coffee"

> coffee.ToString()
val it : string = "Coffee {Country = "Kenya";        Intensity = 42;}"

Answer 6

Answer 7

Answer 8