@@ -86,7 +86,7 @@ Here are some examples of properties defined with help of the
86
86
``` scala
87
87
import org .scalacheck .Prop .forAll
88
88
89
- val propReverseList = forAll { l : List [String ] => l.reverse.reverse == l }
89
+ val propReverseList = forAll { ( l : List [String ]) => l.reverse.reverse == l }
90
90
91
91
val propConcatString = forAll { (s1 : String , s2 : String ) =>
92
92
(s1 + s2).endsWith(s2)
@@ -124,7 +124,7 @@ you can use the implication operator `==>`:
124
124
``` scala
125
125
import org .scalacheck .Prop .{forAll , propBoolean }
126
126
127
- val propMakeList = forAll { n : Int =>
127
+ val propMakeList = forAll { ( n : Int ) =>
128
128
(n >= 0 && n < 10000 ) ==> (List .fill(n)(" " ).length == n)
129
129
}
130
130
```
@@ -140,7 +140,7 @@ non-zero will be thrown away:
140
140
```
141
141
scala> import org.scalacheck.Prop.{forAll, propBoolean}
142
142
143
- scala> val propTrivial = forAll { n: Int =>
143
+ scala> val propTrivial = forAll { ( n: Int) =>
144
144
| (n == 0) ==> (n == 0)
145
145
| }
146
146
@@ -628,7 +628,7 @@ list.
628
628
``` scala
629
629
import org .scalacheck .Prop ._
630
630
631
- val myProp = forAll { l : List [Int ] =>
631
+ val myProp = forAll { ( l : List [Int ]) =>
632
632
classify(ordered(l), " ordered" ) {
633
633
classify(l.length > 5 , " large" , " small" ) {
634
634
l.reverse.reverse == l
0 commit comments