clash-lib-0.99.2: CAES Language for Synchronous Hardware - As a Library

Copyright(C) 2012-2016 University of Twente
2016 Myrtle Software Ltd
LicenseBSD2 (see the file LICENSE)
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
Safe HaskellNone
LanguageHaskell2010

Clash.Core.Pretty

Description

Pretty printing class and instances for CoreHW

Synopsis

Documentation

class Pretty p where Source #

Pretty printing Show-like typeclass

Minimal complete definition

pprPrec

Methods

ppr :: LFresh m => p -> m Doc Source #

pprPrec :: LFresh m => Rational -> p -> m Doc Source #

Instances
Pretty Text Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => Text -> m Doc Source #

pprPrec :: LFresh m => Rational -> Text -> m Doc Source #

Pretty TyCon Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => TyCon -> m Doc Source #

pprPrec :: LFresh m => Rational -> TyCon -> m Doc Source #

Pretty Term Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => Term -> m Doc Source #

pprPrec :: LFresh m => Rational -> Term -> m Doc Source #

Pretty Type Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => Type -> m Doc Source #

pprPrec :: LFresh m => Rational -> Type -> m Doc Source #

Pretty DataCon Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => DataCon -> m Doc Source #

pprPrec :: LFresh m => Rational -> DataCon -> m Doc Source #

Pretty Literal Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => Literal -> m Doc Source #

pprPrec :: LFresh m => Rational -> Literal -> m Doc Source #

Pretty Pat Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => Pat -> m Doc Source #

pprPrec :: LFresh m => Rational -> Pat -> m Doc Source #

Pretty LitTy Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => LitTy -> m Doc Source #

pprPrec :: LFresh m => Rational -> LitTy -> m Doc Source #

Pretty StackFrame Source # 
Instance details

Defined in Clash.Core.Evaluator

Methods

ppr :: LFresh m => StackFrame -> m Doc Source #

pprPrec :: LFresh m => Rational -> StackFrame -> m Doc Source #

Pretty a => Pretty [a] Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => [a] -> m Doc Source #

pprPrec :: LFresh m => Rational -> [a] -> m Doc Source #

Pretty (OccName a) Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => OccName a -> m Doc Source #

pprPrec :: LFresh m => Rational -> OccName a -> m Doc Source #

Pretty (Name a) Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => Name a -> m Doc Source #

pprPrec :: LFresh m => Rational -> Name a -> m Doc Source #

Pretty (Var Term) Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => Var Term -> m Doc Source #

pprPrec :: LFresh m => Rational -> Var Term -> m Doc Source #

Pretty (Var Type) Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

ppr :: LFresh m => Var Type -> m Doc Source #

pprPrec :: LFresh m => Rational -> Var Type -> m Doc Source #

Pretty (Id, Term) Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

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

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

showDoc :: Pretty p => p -> String Source #

Print a Pretty thing to a String