Math.Programming.Tests.Api

Documentation

makeApiTests

Arguments

:: (MonadIO m, MonadLP v c o m)

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

The runner for the API being tested.

-> Spec

The resulting test suite.

setGetVariableName :: (MonadIO m, MonadLP v c o m) => m ()

setGetConstraintName :: (MonadIO m, MonadLP v c o m) => m ()