uvmhs-0.0.1.0
Safe HaskellNone
LanguageHaskell2010

UVMHS.Lib.Parser.ParserError

Documentation

data ParserErrorInfo Source #

Constructors

ParserErrorInfo 

Fields

data ParserError (t :: k) Source #

Constructors

ParserError 

Fields

Instances

Instances details
Append (ParserError t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserError

Methods

(⧺) :: ParserError t -> ParserError t -> ParserError t Source #

MonadWriter (ParserOut t) (Parser t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Core

Methods

tell :: ParserOut t -> Parser t () Source #

hijack :: Parser t a -> Parser t (ParserOut t ∧ a) Source #

data ParserErrorStackTraces Source #

Constructors

ParserErrorStackTraces 

Fields

Instances

Instances details
Eq ParserErrorStackTraces Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserError

Methods

(==) :: ParserErrorStackTraces -> ParserErrorStackTraces -> Bool #

(/=) :: ParserErrorStackTraces -> ParserErrorStackTraces -> Bool #

Ord ParserErrorStackTraces Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserError

Methods

compare :: ParserErrorStackTraces -> ParserErrorStackTraces -> Ordering #

(<) :: ParserErrorStackTraces -> ParserErrorStackTraces -> Bool #

(<=) :: ParserErrorStackTraces -> ParserErrorStackTraces -> Bool #

(>) :: ParserErrorStackTraces -> ParserErrorStackTraces -> Bool #

(>=) :: ParserErrorStackTraces -> ParserErrorStackTraces -> Bool #

max :: ParserErrorStackTraces -> ParserErrorStackTraces -> ParserErrorStackTraces #

min :: ParserErrorStackTraces -> ParserErrorStackTraces -> ParserErrorStackTraces #

Bot ParserErrorStackTraces Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserError

Methods

bot :: ParserErrorStackTraces Source #

Join ParserErrorStackTraces Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserError

Methods

(⊔) :: ParserErrorStackTraces -> ParserErrorStackTraces -> ParserErrorStackTraces Source #

JoinLattice ParserErrorStackTraces Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserError

(Pretty (𝑃 𝕊), Pretty (𝕊 ⇰ ParserErrorStackTraces)) => Pretty ParserErrorStackTraces Source # 
Instance details

Defined in UVMHS.Lib.Parser.ParserError

Methods

pretty :: ParserErrorStackTraces -> Doc Source #

parserErrorStackTracesMessagesL :: ParserErrorStackTraces ⟢ 𝑃 𝕊 Source #

parserErrorStackTracesChainL :: ParserErrorStackTraces ⟢ (𝕊 ⇰ ParserErrorStackTraces) Source #

stackTraces :: 𝕊 -> 𝐼 𝕊 -> ParserErrorStackTraces Source #

parserErrorFailuresMap :: 𝐼 ParserErrorInfo -> (𝕊 ∧ 𝔹) ⇰ ((WindowR Doc Doc ∧ WindowR Doc Doc) ∧ ParserErrorStackTraces) Source #

displaySourceError :: forall {k} (t :: k). 𝕊 -> AddNull (ParserError t) -> Doc Source #

displayErrorTraces :: ParserErrorStackTraces -> Doc Source #