Safe Haskell | None |
---|---|
Language | Haskell2010 |
Generation of statement-level AST fragments for refactorings. The bindings defined here are the AST constructor names with an "mk" prefix.
Documentation
mkKindConstraint :: Ann Kind dom SrcTemplateStage -> Ann KindConstraint dom SrcTemplateStage Source #
mkKindStar :: Ann Kind dom SrcTemplateStage Source #
mkKindUnbox :: Ann Kind dom SrcTemplateStage Source #
mkKindFun :: Ann Kind dom SrcTemplateStage -> Ann Kind dom SrcTemplateStage -> Ann Kind dom SrcTemplateStage Source #
mkKindParen :: Ann Kind dom SrcTemplateStage -> Ann Kind dom SrcTemplateStage Source #
mkKindVar :: Ann Name dom SrcTemplateStage -> Ann Kind dom SrcTemplateStage Source #
mkKindApp :: Ann Kind dom SrcTemplateStage -> Ann Kind dom SrcTemplateStage -> Ann Kind dom SrcTemplateStage Source #
mkKindList :: Ann Kind dom SrcTemplateStage -> Ann Kind dom SrcTemplateStage Source #
mkStringKind :: String -> Ann Kind dom SrcTemplateStage Source #
mkConKind :: Ann Name dom SrcTemplateStage -> Ann Kind dom SrcTemplateStage Source #
mkListKind :: [Ann Kind dom SrcTemplateStage] -> Ann Kind dom SrcTemplateStage Source #
mkTupleKind :: [Ann Kind dom SrcTemplateStage] -> Ann Kind dom SrcTemplateStage Source #
mkUnitKind :: Ann Kind dom SrcTemplateStage Source #