egison-4.1.3: Programming language with non-linear pattern-matching against non-free data
LicenseMIT
Safe HaskellNone
LanguageHaskell2010

Language.Egison.Pretty

Description

This module contains pretty printing for Egison syntax

Documentation

prettyTopExprs :: [TopExpr] -> Doc [TopExpr] Source #

prettyStr :: Pretty a => a -> String Source #

showTSV :: EgisonValue -> String Source #

Orphan instances

Pretty Op Source # 
Instance details

Methods

pretty :: Op -> Doc ann #

prettyList :: [Op] -> Doc ann #

Pretty PrimitiveDataPattern Source # 
Instance details

Methods

pretty :: PrimitiveDataPattern -> Doc ann #

prettyList :: [PrimitiveDataPattern] -> Doc ann #

Pretty PrimitivePatPattern Source # 
Instance details

Methods

pretty :: PrimitivePatPattern -> Doc ann #

prettyList :: [PrimitivePatPattern] -> Doc ann #

Pretty LoopRange Source # 
Instance details

Methods

pretty :: LoopRange -> Doc ann #

prettyList :: [LoopRange] -> Doc ann #

Pretty Pattern Source # 
Instance details

Methods

pretty :: Pattern -> Doc ann #

prettyList :: [Pattern] -> Doc ann #

Pretty MatchClause Source # 
Instance details

Methods

pretty :: MatchClause -> Doc ann #

prettyList :: [MatchClause] -> Doc ann #

Pretty BindingExpr Source # 
Instance details

Methods

pretty :: BindingExpr -> Doc ann #

prettyList :: [BindingExpr] -> Doc ann #

Pretty VarIndex Source # 
Instance details

Methods

pretty :: VarIndex -> Doc ann #

prettyList :: [VarIndex] -> Doc ann #

Pretty ArgPattern Source # 
Instance details

Methods

pretty :: ArgPattern -> Doc ann #

prettyList :: [ArgPattern] -> Doc ann #

Pretty VarWithIndices Source # 
Instance details

Methods

pretty :: VarWithIndices -> Doc ann #

prettyList :: [VarWithIndices] -> Doc ann #

Pretty Expr Source # 
Instance details

Methods

pretty :: Expr -> Doc ann #

prettyList :: [Expr] -> Doc ann #

Pretty ConstantExpr Source # 
Instance details

Methods

pretty :: ConstantExpr -> Doc ann #

prettyList :: [ConstantExpr] -> Doc ann #

Pretty TopExpr Source # 
Instance details

Methods

pretty :: TopExpr -> Doc ann #

prettyList :: [TopExpr] -> Doc ann #

Pretty IExpr Source # 
Instance details

Methods

pretty :: IExpr -> Doc ann #

prettyList :: [IExpr] -> Doc ann #

(Pretty a, Complex a) => Pretty (IndexExpr a) Source # 
Instance details

Methods

pretty :: IndexExpr a -> Doc ann #

prettyList :: [IndexExpr a] -> Doc ann #

Pretty (IndexExpr String) Source # 
Instance details

Methods

pretty :: IndexExpr String -> Doc ann #

prettyList :: [IndexExpr String] -> Doc ann #

(Pretty a, Complex a) => Pretty (Arg a) Source # 
Instance details

Methods

pretty :: Arg a -> Doc ann #

prettyList :: [Arg a] -> Doc ann #