Math.Programming.Glpk

A GLPK backend to the Programming library.

This package allows both linear and mixed-integer programs to be solved.

Documentation

data Glpk a

An environment to solve math programs using GLPK.

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

writeFormulation :: FilePath -> Glpk ()

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)

Controlling GLPK behavior

See the Header package for Haskell wrappers for all low-level GLPK operations.

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.

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 GlpkError

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