Skip to content

Commit

Permalink
Merge commit '6c6dbe76b9e7f109d3d9697307a19d23be03f15d' into supersetOf
Browse files Browse the repository at this point in the history
  • Loading branch information
sergey-tihon committed Oct 30, 2019
2 parents 182be67 + 6c6dbe7 commit dd35864
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions docs/content/index.fsx
Original file line number Diff line number Diff line change
Expand Up @@ -136,6 +136,9 @@ anObj |> should not' (be sameAs otherObj)
[3;2;1] |> should be descending
[3;1;2] |> should not' (be descending)

[1..10] |> should be (supersetOf [3;6;9])
[1..10] |> should not' (be supersetOf [5;11;21])

(**
The ofCase operator allows you to check the case of a union.
Supplying an expression that will result in a non-union type as well as supplying a non-union type as value argument will result in an exception detailing which parameter is wrong. Note that the actual value of the case is NOT checked, e.g. using `<@ MyCase 5 @>` as expression and `(MyCase 10)` as parameter will succeed. It is possible to check for more than one case by using a tuple of union cases.
Expand Down

0 comments on commit dd35864

Please sign in to comment.