Safe HaskellNone

LSC.Integer

Documentation

type Q = Rational Source #

linearCombination :: Ord a => [(Q, a)] -> LinFunc a Q Source #

getSolutionVector :: Ord a => LP a Q -> IO (Maybe (Double, Vector Int)) Source #

debugLP :: (Show a, Ord a) => LP a Q -> FilePath -> IO () Source #

minimize :: Ord a => LPM a Q () -> LP a Q Source #

maximize :: Ord a => LPM a Q () -> LP a Q Source #

setObjective :: LinFunc a Q -> LPM a Q () Source #

varEq :: Ord a => a -> Q -> LPM a Q () Source #

varGeq :: Ord a => a -> Q -> LPM a Q () Source #

varLeq :: Ord a => a -> Q -> LPM a Q () Source #

bounds :: Ord a => a -> Q -> Q -> LPM a Q () Source #

geqTo :: Ord a => LinFunc a Q -> Q -> LPM a Q () Source #

leqTo :: Ord a => LinFunc a Q -> Q -> LPM a Q () Source #

leq :: Ord a => LinFunc a Q -> LinFunc a Q -> LPM a Q () Source #

geq :: Ord a => LinFunc a Q -> LinFunc a Q -> LPM a Q () Source #

boolean :: Ord a => a -> LPM a Q () Source #

integer :: Ord a => a -> LPM a Q () Source #

data LinFunc a b Source #

Constructors

LinFunc 

Instances

Instances details
Show (LinFunc a b) Source # 
Instance details

Defined in LSC.Integer

Methods

showsPrec :: Int -> LinFunc a b -> ShowS

show :: LinFunc a b -> String

showList :: [LinFunc a b] -> ShowS

(Ord a, Num b) => Semigroup (LinFunc a b) Source # 
Instance details

Defined in LSC.Integer

Methods

(<>) :: LinFunc a b -> LinFunc a b -> LinFunc a b

sconcat :: NonEmpty (LinFunc a b) -> LinFunc a b

stimes :: Integral b0 => b0 -> LinFunc a b -> LinFunc a b

(Ord a, Num b) => Monoid (LinFunc a b) Source # 
Instance details

Defined in LSC.Integer

Methods

mempty :: LinFunc a b

mappend :: LinFunc a b -> LinFunc a b -> LinFunc a b

mconcat :: [LinFunc a b] -> LinFunc a b

data LPM a b c Source #

Constructors

LPM 

Instances

Instances details
Monad (LPM a b) Source # 
Instance details

Defined in LSC.Integer

Methods

(>>=) :: LPM a b a0 -> (a0 -> LPM a b b0) -> LPM a b b0

(>>) :: LPM a b a0 -> LPM a b b0 -> LPM a b b0

return :: a0 -> LPM a b a0

Functor (LPM a b) Source # 
Instance details

Defined in LSC.Integer

Methods

fmap :: (a0 -> b0) -> LPM a b a0 -> LPM a b b0

(<$) :: a0 -> LPM a b b0 -> LPM a b a0

Applicative (LPM a b) Source # 
Instance details

Defined in LSC.Integer

Methods

pure :: a0 -> LPM a b a0

(<*>) :: LPM a b (a0 -> b0) -> LPM a b a0 -> LPM a b b0

liftA2 :: (a0 -> b0 -> c) -> LPM a b a0 -> LPM a b b0 -> LPM a b c #

(*>) :: LPM a b a0 -> LPM a b b0 -> LPM a b b0

(<*) :: LPM a b a0 -> LPM a b b0 -> LPM a b a0

data LP a b Source #

Constructors

LP