Render.Internal

Documentation

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

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

Orphan instances

Render Term

Term

Methods

render :: Term -> Inlines

renderPrec :: Int -> Term -> Inlines

Render Type

Methods

render :: Type -> Inlines

renderPrec :: Int -> Type -> Inlines

Render Sort

Methods

render :: Sort -> Inlines

renderPrec :: Int -> Sort -> Inlines

Render Level

Methods

render :: Level -> Inlines

renderPrec :: Int -> Level -> Inlines

Render PlusLevel

Methods

render :: PlusLevel -> Inlines

renderPrec :: Int -> PlusLevel -> Inlines

Render Clause

Methods

render :: Clause -> Inlines

renderPrec :: Int -> Clause -> Inlines

Render DBPatVar

Methods

render :: DBPatVar -> Inlines

renderPrec :: Int -> DBPatVar -> Inlines

Render Blocker

Methods

render :: Blocker -> Inlines

renderPrec :: Int -> Blocker -> Inlines

Render a => Render (Tele (Dom a))

Methods

render :: Tele (Dom a) -> Inlines

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

Render a => Render (Pattern' a)

Methods

render :: Pattern' a -> Inlines

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

Render a => Render (Substitution' a)

Methods

render :: Substitution' a -> Inlines

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

Render tm => Render (Elim' tm)

Methods

render :: Elim' tm -> Inlines

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

(Render t, Render e) => Render (Dom' t e)

Methods

render :: Dom' t e -> Inlines

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