Test.Massiv.Core.Common

Documentation

newtype ArrNE r ix e

Arbitrary non-empty array. Computation strategy can be either Seq or Par.

Since: 0.1.0

Constructors

ArrNE

Fields

• unArr :: Array r ix e

Instances

(Arbitrary ix, Load r ix e, Arbitrary e) => Arbitrary (ArrNE r ix e)

Defined in Test.Massiv.Core.Common

Methods

arbitrary :: Gen (ArrNE r ix e)

shrink :: ArrNE r ix e -> [ArrNE r ix e]

Show (Array r ix e) => Show (ArrNE r ix e)

Defined in Test.Massiv.Core.Common

Methods

showsPrec :: Int -> ArrNE r ix e -> ShowS

show :: ArrNE r ix e -> String

showList :: [ArrNE r ix e] -> ShowS

newtype ArrTiny r ix e

Arbitrary small and possibly empty array. Computation strategy can be either Seq or Par.

Since: 0.1.0

Constructors

ArrTiny

Fields

• unArrTiny :: Array r ix e

Instances

(Arbitrary ix, Load r ix e, Arbitrary e) => Arbitrary (ArrTiny r ix e)

Defined in Test.Massiv.Core.Common

Methods

arbitrary :: Gen (ArrTiny r ix e)

shrink :: ArrTiny r ix e -> [ArrTiny r ix e]

Show (Array r ix e) => Show (ArrTiny r ix e)

Defined in Test.Massiv.Core.Common

Methods

showsPrec :: Int -> ArrTiny r ix e -> ShowS

show :: ArrTiny r ix e -> String

showList :: [ArrTiny r ix e] -> ShowS

newtype ArrTinyNE r ix e

Tiny but non-empty

Since: 0.1.0

Constructors

ArrTinyNE

Fields

• unArrTinyNE :: Array r ix e

Instances

(Arbitrary ix, Load r ix e, Arbitrary e) => Arbitrary (ArrTinyNE r ix e)

Arbitrary small and possibly empty array.

Defined in Test.Massiv.Core.Common

Methods

arbitrary :: Gen (ArrTinyNE r ix e)

shrink :: ArrTinyNE r ix e -> [ArrTinyNE r ix e]

Show (Array r ix e) => Show (ArrTinyNE r ix e)

Defined in Test.Massiv.Core.Common

Methods

showsPrec :: Int -> ArrTinyNE r ix e -> ShowS

show :: ArrTinyNE r ix e -> String

showList :: [ArrTinyNE r ix e] -> ShowS

data ArrIx r ix e

Arbitrary non-empty array with a valid index. Can be either Seq or Par

Since: 0.1.0

Constructors

ArrIx (Array r ix e) ix

Instances

(Arbitrary ix, Load r ix e, Arbitrary e) => Arbitrary (ArrIx r ix e)

Defined in Test.Massiv.Core.Common

Methods

arbitrary :: Gen (ArrIx r ix e)

shrink :: ArrIx r ix e -> [ArrIx r ix e]

(Show (Array r ix e), Show ix) => Show (ArrIx r ix e)

Defined in Test.Massiv.Core.Common

Methods

showsPrec :: Int -> ArrIx r ix e -> ShowS

show :: ArrIx r ix e -> String

showList :: [ArrIx r ix e] -> ShowS

data ArrDW ix e

Constructors

ArrDW (Array D ix e) (Array DW ix e)

Instances

(Arbitrary ix, CoArbitrary ix, Load DW ix e, Arbitrary e, Typeable e) => Arbitrary (ArrDW ix e)

Defined in Test.Massiv.Core.Common

Methods

arbitrary :: Gen (ArrDW ix e)

shrink :: ArrDW ix e -> [ArrDW ix e]

(Show ix, Index ix, Ragged L ix e, Load DW ix e, Show e) => Show (ArrDW ix e)

Defined in Test.Massiv.Core.Common

Methods

showsPrec :: Int -> ArrDW ix e -> ShowS

show :: ArrDW ix e -> String

showList :: [ArrDW ix e] -> ShowS

module Test.Massiv.Core.Index

Orphan instances

Arbitrary Comp

Methods

arbitrary :: Gen Comp

shrink :: Comp -> [Comp]

(Arbitrary ix, Index ix, Arbitrary e) => Arbitrary (Array DI ix e)

Methods

arbitrary :: Gen (Array DI ix e)

shrink :: Array DI ix e -> [Array DI ix e]

(Arbitrary ix, Index ix, Arbitrary e) => Arbitrary (Array D ix e)

Arbitrary array

Methods

arbitrary :: Gen (Array D ix e)

shrink :: Array D ix e -> [Array D ix e]

(Arbitrary ix, Index ix, Arbitrary e) => Arbitrary (Array DL ix e)

Methods

arbitrary :: Gen (Array DL ix e)

shrink :: Array DL ix e -> [Array DL ix e]

(ix ~ Ix1, Arbitrary e) => Arbitrary (Array DS ix e)

Methods

arbitrary :: Gen (Array DS ix e)

shrink :: Array DS ix e -> [Array DS ix e]

(Arbitrary ix, Load DW ix e, Arbitrary e) => Arbitrary (Array DW ix e)

Methods

arbitrary :: Gen (Array DW ix e)

shrink :: Array DW ix e -> [Array DW ix e]

(Arbitrary ix, Index ix, Arbitrary e) => Arbitrary (Array B ix e)

Methods

arbitrary :: Gen (Array B ix e)

shrink :: Array B ix e -> [Array B ix e]

(Arbitrary ix, Index ix, Arbitrary e) => Arbitrary (Array BL ix e)

Methods

arbitrary :: Gen (Array BL ix e)

shrink :: Array BL ix e -> [Array BL ix e]

(Arbitrary ix, Index ix, Arbitrary e, NFData e) => Arbitrary (Array BN ix e)

Methods

arbitrary :: Gen (Array BN ix e)

shrink :: Array BN ix e -> [Array BN ix e]

(Arbitrary ix, Index ix, Arbitrary e, Prim e) => Arbitrary (Array P ix e)

Methods

arbitrary :: Gen (Array P ix e)

shrink :: Array P ix e -> [Array P ix e]

(Arbitrary ix, Index ix, Arbitrary e, Storable e) => Arbitrary (Array S ix e)

Methods

arbitrary :: Gen (Array S ix e)

shrink :: Array S ix e -> [Array S ix e]

(Arbitrary ix, Index ix, Arbitrary e, Unbox e) => Arbitrary (Array U ix e)

Methods

arbitrary :: Gen (Array U ix e)

shrink :: Array U ix e -> [Array U ix e]

(Arbitrary ix, Load L ix e, Arbitrary e) => Arbitrary (Array L ix e)

Methods

arbitrary :: Gen (Array L ix e)

shrink :: Array L ix e -> [Array L ix e]