Safe Haskell | Safe-Infered |
---|
During testing, we compare the output of each invocation of the lifted combinators in Data.Array.Parallel.PArray with the reference implementations.
This module helps convert the to and from the array representation used by the reference implementation.
- class Similar a where
- class PprPhysical1 a where
- withRef1 :: (Array r a, Array c a, PprPhysical1 (c a), Similar a, PprPhysical1 a) => String -> r a -> c a -> c a
- withRef2 :: (Array r (r a), Array r a, Array c (c a), PprPhysical1 (c (c a)), Array c a, PprPhysical1 (c a), Similar a, PprPhysical1 a) => String -> r (r a) -> c (c a) -> c (c a)
- toRef1 :: (Array c a, Array r a) => c a -> r a
- toRef2 :: (Array c (c a), Array c a, Array r (r a), Array r a) => c (c a) -> r (r a)
- toRef3 :: (Array c (c (c a)), Array c (c a), Array c a, Array r (r (r a)), Array r (r a), Array r a) => c (c (c a)) -> r (r (r a))
Documentation
withRef1 :: (Array r a, Array c a, PprPhysical1 (c a), Similar a, PprPhysical1 a) => String -> r a -> c a -> c aSource
Compare the result of some array operator against a reference.
withRef2 :: (Array r (r a), Array r a, Array c (c a), PprPhysical1 (c (c a)), Array c a, PprPhysical1 (c a), Similar a, PprPhysical1 a) => String -> r (r a) -> c (c a) -> c (c a)Source
Compare the nested result of some array operator against a reference.