Numeric.LinearProgramming.Common

Documentation

data Term a ix

Constructors

Term a ix

Instances

(Show a, Show ix) => Show (Term a ix)

Defined in Numeric.LinearProgramming.Common

Methods

showsPrec :: Int -> Term a ix -> ShowS

show :: Term a ix -> String

showList :: [Term a ix] -> ShowS

(.*) :: a -> ix -> Term a ix infix 7

data Inequality x

Constructors

Inequality x Bound

Instances

Functor Inequality

Defined in Numeric.LinearProgramming.Common

Methods

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

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

Show x => Show (Inequality x)

Defined in Numeric.LinearProgramming.Common

Methods

showsPrec :: Int -> Inequality x -> ShowS

show :: Inequality x -> String

showList :: [Inequality x] -> ShowS

data Bound

Constructors

LessEqual Double

GreaterEqual Double

Between Double Double

Equal Double

Free

Instances

Show Bound

Defined in Numeric.LinearProgramming.Common

Methods

showsPrec :: Int -> Bound -> ShowS

show :: Bound -> String

showList :: [Bound] -> ShowS

type Bounds ix = [Inequality ix]

type Constraints a ix = [Inequality [Term a ix]]

data Direction

Constructors

Minimize

Maximize

Instances

Bounded Direction

Defined in Numeric.LinearProgramming.Common

Methods

minBound :: Direction

maxBound :: Direction

Enum Direction

Defined in Numeric.LinearProgramming.Common

Methods

succ :: Direction -> Direction

pred :: Direction -> Direction

toEnum :: Int -> Direction

fromEnum :: Direction -> Int

enumFrom :: Direction -> [Direction]

enumFromThen :: Direction -> Direction -> [Direction]

enumFromTo :: Direction -> Direction -> [Direction]

enumFromThenTo :: Direction -> Direction -> Direction -> [Direction]

Show Direction

Defined in Numeric.LinearProgramming.Common

Methods

showsPrec :: Int -> Direction -> ShowS

show :: Direction -> String

showList :: [Direction] -> ShowS

Eq Direction

Defined in Numeric.LinearProgramming.Common

Methods

(==) :: Direction -> Direction -> Bool

(/=) :: Direction -> Direction -> Bool

type Objective sh = Array sh Double

free :: x -> Inequality x

(<=.) :: x -> Double -> Inequality x infix 4

(>=.) :: x -> Double -> Inequality x infix 4

(==.) :: x -> Double -> Inequality x infix 4

(>=<.) :: x -> (Double, Double) -> Inequality x infix 4

objectiveFromTerms :: (Indexed sh, Index sh ~ ix) => sh -> [Term Double ix] -> Objective sh