Quel est l'équivalent Enum.GetName pour les membres F # syndicale?

Question

Je veux obtenir l'équivalent de Enum.GetName pour un F # discriminé membre du syndicat. Appel ToString() me donne TypeName + MemberName, ce qui est exactement ce que je veux. Je pourrais sousChaîne, bien sûr, mais est-il sûr? Ou peut-être il y a une meilleure façon?

Answer 1

Vous devez utiliser les classes dans l'espace de noms Microsoft.FSharp.Reflection donc:

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

@ réponse de DanielAsher fonctionne, mais pour le rendre plus élégant, je le ferais de cette façon (et rapide en raison du manque de réflexion pour l'une des méthodes?):

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

(Inspiré par cette et

Je voudrais proposer quelque chose d'encore plus concis:

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  

Lorsque le cas de l'union est simple, GetName() peut porter la même chose que ToString():

> let tea = Tea
val tea : Beverage = Tea

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

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

Toutefois, si le cas du syndicat est colombophile, il y aura une différence :.

> 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

Je voudrais proposer quelque chose d'encore plus concis:

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  

Lorsque le cas de l'union est simple, GetName() peut porter la même chose que ToString():

> let tea = Tea
val tea : Beverage = Tea

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

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

Toutefois, si le cas du syndicat est colombophile, il y aura une différence :.

> 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