Math.Programming.Tests.Api

Documentation

makeApiTests

Arguments

:: (Num (Numeric m), MonadIO m, LPMonad m)

=> (m () -> IO ())

The runner for the API being tested.

-> TestTree

The resulting test suite.

setGetVariableName :: (MonadIO m, LPMonad m) => m ()

We should be able to set and retrieve variable names

setGetConstraintName :: (Num (Numeric m), MonadIO m, LPMonad m) => m ()

We should be able to set and retrieve constraint names

data Action

Constructors

AddVariable

AddConstraint

AddThenDeleteVariable

AddThenDeleteConstraint

Instances

Enum Action

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

Defined in Math.Programming.Tests.Api

Methods

showsPrec :: Int -> Action -> ShowS

show :: Action -> String

showList :: [Action] -> ShowS

Arbitrary Action

Defined in Math.Programming.Tests.Api

Methods

arbitrary :: Gen Action

shrink :: Action -> [Action]

newtype LPActions m

Constructors

LPActions (m ())

Instances

LPMonad m => Arbitrary (LPActions m)

Defined in Math.Programming.Tests.Api

Methods

arbitrary :: Gen (LPActions m)

shrink :: LPActions m -> [LPActions m]

lpActions :: LPMonad m => Int -> Gen (m ())

bindOver

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.

arbitraryLPActionsProp :: LPActions m -> m ()