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

Render.Internal

Documentation

renderDom :: LensHiding a => a -> Inlines -> Inlines Source #

renderPrecLevelSucs :: Int -> Integer -> (Int -> Inlines) -> Inlines Source #

Orphan instances

Render Clause Source # 
Instance details

Methods

render :: Clause -> Inlines Source #

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

Render DBPatVar Source # 
Instance details

Methods

render :: DBPatVar -> Inlines Source #

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

Render Level Source # 
Instance details

Methods

render :: Level -> Inlines Source #

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

Render PlusLevel Source # 
Instance details

Methods

render :: PlusLevel -> Inlines Source #

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

Render Sort Source # 
Instance details

Methods

render :: Sort -> Inlines Source #

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

Render Term Source #

Term

Instance details

Methods

render :: Term -> Inlines Source #

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

Render Type Source # 
Instance details

Methods

render :: Type -> Inlines Source #

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

Render Blocker Source # 
Instance details

Methods

render :: Blocker -> Inlines Source #

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

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

Methods

render :: Pattern' a -> Inlines Source #

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

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

Methods

render :: Substitution' a -> Inlines Source #

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

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

Methods

render :: Elim' tm -> Inlines Source #

renderPrec :: Int -> Elim' tm -> Inlines Source #

(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 #