Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- 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
- 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
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 Source #
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 Source #
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 Source #
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 Source #