Module Julia.Pretty

This module contains a pretty printer for Julia programs.

Author: Michael Hanus

Version: June 2020

Summary of exported operations:

ppType
                  ::  JLType -> Doc

Pretty print a Julia type.

ppTypeAnn
                  ::  Maybe JLType -> Doc

Pretty print an optional type annotation.

ppExps
                  ::  [JLExp] -> Doc

Pretty print a list of comma separated expressions.

ppExp
                  ::  JLExp -> Doc

Pretty print a Julia expression.

ppStringLit
                  ::  String -> Doc

ppVar
                  ::  Int -> Doc

Pretty print a variable.

ppStms
                  ::  [JLStm] -> Doc

Pretty print Julia statements.

ppStm
                  ::  JLStm -> Doc

Pretty print a Julia statement.

ppTop
                  ::  JLTop -> Doc

ppScript
                  ::  [JLTop] -> Doc

ppModule
                  ::  JLModule -> Doc

Pretty print a Julia type.

Pretty print an optional type annotation.

Pretty print a list of comma separated expressions.

Pretty print a Julia expression.

ppStringLit :: String -> Doc

ppVar :: Int -> Doc

Pretty print a variable. Variables are printed as x0, x1, ...

Pretty print Julia statements.

Pretty print a Julia statement.