Futhark.IR.Pretty

Futhark prettyprinter. This module defines Pretty instances for the AST defined in Futhark.IR.Syntax, but also a number of convenience functions if you don't want to use the interface from Pretty.

Documentation

prettyTuple :: Pretty a => [a] -> String

Prettyprint a list enclosed in curly braces.

pretty :: Pretty a => a -> String

Prettyprint a value, wrapped to 80 characters.

class (RepTypes rep, Pretty (RetType rep), Pretty (BranchType rep), Pretty (FParamInfo rep), Pretty (LParamInfo rep), Pretty (LetDec rep), Pretty (Op rep)) => PrettyRep rep where

The class of representations whose annotations can be prettyprinted.

Minimal complete definition

Nothing

Methods

ppExpDec :: ExpDec rep -> Exp rep -> Maybe Doc

Instances

PrettyRep Seq

Defined in Futhark.IR.Seq

Methods

ppExpDec :: ExpDec Seq -> Exp Seq -> Maybe Doc

PrettyRep SOACS

Defined in Futhark.IR.SOACS

Methods

ppExpDec :: ExpDec SOACS -> Exp SOACS -> Maybe Doc

PrettyRep SeqMem

Defined in Futhark.IR.SeqMem

Methods

ppExpDec :: ExpDec SeqMem -> Exp SeqMem -> Maybe Doc

PrettyRep MCMem

Defined in Futhark.IR.MCMem

Methods

ppExpDec :: ExpDec MCMem -> Exp MCMem -> Maybe Doc

PrettyRep MC

Defined in Futhark.IR.MC

Methods

ppExpDec :: ExpDec MC -> Exp MC -> Maybe Doc

PrettyRep GPU

Defined in Futhark.IR.GPU

Methods

ppExpDec :: ExpDec GPU -> Exp GPU -> Maybe Doc

PrettyRep GPUMem

Defined in Futhark.IR.GPUMem

Methods

ppExpDec :: ExpDec GPUMem -> Exp GPUMem -> Maybe Doc

(ASTRep rep, CanBeAliased (Op rep)) => PrettyRep (Aliases rep)

Defined in Futhark.IR.Aliases

Methods

ppExpDec :: ExpDec (Aliases rep) -> Exp (Aliases rep) -> Maybe Doc

(PrettyRep rep, CanBeWise (Op rep)) => PrettyRep (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

Methods

ppExpDec :: ExpDec (Wise rep) -> Exp (Wise rep) -> Maybe Doc

ppTuple' :: Pretty a => [a] -> Doc

Like prettyTuple, but produces a Doc.

Orphan instances

Pretty VName

Methods

ppr :: VName -> Doc

pprPrec :: Int -> VName -> Doc

pprList :: [VName] -> Doc

Pretty SubExp

Methods

ppr :: SubExp -> Doc

pprPrec :: Int -> SubExp -> Doc

pprList :: [SubExp] -> Doc

Pretty Certificates

Methods

ppr :: Certificates -> Doc

pprPrec :: Int -> Certificates -> Doc

pprList :: [Certificates] -> Doc

Pretty Ident

Methods

ppr :: Ident -> Doc

pprPrec :: Int -> Ident -> Doc

pprList :: [Ident] -> Doc

Pretty NoUniqueness

Methods

ppr :: NoUniqueness -> Doc

pprPrec :: Int -> NoUniqueness -> Doc

pprList :: [NoUniqueness] -> Doc

Pretty Space

Methods

ppr :: Space -> Doc

pprPrec :: Int -> Space -> Doc

pprList :: [Space] -> Doc

Pretty ExtShape

Methods

ppr :: ExtShape -> Doc

pprPrec :: Int -> ExtShape -> Doc

pprList :: [ExtShape] -> Doc

Pretty Shape

Methods

ppr :: Shape -> Doc

pprPrec :: Int -> Shape -> Doc

pprList :: [Shape] -> Doc

Pretty Commutativity

Methods

ppr :: Commutativity -> Doc

pprPrec :: Int -> Commutativity -> Doc

pprList :: [Commutativity] -> Doc

Pretty EntryPointType

Methods

ppr :: EntryPointType -> Doc

pprPrec :: Int -> EntryPointType -> Doc

pprList :: [EntryPointType] -> Doc

Pretty BasicOp

Methods

ppr :: BasicOp -> Doc

pprPrec :: Int -> BasicOp -> Doc

pprList :: [BasicOp] -> Doc

Pretty Attr

Methods

ppr :: Attr -> Doc

pprPrec :: Int -> Attr -> Doc

pprList :: [Attr] -> Doc

Pretty a => Pretty (ErrorMsg a)

Methods

ppr :: ErrorMsg a -> Doc

pprPrec :: Int -> ErrorMsg a -> Doc

pprList :: [ErrorMsg a] -> Doc

Pretty t => Pretty (PatElemT t)

Methods

ppr :: PatElemT t -> Doc

pprPrec :: Int -> PatElemT t -> Doc

pprList :: [PatElemT t] -> Doc

Pretty d => Pretty (DimIndex d)

Methods

ppr :: DimIndex d -> Doc

pprPrec :: Int -> DimIndex d -> Doc

pprList :: [DimIndex d] -> Doc

Pretty t => Pretty (Param t)

Methods

ppr :: Param t -> Doc

pprPrec :: Int -> Param t -> Doc

pprList :: [Param t] -> Doc

Pretty a => Pretty (Ext a)

Methods

ppr :: Ext a -> Doc

pprPrec :: Int -> Ext a -> Doc

pprList :: [Ext a] -> Doc

PrettyRep rep => Pretty (Prog rep)

Methods

ppr :: Prog rep -> Doc

pprPrec :: Int -> Prog rep -> Doc

pprList :: [Prog rep] -> Doc

PrettyRep rep => Pretty (FunDef rep)

Methods

ppr :: FunDef rep -> Doc

pprPrec :: Int -> FunDef rep -> Doc

pprList :: [FunDef rep] -> Doc

PrettyRep rep => Pretty (Lambda rep)

Methods

ppr :: Lambda rep -> Doc

pprPrec :: Int -> Lambda rep -> Doc

pprList :: [Lambda rep] -> Doc

PrettyRep rep => Pretty (Exp rep)

Methods

ppr :: Exp rep -> Doc

pprPrec :: Int -> Exp rep -> Doc

pprList :: [Exp rep] -> Doc

Pretty d => Pretty (DimChange d)

Methods

ppr :: DimChange d -> Doc

pprPrec :: Int -> DimChange d -> Doc

pprList :: [DimChange d] -> Doc

PrettyRep rep => Pretty (Body rep)

Methods

ppr :: Body rep -> Doc

pprPrec :: Int -> Body rep -> Doc

pprList :: [Body rep] -> Doc

PrettyRep rep => Pretty (Stms rep)

Methods

ppr :: Stms rep -> Doc

pprPrec :: Int -> Stms rep -> Doc

pprList :: [Stms rep] -> Doc

PrettyRep rep => Pretty (Stm rep)

Methods

ppr :: Stm rep -> Doc

pprPrec :: Int -> Stm rep -> Doc

pprList :: [Stm rep] -> Doc

Pretty (PatElemT dec) => Pretty (PatternT dec)

Methods

ppr :: PatternT dec -> Doc

pprPrec :: Int -> PatternT dec -> Doc

pprList :: [PatternT dec] -> Doc

Pretty u => Pretty (TypeBase Rank u)

Methods

ppr :: TypeBase Rank u -> Doc

pprPrec :: Int -> TypeBase Rank u -> Doc

pprList :: [TypeBase Rank u] -> Doc

Pretty u => Pretty (TypeBase ExtShape u)

Methods

ppr :: TypeBase ExtShape u -> Doc

pprPrec :: Int -> TypeBase ExtShape u -> Doc

pprList :: [TypeBase ExtShape u] -> Doc

Pretty u => Pretty (TypeBase Shape u)

Methods

ppr :: TypeBase Shape u -> Doc

pprPrec :: Int -> TypeBase Shape u -> Doc

pprList :: [TypeBase Shape u] -> Doc