Safe Haskell	None
Language	Haskell2010

FreeC.Backend.Agda.Pretty

Contents

Orphan instances

Description

This module contains Pretty instances for the Agda AST.

The Agda library has its own Pretty class in Agda.Utils.Pretty. Therefore we cannot instance every a with an Agda.Pretty instance with our Pretty instance without generating overlapping instances for basic types (e.g. String). We introduce the wrapper datatype PrettyAgda to avoid the overlapping instances and explicitly declare Pretty instances for common AST nodes.

Synopsis

prettyAgda :: Pretty a => a -> Doc

Documentation

prettyAgda :: Pretty a => a -> Doc Source #

Helper function for printing Pretty printable types a to a Doc from the pretty printing library, which is used by the compiler.

Orphan instances

Pretty Declaration Source #	`Declaration`s are a common AST node.
Instance details Methods pretty :: Declaration -> Doc # prettyList :: [Declaration] -> Doc #
Pretty Expr Source #	`Expr`s are a common AST node.
Instance details Methods pretty :: Expr -> Doc # prettyList :: [Expr] -> Doc #