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

Render.Concrete

Documentation

renderTactic :: BoundName -> Inlines -> Inlines Source #

renderTactic' :: TacticAttribute -> Inlines -> Inlines Source #

smashTel :: Telescope -> Telescope Source #

pHasEta0 :: HasEta0 -> Inlines Source #

pRecordDirective :: RecordDirective -> Inlines Source #

pRecord :: Name -> RecordDirectives -> [LamBinding] -> Maybe Expr -> [Declaration] -> Inlines Source #

renderOpApp :: forall a. Render a => QName -> [NamedArg (MaybePlaceholder a)] -> [Inlines] Source #

Orphan instances

Render Fixity Source # 
Instance details

Methods

render :: Fixity -> Inlines Source #

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

Render Fixity' Source # 
Instance details

Methods

render :: Fixity' -> Inlines Source #

renderPrec :: Int -> Fixity' -> Inlines Source #

Render InteractionId Source #

InteractionId

Instance details

Methods

render :: InteractionId -> Inlines Source #

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

Render Modality Source # 
Instance details

Methods

render :: Modality -> Inlines Source #

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

Render NotationPart Source # 
Instance details

Methods

render :: NotationPart -> Inlines Source #

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

Render BoundName Source # 
Instance details

Methods

render :: BoundName -> Inlines Source #

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

Render Declaration Source # 
Instance details

Methods

render :: Declaration -> Inlines Source #

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

Render DoStmt Source # 
Instance details

Methods

render :: DoStmt -> Inlines Source #

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

Render Expr Source #

Expression

Instance details

Methods

render :: Expr -> Inlines Source #

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

Render LHS Source # 
Instance details

Methods

render :: LHS -> Inlines Source #

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

Render LHSCore Source # 
Instance details

Methods

render :: LHSCore -> Inlines Source #

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

Render LamBinding Source #

LamBinding

Instance details

Methods

render :: LamBinding -> Inlines Source #

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

Render LamClause Source # 
Instance details

Methods

render :: LamClause -> Inlines Source #

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

Render ModuleApplication Source # 
Instance details

Methods

render :: ModuleApplication -> Inlines Source #

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

Render ModuleAssignment Source # 
Instance details

Methods

render :: ModuleAssignment -> Inlines Source #

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

Render OpenShortHand Source # 
Instance details

Methods

render :: OpenShortHand -> Inlines Source #

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

Render Pattern Source # 
Instance details

Methods

render :: Pattern -> Inlines Source #

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

Render Pragma Source # 
Instance details

Methods

render :: Pragma -> Inlines Source #

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

Render RHS Source # 
Instance details

Methods

render :: RHS -> Inlines Source #

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

Render TypedBinding Source #

TypedBinding

Instance details

Methods

render :: TypedBinding -> Inlines Source #

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

Render WhereClause Source # 
Instance details

Methods

render :: WhereClause -> Inlines Source #

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

Render NamedBinding Source #

NamedBinding

Instance details

Methods

render :: NamedBinding -> Inlines Source #

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

Render Tel Source # 
Instance details

Methods

render :: Tel -> Inlines Source #

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

Render a => Render (Arg a) Source #

Arg

Instance details

Methods

render :: Arg a -> Inlines Source #

renderPrec :: Int -> Arg a -> Inlines Source #

Render a => Render (MaybePlaceholder a) Source #

MaybePlaceholder

Instance details

Methods

render :: MaybePlaceholder a -> Inlines Source #

renderPrec :: Int -> MaybePlaceholder a -> Inlines Source #

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

Methods

render :: Ranged a -> Inlines Source #

renderPrec :: Int -> Ranged a -> Inlines Source #

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

Methods

render :: WithHiding a -> Inlines Source #

renderPrec :: Int -> WithHiding a -> Inlines Source #

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

Methods

render :: Binder' a -> Inlines Source #

renderPrec :: Int -> Binder' a -> Inlines Source #

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

Methods

render :: FieldAssignment' a -> Inlines Source #

renderPrec :: Int -> FieldAssignment' a -> Inlines Source #

Render (OpApp Expr) Source #

OpApp

Instance details

Methods

render :: OpApp Expr -> Inlines Source #

renderPrec :: Int -> OpApp Expr -> Inlines Source #

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

Methods

render :: ImportDirective' a b -> Inlines Source #

renderPrec :: Int -> ImportDirective' a b -> Inlines Source #

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

Methods

render :: ImportedName' a b -> Inlines Source #

renderPrec :: Int -> ImportedName' a b -> Inlines Source #

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

Named NamedName (Named_)

Instance details

Methods

render :: Named NamedName e -> Inlines Source #

renderPrec :: Int -> Named NamedName e -> Inlines Source #

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

Methods

render :: Renaming' a b -> Inlines Source #

renderPrec :: Int -> Renaming' a b -> Inlines Source #

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

Methods

render :: Using' a b -> Inlines Source #

renderPrec :: Int -> Using' a b -> Inlines Source #

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

Methods

render :: Either a b -> Inlines Source #

renderPrec :: Int -> Either a b -> Inlines Source #