clash-lib-1.2.5: CAES Language for Synchronous Hardware - As a Library
Safe HaskellNone
LanguageHaskell2010

Clash.Pretty

Synopsis

Documentation

class ClashPretty a where Source #

A variant of Pretty that is not polymorphic on the type of annotations. This is needed to derive instances from Clash's pretty printer (PrettyPrec), which annotates documents with Clash-specific information and, therefore, fixes the type of annotations.

Methods

clashPretty :: a -> Doc () Source #

Instances

Instances details
ClashPretty Type Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

clashPretty :: Type -> Doc () Source #

ClashPretty Term Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

clashPretty :: Term -> Doc () Source #

ClashPretty InScopeSet Source # 
Instance details

Defined in Clash.Core.VarEnv

ClashPretty TvSubst Source # 
Instance details

Defined in Clash.Core.Subst

Methods

clashPretty :: TvSubst -> Doc () Source #

ClashPretty StackFrame Source # 
Instance details

Defined in Clash.Core.Evaluator.Types

ClashPretty a => ClashPretty (UniqSet a) Source # 
Instance details

Defined in Clash.Unique

Methods

clashPretty :: UniqSet a -> Doc () Source #

ClashPretty a => ClashPretty (UniqMap a) Source # 
Instance details

Defined in Clash.Unique

Methods

clashPretty :: UniqMap a -> Doc () Source #

ClashPretty (Name a) Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

clashPretty :: Name a -> Doc () Source #

ClashPretty (Var a) Source # 
Instance details

Defined in Clash.Core.Pretty

Methods

clashPretty :: Var a -> Doc () Source #

fromPretty :: Pretty a => a -> Doc () Source #