Documentation

trfBind :: TransformName n r => Located (HsBind n) -> Trf (Ann UValueBind (Dom r) RangeStage) #

trfBind' :: forall n r. TransformName n r => HsBind n -> Trf (UValueBind (Dom r) RangeStage) #

trfMatch :: TransformName n r => IdP n -> Located (Match n (LHsExpr n)) -> Trf (Ann UMatch (Dom r) RangeStage) #

trfMatch' :: TransformName n r => IdP n -> Match n (LHsExpr n) -> Trf (UMatch (Dom r) RangeStage) #

trfMatchLhs :: forall n r. TransformName n r => IdP n -> HsMatchContext (NameOrRdrName (IdP n)) -> [LPat n] -> Trf (Ann UMatchLhs (Dom r) RangeStage) #

trfRhss :: TransformName n r => [Located (GRHS n (LHsExpr n))] -> Trf (Ann URhs (Dom r) RangeStage) #

trfGuardedRhs :: TransformName n r => Located (GRHS n (LHsExpr n)) -> Trf (Ann UGuardedRhs (Dom r) RangeStage) #

trfRhsGuard :: TransformName n r => Located (Stmt n (LHsExpr n)) -> Trf (Ann URhsGuard (Dom r) RangeStage) #

trfRhsGuard' :: TransformName n r => Stmt n (LHsExpr n) -> Trf (URhsGuard (Dom r) RangeStage) #

trfWhereLocalBinds :: TransformName n r => SrcSpan -> HsLocalBinds n -> Trf (AnnMaybeG ULocalBinds (Dom r) RangeStage) #

getBindLocs :: HsLocalBinds n -> SrcSpan #

trfLocalBinds :: TransformName n r => AnnKeywordId -> HsLocalBinds n -> Trf (AnnListG ULocalBind (Dom r) RangeStage) #

trfIpBind :: TransformName n r => Located (IPBind n) -> Trf (Ann ULocalBind (Dom r) RangeStage) #

trfLocalSig :: forall n r. TransformName n r => Located (Sig n) -> Trf (Ann ULocalBind (Dom r) RangeStage) #

trfTypeSig :: TransformName n r => Located (Sig n) -> Trf (Ann UTypeSignature (Dom r) RangeStage) #

trfTypeSig' :: forall n r. TransformName n r => Sig n -> Trf (UTypeSignature (Dom r) RangeStage) #

trfFixitySig :: forall n r. TransformName n r => FixitySig n -> Trf (UFixitySignature (Dom r) RangeStage) #

trfInlinePragma :: forall n r. TransformName n r => Located (IdP n) -> InlinePragma -> Trf (Ann UInlinePragma (Dom r) RangeStage) #

trfPhase :: Trf SrcLoc -> Activation -> Trf (AnnMaybeG UPhaseControl (Dom r) RangeStage) #

trfPhaseNum :: PhaseNum -> Trf (Ann PhaseNumber (Dom r) RangeStage) #

trfConlike :: [SrcSpan] -> RuleMatchInfo -> Trf (AnnMaybeG UConlikeAnnot (Dom r) RangeStage) #