License | MIT |
---|---|
Safe Haskell | None |
Language | Haskell98 |
This module contains pretty printing for Egison syntax
Documentation
prettyTopExprs :: [EgisonTopExpr] -> Doc [EgisonTopExpr] Source #
class PrettyS a where Source #
Instances
PrettyS Infix Source # | |
PrettyS LoopRange Source # | |
PrettyS EgisonPattern Source # | |
Defined in Language.Egison.Pretty prettyS :: EgisonPattern -> String Source # | |
PrettyS InnerExpr Source # | |
PrettyS Arg Source # | |
PrettyS VarWithIndices Source # | |
Defined in Language.Egison.Pretty prettyS :: VarWithIndices -> String Source # | |
PrettyS Var Source # | |
PrettyS EgisonExpr Source # | |
Defined in Language.Egison.Pretty prettyS :: EgisonExpr -> String Source # | |
PrettyS SymbolExpr Source # | |
Defined in Language.Egison.Pretty prettyS :: SymbolExpr -> String Source # | |
PrettyS TermExpr Source # | |
PrettyS PolyExpr Source # | |
PrettyS ScalarData Source # | |
Defined in Language.Egison.Pretty prettyS :: ScalarData -> String Source # | |
PrettyS EgisonValue Source # | |
Defined in Language.Egison.Pretty prettyS :: EgisonValue -> String Source # | |
PrettyS a => PrettyS (Index a) Source # | |
PrettyS (Index EgisonValue) Source # | |
Defined in Language.Egison.Pretty |
showTSV :: EgisonValue -> String Source #
Orphan instances
Pretty PrimitiveDataPattern Source # | |
pretty :: PrimitiveDataPattern -> Doc ann # prettyList :: [PrimitiveDataPattern] -> Doc ann # | |
Pretty PrimitivePatPattern Source # | |
pretty :: PrimitivePatPattern -> Doc ann # prettyList :: [PrimitivePatPattern] -> Doc ann # | |
Pretty LoopRange Source # | |
Pretty EgisonPattern Source # | |
pretty :: EgisonPattern -> Doc ann # prettyList :: [EgisonPattern] -> Doc ann # | |
Pretty MatchClause Source # | |
pretty :: MatchClause -> Doc ann # prettyList :: [MatchClause] -> Doc ann # | |
Pretty BindingExpr Source # | |
pretty :: BindingExpr -> Doc ann # prettyList :: [BindingExpr] -> Doc ann # | |
Pretty InnerExpr Source # | |
Pretty Arg Source # | |
Pretty Var Source # | |
Pretty EgisonExpr Source # | |
pretty :: EgisonExpr -> Doc ann # prettyList :: [EgisonExpr] -> Doc ann # | |
Pretty EgisonTopExpr Source # | |
pretty :: EgisonTopExpr -> Doc ann # prettyList :: [EgisonTopExpr] -> Doc ann # | |
(Pretty a, Complex a) => Pretty (Index a) Source # | |