Safe Haskell | None |
---|---|
Language | Haskell2010 |
Functions that convert the declarations of the GHC AST to corresponding elements in the Haskell-tools AST representation
- trfDecls :: TransformName n r => [LHsDecl n] -> Trf (AnnList Decl (Dom r) RangeStage)
- trfDeclsGroup :: forall n r. TransformName n r => HsGroup n -> Trf (AnnList Decl (Dom r) RangeStage)
- trfDecl :: TransformName n r => Located (HsDecl n) -> Trf (Ann Decl (Dom r) RangeStage)
- trfGADT :: TransformName n r => NewOrData -> Located n -> LHsQTyVars n -> Located (HsContext n) -> Maybe (Located (HsKind n)) -> [Located (ConDecl n)] -> Maybe (Located [LHsSigType n]) -> AnnKeywordId -> Trf SrcLoc -> Trf (Decl (Dom r) RangeStage)
- trfDataDef :: TransformName n r => NewOrData -> Located n -> LHsQTyVars n -> Located (HsContext n) -> [Located (ConDecl n)] -> Maybe (Located [LHsSigType n]) -> AnnKeywordId -> Trf SrcLoc -> Trf (Decl (Dom r) RangeStage)
- trfVal :: TransformName n r => HsBindLR n n -> Trf (Decl (Dom r) RangeStage)
- trfSig :: TransformName n r => Sig n -> Trf (Decl (Dom r) RangeStage)
- trfConlike :: [SrcSpan] -> RuleMatchInfo -> Trf (AnnMaybe ConlikeAnnot (Dom r) RangeStage)
- trfConDecl :: TransformName n r => Located (ConDecl n) -> Trf (Ann ConDecl (Dom r) RangeStage)
- trfConDecl' :: TransformName n r => ConDecl n -> Trf (ConDecl (Dom r) RangeStage)
- trfGADTConDecl :: TransformName n r => Located (ConDecl n) -> Trf (Ann GadtConDecl (Dom r) RangeStage)
- trfGadtConType :: TransformName n r => Located (HsType n) -> Trf (Ann GadtConType (Dom r) RangeStage)
- trfFieldDecl :: TransformName n r => Located (ConDeclField n) -> Trf (Ann FieldDecl (Dom r) RangeStage)
- trfFieldDecl' :: TransformName n r => ConDeclField n -> Trf (FieldDecl (Dom r) RangeStage)
- trfDerivings :: TransformName n r => Located [LHsSigType n] -> Trf (Ann Deriving (Dom r) RangeStage)
- trfInstanceRule :: TransformName n r => Located (HsType n) -> Trf (Ann InstanceRule (Dom r) RangeStage)
- trfInstanceRule' :: TransformName n r => HsType n -> Trf (InstanceRule (Dom r) RangeStage)
- instanceHead :: Trf (Ann InstanceHead (Dom r) RangeStage) -> Trf (InstanceRule (Dom r) RangeStage)
- makeInstanceRuleTyVars :: TransformName n r => Located n -> HsImplicitBndrs n [LHsType n] -> Trf (Ann InstanceRule (Dom r) RangeStage)
- trfInstanceHead :: TransformName n r => Located (HsType n) -> Trf (Ann InstanceHead (Dom r) RangeStage)
- trfInstanceHead' :: TransformName n r => HsType n -> Trf (InstanceHead (Dom r) RangeStage)
- trfTypeEqs :: TransformName n r => Maybe [Located (TyFamInstEqn n)] -> Trf (AnnList TypeEqn (Dom r) RangeStage)
- trfTypeEq :: TransformName n r => Located (TyFamInstEqn n) -> Trf (Ann TypeEqn (Dom r) RangeStage)
- trfFunDeps :: TransformName n r => [Located (FunDep (Located n))] -> Trf (AnnMaybe FunDeps (Dom r) RangeStage)
- trfFunDep' :: TransformName n r => FunDep (Located n) -> Trf (FunDep (Dom r) RangeStage)
- createDeclHead :: TransformName n r => Located n -> LHsQTyVars n -> Trf (Ann DeclHead (Dom r) RangeStage)
- wrapDeclHead :: TransformName n r => [LHsTyVarBndr n] -> Trf (Ann DeclHead (Dom r) RangeStage) -> Trf (Ann DeclHead (Dom r) RangeStage)
- addParenLocs :: SrcSpan -> Trf SrcSpan
- createClassBody :: TransformName n r => [LSig n] -> LHsBinds n -> [LFamilyDecl n] -> [LTyFamDefltEqn n] -> Trf (AnnMaybe ClassBody (Dom r) RangeStage)
- trfClassElemSig :: TransformName n r => Located (Sig n) -> Trf (Ann ClassElement (Dom r) RangeStage)
- trfTypeFam :: TransformName n r => Located (FamilyDecl n) -> Trf (Ann TypeFamily (Dom r) RangeStage)
- trfTypeFam' :: TransformName n r => FamilyDecl n -> Trf (TypeFamily (Dom r) RangeStage)
- trfTypeFamDef :: TransformName n r => Located (TyFamDefltEqn n) -> Trf (Ann ClassElement (Dom r) RangeStage)
- trfInstBody :: TransformName n r => LHsBinds n -> [LSig n] -> [LTyFamInstDecl n] -> [LDataFamInstDecl n] -> Trf (AnnMaybe InstBody (Dom r) RangeStage)
- trfClassInstSig :: TransformName n r => Located (Sig n) -> Trf (Ann InstBodyDecl (Dom r) RangeStage)
- trfInstTypeFam :: TransformName n r => Located (TyFamInstDecl n) -> Trf (Ann InstBodyDecl (Dom r) RangeStage)
- trfInstDataFam :: TransformName n r => Located (DataFamInstDecl n) -> Trf (Ann InstBodyDecl (Dom r) RangeStage)
- trfPatternSynonym :: forall n r. TransformName n r => PatSynBind n n -> Trf (PatternSynonym (Dom r) RangeStage)
- trfFamilyKind :: TransformName n r => Located (FamilyResultSig n) -> Trf (AnnMaybe KindConstraint (Dom r) RangeStage)
- trfFamilyResultSig :: TransformName n r => Located (FamilyResultSig n) -> Maybe (LInjectivityAnn n) -> Trf (AnnMaybe TypeFamilySpec (Dom r) RangeStage)
- trfAnnotationSubject :: TransformName n r => SourceText -> AnnProvenance n -> SrcLoc -> Trf (Ann AnnotationSubject (Dom r) RangeStage)
Documentation
trfDecls :: TransformName n r => [LHsDecl n] -> Trf (AnnList Decl (Dom r) RangeStage) Source #
trfDeclsGroup :: forall n r. TransformName n r => HsGroup n -> Trf (AnnList Decl (Dom r) RangeStage) Source #
trfGADT :: TransformName n r => NewOrData -> Located n -> LHsQTyVars n -> Located (HsContext n) -> Maybe (Located (HsKind n)) -> [Located (ConDecl n)] -> Maybe (Located [LHsSigType n]) -> AnnKeywordId -> Trf SrcLoc -> Trf (Decl (Dom r) RangeStage) Source #
trfDataDef :: TransformName n r => NewOrData -> Located n -> LHsQTyVars n -> Located (HsContext n) -> [Located (ConDecl n)] -> Maybe (Located [LHsSigType n]) -> AnnKeywordId -> Trf SrcLoc -> Trf (Decl (Dom r) RangeStage) Source #
trfVal :: TransformName n r => HsBindLR n n -> Trf (Decl (Dom r) RangeStage) Source #
trfSig :: TransformName n r => Sig n -> Trf (Decl (Dom r) RangeStage) Source #
trfConlike :: [SrcSpan] -> RuleMatchInfo -> Trf (AnnMaybe ConlikeAnnot (Dom r) RangeStage) Source #
trfConDecl :: TransformName n r => Located (ConDecl n) -> Trf (Ann ConDecl (Dom r) RangeStage) Source #
trfConDecl' :: TransformName n r => ConDecl n -> Trf (ConDecl (Dom r) RangeStage) Source #
trfGADTConDecl :: TransformName n r => Located (ConDecl n) -> Trf (Ann GadtConDecl (Dom r) RangeStage) Source #
trfGadtConType :: TransformName n r => Located (HsType n) -> Trf (Ann GadtConType (Dom r) RangeStage) Source #
trfFieldDecl :: TransformName n r => Located (ConDeclField n) -> Trf (Ann FieldDecl (Dom r) RangeStage) Source #
trfFieldDecl' :: TransformName n r => ConDeclField n -> Trf (FieldDecl (Dom r) RangeStage) Source #
trfDerivings :: TransformName n r => Located [LHsSigType n] -> Trf (Ann Deriving (Dom r) RangeStage) Source #
trfInstanceRule :: TransformName n r => Located (HsType n) -> Trf (Ann InstanceRule (Dom r) RangeStage) Source #
trfInstanceRule' :: TransformName n r => HsType n -> Trf (InstanceRule (Dom r) RangeStage) Source #
instanceHead :: Trf (Ann InstanceHead (Dom r) RangeStage) -> Trf (InstanceRule (Dom r) RangeStage) Source #
makeInstanceRuleTyVars :: TransformName n r => Located n -> HsImplicitBndrs n [LHsType n] -> Trf (Ann InstanceRule (Dom r) RangeStage) Source #
trfInstanceHead :: TransformName n r => Located (HsType n) -> Trf (Ann InstanceHead (Dom r) RangeStage) Source #
trfInstanceHead' :: TransformName n r => HsType n -> Trf (InstanceHead (Dom r) RangeStage) Source #
trfTypeEqs :: TransformName n r => Maybe [Located (TyFamInstEqn n)] -> Trf (AnnList TypeEqn (Dom r) RangeStage) Source #
trfTypeEq :: TransformName n r => Located (TyFamInstEqn n) -> Trf (Ann TypeEqn (Dom r) RangeStage) Source #
trfFunDeps :: TransformName n r => [Located (FunDep (Located n))] -> Trf (AnnMaybe FunDeps (Dom r) RangeStage) Source #
trfFunDep' :: TransformName n r => FunDep (Located n) -> Trf (FunDep (Dom r) RangeStage) Source #
createDeclHead :: TransformName n r => Located n -> LHsQTyVars n -> Trf (Ann DeclHead (Dom r) RangeStage) Source #
wrapDeclHead :: TransformName n r => [LHsTyVarBndr n] -> Trf (Ann DeclHead (Dom r) RangeStage) -> Trf (Ann DeclHead (Dom r) RangeStage) Source #
addParenLocs :: SrcSpan -> Trf SrcSpan Source #
Get the parentheses directly before and after (for parenthesized application)
createClassBody :: TransformName n r => [LSig n] -> LHsBinds n -> [LFamilyDecl n] -> [LTyFamDefltEqn n] -> Trf (AnnMaybe ClassBody (Dom r) RangeStage) Source #
trfClassElemSig :: TransformName n r => Located (Sig n) -> Trf (Ann ClassElement (Dom r) RangeStage) Source #
trfTypeFam :: TransformName n r => Located (FamilyDecl n) -> Trf (Ann TypeFamily (Dom r) RangeStage) Source #
trfTypeFam' :: TransformName n r => FamilyDecl n -> Trf (TypeFamily (Dom r) RangeStage) Source #
trfTypeFamDef :: TransformName n r => Located (TyFamDefltEqn n) -> Trf (Ann ClassElement (Dom r) RangeStage) Source #
trfInstBody :: TransformName n r => LHsBinds n -> [LSig n] -> [LTyFamInstDecl n] -> [LDataFamInstDecl n] -> Trf (AnnMaybe InstBody (Dom r) RangeStage) Source #
trfClassInstSig :: TransformName n r => Located (Sig n) -> Trf (Ann InstBodyDecl (Dom r) RangeStage) Source #
trfInstTypeFam :: TransformName n r => Located (TyFamInstDecl n) -> Trf (Ann InstBodyDecl (Dom r) RangeStage) Source #
trfInstDataFam :: TransformName n r => Located (DataFamInstDecl n) -> Trf (Ann InstBodyDecl (Dom r) RangeStage) Source #
trfPatternSynonym :: forall n r. TransformName n r => PatSynBind n n -> Trf (PatternSynonym (Dom r) RangeStage) Source #
trfFamilyKind :: TransformName n r => Located (FamilyResultSig n) -> Trf (AnnMaybe KindConstraint (Dom r) RangeStage) Source #
trfFamilyResultSig :: TransformName n r => Located (FamilyResultSig n) -> Maybe (LInjectivityAnn n) -> Trf (AnnMaybe TypeFamilySpec (Dom r) RangeStage) Source #
trfAnnotationSubject :: TransformName n r => SourceText -> AnnProvenance n -> SrcLoc -> Trf (Ann AnnotationSubject (Dom r) RangeStage) Source #