curry-frontend-1.0.4: 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

Description

TODO

Orphan instances

Pretty TypeScheme Source # 
Instance details

Methods

pPrint :: TypeScheme -> Doc Source #

pPrintPrec :: Int -> TypeScheme -> Doc Source #

pPrintList :: [TypeScheme] -> Doc Source #

Pretty ClassMethod Source # 
Instance details

Methods

pPrint :: ClassMethod -> Doc Source #

pPrintPrec :: Int -> ClassMethod -> Doc Source #

pPrintList :: [ClassMethod] -> Doc Source #

Pretty DataConstr Source # 
Instance details

Methods

pPrint :: DataConstr -> Doc Source #

pPrintPrec :: Int -> DataConstr -> Doc Source #

pPrintList :: [DataConstr] -> Doc Source #

Pretty PredType Source # 
Instance details

Methods

pPrint :: PredType -> Doc Source #

pPrintPrec :: Int -> PredType -> Doc Source #

pPrintList :: [PredType] -> Doc Source #

Pretty Pred Source # 
Instance details

Methods

pPrint :: Pred -> Doc Source #

pPrintPrec :: Int -> Pred -> Doc Source #

pPrintList :: [Pred] -> Doc Source #

Pretty Type Source # 
Instance details

Methods

pPrint :: Type -> Doc Source #

pPrintPrec :: Int -> Type -> Doc Source #

pPrintList :: [Type] -> Doc Source #

Pretty a => Pretty (Set a) Source # 
Instance details

Methods

pPrint :: Set a -> Doc Source #

pPrintPrec :: Int -> Set a -> Doc Source #

pPrintList :: [Set a] -> Doc Source #