ToySolver.FileFormat.Base

FileFormat class

class FileFormat a where

A type class that abstracts file formats

Methods

parse :: ByteString -> Either String a

Parse a lazy byte string, and either returns error message or a parsed value

render :: a -> Builder

Encode a value into Builder

Instances

FileFormat Formula

Defined in ToySolver.FileFormat

Methods

parse :: ByteString -> Either String Formula

render :: Formula -> Builder

FileFormat SoftFormula

Defined in ToySolver.FileFormat

Methods

parse :: ByteString -> Either String SoftFormula

render :: SoftFormula -> Builder

FileFormat QDimacs

Defined in ToySolver.FileFormat.CNF

Methods

parse :: ByteString -> Either String QDimacs

render :: QDimacs -> Builder

FileFormat GCNF

Defined in ToySolver.FileFormat.CNF

Methods

parse :: ByteString -> Either String GCNF

render :: GCNF -> Builder

FileFormat WCNF

Defined in ToySolver.FileFormat.CNF

Methods

parse :: ByteString -> Either String WCNF

render :: WCNF -> Builder

FileFormat CNF

Defined in ToySolver.FileFormat.CNF

Methods

parse :: ByteString -> Either String CNF

render :: CNF -> Builder

FileFormat (Problem Scientific)

Defined in ToySolver.QUBO

Methods

parse :: ByteString -> Either String (Problem Scientific)

render :: Problem Scientific -> Builder

data ParseError

ParseError represents a parse error and it wraps a error message.

Constructors

ParseError String

Instances

Show ParseError

Defined in ToySolver.FileFormat.Base

Methods

showsPrec :: Int -> ParseError -> ShowS

show :: ParseError -> String

showList :: [ParseError] -> ShowS

Exception ParseError

Defined in ToySolver.FileFormat.Base

Methods

toException :: ParseError -> SomeException

fromException :: SomeException -> Maybe ParseError

displayException :: ParseError -> String

parseFile :: (FileFormat a, MonadIO m) => FilePath -> m (Either String a)

Parse a file but returns an error message when parsing fails.

readFile :: (FileFormat a, MonadIO m) => FilePath -> m a

Parse a file. Similar to parseFile but this function throws ParseError when parsing fails.

writeFile :: (FileFormat a, MonadIO m) => FilePath -> a -> m ()

Write a value into a file.