| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Massiv.Array.Numeric
Contents
Synopsis
- 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
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 Source #
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 Source #
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 Source #