Test.Massiv.Core

Documentation

data SzIx ix

Non-empty size together with an index that is within bounds of that index.

Constructors

SzIx (Sz ix) ix

Instances

Index ix => Show (SzIx ix)

Defined in Test.Massiv.Core.Index

Methods

showsPrec :: Int -> SzIx ix -> ShowS

show :: SzIx ix -> String

showList :: [SzIx ix] -> ShowS

(Index ix, Arbitrary ix) => Arbitrary (SzIx ix)

Defined in Test.Massiv.Core.Index

Methods

arbitrary :: Gen (SzIx ix)

shrink :: SzIx ix -> [SzIx ix]

newtype SzNE ix

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

Constructors

SzNE

Fields

• unSzNE :: Sz ix

Instances

Index ix => Show (SzNE ix)

Defined in Test.Massiv.Core.Index

Methods

showsPrec :: Int -> SzNE ix -> ShowS

show :: SzNE ix -> String

showList :: [SzNE ix] -> ShowS

(Index ix, Arbitrary ix) => Arbitrary (SzNE ix)

Defined in Test.Massiv.Core.Index

Methods

arbitrary :: Gen (SzNE ix)

shrink :: SzNE ix -> [SzNE ix]

newtype DimIx ix

Dimension that is always within bounds of an index

Constructors

DimIx Dim

Instances

Show (DimIx ix)

Defined in Test.Massiv.Core.Index

Methods

showsPrec :: Int -> DimIx ix -> ShowS

show :: DimIx ix -> String

showList :: [DimIx ix] -> ShowS

Index ix => Arbitrary (DimIx ix)

Defined in Test.Massiv.Core.Index

Methods

arbitrary :: Gen (DimIx ix)

shrink :: DimIx ix -> [DimIx ix]

module Test.Massiv.Core.Common

module Test.Massiv.Utils

module Test.Hspec.QuickCheck