Ivory.Language.Syntax.Concrete.ParseCore

Documentation

data ParserState

Constructors

ParserState

Fields

• psTokens :: [Lexeme]

Instances

Show ParserState

Defined in Ivory.Language.Syntax.Concrete.ParseCore

Methods

showsPrec :: Int -> ParserState -> ShowS

show :: ParserState -> String

showList :: [ParserState] -> ShowS

initParserState :: [Lexeme] -> ParserState

newtype Parser a

Constructors

Parser

Fields

• unParser :: StateT ParserState Id a

Instances

Monad Parser

Defined in Ivory.Language.Syntax.Concrete.ParseCore

Methods

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

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

return :: a -> Parser a

fail :: String -> Parser a

Functor Parser

Defined in Ivory.Language.Syntax.Concrete.ParseCore

Methods

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

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

Applicative Parser

Defined in Ivory.Language.Syntax.Concrete.ParseCore

Methods

pure :: a -> Parser a

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

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

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

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

runParser :: [Lexeme] -> Parser a -> a

Run the parser over the file given.

lexer :: (Lexeme -> Parser a) -> Parser a

parseError :: Lexeme -> Parser a