Safe Haskell	None
Language	Haskell2010

FP.Parser.Common

Documentation

data Loc Source

Constructors

Loc
Fields locPos :: ℕ locRow :: ℕ locCol :: ℕ

Instances

Eq Loc Source
Ord Loc Source
Meet Loc Source
Join Loc Source
Bot Loc Source
Pretty ℕ => Pretty Loc Source

locColL :: Lens Loc ℕ Source

locRowL :: Lens Loc ℕ Source

locPosL :: Lens Loc ℕ Source

loc₀ :: Loc Source

bumpRow :: Loc -> Loc Source

bumpCol :: Loc -> Loc Source

data LocRange Source

Constructors

LocRange
Fields locRangeBegin :: Loc locRangeEnd :: Loc

Instances

Eq LocRange Source
Ord LocRange Source
Join LocRange Source
Pretty Loc => Pretty LocRange Source

locRangeEndL :: Lens LocRange Loc Source

locRangeBeginL :: Lens LocRange Loc Source

data SourceToken t Source

Constructors

SourceToken
Fields sourceTokenValue :: t sourceTokenRange :: LocRange sourceTokenRender :: Doc sourceTokenError :: Doc

Instances

(Pretty t0, Pretty LocRange, Pretty Doc) => Pretty (SourceToken t) Source

sourceTokenErrorL :: forall t. Lens (SourceToken t) Doc Source

sourceTokenRenderL :: forall t. Lens (SourceToken t) Doc Source

sourceTokenRangeL :: forall t. Lens (SourceToken t) LocRange Source

sourceTokenValueL :: forall t. Lens (SourceToken t) t Source

renderChar :: ℂ -> Doc Source

renderErrorChar :: ℂ -> Doc Source

tokens :: 𝕊 -> Stream (SourceToken ℂ) Source

data SourceInput t Source

Constructors

SourceInput
Fields sourceInputStream :: Stream (SourceToken t) sourceInputNextLoc :: Loc

Instances

(Pretty (Stream (SourceToken t0)), Pretty Loc) => Pretty (SourceInput t) Source

sourceInputNextLocL :: forall t. Lens (SourceInput t) Loc Source

sourceInputStreamL :: forall t. Lens (SourceInput t) (Stream (SourceToken t)) Source

sourceInput₀ :: Stream (SourceToken t) -> SourceInput t Source

data SourceErrorTrace Source

Constructors

SourceErrorTrace
Fields sourceErrorTraceFinal :: 𝒫 𝕊 sourceErrorTraceChain :: 𝕊 ⇰ SourceErrorTrace

sourceErrorTraceChainL :: Lens SourceErrorTrace ((⇰) 𝕊 SourceErrorTrace) Source

sourceErrorTraceFinalL :: Lens SourceErrorTrace (𝒫 𝕊) Source

sourceErrorTraceFromStack :: [𝕊] -> 𝕊 -> SourceErrorTrace Source

displaySourceErrorTrace :: SourceErrorTrace -> Doc Source

data SourceErrorInfo Source

Constructors

SourceErrorInfo
Fields sourceErrorInfoPrefix :: Doc sourceErrorInfoTrace :: SourceErrorTrace

Instances

(Pretty Doc, Pretty SourceErrorTrace) => Pretty SourceErrorInfo Source

sourceErrorInfoTraceL :: Lens SourceErrorInfo SourceErrorTrace Source

sourceErrorInfoPrefixL :: Lens SourceErrorInfo Doc Source

data SourceError t Source

Constructors

SourceError
Fields sourceErrorInput :: SourceInput t sourceErrorContexts :: (AddBot LocRange, Doc) ⇰ SourceErrorInfo

Instances

(Pretty (SourceInput t0), Pretty ((⇰) (AddBot LocRange, Doc) SourceErrorInfo)) => Pretty (SourceError t) Source

sourceErrorContextsL :: forall t. Lens (SourceError t) ((⇰) (AddBot LocRange, Doc) SourceErrorInfo) Source

sourceErrorInputL :: forall t. Lens (SourceError t) (SourceInput t) Source

sourceErrorAppend :: SourceError t -> SourceError t -> SourceError t Source

data SourceErrorMaybe t Source

Constructors

NullSourceError
SourceErrorMaybe (SourceError t)

Instances

Monoid (SourceErrorMaybe t) Source
Pretty t => Pretty (SourceErrorMaybe t) Source

sourceErrorMaybeL :: forall t. Prism (SourceErrorMaybe t) (SourceError t) Source

nullSourceErrorL :: forall t. Prism (SourceErrorMaybe t) () Source

displaySourceErrorMaybe :: SourceErrorMaybe t -> Doc Source

data SourceContextPrefix t Source

Constructors

SourceContextPrefix
Fields sourceContextPrefixBefore :: Doc sourceContextPrefixDisplay :: Doc sourceContextPrefixDisplayError :: Doc sourceContextPrefixRange :: AddBot LocRange

Instances

Monoid (SourceContextPrefix k t) Source
Pretty (SourceContextPrefix k t) Source

sourceContextPrefixRangeL :: forall t. Lens (SourceContextPrefix t) (AddBot LocRange) Source

sourceContextPrefixDisplayErrorL :: forall t. Lens (SourceContextPrefix t) Doc Source

sourceContextPrefixDisplayL :: forall t. Lens (SourceContextPrefix t) Doc Source

sourceContextPrefixBeforeL :: forall t. Lens (SourceContextPrefix t) Doc Source

pushSourceLocalContext :: SourceContextPrefix t -> SourceContextPrefix t Source

errorSourceLocalContext :: SourceInput t -> ([𝕊], 𝕊) -> SourceContextPrefix t -> SourceError t Source

sourceLocalContextFromToken :: [Format] -> SourceToken t -> SourceContextPrefix t Source

data SourceContext t Source

Constructors

SourceContext
Fields sourceContextPast :: SourceContextPrefix t sourceContextFuture :: SourceInput t

Instances

Monoid (SourceContext t) Source
Pretty (SourceContext t) Source

displaySourceContext :: SourceContext t -> Doc Source

errorSourceContext :: SourceContext t -> Doc Source

Eq SourceErrorTrace Source
Ord SourceErrorTrace Source
JoinLattice SourceErrorTrace Source
Join SourceErrorTrace Source
Bot SourceErrorTrace Source
(Pretty (𝒫 𝕊), Pretty ((⇰) 𝕊 SourceErrorTrace)) => Pretty SourceErrorTrace Source