Copyright	(C) 2012-2016 University of Twente 2016 Myrtle Software Ltd
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
Safe Haskell	None
Language	Haskell2010

Clash.Core.Pretty

Description

Pretty printing class and instances for CoreHW

Synopsis

class Pretty p where
showDoc :: Pretty p => p -> String

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