unison-parser-typechecker-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.KindInference.Error.Pretty

Synopsis

Documentation

prettyKindError Source #

Arguments

:: Var v 
=> (Type v loc -> Pretty ColorText)

How to print types

-> ([(loc, Color)] -> Pretty ColorText)

How to print source spans

-> Color

Contrasting colors used in error message output

-> Color 
-> PrettyPrintEnv 
-> KindError v loc 
-> Pretty ColorText 

Pretty print a user-facing KindError.