uvmhs-0.0.1.0
Safe HaskellNone
LanguageHaskell2010

UVMHS.Lib.Parser.Core

Documentation

data ParserEnv Source #

Constructors

ParserEnv 

Fields

Instances

Instances details
(Pretty 𝔹, Pretty Formats, Pretty (𝕊 ∧ 𝐼 𝕊), Pretty 𝕊) => Pretty ParserEnv Source # 
Instance details

Defined in UVMHS.Lib.Parser.Core

Methods

pretty :: ParserEnv -> Doc Source #

MonadReader ParserEnv (Parser t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Core

Methods

askL :: (ParserEnv ⟢ r') -> Parser t r' Source #

localL :: forall a r'. (ParserEnv ⟢ r') -> r' -> Parser t a -> Parser t a Source #

parserEnvReportErrorsL :: ParserEnv ⟢ 𝔹 Source #

parserEnvRenderFormatL :: ParserEnv ⟢ Formats Source #

parserEnvErrorStackL :: ParserEnv ⟢ (𝕊 ∧ 𝐼 𝕊) Source #

parserEnvSourceNameL :: ParserEnv ⟢ 𝕊 Source #

parserEnv₀ :: 𝕊 -> ParserEnv Source #

type ParserOut (t :: k) = AddNull (ParserError t) Source #

data ParserState t Source #

Constructors

ParserState 

Fields

Instances

Instances details
(Pretty (WindowR Doc Doc), Pretty ParserContext, Pretty (WindowL Doc Doc), Pretty (AddBT Loc), Pretty (𝑆 (ParserToken t))) => Pretty (ParserState t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Core

Methods

pretty :: ParserState t -> Doc Source #

MonadState (ParserState t) (Parser t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Core

Methods

get :: Parser t (ParserState t) Source #

put :: ParserState t -> Parser t () Source #

parserStatePrefixL :: ParserState t ⟢ WindowR Doc Doc Source #

parserStateSkipContextL :: ParserState t ⟢ ParserContext Source #

parserStateContextL :: ParserState t ⟢ ParserContext Source #

parserStateSuffixL :: ParserState t ⟢ WindowL Doc Doc Source #

parserStateEndPosL :: ParserState t ⟢ AddBT Loc Source #

parserStateInputL :: ParserState t ⟢ 𝑆 (ParserToken t) Source #

parserState₀ :: 𝑆 (ParserToken t) -> ParserState t Source #

newtype Parser t a Source #

Constructors

Parser 

Fields

Instances

Instances details
MonadFail (Parser t :: Type -> Type) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Core

Methods

abort :: Parser t a Source #

(⎅) :: Parser t a -> Parser t a -> Parser t a Source #

MonadReader ParserEnv (Parser t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Core

Methods

askL :: (ParserEnv ⟢ r') -> Parser t r' Source #

localL :: forall a r'. (ParserEnv ⟢ r') -> r' -> Parser t a -> Parser t a Source #

Bind (Parser t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Core

Methods

(≫=) :: Parser t a -> (a -> Parser t b) -> Parser t b Source #

Functor (Parser t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Core

Methods

map :: (a -> b) -> Parser t a -> Parser t b Source #

Monad (Parser t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Core

Return (Parser t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Core

Methods

return :: a -> Parser t a Source #

MonadState (ParserState t) (Parser t) Source # 
Instance details

Defined in UVMHS.Lib.Parser.Core

Methods

get :: Parser t (ParserState t) Source #

put :: ParserState t -> Parser 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 #

runParser :: ParserEnv -> ParserState t -> Parser t a -> ParserOut t ∧ 𝑂 (ParserState t ∧ a) Source #

pNewExpressionContext :: Parser t a -> Parser t a Source #

pGetContext :: Parser t ((WindowR Doc Doc ∧ ParserContext) ∧ WindowL Doc Doc) Source #

pGetContextRendered :: Parser t SrcCxt Source #

pWithContext :: Parser t a -> Parser t (((WindowR Doc Doc ∧ ParserContext) ∧ WindowL Doc Doc) ∧ a) Source #

pFail :: ParserContext -> WindowL Doc Doc -> Parser t a Source #

pErr :: 𝕊 -> Parser t a -> Parser t a Source #

pNewErrContext :: 𝕊 -> Parser t a -> Parser t a Source #

pNewContext :: 𝕊 -> Parser t a -> Parser t a Source #

pWithContextRendered :: Parser t a -> Parser t (𝐴 SrcCxt a) Source #

pRender :: Formats -> Parser t a -> Parser t a Source #

pAdvance :: Parser t (AddBT Loc ∨ ParserToken t) Source #

pPluck :: Parser t (ParserToken t) Source #

pRecord :: ParserToken t -> Parser t () Source #

pEnd :: Parser t () Source #

pFinal :: Parser t a -> Parser t a Source #

pAny :: Parser t t Source #

pShaped :: (t -> 𝑂 a) -> Parser t a Source #

pDie :: Parser t a Source #

pGuard :: 𝔹 -> Parser t () Source #

pFailEff :: 𝑂 a -> Parser t a Source #

pSatisfies :: (t -> 𝔹) -> Parser t t Source #

pToken :: Eq t => t -> Parser t t Source #

pOptional :: Parser t a -> Parser t (𝑂 a) Source #

pMany :: Parser t a -> Parser t (𝐿 a) Source #

pOneOrMore :: Parser t a -> Parser t (𝐿 a) Source #

pManySepBy :: Parser t () -> Parser t a -> Parser t (𝐿 a) Source #

pOneOrMoreSepBy :: Parser t () -> Parser t a -> Parser t (𝐿 a) Source #

pWord :: forall s t. (Eq t, s ⇄ 𝐼 t) => s -> Parser t s Source #