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

Render.Name

Orphan instances

Render Name Source #

Abstract

Instance details

Methods

render :: Name -> Inlines Source #

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

Render QName Source # 
Instance details

Methods

render :: QName -> Inlines Source #

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

Render Name Source # 
Instance details

Methods

render :: Name -> Inlines Source #

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

Render NamePart Source #

Concrete

Instance details

Methods

render :: NamePart -> Inlines Source #

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

Render QName Source # 
Instance details

Methods

render :: QName -> Inlines Source #

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