| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Numeric.Limp.Program
Description
Front-end representation of programs.
See Program for the entire program;
Constraint for constraints such as less than or equal, greater than, etc;
and Linear for linear functions.
Documentation
Each variable can have a lower or upper bound.
module Numeric.Limp.Program.Bounds
Constraints such as less than or equal, greater than or equal, between,...
Functions for evaluating linear functions constraints for a given assignment of variables.
module Numeric.Limp.Program.Eval
Linear functions with constant coefficients on variables, and a constant addition.
module Numeric.Limp.Program.Linear
An entire program.
module Numeric.Limp.Program.Program
Linear functions are classified as either int-valued or real-valued,
so we define KZ and KR as data kinds to denote this in the type.