Safe Haskell	Safe-Inferred
Language	Haskell2010

Render.Internal

Contents

Orphan instances

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 #