| Copyright | (c) Masahiro Sakai 2012-2014 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | provisional |
| Portability | non-portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
| Extensions |
|
Numeric.Optimization.MIP.MPSFile
Description
A .mps format parser library.
References:
- http://pic.dhe.ibm.com/infocenter/cosinfoc/v12r4/topic/ilog.odms.cplex.help/CPLEX/File_formats_reference/topics/MPS_synopsis.html
- http://pic.dhe.ibm.com/infocenter/cosinfoc/v12r4/topic/ilog.odms.cplex.help/CPLEX/File_formats_reference/topics/MPS_ext_synopsis.html
- http://www.gurobi.com/documentation/5.0/reference-manual/node744
- http://en.wikipedia.org/wiki/MPS_(format)
Synopsis
- parseString :: (Stream s, Token s ~ Char, IsString (Tokens s)) => FileOptions -> String -> s -> Either (ParseError s) (Problem Scientific)
- parseFile :: FileOptions -> FilePath -> IO (Problem Scientific)
- type ParseError s = ParseErrorBundle s Void
- parser :: (MonadParsec e s m, Token s ~ Char, IsString (Tokens s)) => m (Problem Scientific)
- render :: FileOptions -> Problem Scientific -> Either String Text
Documentation
parseString :: (Stream s, Token s ~ Char, IsString (Tokens s)) => FileOptions -> String -> s -> Either (ParseError s) (Problem Scientific) Source #
Parse a string containing MPS file data. The source name is only used in error messages and may be the empty string.
parseFile :: FileOptions -> FilePath -> IO (Problem Scientific) Source #
Parse a file containing MPS file data.
type ParseError s = ParseErrorBundle s Void Source #
Error type for parsing.
The definition is slightly different based on the megaparsec version.
parser :: (MonadParsec e s m, Token s ~ Char, IsString (Tokens s)) => m (Problem Scientific) Source #
MPS file parser
render :: FileOptions -> Problem Scientific -> Either String Text Source #
Render a problem into a Text containing MPS file data.