Data.LinearProgram.LinExpr

Documentation

data LinExpr v c

Constructors

LinExpr (LinFunc v c) c

Instances

(Ord v, Ring c) => Module c (LinExpr v c)

Methods

(*^) :: c -> LinExpr v c -> LinExpr v c

(Eq v, Eq c) => Eq (LinExpr v c)

Methods

(==) :: LinExpr v c -> LinExpr v c -> Bool

(/=) :: LinExpr v c -> LinExpr v c -> Bool

(Ord v, Read v, Read c) => Read (LinExpr v c)

Methods

readsPrec :: Int -> ReadS (LinExpr v c)

readList :: ReadS [LinExpr v c]

readPrec :: ReadPrec (LinExpr v c)

readListPrec :: ReadPrec [LinExpr v c]

(Show v, Show c) => Show (LinExpr v c)

Methods

showsPrec :: Int -> LinExpr v c -> ShowS

show :: LinExpr v c -> String

showList :: [LinExpr v c] -> ShowS

(Ord v, Additive c) => Additive (LinExpr v c)

Methods

(+) :: LinExpr v c -> LinExpr v c -> LinExpr v c

zero :: LinExpr v c

times :: Natural -> LinExpr v c -> LinExpr v c

(Ord v, AbelianAdditive c) => AbelianAdditive (LinExpr v c)

(Ord v, Group c) => Group (LinExpr v c)

Methods

(-) :: LinExpr v c -> LinExpr v c -> LinExpr v c

negate :: LinExpr v c -> LinExpr v c

mult :: Integer -> LinExpr v c -> LinExpr v c

solve :: (Ord v, Eq c, VectorSpace c c) => [(LinFunc v c, c)] -> Maybe (Map v (LinExpr v c))

substituteExpr :: (Ord v, Module c c) => v -> LinExpr v c -> LinExpr v c -> LinExpr v c

simplifyExpr :: (Ord v, Module c c) => LinExpr v c -> Map v (LinExpr v c) -> LinExpr v c

constTerm :: LinExpr v c -> c

coeffTerm :: LinExpr v c -> LinFunc v c

funcToExpr :: Group c => LinFunc v c -> LinExpr v c