Copyright | (c) Masahiro Sakai 2018 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | provisional |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
ToySolver.FileFormat
Contents
Description
Synopsis
- module ToySolver.FileFormat.Base
- newtype WithFastParser a = WithFastParser {
- unWithFastParser :: a
Documentation
module ToySolver.FileFormat.Base
newtype WithFastParser a Source #
Wrapper type for parsing opb/wbo files using attoparsec-based parser instead of megaparsec-based one.
Constructors
WithFastParser | |
Fields
|
Instances
FileFormat (WithFastParser Formula) Source # | |
Defined in ToySolver.FileFormat Methods parse :: ByteString -> Either String (WithFastParser Formula) Source # | |
FileFormat (WithFastParser SoftFormula) Source # | |
Defined in ToySolver.FileFormat Methods parse :: ByteString -> Either String (WithFastParser SoftFormula) Source # |
Orphan instances
FileFormat Formula Source # | |
FileFormat SoftFormula Source # | |
Methods parse :: ByteString -> Either String SoftFormula Source # render :: SoftFormula -> Builder Source # |