diff options
| author | Khudyakov Alexey <alexey.skladnoy@gmail.com> | 2010-09-29 11:47:21 +0000 |
|---|---|---|
| committer | Khudyakov Alexey <alexey.skladnoy@gmail.com> | 2010-09-29 11:47:21 +0000 |
| commit | a3d3e0bd63a1c8215d4138195d128201ffa424e8 (patch) | |
| tree | 368324f5a9d8b8ed6c8a5a195df5c65f83d6ad1e | |
| parent | e8f8f5445dd7891b6e597c72e7c88b36aa581b10 (diff) | |
[hlint] replace 'and . map f' with 'all f'
| -rw-r--r-- | lib/Numeric/LinearAlgebra/Tests/Properties.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Numeric/LinearAlgebra/Tests/Properties.hs b/lib/Numeric/LinearAlgebra/Tests/Properties.hs index a35f591..b5f0501 100644 --- a/lib/Numeric/LinearAlgebra/Tests/Properties.hs +++ b/lib/Numeric/LinearAlgebra/Tests/Properties.hs | |||
| @@ -159,7 +159,7 @@ svdProp4 m' = m |~| u <> real (diag s) <> trans v | |||
| 159 | m = fromBlocks [[m'],[m']] | 159 | m = fromBlocks [[m'],[m']] |
| 160 | r = rank m' | 160 | r = rank m' |
| 161 | 161 | ||
| 162 | svdProp5a m = and (map (s1|~|) [s2,s3,s4,s5,s6]) where | 162 | svdProp5a m = all (s1|~|) [s2,s3,s4,s5,s6] where |
| 163 | s1 = svR m | 163 | s1 = svR m |
| 164 | s2 = svRd m | 164 | s2 = svRd m |
| 165 | (_,s3,_) = svdR m | 165 | (_,s3,_) = svdR m |
| @@ -167,7 +167,7 @@ svdProp5a m = and (map (s1|~|) [s2,s3,s4,s5,s6]) where | |||
| 167 | (_,s5,_) = thinSVDR m | 167 | (_,s5,_) = thinSVDR m |
| 168 | (_,s6,_) = thinSVDRd m | 168 | (_,s6,_) = thinSVDRd m |
| 169 | 169 | ||
| 170 | svdProp5b m = and (map (s1|~|) [s2,s3,s4,s5,s6]) where | 170 | svdProp5b m = all (s1|~|) [s2,s3,s4,s5,s6] where |
| 171 | s1 = svC m | 171 | s1 = svC m |
| 172 | s2 = svCd m | 172 | s2 = svCd m |
| 173 | (_,s3,_) = svdC m | 173 | (_,s3,_) = svdC m |