agda-language-server-0.2.6.3.0: An implementation of language server protocal (LSP) for Agda 2.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Render.TypeChecking

Orphan instances

Render ProblemId Source # 
Instance details

Methods

render :: ProblemId -> Inlines Source #

renderPrec :: Int -> ProblemId -> Inlines Source #

Render Comparison Source # 
Instance details

Methods

render :: Comparison -> Inlines Source #

renderPrec :: Int -> Comparison -> Inlines Source #

Render NamedMeta Source # 
Instance details

Methods

render :: NamedMeta -> Inlines Source #

renderPrec :: Int -> NamedMeta -> Inlines Source #

Render Polarity Source # 
Instance details

Methods

render :: Polarity -> Inlines Source #

renderPrec :: Int -> Polarity -> Inlines Source #

Render Occurrence Source # 
Instance details

Methods

render :: Occurrence -> Inlines Source #

renderPrec :: Int -> Occurrence -> Inlines Source #