Language.PureScript.Pretty.Types

Pretty printer for Types

Documentation

data PrettyPrintType

Constructors

PPTUnknown Int

PPTypeVar Text

PPTypeLevelString PSString

PPTypeWildcard (Maybe Text)

PPTypeConstructor (Qualified (ProperName TypeName))

PPTypeOp (Qualified (OpName TypeOpName))

PPSkolem Text Int

PPTypeApp PrettyPrintType PrettyPrintType

PPConstrainedType PrettyPrintConstraint PrettyPrintType

PPKindedType PrettyPrintType (Kind ())

PPBinaryNoParensType PrettyPrintType PrettyPrintType PrettyPrintType

PPParensInType PrettyPrintType

PPForAll [(Text, Maybe (Kind ()))] PrettyPrintType

PPFunction PrettyPrintType PrettyPrintType

PPRecord [(Label, PrettyPrintType)] (Maybe PrettyPrintType)

PPRow [(Label, PrettyPrintType)] (Maybe PrettyPrintType)

PPTruncated

type PrettyPrintConstraint = (Qualified (ProperName ClassName), [PrettyPrintType])

convertPrettyPrintType :: Int -> Type a -> PrettyPrintType

typeAsBox :: Int -> Type a -> Box

suggestedTypeAsBox :: PrettyPrintType -> Box

prettyPrintType :: Int -> Type a -> String

Generate a pretty-printed string representing a Type

prettyPrintTypeWithUnicode :: Int -> Type a -> String

Generate a pretty-printed string representing a Type using unicode symbols where applicable

prettyPrintSuggestedType :: Type a -> String

Generate a pretty-printed string representing a suggested Type

typeAtomAsBox :: Int -> Type a -> Box

prettyPrintTypeAtom :: Int -> Type a -> String

Generate a pretty-printed string representing a Type, as it should appear inside parentheses

prettyPrintLabel :: Label -> Text

prettyPrintObjectKey :: PSString -> Text