giml-language-0.1.0.0: A purely functional programming language with emphasis on structural typing

Safe Haskell	Safe-Inferred
Language	GHC2021

Language.Giml.Pretty

Contents

Print
Pretty Ann
Pretty Types
Helpers

Description

Prettyprint Giml

Convert Giml types, ast, and errors to text

Synopsis

render :: Doc a -> Text
printSourcePos :: SourcePos -> Text
printType :: Type -> Text
ppSourcePos :: SourcePos -> Doc ann
ppType :: Type -> Doc ann
ppType' :: AddParens -> Type -> Doc ann
data AddParens
- = Nah
- | IfFunction
- | IfDatatype
ppMapping :: Pretty l => [(l, Type)] -> [Doc ann]
fun' :: [Doc ann] -> Doc ann
record' :: [Doc ann] -> Doc ann
recordAlt :: [Doc ann] -> Doc ann -> Doc ann
variant' :: [Doc ann] -> Doc ann
variantLB :: [Doc ann] -> Doc ann -> Doc ann
variantUB :: [Doc ann] -> Doc ann -> Doc ann
tupled' :: [Doc ann] -> Doc ann
braced' :: [Doc ann] -> Doc ann
encloseSep' :: Doc ann -> Doc ann -> Doc ann -> [Doc ann] -> Doc ann
encloseSepAlt :: Doc ann -> Doc ann -> Doc ann -> Doc ann -> [Doc ann] -> Doc ann -> Doc ann
myEncloseSep :: Doc ann -> Doc ann -> Doc ann -> Doc ann -> [Doc ann] -> Doc ann -> Doc ann

Print

render :: Doc a -> Text Source #

printSourcePos :: SourcePos -> Text Source #

printType :: Type -> Text Source #

Pretty Ann

ppSourcePos :: SourcePos -> Doc ann Source #

Pretty Types

ppType :: Type -> Doc ann Source #

ppType' :: AddParens -> Type -> Doc ann Source #

data AddParens Source #

Constructors

Nah
IfFunction
IfDatatype

Instances

Instances details

Eq AddParens Source #
Instance details Defined in Language.Giml.Pretty Methods (==) :: AddParens -> AddParens -> Bool # (/=) :: AddParens -> AddParens -> Bool #

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