| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Massiv.Array.Mutable
Synopsis
- mutableSpec :: forall r ix e. (Show (Array D ix e), Show (Array r ix e), Show (Vector r e), Eq (Vector r e), Load r ix e, Eq (Array r ix e), Typeable e, Show e, Eq e, Manifest r e, CoArbitrary ix, Arbitrary e, CoArbitrary e, Arbitrary ix, Function ix, Function e) => Spec
- prop_GenerateArray :: forall r ix e. (Show (Array r ix e), Eq (Array r ix e), Manifest r e, Load 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), Manifest r e, Index ix) => Fun (ix, e) e -> Array D ix e -> Property
- prop_Shrink :: forall r ix e. (Show (Array r ix e), Manifest r e, Load r ix 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 ix e, Manifest r e, Arbitrary ix, Arbitrary e, Show e) => Property
- prop_unfoldrList :: forall r ix e. (Show (Array r Ix1 e), Eq (Array r Ix1 e), Index ix, Arbitrary ix, Arbitrary e, Show e, Manifest r e) => Property
- prop_unfoldrReverseUnfoldl :: forall r ix e. (Show (Array r ix e), Eq (Array r ix e), Index ix, Arbitrary ix, Arbitrary e, Show e, Manifest r e) => Property
- prop_toStreamArrayManifest :: forall r ix e. (Manifest r e, Index ix, Show (Array r ix e), Eq (Array r ix e)) => Array r ix e -> Property
- atomicIntSpec :: forall ix. (Show (Array P ix Int), Arbitrary ix, Index ix) => Spec
Spec for safe Mutable instance
mutableSpec :: forall r ix e. (Show (Array D ix e), Show (Array r ix e), Show (Vector r e), Eq (Vector r e), Load r ix e, Eq (Array r ix e), Typeable e, Show e, Eq e, Manifest r e, CoArbitrary ix, Arbitrary e, CoArbitrary e, Arbitrary ix, Function ix, Function e) => Spec Source #
prop_GenerateArray :: forall r ix e. (Show (Array r ix e), Eq (Array r ix e), Manifest r e, Load r ix e, Show e, Arbitrary e, Arbitrary ix, Function ix, CoArbitrary ix) => Property Source #
prop_iMapiMapM :: forall r ix e. (Show (Array r ix e), Eq (Array r ix e), Manifest r e, Index ix) => Fun (ix, e) e -> Array D ix e -> Property Source #
prop_Shrink :: forall r ix e. (Show (Array r ix e), Manifest r e, Load r ix e, Arbitrary ix, Arbitrary e, Eq e) => Property Source #
prop_GrowShrink :: forall r ix e. (Eq (Array r ix e), Show (Array r ix e), Load r ix e, Manifest r e, Arbitrary ix, Arbitrary e, Show e) => Property Source #
prop_unfoldrList :: forall r ix e. (Show (Array r Ix1 e), Eq (Array r Ix1 e), Index ix, Arbitrary ix, Arbitrary e, Show e, Manifest r e) => Property Source #
prop_unfoldrReverseUnfoldl :: forall r ix e. (Show (Array r ix e), Eq (Array r ix e), Index ix, Arbitrary ix, Arbitrary e, Show e, Manifest r e) => Property Source #
prop_toStreamArrayManifest :: forall r ix e. (Manifest r e, Index ix, Show (Array r ix e), Eq (Array r ix e)) => Array r ix e -> Property Source #