Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data SzIx ix = SzIx (Sz ix) ix
- newtype SzNE ix = SzNE {}
- newtype DimIx ix = DimIx Dim
- module Test.Massiv.Core.Common
- module Test.Massiv.Utils
- module Test.Hspec.QuickCheck
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
module Test.Hspec.QuickCheck