ELynx.Tools.InputOutput

Creation date: Thu Feb 14 13:30:37 2019.

Tools involving input, output, and parsing.

Input, output.

readGZFile :: FilePath -> IO ByteString

Read file. If file path ends with ".gz", assume gzipped file and decompress before read.

writeGZFile :: FilePath -> ByteString -> IO ()

Write file. If file path ends with ".gz", assume gzipped file and compress before write.

io :: (MonadLogger m, MonadIO m) => String -> ByteString -> Maybe FilePath -> m ()

Write a result with a given name to file or standard output.

Parsing.

runParserOnFile :: Parsec e ByteString a -> FilePath -> IO (Either (ParseErrorBundle ByteString e) a)

Parse a possibly gzipped file.

parseFileWith

Arguments

:: ShowErrorComponent e

=> Parsec e ByteString a

The parser.

-> FilePath

-> IO a

Parse a possibly gzipped file and extract the result.

parseIOWith

Arguments

:: ShowErrorComponent e

=> Parsec e ByteString a

The parser.

-> IO a

Parse standard input.

parseFileOrIOWith

Arguments

:: ShowErrorComponent e

=> Parsec e ByteString a

The parser.

-> Maybe FilePath

If no file path is given, standard input is used.

-> IO a

Parse a possibly gzipped file, or standard input, and extract the result.

parseStringWith

Arguments

:: ShowErrorComponent e

=> String

Name of string.

-> Parsec e ByteString a

Parser.

-> String

Input.

-> a

Parse a String and extract the result.

parseByteStringWith

Arguments

:: ShowErrorComponent e

=> String

Name of byte string.

-> Parsec e ByteString a

Parser.

-> ByteString

Input.

-> a

Parse a ByteString and extract the result.