| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Render.Internal
Contents
Documentation
Orphan instances
| Render Clause Source # | |
| Render DBPatVar Source # | |
| Render Level Source # | |
| Render PlusLevel Source # | |
| Render Sort Source # | |
| Render Term Source # | Term |
| Render Type Source # | |
| Render Blocker Source # | |
| Render a => Render (Pattern' a) Source # | |
| Render a => Render (Substitution' a) Source # | |
Methods render :: Substitution' a -> Inlines Source # renderPrec :: Int -> Substitution' a -> Inlines Source # | |
| Render a => Render (Tele (Dom a)) Source # | |
| Render tm => Render (Elim' tm) Source # | |
| (Render t, Render e) => Render (Dom' t e) Source # | |