Math.Programming.Glpk.Internal

This module contains the full definitions backing the simplified API exposed in Glpk.

Documentation

newtype Glpk a

An environment to solve math programs using GLPK.

Constructors

Glpk

Fields

• _runGlpk :: ExceptT GlpkError (ReaderT GlpkEnv IO) a

Instances

Monad Glpk

Defined in Math.Programming.Glpk.Internal

Methods

(>>=) :: Glpk a -> (a -> Glpk b) -> Glpk b

(>>) :: Glpk a -> Glpk b -> Glpk b

return :: a -> Glpk a

fail :: String -> Glpk a

Functor Glpk

Defined in Math.Programming.Glpk.Internal

Methods

fmap :: (a -> b) -> Glpk a -> Glpk b

(<$) :: a -> Glpk b -> Glpk a

Applicative Glpk

Defined in Math.Programming.Glpk.Internal

Methods

pure :: a -> Glpk a

(<*>) :: Glpk (a -> b) -> Glpk a -> Glpk b

liftA2 :: (a -> b -> c) -> Glpk a -> Glpk b -> Glpk c

(*>) :: Glpk a -> Glpk b -> Glpk b

(<*) :: Glpk a -> Glpk b -> Glpk a

MonadIO Glpk

Defined in Math.Programming.Glpk.Internal

Methods

liftIO :: IO a -> Glpk a

LPMonad Glpk

Defined in Math.Programming.Glpk.Internal

Associated Types

type Numeric Glpk :: Type

data Variable Glpk :: Type

data Constraint Glpk :: Type

data Objective Glpk :: Type

Methods

addVariable :: Glpk (Variable Glpk)

removeVariable :: Variable Glpk -> Glpk ()

getVariableName :: Variable Glpk -> Glpk String

setVariableName :: Variable Glpk -> String -> Glpk ()

getVariableBounds :: Variable Glpk -> Glpk (Bounds (Numeric Glpk))

setVariableBounds :: Variable Glpk -> Bounds (Numeric Glpk) -> Glpk ()

getVariableValue :: Variable Glpk -> Glpk (Numeric Glpk)

addConstraint :: Inequality (LinearExpression (Numeric Glpk) (Variable Glpk)) -> Glpk (Constraint Glpk)

removeConstraint :: Constraint Glpk -> Glpk ()

getConstraintName :: Constraint Glpk -> Glpk String

setConstraintName :: Constraint Glpk -> String -> Glpk ()

getDualValue :: Constraint Glpk -> Glpk (Numeric Glpk)

addObjective :: LinearExpression (Numeric Glpk) (Variable Glpk) -> Glpk (Objective Glpk)

getObjectiveName :: Objective Glpk -> Glpk String

setObjectiveName :: Objective Glpk -> String -> Glpk ()

getObjectiveSense :: Objective Glpk -> Glpk Sense

setObjectiveSense :: Objective Glpk -> Sense -> Glpk ()

getObjectiveValue :: Objective Glpk -> Glpk (Numeric Glpk)

getTimeout :: Glpk Double

setTimeout :: Double -> Glpk ()

optimizeLP :: Glpk SolutionStatus

IPMonad Glpk

Defined in Math.Programming.Glpk.Internal

Methods

optimizeIP :: Glpk SolutionStatus

getVariableDomain :: Variable Glpk -> Glpk Domain

setVariableDomain :: Variable Glpk -> Domain -> Glpk ()

getRelativeMIPGap :: Glpk Double

setRelativeMIPGap :: Double -> Glpk ()

MonadReader GlpkEnv Glpk

Defined in Math.Programming.Glpk.Internal

Methods

ask :: Glpk GlpkEnv

local :: (GlpkEnv -> GlpkEnv) -> Glpk a -> Glpk a

reader :: (GlpkEnv -> a) -> Glpk a

MonadError GlpkError Glpk

Defined in Math.Programming.Glpk.Internal

Methods

throwError :: GlpkError -> Glpk a

catchError :: Glpk a -> (GlpkError -> Glpk a) -> Glpk a

Eq (Constraint Glpk)

Defined in Math.Programming.Glpk.Internal

Methods

(==) :: Constraint Glpk -> Constraint Glpk -> Bool

(/=) :: Constraint Glpk -> Constraint Glpk -> Bool

Eq (Variable Glpk)

Defined in Math.Programming.Glpk.Internal

Methods

(==) :: Variable Glpk -> Variable Glpk -> Bool

(/=) :: Variable Glpk -> Variable Glpk -> Bool

Ord (Constraint Glpk)

Defined in Math.Programming.Glpk.Internal

Methods

compare :: Constraint Glpk -> Constraint Glpk -> Ordering

(<) :: Constraint Glpk -> Constraint Glpk -> Bool

(<=) :: Constraint Glpk -> Constraint Glpk -> Bool

(>) :: Constraint Glpk -> Constraint Glpk -> Bool

(>=) :: Constraint Glpk -> Constraint Glpk -> Bool

max :: Constraint Glpk -> Constraint Glpk -> Constraint Glpk

min :: Constraint Glpk -> Constraint Glpk -> Constraint Glpk

Ord (Variable Glpk)

Defined in Math.Programming.Glpk.Internal

Methods

compare :: Variable Glpk -> Variable Glpk -> Ordering

(<) :: Variable Glpk -> Variable Glpk -> Bool

(<=) :: Variable Glpk -> Variable Glpk -> Bool

(>) :: Variable Glpk -> Variable Glpk -> Bool

(>=) :: Variable Glpk -> Variable Glpk -> Bool

max :: Variable Glpk -> Variable Glpk -> Variable Glpk

min :: Variable Glpk -> Variable Glpk -> Variable Glpk

Show (Constraint Glpk)

Defined in Math.Programming.Glpk.Internal

Methods

showsPrec :: Int -> Constraint Glpk -> ShowS

show :: Constraint Glpk -> String

showList :: [Constraint Glpk] -> ShowS

Show (Variable Glpk)

Defined in Math.Programming.Glpk.Internal

Methods

showsPrec :: Int -> Variable Glpk -> ShowS

show :: Variable Glpk -> String

showList :: [Variable Glpk] -> ShowS

data Objective Glpk

Defined in Math.Programming.Glpk.Internal

data Objective Glpk = Objective

data Constraint Glpk

Defined in Math.Programming.Glpk.Internal

data Constraint Glpk = Constraint {

• fromConstraint :: GlpkConstraint

}

data Variable Glpk

Defined in Math.Programming.Glpk.Internal

data Variable Glpk = Variable {

• fromVariable :: GlpkVariable

}

type Numeric Glpk

Defined in Math.Programming.Glpk.Internal

type Numeric Glpk = Double

runGlpk :: Glpk a -> IO (Either GlpkError a)

data SolveType

Constructors

LP

MIP

InteriorPoint

data GlpkEnv

An interface to the low-level GLPK API.

High-level solver settings can be modified by altering the SimplexMethodControlParameters and MIPControlParameters values for LP and IP solves, respectively.

Constructors

GlpkEnv

Fields

• _glpkEnvProblem :: Ptr Problem

  A pointer to the Problem object. Most GLPK routines take this as the first argument.

• _glpkVariables :: IORef [GlpkVariable]

  The variables in the model

• _glpkConstraints :: IORef [GlpkConstraint]

  The constraints in the model

• _glpkSimplexControl :: IORef SimplexMethodControlParameters

  The control parameters for the simplex method

• _glpkMIPControl :: IORef (MIPControlParameters Void)

  The control parameters for the MIP solver

• _glpkLastSolveType :: IORef (Maybe SolveType)

  The type of the last solve. This is needed to know whether to retrieve simplex, interior point, or MIP solutions.

Instances

MonadReader GlpkEnv Glpk

Defined in Math.Programming.Glpk.Internal

Methods

ask :: Glpk GlpkEnv

local :: (GlpkEnv -> GlpkEnv) -> Glpk a -> Glpk a

reader :: (GlpkEnv -> a) -> Glpk a

data NamedRef a

Constructors

NamedRef

Fields

• namedRefId :: Int
• namedRefRef :: IORef a

Instances

Eq (NamedRef a)

Defined in Math.Programming.Glpk.Internal

Methods

(==) :: NamedRef a -> NamedRef a -> Bool

(/=) :: NamedRef a -> NamedRef a -> Bool

Ord (NamedRef a)

Defined in Math.Programming.Glpk.Internal

Methods

compare :: NamedRef a -> NamedRef a -> Ordering

(<) :: NamedRef a -> NamedRef a -> Bool

(<=) :: NamedRef a -> NamedRef a -> Bool

(>) :: NamedRef a -> NamedRef a -> Bool

(>=) :: NamedRef a -> NamedRef a -> Bool

max :: NamedRef a -> NamedRef a -> NamedRef a

min :: NamedRef a -> NamedRef a -> NamedRef a

Show (NamedRef a)

Defined in Math.Programming.Glpk.Internal

Methods

showsPrec :: Int -> NamedRef a -> ShowS

show :: NamedRef a -> String

showList :: [NamedRef a] -> ShowS

type GlpkConstraint = NamedRef Row

type GlpkVariable = NamedRef Column

askProblem :: Glpk (Ptr Problem)

askVariablesRef :: Glpk (IORef [GlpkVariable])

askConstraintsRef :: Glpk (IORef [GlpkConstraint])

register :: Glpk (IORef [NamedRef a]) -> NamedRef a -> Glpk ()

unregister :: Enum a => Glpk (IORef [NamedRef a]) -> NamedRef a -> Glpk ()

data GlpkError

Constructors

UnknownVariable GlpkVariable

UnknownCode String CInt

Instances

Show GlpkError

Defined in Math.Programming.Glpk.Internal

Methods

showsPrec :: Int -> GlpkError -> ShowS

show :: GlpkError -> String

showList :: [GlpkError] -> ShowS

MonadError GlpkError Glpk

Defined in Math.Programming.Glpk.Internal

Methods

throwError :: GlpkError -> Glpk a

catchError :: Glpk a -> (GlpkError -> Glpk a) -> Glpk a

readColumn :: Variable Glpk -> Glpk Column

readRow :: Constraint Glpk -> Glpk Row

addVariable' :: Glpk (Variable Glpk)

setVariableName' :: Variable Glpk -> String -> Glpk ()

getVariableName' :: Variable Glpk -> Glpk String

removeVariable' :: Variable Glpk -> Glpk ()

addConstraint' :: Inequality (LinearExpression Double (Variable Glpk)) -> Glpk (Constraint Glpk)

setConstraintName' :: Constraint Glpk -> String -> Glpk ()

getConstraintName' :: Constraint Glpk -> Glpk String

getDualValue' :: Constraint Glpk -> Glpk Double

removeConstraint' :: Constraint Glpk -> Glpk ()

addObjective' :: LinearExpression Double (Variable Glpk) -> Glpk (Objective Glpk)

getObjectiveName' :: Objective Glpk -> Glpk String

setObjectiveName' :: Objective Glpk -> String -> Glpk ()

getObjectiveSense' :: Objective Glpk -> Glpk Sense

setObjectiveSense' :: Objective Glpk -> Sense -> Glpk ()

getObjectiveValue' :: Objective Glpk -> Glpk Double

optimizeLP' :: Glpk SolutionStatus

optimizeIP' :: Glpk SolutionStatus

setVariableBounds' :: Variable Glpk -> Bounds Double -> Glpk ()

getVariableBounds' :: Variable Glpk -> Glpk (Bounds Double)

setVariableDomain' :: Variable Glpk -> Domain -> Glpk ()

getVariableDomain' :: Variable Glpk -> Glpk Domain

getVariableValue' :: Variable Glpk -> Glpk Double

getTimeout' :: RealFrac a => Glpk a

setTimeout' :: RealFrac a => a -> Glpk ()

setRelativeMIPGap' :: RealFrac a => a -> Glpk ()

getRelativeMIPGap' :: RealFrac a => Glpk a

solutionStatus :: GlpkSolutionStatus -> SolutionStatus

writeFormulation :: FilePath -> Glpk ()

Write out the current formulation to a file.

maxCDouble :: CDouble