Numeric.LinearProgramming.Test

Documentation

class (Storable a, Random a, Num a, Ord a) => Element a

Minimal complete definition

doubleFromElement

Instances

Element Int64

Defined in Numeric.LinearProgramming.Test

Methods

doubleFromElement :: Int64 -> Double

Element Double

Defined in Numeric.LinearProgramming.Test

Methods

doubleFromElement :: Double -> Double

forAllOrigin :: Testable prop => (Array (Range Char) Int64 -> prop) -> Property

forAllProblem :: (Indexed sh, Index sh ~ ix, Show ix) => (Testable prop, Element a) => Array sh a -> (Bounds ix -> Constraints ix -> prop) -> Property

forAllBoundedProblem :: (Indexed sh, Index sh ~ ix, Show ix) => (Testable prop, Element a) => Array sh a -> (Bounds ix -> Constraints ix -> prop) -> Property

genObjective :: (Indexed sh, Index sh ~ ix, Element a) => Array sh a -> Gen (Direction, Objective sh)

forAllObjectives :: (Indexed sh, Index sh ~ ix, Show ix) => (Testable prop, Element a) => Array sh a -> (T [] (Direction, [Term (Index sh)]) -> prop) -> Property

successiveObjectives :: (Indexed sh, Index sh ~ ix) => Array sh a -> Double -> T [] (Direction, [Term ix]) -> ((Direction, Objective sh), [(Double -> Constraints ix, (Direction, Objective sh))])

approxReal :: (Ord a, Num a) => a -> a -> a -> Bool

approx :: (PrintfArg a, Ord a, Num a) => String -> a -> a -> a -> Property

checkFeasibility :: (Indexed sh, Index sh ~ ix) => Double -> Bounds ix -> Constraints ix -> Array sh Double -> Property

affineCombination :: (C sh, Eq sh, Storable a, Num a) => a -> Array sh a -> Array sh a -> Array sh a

scalarProduct :: (C sh, Eq sh, Storable a, Num a) => Array sh a -> Array sh a -> a