Safe Haskell	None
Language	Haskell2010

UVMHS.Lib.Parser.ParserContext

Documentation

Constructors

ParserContext
Fields parserContextLocRange :: LocRange parserContextDisplayL :: WindowL Doc Doc parserContextDisplayR :: WindowR Doc Doc parserContextError :: WindowR Doc Doc

Instances details

Append ParserContext Source #
Instance details Defined in UVMHS.Lib.Parser.ParserContext Methods (⧺) :: ParserContext -> ParserContext -> ParserContext Source #
Monoid ParserContext Source #
Instance details Defined in UVMHS.Lib.Parser.ParserContext
Null ParserContext Source #
Instance details Defined in UVMHS.Lib.Parser.ParserContext Methods null :: ParserContext Source #
(Pretty LocRange, Pretty (WindowL Doc Doc), Pretty (WindowR Doc Doc)) => Pretty ParserContext Source #
Instance details Defined in UVMHS.Lib.Parser.ParserContext Methods pretty :: ParserContext -> Doc Source #

Constructors

SrcCxt
Fields srcCxtSourceName :: 𝕊 srcCxtLocRange :: LocRange srcCxtPrefix :: WindowR Doc Doc srcCxtContext :: WindowL Doc Doc srcCxtSuffix :: WindowL Doc Doc

Instances details

Show SrcCxt Source #
Instance details Defined in UVMHS.Lib.Parser.ParserContext Methods showsPrec :: Int -> SrcCxt -> ShowS # show :: SrcCxt -> String # showList :: [SrcCxt] -> ShowS #
Eq SrcCxt Source #
Instance details Defined in UVMHS.Lib.Parser.ParserContext Methods (==) :: SrcCxt -> SrcCxt -> Bool # (/=) :: SrcCxt -> SrcCxt -> Bool #
Ord SrcCxt Source #
Instance details Defined in UVMHS.Lib.Parser.ParserContext Methods compare :: SrcCxt -> SrcCxt -> Ordering # (<) :: SrcCxt -> SrcCxt -> Bool # (<=) :: SrcCxt -> SrcCxt -> Bool # (>) :: SrcCxt -> SrcCxt -> Bool # (>=) :: SrcCxt -> SrcCxt -> Bool # max :: SrcCxt -> SrcCxt -> SrcCxt # min :: SrcCxt -> SrcCxt -> SrcCxt #
Pretty SrcCxt Source #
Instance details Defined in UVMHS.Lib.Parser.ParserContext Methods pretty :: SrcCxt -> Doc Source #
Lift SrcCxt Source #
Instance details Defined in UVMHS.Lib.THLiftInstances Methods lift :: Quote m => SrcCxt -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SrcCxt -> Code m SrcCxt #