Ormolu.Printer.Meat.Type

Rendering of types.

Documentation

p_hsType :: HsType GhcPs -> R ()

p_hsTypePostDoc :: HsType GhcPs -> 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 :: Data a => ForAllVisibility -> (a -> R ()) -> [Located a] -> R ()

Render several forall-ed variables.

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

p_lhsTypeArg :: LHsTypeArg GhcPs -> R ()

tyVarsToTypes :: LHsQTyVars GhcPs -> [LHsType GhcPs]

tyVarsToTyPats :: LHsQTyVars GhcPs -> HsTyPats GhcPs