我正试图以歧视的工会作为成员制作记录,但在制作“API”记录后,我只能访问工会,而不是我放入工会......
type DefaultExpr = Expr<int -> Ref<int> -> int -> unit>
type Option1Expr = Expr<int -> Ref<int> -> int -> Ref<int> -> unit>
type Option2Expr = Expr<int -> Ref<int> -> int -> Ref<int> -> Ref<int> -> unit>
module Identityless =
type DefaultExpr = Expr<int -> Ref<int> -> unit>
type Option1Expr = Expr<int -> Ref<int> -> Ref<int> -> unit>
type Option2Expr = Expr<int -> Ref<int> -> Ref<int> -> Ref<int> -> unit>
type DefaultU =
| ID of DefaultExpr
| NoID of Identityless.DefaultExpr
type Option1U =
| ID of Option1Expr
| NoID of Identityless.Option1Expr
type Option2U =
| ID of Option2Expr
| NoID of Identityless.Option2Expr
type API =
{
Default : DefaultU
Option1 : Option1U
Option2 : Option2U
}
module InclusiveSum =
let private Default (scan_op:IScanOp) =
<@ fun (input:int) (output:Ref<int>) -> () @>
let private Option1 (scan_op:IScanOp) =
<@ fun (input:int) (output:Ref<int>) (block_aggregate:Ref<int>) -> () @>
let private Option2 (scan_op:IScanOp) =
<@ fun (input:int) (output:Ref<int>) (block_aggregate:Ref<int>) (block_prefix_callback_op:Ref<int>) -> () @>
let api scan_op =
{
Default = scan_op |> Default |> DefaultU.NoID
Option1 = scan_op |> Option1 |> Option1U.NoID
Option2 = scan_op |> Option2 |> Option2U.NoID
}
所以,当我做我的api ...
let foo = InclusiveSum.api (scan_op ADD 0)
我想让foo.Default给我使用我的DefaultExpr
在阅读了一些帖子后,我想我必须回去做一些模式匹配,这会在这里打败整个目的......
那么如何让我的DefaultExpr退出API记录呢?
答案 0 :(得分:0)
由于API.Default
的类型是区分联合类型Default1U
,因此使用API.Default中的值的唯一(*)方式是通过模式匹配。所以你需要这样的东西:
match foo with
ID e -> ...
| NoId e -> ...
没有别的办法(*)。
(*)忽略reflection