1
F#レコードタイプ(Request<'a>
)のフィールドの1つに('a -> bool) option
と定義されています。ある時点で、私はこのレコードタイプの配列を持っていて、Some ('a -> bool)
のものがすべて最初(最低インデックス)になり、None
のものがすべて最後(最高インデックス)になるように並べ替えたいと思います。Someを含むすべての要素が前面になるように配列を並べ替える
私は次のことをやって試してみましたが、私は、配列の途中/終わりであることを、それらのいくつかを持っているとして、これは動作していないよう:
let sort (req1:Request<'a>) (req2:Request<'a>) =
if req1.ResourceCondition.IsSome
then
-1
else if req2.ResourceCondition.IsSome
then
1
else
0
let reqArray = Array.sortWith sort fifoArray