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 PrettyAnnot a where

Class for values that may have some prettyprinted annotation.

Methods

ppAnnot :: a -> Maybe Doc

Instances

PrettyAnnot ()

Defined in Futhark.IR.Pretty

Methods

ppAnnot :: () -> Maybe Doc

PrettyAnnot (PatElemT dec) => PrettyAnnot (PatElemT (VarAliases, dec))

Defined in Futhark.IR.Aliases

Methods

ppAnnot :: PatElemT (VarAliases, dec) -> Maybe Doc

PrettyAnnot (PatElemT dec) => PrettyAnnot (PatElemT (VarWisdom, dec))

Defined in Futhark.Optimise.Simplify.Lore

Methods

ppAnnot :: PatElemT (VarWisdom, dec) -> Maybe Doc

PrettyAnnot (PatElemT (TypeBase shape u))

Defined in Futhark.IR.Pretty

Methods

ppAnnot :: PatElemT (TypeBase shape u) -> Maybe Doc

(Pretty u, Pretty r) => PrettyAnnot (PatElemT (MemInfo SubExp u r))

Defined in Futhark.IR.Mem

Methods

ppAnnot :: PatElemT (MemInfo SubExp u r) -> Maybe Doc

PrettyAnnot (Param (TypeBase shape u))

Defined in Futhark.IR.Pretty

Methods

ppAnnot :: Param (TypeBase shape u) -> Maybe Doc

(Pretty u, Pretty r) => PrettyAnnot (Param (MemInfo SubExp u r))

Defined in Futhark.IR.Mem

Methods

ppAnnot :: Param (MemInfo SubExp u r) -> Maybe Doc

class (Decorations lore, Pretty (RetType lore), Pretty (BranchType lore), Pretty (Param (FParamInfo lore)), Pretty (Param (LParamInfo lore)), Pretty (PatElemT (LetDec lore)), PrettyAnnot (PatElem lore), PrettyAnnot (FParam lore), PrettyAnnot (LParam lore), Pretty (Op lore)) => PrettyLore lore where

The class of lores whose annotations can be prettyprinted.

Minimal complete definition

Nothing

Methods

ppExpLore :: ExpDec lore -> Exp lore -> Maybe Doc

Instances

PrettyLore Seq

Defined in Futhark.IR.Seq

Methods

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

PrettyLore SOACS

Defined in Futhark.IR.SOACS

Methods

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

PrettyLore MCMem

Defined in Futhark.IR.MCMem

Methods

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

PrettyLore MC

Defined in Futhark.IR.MC

Methods

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

PrettyLore SeqMem

Defined in Futhark.IR.SeqMem

Methods

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

PrettyLore Kernels

Defined in Futhark.IR.Kernels

Methods

ppExpLore :: ExpDec Kernels -> Exp Kernels -> Maybe Doc

PrettyLore KernelsMem

Defined in Futhark.IR.KernelsMem

Methods

ppExpLore :: ExpDec KernelsMem -> Exp KernelsMem -> Maybe Doc

(ASTLore lore, CanBeAliased (Op lore)) => PrettyLore (Aliases lore)

Defined in Futhark.IR.Aliases

Methods

ppExpLore :: ExpDec (Aliases lore) -> Exp (Aliases lore) -> Maybe Doc

(PrettyLore lore, CanBeWise (Op lore)) => PrettyLore (Wise lore)

Defined in Futhark.Optimise.Simplify.Lore

Methods

ppExpLore :: ExpDec (Wise lore) -> Exp (Wise lore) -> 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 Commutativity

Methods

ppr :: Commutativity -> Doc

pprPrec :: Int -> Commutativity -> Doc

pprList :: [Commutativity] -> 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 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 (PatElemT b) => Pretty (PatElemT (a, b))

Methods

ppr :: PatElemT (a, b) -> Doc

pprPrec :: Int -> PatElemT (a, b) -> Doc

pprList :: [PatElemT (a, b)] -> Doc

Pretty (PatElemT Type)

Methods

ppr :: PatElemT Type -> Doc

pprPrec :: Int -> PatElemT Type -> Doc

pprList :: [PatElemT Type] -> Doc

Pretty d => Pretty (DimIndex d)

Methods

ppr :: DimIndex d -> Doc

pprPrec :: Int -> DimIndex d -> Doc

pprList :: [DimIndex d] -> Doc

Pretty (Param b) => Pretty (Param (a, b))

Methods

ppr :: Param (a, b) -> Doc

pprPrec :: Int -> Param (a, b) -> Doc

pprList :: [Param (a, b)] -> Doc

Pretty (Param DeclType)

Methods

ppr :: Param DeclType -> Doc

pprPrec :: Int -> Param DeclType -> Doc

pprList :: [Param DeclType] -> Doc

Pretty (Param Type)

Methods

ppr :: Param Type -> Doc

pprPrec :: Int -> Param Type -> Doc

pprList :: [Param Type] -> Doc

Pretty a => Pretty (Ext a)

Methods

ppr :: Ext a -> Doc

pprPrec :: Int -> Ext a -> Doc

pprList :: [Ext a] -> Doc

PrettyLore lore => Pretty (Prog lore)

Methods

ppr :: Prog lore -> Doc

pprPrec :: Int -> Prog lore -> Doc

pprList :: [Prog lore] -> Doc

PrettyLore lore => Pretty (FunDef lore)

Methods

ppr :: FunDef lore -> Doc

pprPrec :: Int -> FunDef lore -> Doc

pprList :: [FunDef lore] -> Doc

PrettyLore lore => Pretty (Lambda lore)

Methods

ppr :: Lambda lore -> Doc

pprPrec :: Int -> Lambda lore -> Doc

pprList :: [Lambda lore] -> Doc

PrettyLore lore => Pretty (Exp lore)

Methods

ppr :: Exp lore -> Doc

pprPrec :: Int -> Exp lore -> Doc

pprList :: [Exp lore] -> Doc

Pretty d => Pretty (DimChange d)

Methods

ppr :: DimChange d -> Doc

pprPrec :: Int -> DimChange d -> Doc

pprList :: [DimChange d] -> Doc

PrettyLore lore => Pretty (Body lore)

Methods

ppr :: Body lore -> Doc

pprPrec :: Int -> Body lore -> Doc

pprList :: [Body lore] -> Doc

PrettyLore lore => Pretty (Stms lore)

Methods

ppr :: Stms lore -> Doc

pprPrec :: Int -> Stms lore -> Doc

pprList :: [Stms lore] -> Doc

PrettyLore lore => Pretty (Stm lore)

Methods

ppr :: Stm lore -> Doc

pprPrec :: Int -> Stm lore -> Doc

pprList :: [Stm lore] -> 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