Agda-2.8.0: A dependently typed functional programming language and proof assistant

Safe Haskell | None
Language | Haskell2010

Agda.Compiler.Treeless.Pretty

Contents

- Orphan instances

# Orphan instances

Pretty Compiled Source # |
Instance details Methods pretty :: Compiled -> Doc Source # prettyPrec :: Int -> Compiled -> Doc Source # prettyList :: [Compiled] -> Doc Source #
Pretty TTerm Source # |
Instance details Methods pretty :: TTerm -> Doc Source # prettyPrec :: Int -> TTerm -> Doc Source # prettyList :: [TTerm] -> Doc Source #