如何忽略FsUnit的断言中有区别的联合案例的价值?
举个例子:
type TransactionAttempt = {
Deposited:float
Requires:float
}
type RequestResult =
| Denied of TransactionAttempt
| Granted of Product
在我的测试中,我想这样做:
let display = balance |> select Pepsi
display |> should equal Denied
我不介意这样做:
display |> should equal (Denied _)
但是,我被迫这样做:
display |> should equal (Denied {Deposited=0.25; Requires=1.00})
注意我必须对上面的表达式有多明确。
因此,我只想知道它是否被拒绝。我不在乎细节。
这是实际的测试:
[<Test>]
let ``Vending machine reflects more money required for selection``() =
// Setup
let balance = Quarter |> insert []
// Test
let display = balance |> select Pepsi
// Verify
display |> should equal (Denied {Deposited=0.25; Requires=1.00})
功能如下:
let select product balance =
let attempt = { Deposited=balance
Requires=product |> getPrice }
let paidInFull = attempt.Deposited >= attempt.Requires
if not paidInFull then
Denied attempt
else Granted product
这是整个域:
module Machine
type Deposit =
| Nickel
| Dime
| Quarter
| OneDollarBill
| FiveDollarBill
type TransactionAttempt = {
Deposited:float
Requires:float
}
type State =
| OutOfService
| PaymentReceived of Deposit
| WaitingForSelection
| NotPaidInFull of TransactionAttempt
type Product =
| Pepsi
| Coke
| Sprite
| MountainDew
type RequestResult =
| Denied of TransactionAttempt
| Granted of Product
(* Functions *)
open System
let display = function
| OutOfService -> "Out of Service"
| WaitingForSelection -> "Make selection"
| NotPaidInFull attempt -> sprintf "%s Required" ((attempt.Requires - attempt.Deposited).ToString("C2"))
| PaymentReceived deposit -> match deposit with
| Nickel -> "5¢"
| Dime -> "10¢"
| Quarter -> "25¢"
| OneDollarBill -> "$1.00"
| FiveDollarBill -> "$5.00"
let getBalance coins =
coins |> List.fold (fun acc d -> match d with
| Nickel -> acc + 0.05
| Dime -> acc + 0.10
| Quarter -> acc + 0.25
| OneDollarBill -> acc + 1.00
| FiveDollarBill -> acc + 5.00) 0.00
let insert balance coin =
coin::balance |> getBalance
let getPrice = function
| Pepsi -> 1.00
| Coke -> 1.00
| Sprite -> 1.00
| MountainDew -> 1.00
let select product balance =
let attempt = { Deposited=balance
Requires=product |> getPrice }
let paidInFull = attempt.Deposited >= attempt.Requires
if not paidInFull then
Denied attempt
else Granted product
我能想到的最简单的事情是为所需的支票写一个谓词:
let isDenied du =
match du with
| Denied _ -> true
| _ -> false
或既然let f x = match x with ...
等效于let f = function ...
,则可能是:
let isDenied = function Denied _ -> true | _ -> false
然后您的测试如下所示:
display |> isDenied |> should be True
注意True
,以大写字母T为约束。如果您要与布尔值进行比较,那么它将是
display |> isDenied |> should equal true
如果发现必须编写这些自定义谓词的全部内容,则可能存在更通用的解决方案,其中包括为NUnit或XUnit或后端使用的任何测试框架编写自定义约束。但是,作为F#的相对新手,您可能应该首先使用简单的解决方案,然后再对其进行概括。
PS如果您确实决定编写自定义约束,请查看https://github.com/fsprojects/FsUnit/blob/master/src/FsUnit.NUnit/FsUnit.fs(如果您使用的是NUnit)或https:/ /github.com/fsprojects/FsUnit/blob/master/src/FsUnit.Xunit/FsUnit.fs(如果您使用的是XUnit)的灵感。
本文收集自互联网,转载请注明来源。
如有侵权,请联系[email protected] 删除。
我来说两句