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

Render.Concrete

Documentation

Orphan instances

Render Fixity Source # 
Instance details

Render Fixity' Source # 
Instance details

Render GenPart Source # 
Instance details

Render InteractionId Source #

InteractionId

Instance details

Render Modality Source # 
Instance details

Render BoundName Source # 
Instance details

Render Declaration Source # 
Instance details

Render DoStmt Source # 
Instance details

Render Expr Source #

Expression

Instance details

Render LHS Source # 
Instance details

Render LHSCore Source # 
Instance details

Render LamBinding Source #

LamBinding

Instance details

Render LamClause Source # 
Instance details

Render ModuleApplication Source # 
Instance details

Render ModuleAssignment Source # 
Instance details

Render OpenShortHand Source # 
Instance details

Render Pattern Source # 
Instance details

Render Pragma Source # 
Instance details

Render RHS Source # 
Instance details

Render TypedBinding Source #

TypedBinding

Instance details

Render WhereClause Source # 
Instance details

Render NamedBinding Source #

NamedBinding

Instance details

Render Tel Source # 
Instance details

Render a => Render (Arg a) Source #

Arg

Instance details

Render a => Render (MaybePlaceholder a) Source #

MaybePlaceholder

Instance details

Render a => Render (WithHiding a) Source # 
Instance details

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

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

Render (OpApp Expr) Source #

OpApp

Instance details

(Render a, Render b) => Render (ImportDirective' a b) Source # 
Instance details

(Render a, Render b) => Render (ImportedName' a b) Source # 
Instance details

Render e => Render (Named NamedName e) Source #

Named NamedName (Named_)

Instance details

(Render a, Render b) => Render (Renaming' a b) Source # 
Instance details

(Render a, Render b) => Render (Using' a b) Source # 
Instance details

(Render a, Render b) => Render (Either a b) Source # 
Instance details