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

Render QName Source # 
Instance details

Render Name Source # 
Instance details

Render NamePart Source #

Concrete

Instance details

Render QName Source # 
Instance details