F #: Attribute zu diskriminierten Gewerkschaftsfeldern?

Question

Ich kann dies tun:

type AttrAttribute() = 
    inherit Attribute() 

type MyDU = 
    | [<Attr>]A of bool 
    | [<Attr>]B of int * string 
    | [<Attr>]C of byte * char * int64 

... aber ist es eine Möglichkeit, dies zu tun?

type MyDU = 
    | A of [<Attr>]bool 
    | B of int * [<Attr>]string 
    | C of [<Attr>]byte * char * [<Attr>]int64 

Offenbar sind die Fallwerte nur Felder (z let v = B (13, "oops") in (Microsoft.FSharp.Reflection.FSharpValue.GetUnionFields (v, v.GetType()) |> fst).GetFields()), so hoffe ich, dies machbar ist, irgendwie.

Answer 1

Das ist ziemlich gekünstelt:

type A_ = { [<Attr>] Item1 : int } 
type B_ = { [<Attr>] Item1 : int; [<Attr>] Item2 : string } 

type MyDU = 
    | A of A_ 
    | B of B_ 

Und

let v = A({Item1 = 1}) 
let record = ((FSharpValue.GetUnionFields (v, v.GetType()) |> fst).GetFields()) |> Array.head 
let attrs = record.PropertyType.GetProperties() |> Array.collect(fun p -> p.GetCustomAttributes(false))