uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
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 #

preParserTokenContextL :: forall (t :: Type). (⟢) (PreParserToken t) ParserContext Source #

preParserTokenSkipL :: forall (t :: Type). (⟢) (PreParserToken t) 𝔹 Source #

preParserTokenValueL :: forall (t :: Type). (⟢) (PreParserToken t) t 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 #

parserTokenSuffixL :: forall (t :: Type). (⟢) (ParserToken t) (WindowL Doc Doc) Source #

parserTokenContextL :: forall (t :: Type). (⟢) (ParserToken t) ParserContext Source #

parserTokenSkipL :: forall (t :: Type). (⟢) (ParserToken t) 𝔹 Source #

parserTokenValueL :: forall (t :: Type). (⟢) (ParserToken t) t 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 #