curry-frontend-1.0.1: Compile the functional logic language Curry to several intermediate formats

Copyright(c) 2017 Finn Teegen
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Base.PrettyTypes

Contents

Description

TODO

Documentation

Orphan instances

Pretty ExistTypeScheme Source # 
Pretty TypeScheme Source # 
Pretty ClassMethod Source # 
Pretty DataConstr Source # 
Pretty PredType Source # 
Pretty Pred Source # 

Methods

pPrint :: Pred -> Doc

pPrintPrec :: Int -> Pred -> Doc

pPrintList :: [Pred] -> Doc

Pretty Type Source # 

Methods

pPrint :: Type -> Doc

pPrintPrec :: Int -> Type -> Doc

pPrintList :: [Type] -> Doc

Pretty a => Pretty (Set a) Source # 

Methods

pPrint :: Set a -> Doc

pPrintPrec :: Int -> Set a -> Doc

pPrintList :: [Set a] -> Doc