ddc-source-tetra-0.4.2.1: Disciplined Disciple Compiler source language.

Safe HaskellNone
LanguageHaskell98

DDC.Source.Tetra.Pretty

Description

Pretty printing for Tetra modules and expressions.

Documentation

module DDC.Core.Pretty

module DDC.Base.Pretty

type PrettyLanguage l = (Eq (GName l), Pretty (GAnnot l), Pretty (GName l), Pretty (GBound l), Pretty (GBind l), Pretty (GPrim l)) Source