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

Language.Egison.Pretty

Description

This module contains pretty printing for Egison syntax

Documentation

Orphan instances

Pretty ArgPattern Source # 
Instance details

Methods

pretty :: ArgPattern -> Doc ann #

prettyList :: [ArgPattern] -> Doc ann #

Pretty BindingExpr Source # 
Instance details

Methods

pretty :: BindingExpr -> Doc ann #

prettyList :: [BindingExpr] -> Doc ann #

Pretty ConstantExpr Source # 
Instance details

Methods

pretty :: ConstantExpr -> Doc ann #

prettyList :: [ConstantExpr] -> Doc ann #

Pretty ConstraintExpr Source # 
Instance details

Methods

pretty :: ConstraintExpr -> Doc ann #

prettyList :: [ConstraintExpr] -> Doc ann #

Pretty Expr Source # 
Instance details

Methods

pretty :: Expr -> Doc ann #

prettyList :: [Expr] -> Doc ann #

Pretty LoopRange Source # 
Instance details

Methods

pretty :: LoopRange -> Doc ann #

prettyList :: [LoopRange] -> Doc ann #

Pretty MatchClause Source # 
Instance details

Methods

pretty :: MatchClause -> Doc ann #

prettyList :: [MatchClause] -> Doc ann #

Pretty Op Source # 
Instance details

Methods

pretty :: Op -> Doc ann #

prettyList :: [Op] -> Doc ann #

Pretty Pattern Source # 
Instance details

Methods

pretty :: Pattern -> Doc ann #

prettyList :: [Pattern] -> Doc ann #

Pretty PrimitiveDataPattern Source # 
Instance details

Pretty PrimitivePatPattern Source # 
Instance details

Pretty TopExpr Source # 
Instance details

Methods

pretty :: TopExpr -> Doc ann #

prettyList :: [TopExpr] -> Doc ann #

Pretty TypeExpr Source # 
Instance details

Methods

pretty :: TypeExpr -> Doc ann #

prettyList :: [TypeExpr] -> Doc ann #

Pretty TypedParam Source # 
Instance details

Methods

pretty :: TypedParam -> Doc ann #

prettyList :: [TypedParam] -> Doc ann #

Pretty VarIndex Source # 
Instance details

Methods

pretty :: VarIndex -> Doc ann #

prettyList :: [VarIndex] -> Doc ann #

Pretty VarWithIndices Source # 
Instance details

Methods

pretty :: VarWithIndices -> Doc ann #

prettyList :: [VarWithIndices] -> Doc ann #

Pretty IExpr Source # 
Instance details

Methods

pretty :: IExpr -> Doc ann #

prettyList :: [IExpr] -> Doc ann #

Pretty IPattern Source # 
Instance details

Methods

pretty :: IPattern -> Doc ann #

prettyList :: [IPattern] -> Doc ann #

Pretty IPrimitiveDataPattern Source # 
Instance details

Pretty ITopExpr Source # 
Instance details

Methods

pretty :: ITopExpr -> Doc ann #

prettyList :: [ITopExpr] -> Doc ann #

Pretty TIExpr Source # 
Instance details

Methods

pretty :: TIExpr -> Doc ann #

prettyList :: [TIExpr] -> Doc ann #

Pretty TIPattern Source # 
Instance details

Methods

pretty :: TIPattern -> Doc ann #

prettyList :: [TIPattern] -> Doc ann #

Pretty TITopExpr Source # 
Instance details

Methods

pretty :: TITopExpr -> Doc ann #

prettyList :: [TITopExpr] -> Doc ann #

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

Methods

pretty :: Arg a -> Doc ann #

prettyList :: [Arg 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 (IndexExpr a) Source # 
Instance details

Methods

pretty :: IndexExpr a -> Doc ann #

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