CLaSH.Core.Pretty

Pretty printing class and instances for CoreHW

Documentation

class Pretty p where

Pretty printing Show-like typeclass

Minimal complete definition

pprPrec

Methods

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

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

Instances

Pretty TyCon

Methods

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

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

Pretty Term

Methods

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

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

Pretty Type

Methods

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

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

Pretty DataCon

Methods

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

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

Pretty Literal

Methods

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

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

Pretty Pat

Methods

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

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

Pretty LitTy

Methods

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

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

Pretty a => Pretty [a]

Methods

ppr :: (Applicative m, LFresh m) => [a] -> m Doc

pprPrec :: (Applicative m, LFresh m) => Rational -> [a] -> m Doc

Pretty (Name a)

Methods

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

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

Pretty (Var Term)

Methods

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

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

Pretty (Var Type)

Methods

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

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

Pretty (Id, Term)

Methods

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

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

showDoc :: Pretty p => p -> String

Print a Pretty thing to a String