CLaSH.Core.Pretty

Pretty printing class and instances for CoreHW

Documentation

class Pretty p where

Pretty printing Show-like typeclass

Methods

ppr :: (Applicative m, LFresh m) => p -> m Doc

pprPrec :: (Applicative m, LFresh m) => Rational -> p -> m Doc

Instances

Pretty TyCon

Pretty Term

Pretty Type

Pretty DataCon

Pretty Literal

Pretty Pat

Pretty LitTy

Pretty a => Pretty [a]

Pretty (Name a)

Pretty (Var Term)

Pretty (Var Type)

Pretty (Id, Term)

showDoc :: Pretty p => p -> String

Print a Pretty thing to a String