free-compiler-0.3.0.0: A Haskell to Coq compiler.

Safe HaskellSafe
LanguageHaskell2010

FreeC.Frontend.Haskell.Pretty

Contents

Description

This module contains a Pretty instance for module nodes of the Haskell Source Extensions AST.

The pretty instance is used to dump the output of the pattern matching compiler library (See FreeC.Frontent.Haskell.PatternMatching).

Orphan instances

Pretty (Module l) Source #

Pretty instance for module nodes of Haskell Source Extensions AST.

Instance details

Methods

pretty :: Module l -> Doc #

prettyList :: [Module l] -> Doc #