| 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 (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, Resize r ix, 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
- 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 (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, Resize r ix, CoArbitrary ix, Arbitrary e, CoArbitrary e, Arbitrary ix, Typeable ix, Function ix, Function e) => Spec Source #
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 Source #
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 Source #