FsCheck生成器在离散字段的笛卡尔积上

时间:2018-10-23 19:21:44

标签: f# fscheck

很抱歉在主题栏中诉诸数学。我会稍微打开包装。我想创建一个记录的FsCheck生成器,其中每个字段都限制为离散值。例如,衬衫的尺寸可以表示为领子和袖子的长度。

type Shirt = { Collar : float; Sleeve : float; }

但是长度是离散的。

let collars = [ 14.0; 14.5; 15.0; 15.5; 16.0; 16.5; 17.0; 17.5; 18.0; ]
let sleeves = [ 30.5; 31.5; 32.5; 33.5; 34.5; 35.5; 36.5; 37.5; 38.5]

文档清楚地显示了如何为这些领口和袖子尺寸创建单独的发生器。我希望能够将它们组合成衬衫记录的生成器。

这是一个简化的示例。我的目标是在少数几个表中创建数据库记录的生成器,并将这些生成器组合在一起。

2 个答案:

答案 0 :(得分:2)

并不是我曾经使用过FsCheck,但是根据您的定义,最简单的方法可能是通过列表序列表达式。

let collarSleeves = 
    [ for collar in collars do
        for sleeve in sleeves ->
            { Collar = collar; Sleeve = sleeve } ]
let chooseFromCollarSleeves = gen { 
    let! i = Gen.choose (0, List.length collarSleeves - 1) 
    return collarSleeves.[i] }

答案 1 :(得分:2)

我认为这对您有用:

open FsCheck

type Shirt = { Collar : float; Sleeve : float; }

let collars = [ 14.0; 14.5; 15.0; 15.5; 16.0; 16.5; 17.0; 17.5; 18.0; ]
let sleeves = [ 30.5; 31.5; 32.5; 33.5; 34.5; 35.5; 36.5; 37.5; 38.5]

let shirtGen =  gen {
    let! collar = Gen.elements collars
    let! sleeve = Gen.elements sleeves
    return { Collar = collar ; Sleeve = sleeve}
}

shirtGen
|> Gen.sample 0 10
|> Seq.iter (printfn "%A")