TypedSession.State.Parser

Documentation

data ParserError

Constructors

EmptyInput

TheFirstLetterNotCapitalized

Instances

Show ParserError

Defined in TypedSession.State.Parser

Methods

showsPrec :: Int -> ParserError -> ShowS

show :: ParserError -> String

showList :: [ParserError] -> ShowS

Eq ParserError

Defined in TypedSession.State.Parser

Methods

(==) :: ParserError -> ParserError -> Bool

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

Ord ParserError

Defined in TypedSession.State.Parser

Methods

compare :: ParserError -> ParserError -> Ordering

(<) :: ParserError -> ParserError -> Bool

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

(>) :: ParserError -> ParserError -> Bool

(>=) :: ParserError -> ParserError -> Bool

max :: ParserError -> ParserError -> ParserError

min :: ParserError -> ParserError -> ParserError

ShowErrorComponent ParserError

Defined in TypedSession.State.Parser

Methods

showErrorComponent :: ParserError -> String

errorComponentLen :: ParserError -> Int

type Parser = Parsec ParserError String

spaceConsumer :: Parser ()

symbol :: String -> Parser String

lexeme :: Parser a -> Parser a

msg :: Parser String

label :: Parser String

branch :: Parser String

branchSt :: Parser String

goto :: Parser String

terminal :: Parser String

integer :: Parser Integer

comma :: Parser String

brackets :: Parser a -> Parser a

braces :: Parser a -> Parser a

dbg :: String -> m a -> m a

constrOrType :: Parser String

mkParserA :: (Enum a, Bounded a, Show a) => Parser a

parseMsg :: (Enum r, Bounded r, Show r) => Parser (MsgOrLabel Creat r)

parseLabel :: Show r => Parser (MsgOrLabel Creat r)

parseGoto :: (Show bst, Show r) => Parser (Protocol Creat r bst)

parseTerminal :: (Show bst, Show r) => Parser (Protocol Creat r bst)

parseBranchSt :: (Enum bst, Bounded bst, Show bst, Enum r, Bounded r, Show r) => Parser (BranchSt Creat r bst)

parseBranch :: (Enum r, Bounded r, Show r, Enum bst, Bounded bst, Show bst) => Parser (Protocol Creat r bst)

parseMsgOrLabel :: (Enum r, Bounded r, Show r, Enum bst, Bounded bst, Show bst) => Parser (Protocol Creat r bst)

parseProtocol :: (Enum r, Bounded r, Show r, Enum bst, Bounded bst, Show bst) => Parser (Protocol Creat r bst)

runProtocolParser :: (Enum r, Enum bst, Bounded r, Bounded bst, Show r, Show bst) => String -> Either String (Protocol Creat r bst)