| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Ormolu.Printer.Meat.Type
Description
Rendering of types.
Synopsis
- p_hsType :: HsType GhcPs -> R ()
- startTypeAnnotation :: HasLoc l => GenLocated l a -> (a -> R ()) -> R ()
- startTypeAnnotationDecl :: HasLoc l => GenLocated l a -> (a -> HsType GhcPs) -> (a -> R ()) -> R ()
- hasDocStrings :: HsType GhcPs -> Bool
- p_hsContext :: HsContext GhcPs -> R ()
- p_hsContext' :: (Outputable (GenLocated (Anno a) a), HasLoc (Anno a)) => (a -> R ()) -> [XRec GhcPs a] -> R ()
- p_hsTyVarBndr :: IsTyVarBndrFlag flag => HsTyVarBndr flag GhcPs -> R ()
- data ForAllVisibility
- p_forallBndrs :: HasLoc l => ForAllVisibility -> (a -> R ()) -> [GenLocated l a] -> R ()
- p_conDeclFields :: [LConDeclField GhcPs] -> R ()
- p_lhsTypeArg :: LHsTypeArg GhcPs -> R ()
- p_hsSigType :: HsSigType GhcPs -> R ()
- p_hsForAllTelescope :: Choice "multiline" -> HsForAllTelescope GhcPs -> R ()
- p_hsQualArrow :: Choice "multiline" -> R ()
- p_hsFun :: HasLoc l => Choice "multiline" -> (a -> R ()) -> HsArrowOf (GenLocated l a) GhcPs -> GenLocated l a -> R ()
- hsOuterTyVarBndrsToHsType :: HsOuterTyVarBndrs Specificity GhcPs -> LHsType GhcPs -> HsType GhcPs
- lhsTypeToSigType :: LHsType GhcPs -> LHsSigType GhcPs
Documentation
startTypeAnnotation :: HasLoc l => GenLocated l a -> (a -> R ()) -> R () Source #
startTypeAnnotationDecl :: HasLoc l => GenLocated l a -> (a -> HsType GhcPs) -> (a -> R ()) -> R () Source #
p_hsContext' :: (Outputable (GenLocated (Anno a) a), HasLoc (Anno a)) => (a -> R ()) -> [XRec GhcPs a] -> R () Source #
p_hsTyVarBndr :: IsTyVarBndrFlag flag => HsTyVarBndr flag GhcPs -> R () Source #
data ForAllVisibility Source #
Constructors
| ForAllInvis | |
| ForAllVis |
p_forallBndrs :: HasLoc l => ForAllVisibility -> (a -> R ()) -> [GenLocated l a] -> R () Source #
Render several forall-ed variables.
p_conDeclFields :: [LConDeclField GhcPs] -> R () Source #
p_lhsTypeArg :: LHsTypeArg GhcPs -> R () Source #
p_hsForAllTelescope :: Choice "multiline" -> HsForAllTelescope GhcPs -> R () Source #
p_hsQualArrow :: Choice "multiline" -> R () Source #
p_hsFun :: HasLoc l => Choice "multiline" -> (a -> R ()) -> HsArrowOf (GenLocated l a) GhcPs -> GenLocated l a -> R () Source #