| Safe Haskell | None |
|---|
Data.Array.Parallel.PArray.Reference.Convert
Description
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 a
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)
Compare the nested result of some array operator against a reference.