Test.Massiv.Core.Mutable

Spec for Mutable instance

unsafeMutableSpec :: forall r ix e. (Eq (Array (R r) Ix1 e), Show (Array (R r) Ix1 e), Eq (Array r ix e), Show (Array r ix e), Mutable r ix e, Mutable r Ix1 e, Show e, Eq e, Arbitrary e, Arbitrary ix, Typeable e, Typeable ix, Extract r Ix1 e, Resize r ix) => Spec

prop_UnsafeNewMsize :: forall r ix e. (Arbitrary ix, Mutable r ix e) => Property

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

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

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

Properties that aren't valid for boxed

unsafeMutableUnboxedSpec :: forall r ix e. (Typeable e, Typeable ix, Eq (Array r ix e), Show (Array r ix e), Arbitrary ix, Mutable r ix e) => Spec

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