Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- 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
- prop_UnsafeNewMsize :: forall r ix e. (Arbitrary ix, Index ix, Manifest r e) => Property
- 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
- 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
- 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
- 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
- prop_UnsafeInitialize :: forall r ix e. (Eq (Array r ix e), Show (Array r ix e), Arbitrary ix, Index ix, Manifest r e) => Property
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_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 #