Test.Massiv.Array.Mutable

Spec for safe Mutable instance

mutableSpec :: forall r ix e. (Show (Array D ix e), Show (Array r ix e), Show (Array r Ix1 e), Eq (Array r Ix1 e), Load (R r) ix e, Eq (Array r ix e), Typeable e, Show e, Eq e, Mutable r ix e, Mutable r Ix1 e, Extract r ix e, CoArbitrary ix, Arbitrary e, CoArbitrary e, Arbitrary ix, Typeable ix, Function ix, Function e) => Spec

prop_GenerateArray :: forall r ix e. (Show (Array r ix e), Eq (Array r ix e), Mutable r ix e, Show e, Arbitrary e, Arbitrary ix, Function ix, CoArbitrary ix) => Property

prop_iMapiMapM :: forall r ix e. (Show (Array r ix e), Eq (Array r ix e), Mutable r ix e) => Fun (ix, e) e -> Array D ix e -> Property

prop_Shrink :: forall r ix e. (Show (Array r ix e), Mutable r ix e, Source r Ix1 e, Arbitrary ix, Arbitrary e, Eq e) => Property

prop_GrowShrink :: forall r ix e. (Eq (Array r ix e), Show (Array r ix e), Load (R r) ix e, Mutable r ix e, Extract r ix e, Arbitrary ix, Arbitrary e, Show e) => Property

prop_unfoldrList :: forall r ix e. (Show (Array r Ix1 e), Eq (Array r Ix1 e), Arbitrary ix, Arbitrary e, Show e, Resize r ix, Mutable r ix e, Mutable r Ix1 e) => Property

prop_unfoldrReverseUnfoldl :: forall r ix e. (Show (Array r ix e), Eq (Array r ix e), Arbitrary ix, Arbitrary e, Show e, Source r ix e, Mutable r ix e) => Property

prop_toStreamArrayMutable :: (Mutable r ix e, Show (Array r ix e), Eq (Array r ix e)) => Array r ix e -> Property

Atomic ops spec

atomicIntSpec :: forall ix. (Show (Array P ix Int), Arbitrary ix, Index ix) => Spec