Futhark.Representation.AST.Pretty

Futhark prettyprinter. This module defines Pretty instances for the AST defined in Futhark.Representation.AST.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.Representation.AST.Pretty

Methods

ppAnnot :: () -> Maybe Doc

PrettyAnnot (PatElemT attr) => PrettyAnnot (PatElemT (Range, attr))

Defined in Futhark.Representation.Ranges

Methods

ppAnnot :: PatElemT (Range, attr) -> Maybe Doc

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

Defined in Futhark.Representation.Aliases

Methods

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

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

Defined in Futhark.Optimise.Simplify.Lore

Methods

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

PrettyAnnot (PatElemT (TypeBase shape u))

Defined in Futhark.Representation.AST.Pretty

Methods

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

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

Defined in Futhark.Representation.ExplicitMemory

Methods

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

PrettyAnnot (ParamT (TypeBase shape u))

Defined in Futhark.Representation.AST.Pretty

Methods

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

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

Defined in Futhark.Representation.ExplicitMemory

Methods

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

class (Annotations lore, Pretty (RetType lore), Pretty (BranchType lore), Pretty (ParamT (FParamAttr lore)), Pretty (ParamT (LParamAttr lore)), Pretty (PatElemT (LetAttr 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 :: ExpAttr lore -> Exp lore -> Maybe Doc

Instances

PrettyLore SOACS

Defined in Futhark.Representation.SOACS

Methods

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

PrettyLore InKernel

Defined in Futhark.Representation.Kernels

Methods

ppExpLore :: ExpAttr InKernel -> Exp InKernel -> Maybe Doc

PrettyLore Kernels

Defined in Futhark.Representation.Kernels

Methods

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

PrettyLore InKernel

Defined in Futhark.Representation.ExplicitMemory

Methods

ppExpLore :: ExpAttr InKernel -> Exp InKernel -> Maybe Doc

PrettyLore ExplicitMemory

Defined in Futhark.Representation.ExplicitMemory

Methods

ppExpLore :: ExpAttr ExplicitMemory -> Exp ExplicitMemory -> Maybe Doc

(PrettyLore lore, CanBeRanged (Op lore)) => PrettyLore (Ranges lore)

Defined in Futhark.Representation.Ranges

Methods

ppExpLore :: ExpAttr (Ranges lore) -> Exp (Ranges lore) -> Maybe Doc

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

Defined in Futhark.Representation.Aliases

Methods

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

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

Defined in Futhark.Optimise.Simplify.Lore

Methods

ppExpLore :: ExpAttr (Wise lore) -> Exp (Wise lore) -> Maybe Doc

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

bindingAnnotation :: PrettyLore lore => Stm lore -> Doc -> 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 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 (ParamT b) => Pretty (ParamT (a, b))

Methods

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

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

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

Pretty (ParamT DeclType)

Methods

ppr :: ParamT DeclType -> Doc

pprPrec :: Int -> ParamT DeclType -> Doc

pprList :: [ParamT DeclType] -> Doc

Pretty (ParamT Type)

Methods

ppr :: ParamT Type -> Doc

pprPrec :: Int -> ParamT Type -> Doc

pprList :: [ParamT 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 (BasicOp lore)

Methods

ppr :: BasicOp lore -> Doc

pprPrec :: Int -> BasicOp lore -> Doc

pprList :: [BasicOp 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 attr) => Pretty (PatternT attr)

Methods

ppr :: PatternT attr -> Doc

pprPrec :: Int -> PatternT attr -> Doc

pprList :: [PatternT attr] -> 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