Language.Symantic.CLI.Read

Type Arg

newtype Arg

Constructors

Arg

Fields

• unArg :: String

Instances

Eq Arg

Defined in Language.Symantic.CLI.Read

Methods

(==) :: Arg -> Arg -> Bool

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

Ord Arg

Defined in Language.Symantic.CLI.Read

Methods

compare :: Arg -> Arg -> Ordering

(<) :: Arg -> Arg -> Bool

(<=) :: Arg -> Arg -> Bool

(>) :: Arg -> Arg -> Bool

(>=) :: Arg -> Arg -> Bool

max :: Arg -> Arg -> Arg

min :: Arg -> Arg -> Arg

Show Arg

Defined in Language.Symantic.CLI.Read

Methods

showsPrec :: Int -> Arg -> ShowS

show :: Arg -> String

showList :: [Arg] -> ShowS

ShowToken Arg

Defined in Language.Symantic.CLI.Read

Methods

showTokens :: NonEmpty Arg -> String

Type Args

newtype Args

Constructors

Args

Fields

• unArgs :: [Arg]

Instances

Eq Args

Defined in Language.Symantic.CLI.Read

Methods

(==) :: Args -> Args -> Bool

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

Ord Args

Defined in Language.Symantic.CLI.Read

Methods

compare :: Args -> Args -> Ordering

(<) :: Args -> Args -> Bool

(<=) :: Args -> Args -> Bool

(>) :: Args -> Args -> Bool

(>=) :: Args -> Args -> Bool

max :: Args -> Args -> Args

min :: Args -> Args -> Args

Show Args

Defined in Language.Symantic.CLI.Read

Methods

showsPrec :: Int -> Args -> ShowS

show :: Args -> String

showList :: [Args] -> ShowS

Semigroup Args

Defined in Language.Symantic.CLI.Read

Methods

(<>) :: Args -> Args -> Args

sconcat :: NonEmpty Args -> Args

stimes :: Integral b => b -> Args -> Args

Monoid Args

Defined in Language.Symantic.CLI.Read

Methods

mempty :: Args

mappend :: Args -> Args -> Args

mconcat :: [Args] -> Args

Stream Args

Defined in Language.Symantic.CLI.Read

Associated Types

type Token Args :: *

type Tokens Args :: *

Methods

tokenToChunk :: Proxy Args -> Token Args -> Tokens Args

tokensToChunk :: Proxy Args -> [Token Args] -> Tokens Args

chunkToTokens :: Proxy Args -> Tokens Args -> [Token Args]

chunkLength :: Proxy Args -> Tokens Args -> Int

chunkEmpty :: Proxy Args -> Tokens Args -> Bool

positionAt1 :: Proxy Args -> SourcePos -> Token Args -> SourcePos

positionAtN :: Proxy Args -> SourcePos -> Tokens Args -> SourcePos

advance1 :: Proxy Args -> Pos -> SourcePos -> Token Args -> SourcePos

advanceN :: Proxy Args -> Pos -> SourcePos -> Tokens Args -> SourcePos

take1_ :: Args -> Maybe (Token Args, Args)

takeN_ :: Int -> Args -> Maybe (Tokens Args, Args)

takeWhile_ :: (Token Args -> Bool) -> Args -> (Tokens Args, Args)

MonadParsec (ErrorRead e) Args (Parser e s)

Defined in Language.Symantic.CLI.Read

Methods

failure :: Maybe (ErrorItem (Token Args)) -> Set (ErrorItem (Token Args)) -> Parser e s a

fancyFailure :: Set (ErrorFancy (ErrorRead e)) -> Parser e s a

label :: String -> Parser e s a -> Parser e s a

hidden :: Parser e s a -> Parser e s a

try :: Parser e s a -> Parser e s a

lookAhead :: Parser e s a -> Parser e s a

notFollowedBy :: Parser e s a -> Parser e s ()

withRecovery :: (ParseError (Token Args) (ErrorRead e) -> Parser e s a) -> Parser e s a -> Parser e s a

observing :: Parser e s a -> Parser e s (Either (ParseError (Token Args) (ErrorRead e)) a)

eof :: Parser e s ()

token :: (Token Args -> Either (Maybe (ErrorItem (Token Args)), Set (ErrorItem (Token Args))) a) -> Maybe (Token Args) -> Parser e s a

tokens :: (Tokens Args -> Tokens Args -> Bool) -> Tokens Args -> Parser e s (Tokens Args)

takeWhileP :: Maybe String -> (Token Args -> Bool) -> Parser e s (Tokens Args)

takeWhile1P :: Maybe String -> (Token Args -> Bool) -> Parser e s (Tokens Args)

takeP :: Maybe String -> Int -> Parser e s (Tokens Args)

getParserState :: Parser e s (State Args)

updateParserState :: (State Args -> State Args) -> Parser e s ()

type Tokens Args

Defined in Language.Symantic.CLI.Read

type Tokens Args = Args

type Token Args

Defined in Language.Symantic.CLI.Read

type Token Args = Arg

Type Parser

newtype Parser e s a

Constructors

Parser

Fields

• unParser :: Parsec (ErrorRead e) Args a

Instances

Sym_Exit Parser

Defined in Language.Symantic.CLI.Read

Methods

exit :: e -> Parser e t ()

Sym_Option Parser

Defined in Language.Symantic.CLI.Read

Methods

opt :: OptionName -> Parser e s a -> Parser e ArgOption a

var :: Name -> (String -> Either e a) -> Parser e ArgValue a

tag :: String -> Parser e ArgValue ()

long :: Name -> Parser e ArgValue a -> Parser e ArgOption a

short :: Char -> Parser e ArgValue a -> Parser e ArgOption a

flag :: OptionName -> (Bool, Parser e ArgOption Bool)

endOpt :: Parser e ArgOption ()

string :: Name -> Parser e ArgValue String

Sym_Command Parser

Defined in Language.Symantic.CLI.Read

Methods

main :: Name -> Parser e t a -> Parser e ArgCommand a

command :: Name -> Parser e t a -> Parser e ArgCommand a

Sym_Rule Parser

Defined in Language.Symantic.CLI.Read

Methods

rule :: String -> Parser e t a -> Parser e t a

Sym_Interleaved Parser

Defined in Language.Symantic.CLI.Read

Methods

interleaved :: Perm (Parser e t) a -> Parser e t a

(<<$>>) :: (a -> b) -> Parser e t a -> Perm (Parser e t) b

(<<$?>>) :: (a -> b) -> (a, Parser e t a) -> Perm (Parser e t) b

(<<$*>>) :: ([a] -> b) -> Parser e t a -> Perm (Parser e t) b

(<<|>>) :: Perm (Parser e t) (a -> b) -> Parser e t a -> Perm (Parser e t) b

(<<|?>>) :: Perm (Parser e t) (a -> b) -> (a, Parser e t a) -> Perm (Parser e t) b

(<<|*>>) :: Perm (Parser e t) ([a] -> b) -> Parser e t a -> Perm (Parser e t) b

(<<$) :: a -> Parser e t b -> Perm (Parser e t) a

(<<$?) :: a -> (b, Parser e t b) -> Perm (Parser e t) a

Sym_AltApp Parser

Defined in Language.Symantic.CLI.Read

Methods

many :: Parser e t a -> Parser e t [a]

some :: Parser e t a -> Parser e t [a]

intermany :: [Parser e t a] -> Parser e t [a]

Sym_Alt Parser

Defined in Language.Symantic.CLI.Read

Methods

(<||>) :: Parser e t a -> Parser e t a -> Parser e t a

choice :: [Parser e t a] -> Parser e t a

optional :: Parser e t a -> Parser e t (Maybe a)

option :: a -> Parser e t a -> Parser e t a

try :: Parser e t a -> Parser e t a

Sym_App Parser

Defined in Language.Symantic.CLI.Read

Methods

value :: a -> Parser e ArgValue a

(<**>) :: Parser e t (a -> b) -> Parser e u a -> Parser e u b

(**>) :: Parser e t a -> Parser e u b -> Parser e u b

(<**) :: Parser e t a -> Parser e u b -> Parser e u a

end :: Parser e t ()

Sym_Fun Parser

Defined in Language.Symantic.CLI.Read

Methods

(<$$>) :: (a -> b) -> Parser e t a -> Parser e t b

(<$$) :: a -> Parser e t b -> Parser e t a

($$>) :: Parser e t b -> a -> Parser e t a

Sym_Help d Parser

Defined in Language.Symantic.CLI.Read

Methods

help :: d -> Parser e t a -> Parser e t a

MonadParsec (ErrorRead e) Args (Parser e s)

Defined in Language.Symantic.CLI.Read

Methods

failure :: Maybe (ErrorItem (Token Args)) -> Set (ErrorItem (Token Args)) -> Parser e s a

fancyFailure :: Set (ErrorFancy (ErrorRead e)) -> Parser e s a

label :: String -> Parser e s a -> Parser e s a

hidden :: Parser e s a -> Parser e s a

try :: Parser e s a -> Parser e s a

lookAhead :: Parser e s a -> Parser e s a

notFollowedBy :: Parser e s a -> Parser e s ()

withRecovery :: (ParseError (Token Args) (ErrorRead e) -> Parser e s a) -> Parser e s a -> Parser e s a

observing :: Parser e s a -> Parser e s (Either (ParseError (Token Args) (ErrorRead e)) a)

eof :: Parser e s ()

token :: (Token Args -> Either (Maybe (ErrorItem (Token Args)), Set (ErrorItem (Token Args))) a) -> Maybe (Token Args) -> Parser e s a

tokens :: (Tokens Args -> Tokens Args -> Bool) -> Tokens Args -> Parser e s (Tokens Args)

takeWhileP :: Maybe String -> (Token Args -> Bool) -> Parser e s (Tokens Args)

takeWhile1P :: Maybe String -> (Token Args -> Bool) -> Parser e s (Tokens Args)

takeP :: Maybe String -> Int -> Parser e s (Tokens Args)

getParserState :: Parser e s (State Args)

updateParserState :: (State Args -> State Args) -> Parser e s ()

Monad (Parser e s)

Defined in Language.Symantic.CLI.Read

Methods

(>>=) :: Parser e s a -> (a -> Parser e s b) -> Parser e s b

(>>) :: Parser e s a -> Parser e s b -> Parser e s b

return :: a -> Parser e s a

fail :: String -> Parser e s a

Functor (Parser e s)

Defined in Language.Symantic.CLI.Read

Methods

fmap :: (a -> b) -> Parser e s a -> Parser e s b

(<$) :: a -> Parser e s b -> Parser e s a

Applicative (Parser e s)

Defined in Language.Symantic.CLI.Read

Methods

pure :: a -> Parser e s a

(<*>) :: Parser e s (a -> b) -> Parser e s a -> Parser e s b

liftA2 :: (a -> b -> c) -> Parser e s a -> Parser e s b -> Parser e s c

(*>) :: Parser e s a -> Parser e s b -> Parser e s b

(<*) :: Parser e s a -> Parser e s b -> Parser e s a

Alternative (Parser e s)

Defined in Language.Symantic.CLI.Read

Methods

empty :: Parser e s a

(<|>) :: Parser e s a -> Parser e s a -> Parser e s a

some :: Parser e s a -> Parser e s [a]

many :: Parser e s a -> Parser e s [a]

MonadPlus (Parser e s)

Defined in Language.Symantic.CLI.Read

Methods

mzero :: Parser e s a

mplus :: Parser e s a -> Parser e s a -> Parser e s a

type Perm (Parser e s)

Defined in Language.Symantic.CLI.Read

type Perm (Parser e s) = PermParser Args (Parser e s)

coerceParser :: Parser e s a -> Parser e t a

Type ErrorRead

newtype ErrorRead e

Constructors

ErrorRead e

Instances

Functor ErrorRead

Defined in Language.Symantic.CLI.Read

Methods

fmap :: (a -> b) -> ErrorRead a -> ErrorRead b

(<$) :: a -> ErrorRead b -> ErrorRead a

Eq (ErrorRead a)

Defined in Language.Symantic.CLI.Read

Methods

(==) :: ErrorRead a -> ErrorRead a -> Bool

(/=) :: ErrorRead a -> ErrorRead a -> Bool

Ord (ErrorRead a)

Defined in Language.Symantic.CLI.Read

Methods

compare :: ErrorRead a -> ErrorRead a -> Ordering

(<) :: ErrorRead a -> ErrorRead a -> Bool

(<=) :: ErrorRead a -> ErrorRead a -> Bool

(>) :: ErrorRead a -> ErrorRead a -> Bool

(>=) :: ErrorRead a -> ErrorRead a -> Bool

max :: ErrorRead a -> ErrorRead a -> ErrorRead a

min :: ErrorRead a -> ErrorRead a -> ErrorRead a

Show e => Show (ErrorRead e)

Defined in Language.Symantic.CLI.Read

Methods

showsPrec :: Int -> ErrorRead e -> ShowS

show :: ErrorRead e -> String

showList :: [ErrorRead e] -> ShowS

Show e => ShowErrorComponent (ErrorRead e)

Defined in Language.Symantic.CLI.Read

Methods

showErrorComponent :: ErrorRead e -> String

MonadParsec (ErrorRead e) Args (Parser e s)

Defined in Language.Symantic.CLI.Read

Methods

failure :: Maybe (ErrorItem (Token Args)) -> Set (ErrorItem (Token Args)) -> Parser e s a

fancyFailure :: Set (ErrorFancy (ErrorRead e)) -> Parser e s a

label :: String -> Parser e s a -> Parser e s a

hidden :: Parser e s a -> Parser e s a

try :: Parser e s a -> Parser e s a

lookAhead :: Parser e s a -> Parser e s a

notFollowedBy :: Parser e s a -> Parser e s ()

withRecovery :: (ParseError (Token Args) (ErrorRead e) -> Parser e s a) -> Parser e s a -> Parser e s a

observing :: Parser e s a -> Parser e s (Either (ParseError (Token Args) (ErrorRead e)) a)

eof :: Parser e s ()

token :: (Token Args -> Either (Maybe (ErrorItem (Token Args)), Set (ErrorItem (Token Args))) a) -> Maybe (Token Args) -> Parser e s a

tokens :: (Tokens Args -> Tokens Args -> Bool) -> Tokens Args -> Parser e s (Tokens Args)

takeWhileP :: Maybe String -> (Token Args -> Bool) -> Parser e s (Tokens Args)

takeWhile1P :: Maybe String -> (Token Args -> Bool) -> Parser e s (Tokens Args)

takeP :: Maybe String -> Int -> Parser e s (Tokens Args)

getParserState :: Parser e s (State Args)

updateParserState :: (State Args -> State Args) -> Parser e s ()

readArgs :: Parser e s a -> Args -> Either (ParseError (Token Args) (ErrorRead e)) a