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 /lib/Numeric/LinearAlgebra/Tests/Properties.hs | |
parent | e8f8f5445dd7891b6e597c72e7c88b36aa581b10 (diff) |
[hlint] replace 'and . map f' with 'all f'
Diffstat (limited to 'lib/Numeric/LinearAlgebra/Tests/Properties.hs')
-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 |