Safe Haskell	None
Language	Haskell2010

Math.Programming.Tests.Api

Synopsis

Documentation

Arguments

:: (Num (Numeric m), MonadIO m, LPMonad m)
=> (m () -> IO ())	The runner for the API being tested.
-> TestTree	The resulting test suite.

We should be able to set and retrieve variable names

We should be able to set and retrieve constraint names

Constructors

Instances

Enum Action Source #
Instance details Defined in Math.Programming.Tests.Api Methods succ :: Action -> Action # pred :: Action -> Action # toEnum :: Int -> Action # fromEnum :: Action -> Int # enumFrom :: Action -> [Action] # enumFromThen :: Action -> Action -> [Action] # enumFromTo :: Action -> Action -> [Action] # enumFromThenTo :: Action -> Action -> Action -> [Action] #
Show Action Source #
Instance details Defined in Math.Programming.Tests.Api Methods showsPrec :: Int -> Action -> ShowS # show :: Action -> String # showList :: [Action] -> ShowS #
Arbitrary Action Source #
Instance details Defined in Math.Programming.Tests.Api Methods arbitrary :: Gen Action # shrink :: Action -> [Action] #

Constructors

Instances

LPMonad m => Arbitrary (LPActions m) Source #
Instance details Defined in Math.Programming.Tests.Api Methods arbitrary :: Gen (LPActions m) # shrink :: LPActions m -> [LPActions m] #

Arguments

:: Monad m
=> m a	The action providing the passed value
-> (a -> m b)	The function to bind to
-> m ()	The intermediate actions
-> m b	The resulting value

Execute the monadic bind (>>=), with some other actions taken in between.