egison-3.10.3: Programming language with non-linear pattern-matching against non-free data

LicenseMIT
Safe HaskellNone
LanguageHaskell98

Language.Egison.Pretty

Contents

Description

This module contains pretty printing for Egison syntax

Documentation

class PrettyS a where Source #

Methods

prettyS :: a -> String Source #

Instances
PrettyS Infix Source # 
Instance details

Defined in Language.Egison.Pretty

Methods

prettyS :: Infix -> String Source #

PrettyS LoopRange Source # 
Instance details

Defined in Language.Egison.Pretty

PrettyS EgisonPattern Source # 
Instance details

Defined in Language.Egison.Pretty

PrettyS InnerExpr Source # 
Instance details

Defined in Language.Egison.Pretty

PrettyS Arg Source # 
Instance details

Defined in Language.Egison.Pretty

Methods

prettyS :: Arg -> String Source #

PrettyS VarWithIndices Source # 
Instance details

Defined in Language.Egison.Pretty

PrettyS Var Source # 
Instance details

Defined in Language.Egison.Pretty

Methods

prettyS :: Var -> String Source #

PrettyS EgisonExpr Source # 
Instance details

Defined in Language.Egison.Pretty

PrettyS SymbolExpr Source # 
Instance details

Defined in Language.Egison.Pretty

PrettyS TermExpr Source # 
Instance details

Defined in Language.Egison.Pretty

PrettyS PolyExpr Source # 
Instance details

Defined in Language.Egison.Pretty

PrettyS ScalarData Source # 
Instance details

Defined in Language.Egison.Pretty

PrettyS EgisonValue Source # 
Instance details

Defined in Language.Egison.Pretty

PrettyS a => PrettyS (Index a) Source # 
Instance details

Defined in Language.Egison.Pretty

Methods

prettyS :: Index a -> String Source #

PrettyS (Index EgisonValue) Source # 
Instance details

Defined in Language.Egison.Pretty

Orphan instances

Pretty PrimitiveDataPattern Source # 
Instance details

Pretty PrimitivePatPattern Source # 
Instance details

Pretty LoopRange Source # 
Instance details

Methods

pretty :: LoopRange -> Doc ann #

prettyList :: [LoopRange] -> Doc ann #

Pretty EgisonPattern Source # 
Instance details

Methods

pretty :: EgisonPattern -> Doc ann #

prettyList :: [EgisonPattern] -> 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 InnerExpr Source # 
Instance details

Methods

pretty :: InnerExpr -> Doc ann #

prettyList :: [InnerExpr] -> Doc ann #

Pretty Arg Source # 
Instance details

Methods

pretty :: Arg -> Doc ann #

prettyList :: [Arg] -> Doc ann #

Pretty Var Source # 
Instance details

Methods

pretty :: Var -> Doc ann #

prettyList :: [Var] -> Doc ann #

Pretty EgisonExpr Source # 
Instance details

Methods

pretty :: EgisonExpr -> Doc ann #

prettyList :: [EgisonExpr] -> Doc ann #

Pretty EgisonTopExpr Source # 
Instance details

Methods

pretty :: EgisonTopExpr -> Doc ann #

prettyList :: [EgisonTopExpr] -> Doc ann #

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

Methods

pretty :: Index a -> Doc ann #

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