massiv-test-1.0.0.0: Library that contains generators, properties and tests for Massiv Array Library.
Safe HaskellNone
LanguageHaskell2010

Test.Massiv.Core.Common

Synopsis

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

Instances

Instances details
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 #

(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] #

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

Instances

Instances details
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 #

(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] #

newtype ArrTinyNE r ix e Source #

Tiny but non-empty

Since: 0.1.0

Constructors

ArrTinyNE 

Fields

Instances

Instances details
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 #

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

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

Instance details

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 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
(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 #

(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] #

data ArrDW ix e Source #

Constructors

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

Instances

Instances details
(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 #

(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] #

Orphan instances

Arbitrary Comp Source # 
Instance details

Methods

arbitrary :: Gen Comp #

shrink :: Comp -> [Comp] #

(Arbitrary ix, Load r ix e, Arbitrary e) => Arbitrary (Array r ix e) Source #

Arbitrary array

Instance details

Methods

arbitrary :: Gen (Array r ix e) #

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