giml-language-0.1.0.0: A purely functional programming language with emphasis on structural typing
Safe HaskellSafe-Inferred
LanguageGHC2021

Language.Giml.Pretty

Description

Prettyprint Giml

Convert Giml types, ast, and errors to text

Synopsis

Print

Pretty Ann

Pretty Types

ppType :: Type -> Doc ann Source #

data AddParens Source #

Constructors

Nah 
IfFunction 
IfDatatype 

Instances

Instances details
Eq AddParens Source # 
Instance details

Defined in Language.Giml.Pretty

ppMapping :: Pretty l => [(l, Type)] -> [Doc ann] Source #

Helpers

fun' :: [Doc ann] -> Doc ann Source #

record' :: [Doc ann] -> Doc ann Source #

recordAlt :: [Doc ann] -> Doc ann -> Doc ann Source #

variant' :: [Doc ann] -> Doc ann Source #

variantLB :: [Doc ann] -> Doc ann -> Doc ann Source #

variantUB :: [Doc ann] -> Doc ann -> Doc ann Source #

tupled' :: [Doc ann] -> Doc ann Source #

braced' :: [Doc ann] -> Doc ann Source #

encloseSep' :: Doc ann -> Doc ann -> Doc ann -> [Doc ann] -> Doc ann Source #

encloseSepAlt :: Doc ann -> Doc ann -> Doc ann -> Doc ann -> [Doc ann] -> Doc ann -> Doc ann Source #

myEncloseSep Source #

Arguments

:: Doc ann

left delimiter

-> Doc ann

right delimiter

-> Doc ann

separator

-> Doc ann

last separator

-> [Doc ann]

input documents

-> Doc ann

last element

-> Doc ann