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.Kind

Contents

Description

 

Synopsis

Pretty Printing Kinds

prettyHardKind :: HardKind -> Doc Source

prettyKind :: Kind String -> Bool -> Doc Source

Pretty print a Kind

prettySchema :: Schema String -> [String] -> Doc Source

Pretty print a Kind, using a fresh kind variable supply

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