Language.Glambda.Pretty

Pretty-printing expressions. This allows reduction of code duplication between unchecked and checked expressions.

Documentation

class Pretty exp => PrettyExp exp where

A class for expressions that can be pretty-printed

Methods

prettyExp :: Coloring -> Prec -> exp -> Doc

Instances

PrettyExp UExp

GlamVal ty => PrettyExp (Val ty)

PrettyExp (Exp ctx ty)

defaultPretty :: PrettyExp exp => exp -> Doc

Convenient implementation of pretty

data Coloring

Information about coloring in de Bruijn indexes and binders

defaultColoring :: Coloring

A Coloring for an empty context

prettyVar :: Coloring -> Int -> Doc

Print a variable

prettyLam :: PrettyExp exp => Coloring -> Prec -> Maybe Ty -> exp -> Doc

Print a lambda expression

prettyApp :: (PrettyExp exp1, PrettyExp exp2) => Coloring -> Prec -> exp1 -> exp2 -> Doc

Print an application

prettyArith :: (PrettyExp exp1, PrettyExp exp2) => Coloring -> Prec -> exp1 -> ArithOp ty -> exp2 -> Doc

Print an arithemtic expression

prettyIf :: (PrettyExp exp1, PrettyExp exp2, PrettyExp exp3) => Coloring -> Prec -> exp1 -> exp2 -> exp3 -> Doc

Print a conditional

prettyFix :: PrettyExp exp => Coloring -> Prec -> exp -> Doc

Print a fix