Documentation

typeAnn t d annotates document d with type annotation t.

Only used by spaghetti so constrained by Dumpy instead of Pretty for now.

=>

<-

->

||

|

&

Constructs a separator-delimited block Doc out of a list of Docs.

Number of spaces to indent

Format with a document of infinite width, preventing wraparound.

Dumpy Typeclass: print an ugly but parseable representation of the AST

• Translates from IR to Doc representation in one-to-one fashion
• No simplifications
• No whitespace formatting
• Type annotates everything