Copyright	(c) roki 2019
License	MIT
Maintainer	falgon53@yahoo.co.jp
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Htcc.Parser.Utils.Core

Contents

General utilities of parser
Utilities of the token

Description

The utilities of parsing

Synopsis

expectedMessage :: Show i => Text -> TokenLC i -> [TokenLC i] -> ASTError i
takeBrace :: forall i. (Integral i, Read i, Show i) => Text -> Text -> [TokenLC i] -> Maybe (Either (TokenLC i) ([TokenLC i], [TokenLC i]))
takeExps :: Eq i => [TokenLC i] -> Maybe [[TokenLC i]]

General utilities of parser

expectedMessage :: Show i => Text -> TokenLC i -> [TokenLC i] -> ASTError i Source #

"expected" error message

Utilities of the token

takeBrace :: forall i. (Integral i, Read i, Show i) => Text -> Text -> [TokenLC i] -> Maybe (Either (TokenLC i) ([TokenLC i], [TokenLC i])) Source #

Extract the partial token enclosed in parentheses from the token sequence. If it is invalid, takeBrace returns (i, Text) indicating the error location. Otherwise, takeBrace returns a partial token enclosed in parentheses and subsequent tokens.

takeExps :: Eq i => [TokenLC i] -> Maybe [[TokenLC i]] Source #

Get arguments from list of Token (e.g: Given the token of f(f(g(a, b)), 42);, return expressions that are the token of "f(g(a, b))" and the token of "42".