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

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

(Arbitrary ix, Construct 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]

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

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

(Arbitrary ix, Construct 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]

newtype ArrTinyNE r ix e

Tiny but non-empty

Since: 0.1.0

Constructors

ArrTinyNE

Fields

• unArrTinyNE :: Array r ix e

Instances

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

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

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

Defined in Test.Massiv.Core.Common

Methods

arbitrary :: Gen (ArrTinyNE r ix e)

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

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

(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

(Arbitrary ix, Construct 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]

module Test.Massiv.Core.Index

Orphan instances

Arbitrary Comp

Methods

arbitrary :: Gen Comp

shrink :: Comp -> [Comp]

(Arbitrary ix, Construct r ix e, Arbitrary e) => Arbitrary (Array r ix e)

Arbitrary array

Methods

arbitrary :: Gen (Array r ix e)

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