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

Render.Internal

Documentation

Orphan instances

Render Clause Source # 
Instance details

Render DBPatVar Source # 
Instance details

Render Level Source # 
Instance details

Render PlusLevel Source # 
Instance details

Render Sort Source # 
Instance details

Render Term Source #

Term

Instance details

Render Type Source # 
Instance details

Render Blocker Source # 
Instance details

Render a => Render (Pattern' a) Source # 
Instance details

Render a => Render (Substitution' a) Source # 
Instance details

Render a => Render (Tele (Dom a)) Source # 
Instance details

Methods

render :: Tele (Dom a) -> Inlines Source #

renderPrec :: Int -> Tele (Dom a) -> Inlines Source #

Render tm => Render (Elim' tm) Source # 
Instance details

(Render t, Render e) => Render (Dom' t e) Source # 
Instance details

Methods

render :: Dom' t e -> Inlines Source #

renderPrec :: Int -> Dom' t e -> Inlines Source #