Render.TypeChecking

Orphan instances

Render ProblemId

Methods

render :: ProblemId -> Inlines

renderPrec :: Int -> ProblemId -> Inlines

Render Comparison

Methods

render :: Comparison -> Inlines

renderPrec :: Int -> Comparison -> Inlines

Render NamedMeta

Methods

render :: NamedMeta -> Inlines

renderPrec :: Int -> NamedMeta -> Inlines

Render Polarity

Methods

render :: Polarity -> Inlines

renderPrec :: Int -> Polarity -> Inlines

Render Occurrence

Methods

render :: Occurrence -> Inlines

renderPrec :: Int -> Occurrence -> Inlines