ermine-0.6: Ermine

Copyright(c) Edward Kmett and Dan Doel 2012
LicenseBSD3
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Ermine.Pretty.Type

Contents

Description

 

Synopsis

Pretty Printing Kinds

prettyHardType :: HardType -> Doc Source

prettyType :: Type String String -> [String] -> Int -> Doc Source

Pretty print a Type using a fresh variable supply and an ambient precedence.

You should have already removed any free variables from the variable set.

prettyTypeSchema :: Scope Int (TK String) String -> ([Hint], [Hint]) -> [String] -> Doc Source