Ormolu.Printer.Meat.Type

Rendering of types.

Documentation

p_hsType :: HsType GhcPs -> R ()

p_hsTypePostDoc :: HsType GhcPs -> R ()

startTypeAnnotation :: HasSrcSpan l => GenLocated l a -> (a -> R ()) -> R ()

startTypeAnnotationDecl :: HasSrcSpan l => GenLocated l a -> (a -> HsType GhcPs) -> (a -> R ()) -> R ()

hasDocStrings :: HsType GhcPs -> Bool

Return True if at least one argument in HsType has a doc string attached to it.

p_hsContext :: HsContext GhcPs -> R ()

p_hsTyVarBndr :: IsInferredTyVarBndr flag => HsTyVarBndr flag GhcPs -> R ()

data ForAllVisibility

Constructors

ForAllInvis

ForAllVis

p_forallBndrs :: HasSrcSpan l => ForAllVisibility -> (a -> R ()) -> [GenLocated l a] -> R ()

Render several forall-ed variables.

p_conDeclFields :: [LConDeclField GhcPs] -> R ()

p_lhsTypeArg :: LHsTypeArg GhcPs -> R ()

p_hsSigType :: HsSigType GhcPs -> R ()

tyVarsToTyPats :: LHsQTyVars GhcPs -> HsTyPats GhcPs

hsOuterTyVarBndrsToHsType :: HsOuterTyVarBndrs Specificity GhcPs -> LHsType GhcPs -> HsType GhcPs

lhsTypeToSigType :: LHsType GhcPs -> LHsSigType GhcPs