ELynx.Tools.InputOutput

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

Tools involving input, output, and parsing.

Execution Mode

data ExecutionMode

Overwrite existing output files or fail if output files exist.

Constructors

Overwrite

Fail

Instances

Eq ExecutionMode

Defined in ELynx.Tools.InputOutput

Methods

(==) :: ExecutionMode -> ExecutionMode -> Bool

(/=) :: ExecutionMode -> ExecutionMode -> Bool

Show ExecutionMode

Defined in ELynx.Tools.InputOutput

Methods

showsPrec :: Int -> ExecutionMode -> ShowS

show :: ExecutionMode -> String

showList :: [ExecutionMode] -> ShowS

Generic ExecutionMode

Defined in ELynx.Tools.InputOutput

Associated Types

type Rep ExecutionMode :: Type -> Type

Methods

from :: ExecutionMode -> Rep ExecutionMode x

to :: Rep ExecutionMode x -> ExecutionMode

ToJSON ExecutionMode

Defined in ELynx.Tools.InputOutput

Methods

toJSON :: ExecutionMode -> Value

toEncoding :: ExecutionMode -> Encoding

toJSONList :: [ExecutionMode] -> Value

toEncodingList :: [ExecutionMode] -> Encoding

FromJSON ExecutionMode

Defined in ELynx.Tools.InputOutput

Methods

parseJSON :: Value -> Parser ExecutionMode

parseJSONList :: Value -> Parser [ExecutionMode]

type Rep ExecutionMode

Defined in ELynx.Tools.InputOutput

type Rep ExecutionMode = D1 ('MetaData "ExecutionMode" "ELynx.Tools.InputOutput" "elynx-tools-0.7.0.1-Hoz215Pz5EYHmwnWsWSkLV" 'False) (C1 ('MetaCons "Overwrite" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Fail" 'PrefixI 'False) (U1 :: Type -> Type))

openFileWithExecutionMode :: ExecutionMode -> FilePath -> IO Handle

Open existing files only if ExecutionMode is Overwrite.

Input, output

readGZFile :: FilePath -> IO ByteString

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

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

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

Parsing

runParserOnFile :: Parser a -> FilePath -> IO (Either String a)

Parse a possibly gzipped file.

parseFileWith :: Parser a -> FilePath -> IO a

Parse a possibly gzipped file and extract the result.

parseIOWith :: Parser a -> IO a

Parse standard input.

parseFileOrIOWith :: Parser a -> Maybe FilePath -> IO a

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

parseStringWith :: Parser a -> String -> a

Parse a String and extract the result.

parseByteStringWith :: Parser a -> ByteString -> a

Parse a ByteString and extract the result.