Maintainer	defanor <defanor@uberspace.net>
Stability	unstable
Portability	non-portable (uses GHC extensions)
Safe Haskell	None
Language	Haskell2010

Coalpit.Parsing

Description

This module provides functions useful for argument parsing.

Synopsis

type Parser = Parsec Void [CLArg]
newtype CLArg = CLArg {
- unArg :: String
}
pS :: Parsec Void String a -> Parsec Void [CLArg] a
readArg :: Read a => Parser a
pTime :: ParseTime a => TimeLocale -> String -> Parser a

Documentation

type Parser = Parsec Void [CLArg] Source #

Command-line arguments parser.

newtype CLArg Source #

Command-line argument wrapper, used to avoid orphan ShowToken String and Stream [String] instances.

Constructors

CLArg
Fields unArg :: String

Instances

Eq CLArg Source #
Instance details Defined in Coalpit.Parsing Methods (==) :: CLArg -> CLArg -> Bool # (/=) :: CLArg -> CLArg -> Bool #
Ord CLArg Source #
Instance details Defined in Coalpit.Parsing Methods compare :: CLArg -> CLArg -> Ordering # (<) :: CLArg -> CLArg -> Bool # (<=) :: CLArg -> CLArg -> Bool # (>) :: CLArg -> CLArg -> Bool # (>=) :: CLArg -> CLArg -> Bool # max :: CLArg -> CLArg -> CLArg # min :: CLArg -> CLArg -> CLArg #
ShowToken CLArg Source #
Instance details Defined in Coalpit.Parsing Methods showTokens :: NonEmpty CLArg -> String #
Stream [CLArg] Source #	A list of strings (command-line arguments) stream.
Instance details Defined in Coalpit.Parsing Associated Types type Token [CLArg] :: Type # type Tokens [CLArg] :: Type # Methods tokenToChunk :: Proxy [CLArg] -> Token [CLArg] -> Tokens [CLArg] # tokensToChunk :: Proxy [CLArg] -> [Token [CLArg]] -> Tokens [CLArg] # chunkToTokens :: Proxy [CLArg] -> Tokens [CLArg] -> [Token [CLArg]] # chunkLength :: Proxy [CLArg] -> Tokens [CLArg] -> Int # chunkEmpty :: Proxy [CLArg] -> Tokens [CLArg] -> Bool # positionAt1 :: Proxy [CLArg] -> SourcePos -> Token [CLArg] -> SourcePos # positionAtN :: Proxy [CLArg] -> SourcePos -> Tokens [CLArg] -> SourcePos # advance1 :: Proxy [CLArg] -> Pos -> SourcePos -> Token [CLArg] -> SourcePos # advanceN :: Proxy [CLArg] -> Pos -> SourcePos -> Tokens [CLArg] -> SourcePos # take1_ :: [CLArg] -> Maybe (Token [CLArg], [CLArg]) # takeN_ :: Int -> [CLArg] -> Maybe (Tokens [CLArg], [CLArg]) # takeWhile_ :: (Token [CLArg] -> Bool) -> [CLArg] -> (Tokens [CLArg], [CLArg]) #
type Tokens [CLArg] Source #
Instance details Defined in Coalpit.Parsing type Tokens [CLArg] = [CLArg]
type Token [CLArg] Source #
Instance details Defined in Coalpit.Parsing type Token [CLArg] = CLArg

pS :: Parsec Void String a -> Parsec Void [CLArg] a Source #

Applies a String parser to a single argument.

readArg :: Read a => Parser a Source #

Reads an argument using its Read instance.

pTime Source #

Arguments

:: ParseTime a
=> TimeLocale	Options, to read `timeLocale` from.
-> String	Time format to use.
-> Parser a

Parses a time argument.