Data.Boltzmann.System.Parser

Parser utilities meant to deal with input system specifications.

Documentation

parseSpec :: String -> IO (Either (ParseError Char Dec) (System Int))

Parses the given system specification.

parseFileSpec :: String -> IO (Either (ParseError Char Dec) (System Int))

Parses the given system specification from the given input file.