Safe Haskell	None
Language	Haskell2010

Test.Massiv.Core.Common

Contents

Orphan instances

Synopsis

newtype ArrNE r ix e = ArrNE {
- unArr :: Array r ix e
}
newtype ArrTiny r ix e = ArrTiny {
- unArrTiny :: Array r ix e
}
newtype ArrTinyNE r ix e = ArrTinyNE {
- unArrTinyNE :: Array r ix e
}
data ArrIx r ix e = ArrIx (Array r ix e) ix
data ArrDW ix e = ArrDW (Array D ix e) (Array DW ix e)
module Test.Massiv.Core.Index

Documentation

newtype ArrNE r ix e Source #

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

Instances details

(Arbitrary ix, Load r ix e, Arbitrary e) => Arbitrary (ArrNE r ix e) Source #
Instance details 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) Source #
Instance details 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 Source #

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

Instances details

(Arbitrary ix, Load r ix e, Arbitrary e) => Arbitrary (ArrTiny r ix e) Source #
Instance details 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) Source #
Instance details 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 Source #

Tiny but non-empty

Since: 0.1.0

Constructors

ArrTinyNE
Fields unArrTinyNE :: Array r ix e

Instances

Instances details

(Arbitrary ix, Load r ix e, Arbitrary e) => Arbitrary (ArrTinyNE r ix e) Source #	Arbitrary small and possibly empty array.
Instance details 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) Source #
Instance details 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 Source #

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

Instances details

(Arbitrary ix, Load r ix e, Arbitrary e) => Arbitrary (ArrIx r ix e) Source #
Instance details 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) Source #
Instance details 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 Source #

Constructors

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

Instances

Instances details

(Arbitrary ix, CoArbitrary ix, Load DW ix e, Arbitrary e, Typeable e) => Arbitrary (ArrDW ix e) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Methods arbitrary :: Gen Comp # shrink :: Comp -> [Comp] #
(Arbitrary ix, Index ix, Arbitrary e) => Arbitrary (Array DI ix e) Source #
Instance details 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) Source #	Arbitrary array
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Methods arbitrary :: Gen (Array L ix e) # shrink :: Array L ix e -> [Array L ix e] #