FsUnit.Xunit list should contain an x such that f x

Question

I am not sure how to write my test in FsUnit.Xunit.

I want to check that at least one element in my list satisfies a predicate. I know how to write this using should be True, but usually you can get better error messages by using the specialized functions.

Hopefully this code makes it clear what I am trying to achieve:

open Xunit
open FsUnit.Xunit

type Foo = 
  {
    X : int
  }

[<Fact>]
let ``squares`` () =
  let xs =
    [ { X = 1 }; { X = 2 }; { X = 3 } ]
    |> List.map (fun foo -> { X = foo.X * foo.X })

  actual 
  |> should exists (satisfies (fun foo -> foo.X = 9)) // Not real code

Brian Berns · Accepted Answer · 2021-02-08T15:33:36.557

3

I would do this:

xs
    |> Seq.map (fun foo -> foo.X)
    |> should contain 9

Error output is useful:

Expected: Contains 8
Actual:   seq [1; 4; 9]

If you want more context, you can do this instead:

open FsUnit.CustomMatchers

...

xs |> should containf (fun foo -> foo.X = 9)

Error output is:

Expected: Contains <fun:squares@21-1>
Actual:   [{ X = 1 }; { X = 4 }; { X = 9 }]

The only downside of this approach is that the "Expected" message no longer displays the specific value you're looking for.

edited Feb 08 '21 at 15:33

answered Feb 08 '21 at 15:06

Brian Berns

15,499
2
30
40

Not a bad solution, although the error message now loses the extra context (imagine `Foo` contained more members) – sdgfsdh Feb 08 '21 at 15:23
I think I found what you want: `FsUnit.CustomMatchers.containf`. Will update the answer accordingly. – Brian Berns Feb 08 '21 at 15:31
I think `containf` is the best we're going to do! – sdgfsdh Feb 09 '21 at 14:20
I want to use _containf_ but I don't have FSUnit.CustomMatchers. I'm using FsUnit 4.0.6 and NUnit 3.13.2 . – Alex 75 Sep 05 '21 at 09:29
I think `CustomMatchers` is for xUnit, not for NUnit. – Brian Berns Sep 05 '21 at 16:05

FsUnit.Xunit list should contain an x such that f x

1 Answers1