Render.Common

Documentation

renderHiding :: LensHiding a => a -> (Inlines -> Inlines) -> Inlines -> Inlines

From prettyHiding renderHiding info visible text puts the correct braces around text according to info info and returns visible text if the we deal with a visible thing.

renderRelevance :: LensRelevance a => a -> Inlines -> Inlines

renderQuantity :: LensQuantity a => a -> Inlines -> Inlines

renderCohesion :: LensCohesion a => a -> Inlines -> Inlines

prefixedThings :: Inlines -> [Inlines] -> Inlines

Orphan instances

Render Cohesion

Methods

render :: Cohesion -> Inlines

renderPrec :: Int -> Cohesion -> Inlines

Render Induction

Methods

render :: Induction -> Inlines

renderPrec :: Int -> Induction -> Inlines

Render MetaId

MetaId

Methods

render :: MetaId -> Inlines

renderPrec :: Int -> MetaId -> Inlines

Render NameId

NameId

Methods

render :: NameId -> Inlines

renderPrec :: Int -> NameId -> Inlines

Render Quantity

Quantity

Methods

render :: Quantity -> Inlines

renderPrec :: Int -> Quantity -> Inlines

Render QωOrigin

Methods

render :: QωOrigin -> Inlines

renderPrec :: Int -> QωOrigin -> Inlines

Render Relevance

Relevance

Methods

render :: Relevance -> Inlines

renderPrec :: Int -> Relevance -> Inlines

(Render p, Render e) => Render (RewriteEqn' qn nm p e)

Methods

render :: RewriteEqn' qn nm p e -> Inlines

renderPrec :: Int -> RewriteEqn' qn nm p e -> Inlines