Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Functions for producing RenderedCode values from PureScript Type values.
Synopsis
- renderType :: Type a -> RenderedCode
- renderTypeWithRole :: [Role] -> Type a -> RenderedCode
- renderType' :: PrettyPrintType -> RenderedCode
- renderTypeAtom :: Type a -> RenderedCode
- renderTypeAtom' :: PrettyPrintType -> RenderedCode
- renderRow :: [(Label, PrettyPrintType)] -> Maybe PrettyPrintType -> RenderedCode
Documentation
renderType :: Type a -> RenderedCode Source #
Render code representing a Type
renderTypeWithRole :: [Role] -> Type a -> RenderedCode Source #
Render code representing a Type
but augment the TypeVar
s with their Role
if they have one
renderTypeAtom :: Type a -> RenderedCode Source #
Render code representing a Type, as it should appear inside parentheses
renderRow :: [(Label, PrettyPrintType)] -> Maybe PrettyPrintType -> RenderedCode Source #
Render code representing a Row