Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- prop_MatrixMatrixMultiply :: forall r e. (Numeric r e, Mutable r Ix2 e, Eq (Matrix r e), Show (Matrix r e)) => Fun e e -> Matrix r e -> Property
- mutableNumericSpec :: forall r e. (Numeric r e, Mutable r Ix2 e, InnerSlice r Ix2 e, OuterSlice r Ix2 e, Source (R r) Ix1 e, Mutable r Ix1 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, Mutable r Ix1 Float, Mutable r Ix2 Float, Arbitrary (Array r Ix1 Float), Arbitrary (Array r Ix2 Float), Show (Array r Ix1 Float), Show (Array r Ix2 Float), Eq (Array r Ix2 Float), NumericFloat r Double, Mutable r Ix1 Double, Mutable r Ix2 Double, Arbitrary (Array r Ix1 Double), Arbitrary (Array r Ix2 Double), Show (Array r Ix1 Double), Show (Array r Ix2 Double), Eq (Array r Ix2 Double)) => Spec
Spec for safe Mutable instance
prop_MatrixMatrixMultiply :: forall r e. (Numeric r e, Mutable r Ix2 e, Eq (Matrix r e), Show (Matrix r e)) => Fun e e -> Matrix r e -> Property Source #
mutableNumericSpec :: forall r e. (Numeric r e, Mutable r Ix2 e, InnerSlice r Ix2 e, OuterSlice r Ix2 e, Source (R r) Ix1 e, Mutable r Ix1 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, Mutable r Ix1 Float, Mutable r Ix2 Float, Arbitrary (Array r Ix1 Float), Arbitrary (Array r Ix2 Float), Show (Array r Ix1 Float), Show (Array r Ix2 Float), Eq (Array r Ix2 Float), NumericFloat r Double, Mutable r Ix1 Double, Mutable r Ix2 Double, Arbitrary (Array r Ix1 Double), Arbitrary (Array r Ix2 Double), Show (Array r Ix1 Double), Show (Array r Ix2 Double), Eq (Array r Ix2 Double)) => Spec Source #