タイプ 'XmlProvider <...>。パラメータ'は演算子 'get_Value'をサポートしていませんか？

Question

コードを修正するにはどうすればよいですか？インライン/静的に解決された型は、構造型と同じ強力ですか？

タイプ 'XmlProvider <>。'パラメータ '演算子' get_Value 'をサポートしていません？

let input1 = """<r1><parameters><parameter name="token">1</parameter><parameter name="other">xxx</parameter></parameters><othersOf1>..sample....</othersOf1></r1>""" 
let xml1 = XmlProvider<"""<r1><parameters><parameter name="token">1</parameter><parameter name="other">xxx</parameter></parameters><othersOf1>...</othersOf1></r1>""">.Parse(input1) 

let inline get name parameters = 
    parameters |> Seq.tryFind (fun x -> (^P : (member Name : 'a) x) = name) 
    |> Option.map (fun v -> (^P : (member Value : 'b) v)) 

get "token" xml1.Parameters 

Answer 1

Value単一タイプ有するノード（タイププロバイダが統一することができ、またはタイプを、例えば、2および3.0）のために定義されています。あなたの例では、2番目の値は文字列xxxであるため、パラメータは2つのプロパティを受け取ります。NumberおよびStringそれぞれのタイプはoptionです。あなたはどちらかあなたの入力は1つの一貫性のある値の型（xxx＆RIGHTARROW; 2）持っている

• 変更

   
  let xml1 = XmlProvider<"""<r1><parameters><parameter name="token">1</parameter><parameter name="other">2</parameter></parameters><othersOf1>...</othersOf1></r1>""">.Parse(input1)

• は単一の出力型に（例えばstring）

  それらを有効にします

  let inline get name parameters = 
      parameters |> Seq.tryFind (fun x -> (^P : (member Name : 'a) x) = name) 
      |> Option.bind (fun v -> 
       match (^P : (member Number : int option) v) with 
       | Some number -> Some (string number) 
       | None -> (^P : (member String : string option) v)) 
  

• 適切なDUを作成

  type Value = Number of int | Name of string 
  
  let inline get name parameters = 
      parameters |> Seq.tryFind (fun x -> (^P : (member Name : 'a) x) = name) 
      |> Option.map (fun v -> 
       match (^P : (member Number : int option) v) with 
       | Some number -> Number number 
       | None -> 
        match (^P : (member String : string option) v) with 
        | Some s -> Name s 
        | _ -> failwith "Either number or string should be Some(value)") 
  

• あなたが先行値がわからない場合、あなたはまた、すべてでそれらを推測しませにタイププロバイダに伝えることができます。これはparametersがValue : string性質を持つことになります

  XmlProvider<"""...""", InferTypesFromValues=false> 
  

  を。