Documentation

pretty :: Var v => PrettyPrintEnv -> Type v a -> Pretty ColorText Source #

pretty0 :: forall v a m. MonadPretty v m => Imports -> Int -> Type v a -> m (Pretty SyntaxText) Source #

prettyRaw :: forall v a m. MonadPretty v m => Imports -> Int -> Type v a -> m (Pretty SyntaxText) Source #

prettyStr :: Var v => Maybe Width -> PrettyPrintEnv -> Type v a -> String Source #

prettySyntax :: Var v => PrettyPrintEnv -> Type v a -> Pretty SyntaxText Source #

prettySignaturesST :: Var v => PrettyPrintEnv -> [(Referent, HashQualified Name, Type v a)] -> [Pretty SyntaxText] Source #

prettySignaturesCT :: Var v => PrettyPrintEnv -> [(Referent, HashQualified Name, Type v a)] -> [Pretty ColorText] Source #

prettySignaturesCTCollapsed :: Var v => PrettyPrintEnv -> [(Referent, HashQualified Name, Type v a)] -> Pretty ColorText Source #

prettySignaturesAlt :: Var v => PrettyPrintEnv -> [([HashQualified Name], Type v a)] -> Pretty ColorText Source #

prettySignaturesAlt' :: Var v => PrettyPrintEnv -> [([HashQualified Name], Type v a)] -> [Pretty ColorText] Source #

runPretty :: Var v => PrettyPrintEnv -> Reader (Env v) a -> a Source #