Test.Massiv.Array.Numeric

Spec for safe Manifest instance

prop_MatrixMatrixMultiply :: forall r e. (Numeric r e, Manifest r e, Eq (Matrix r e), Show (Matrix r e)) => Fun e e -> Matrix r e -> Property

mutableNumericSpec :: forall r e. (Numeric r e, Manifest r e, Load r Ix1 e, Load r Ix2 e, Eq e, Show e, Function e, CoArbitrary e, Arbitrary e, Arbitrary (Matrix r e), Arbitrary (Vector r e), Show (Matrix r e), Eq (Matrix r e), Show (Vector r e), Eq (Vector r e)) => Spec

mutableNumericFloatSpec :: forall r. (NumericFloat r Float, Manifest r Float, Arbitrary (Vector r Float), Arbitrary (Matrix r Float), Show (Vector r Float), Show (Matrix r Float), Eq (Matrix r Float), NumericFloat r Double, Manifest r Double, Arbitrary (Vector r Double), Arbitrary (Matrix r Double), Show (Vector r Double), Show (Matrix r Double), Eq (Matrix r Double)) => Spec