Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Non-empty size together with an index that is within bounds of that index.
Size that will result in a non-empty array.
prop > (neSz :: Sz1) -> totalElem (unSzNE neSz) > 0 prop > (neSz :: Sz2) -> totalElem (unSzNE neSz) > 0 prop > (neSz :: Sz3) -> totalElem (unSzNE neSz) > 0 prop > (neSz :: Sz4) -> totalElem (unSzNE neSz) > 0 prop > (neSz :: Sz5) -> totalElem (unSzNE neSz) > 0
Dimension that is always within bounds of an index
module Test.Massiv.Core.Common
module Test.Massiv.Utils