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

Test.Massiv.Core.Mutable

Synopsis

Spec for Mutable instance

unsafeMutableSpec :: forall r ix e. (Eq (Vector r e), Show (Vector r e), Eq (Array r ix e), Show (Array r ix e), Manifest r e, Show e, Eq e, Load r ix e, Arbitrary e, Arbitrary ix, Typeable e) => Spec Source #

prop_UnsafeNewMsize :: forall r ix e. (Arbitrary ix, Index ix, Manifest r e) => Property Source #

prop_UnsafeThawFreeze :: forall r ix e. (Eq (Array r ix e), Show (Array r ix e), Index ix, Manifest r e) => Array r ix e -> Property Source #

prop_UnsafeInitializeNew :: forall r ix e. (Eq (Array r ix e), Show (Array r ix e), Show e, Arbitrary e, Arbitrary ix, Index ix, Manifest r e) => Property Source #

prop_UnsafeArrayLinearCopy :: forall r ix e. (Eq (Array r ix e), Show (Array r ix e), Index ix, Manifest r e) => Array r ix e -> Property Source #

Properties that aren't valid for boxed

unsafeMutableUnboxedSpec :: forall r ix e. (Typeable e, Eq (Array r ix e), Show (Array r ix e), Index ix, Arbitrary ix, Manifest r e) => Spec Source #

prop_UnsafeInitialize :: forall r ix e. (Eq (Array r ix e), Show (Array r ix e), Arbitrary ix, Index ix, Manifest r e) => Property Source #