uvmhs-0.0.1.0
Safe HaskellNone
LanguageHaskell2010

UVMHS.Lib.Parser.ParserInput

Documentation

data PreParserToken t Source #

Constructors

PreParserToken 

Fields

Instances

Instances details
(Pretty t, Pretty 𝔹, Pretty ParserContext) => Pretty (PreParserToken t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserInput

Methods

pretty :: PreParserToken t -> Doc Source #

preParserTokenValueL :: PreParserToken t ⟢ t Source #

preParserTokenSkipL :: PreParserToken t ⟢ 𝔹 Source #

preParserTokenContextL :: PreParserToken t ⟢ ParserContext Source #

data ParserToken t Source #

Constructors

ParserToken 

Fields

Instances

Instances details
(Pretty t, Pretty 𝔹, Pretty ParserContext, Pretty (WindowL Doc Doc)) => Pretty (ParserToken t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserInput

Methods

pretty :: ParserToken t -> Doc Source #

parserTokenValueL :: ParserToken t ⟢ t Source #

parserTokenSkipL :: ParserToken t ⟢ 𝔹 Source #

parserTokenContextL :: ParserToken t ⟢ ParserContext Source #

parserTokenSuffixL :: ParserToken t ⟢ WindowL Doc Doc Source #

renderNLDisplay :: Doc Source #

renderNLError :: Doc Source #

renderEOFDisplay :: Doc Source #

renderEOFError :: Doc Source #

eofContext :: AddBT Loc -> ParserContext Source #

nlContext :: Loc -> ParserContext Source #

charContext :: Loc -> ℂ -> ParserContext Source #

preTokens :: 𝕊 -> 𝕍 (PreParserToken ℂ) Source #

finalizeTokens :: 𝕍 (PreParserToken t) -> 𝕍 (ParserToken t) Source #

tokens :: 𝕊 -> 𝕍 (ParserToken ℂ) Source #