ToySolver.FileFormat

Documentation

module ToySolver.FileFormat.Base

newtype WithFastParser a

Wrapper type for parsing opb/wbo files using attoparsec-based parser instead of megaparsec-based one.

Constructors

WithFastParser

Fields

• unWithFastParser :: a

Instances

FileFormat (WithFastParser Formula)

Defined in ToySolver.FileFormat

Methods

parse :: ByteString -> Either String (WithFastParser Formula)

render :: WithFastParser Formula -> Builder

FileFormat (WithFastParser SoftFormula)

Defined in ToySolver.FileFormat

Methods

parse :: ByteString -> Either String (WithFastParser SoftFormula)

render :: WithFastParser SoftFormula -> Builder

Orphan instances

FileFormat Formula

Methods

parse :: ByteString -> Either String Formula

render :: Formula -> Builder

FileFormat SoftFormula

Methods

parse :: ByteString -> Either String SoftFormula

render :: SoftFormula -> Builder