Safe Haskell	None
Language	Haskell98

Data.LinearProgram.LinExpr

Documentation

Constructors

Instances

(Ord v, Ring c) => Module c (LinExpr v c) Source #
Methods (*^) :: c -> LinExpr v c -> LinExpr v c #
(Eq v, Eq c) => Eq (LinExpr v c) Source #
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) Source #
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) Source #
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) Source #
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) Source #

(Ord v, Group c) => Group (LinExpr v c) Source #
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)) Source #