Safe Haskell	None
Language	Haskell2010

Language.Haskell.Tools.AST.Instances.SourceInfoTraversal

Contents

Orphan instances

Description

Generating instances for traversing the semantic information of the Haskell Representation

Documentation

Orphan instances

SourceInfoTraversal QualifiedName Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> QualifiedName dom st1 -> f (QualifiedName dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> QualifiedName dom st1 -> f (QualifiedName dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> QualifiedName dom st1 -> f (QualifiedName dom st2) Source #
SourceInfoTraversal FieldWildcard Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FieldWildcard dom st1 -> f (FieldWildcard dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FieldWildcard dom st1 -> f (FieldWildcard dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> FieldWildcard dom st1 -> f (FieldWildcard dom st2) Source #
SourceInfoTraversal Cmd Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Cmd dom st1 -> f (Cmd dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Cmd dom st1 -> f (Cmd dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Cmd dom st1 -> f (Cmd dom st2) Source #
SourceInfoTraversal Expr Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Expr dom st1 -> f (Expr dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Expr dom st1 -> f (Expr dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Expr dom st1 -> f (Expr dom st2) Source #
SourceInfoTraversal RhsGuard Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> RhsGuard dom st1 -> f (RhsGuard dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> RhsGuard dom st1 -> f (RhsGuard dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> RhsGuard dom st1 -> f (RhsGuard dom st2) Source #
SourceInfoTraversal LocalBinds Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LocalBinds dom st1 -> f (LocalBinds dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LocalBinds dom st1 -> f (LocalBinds dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> LocalBinds dom st1 -> f (LocalBinds dom st2) Source #
SourceInfoTraversal LocalBind Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LocalBind dom st1 -> f (LocalBind dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LocalBind dom st1 -> f (LocalBind dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> LocalBind dom st1 -> f (LocalBind dom st2) Source #
SourceInfoTraversal Bracket Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Bracket dom st1 -> f (Bracket dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Bracket dom st1 -> f (Bracket dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Bracket dom st1 -> f (Bracket dom st2) Source #
SourceInfoTraversal QuasiQuote Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> QuasiQuote dom st1 -> f (QuasiQuote dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> QuasiQuote dom st1 -> f (QuasiQuote dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> QuasiQuote dom st1 -> f (QuasiQuote dom st2) Source #
SourceInfoTraversal Splice Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Splice dom st1 -> f (Splice dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Splice dom st1 -> f (Splice dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Splice dom st1 -> f (Splice dom st2) Source #
SourceInfoTraversal ImportDecl Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportDecl dom st1 -> f (ImportDecl dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportDecl dom st1 -> f (ImportDecl dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ImportDecl dom st1 -> f (ImportDecl dom st2) Source #
SourceInfoTraversal Module Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Module dom st1 -> f (Module dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Module dom st1 -> f (Module dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Module dom st1 -> f (Module dom st2) Source #
SourceInfoTraversal PhaseInvert Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PhaseInvert dom st1 -> f (PhaseInvert dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PhaseInvert dom st1 -> f (PhaseInvert dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PhaseInvert dom st1 -> f (PhaseInvert dom st2) Source #
SourceInfoTraversal PhaseNumber Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PhaseNumber dom st1 -> f (PhaseNumber dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PhaseNumber dom st1 -> f (PhaseNumber dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PhaseNumber dom st1 -> f (PhaseNumber dom st2) Source #
SourceInfoTraversal PhaseControl Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PhaseControl dom st1 -> f (PhaseControl dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PhaseControl dom st1 -> f (PhaseControl dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PhaseControl dom st1 -> f (PhaseControl dom st2) Source #
SourceInfoTraversal LineNumber Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LineNumber dom st1 -> f (LineNumber dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LineNumber dom st1 -> f (LineNumber dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> LineNumber dom st1 -> f (LineNumber dom st2) Source #
SourceInfoTraversal Precedence Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Precedence dom st1 -> f (Precedence dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Precedence dom st1 -> f (Precedence dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Precedence dom st1 -> f (Precedence dom st2) Source #
SourceInfoTraversal ConlikeAnnot Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ConlikeAnnot dom st1 -> f (ConlikeAnnot dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ConlikeAnnot dom st1 -> f (ConlikeAnnot dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ConlikeAnnot dom st1 -> f (ConlikeAnnot dom st2) Source #
SourceInfoTraversal Role Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Role dom st1 -> f (Role dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Role dom st1 -> f (Role dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Role dom st1 -> f (Role dom st2) Source #
SourceInfoTraversal Assoc Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Assoc dom st1 -> f (Assoc dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Assoc dom st1 -> f (Assoc dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Assoc dom st1 -> f (Assoc dom st2) Source #
SourceInfoTraversal Safety Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Safety dom st1 -> f (Safety dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Safety dom st1 -> f (Safety dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Safety dom st1 -> f (Safety dom st2) Source #
SourceInfoTraversal ArrowAppl Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ArrowAppl dom st1 -> f (ArrowAppl dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ArrowAppl dom st1 -> f (ArrowAppl dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ArrowAppl dom st1 -> f (ArrowAppl dom st2) Source #
SourceInfoTraversal CallConv Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> CallConv dom st1 -> f (CallConv dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> CallConv dom st1 -> f (CallConv dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> CallConv dom st1 -> f (CallConv dom st2) Source #
SourceInfoTraversal OverlapPragma Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> OverlapPragma dom st1 -> f (OverlapPragma dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> OverlapPragma dom st1 -> f (OverlapPragma dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> OverlapPragma dom st1 -> f (OverlapPragma dom st2) Source #
SourceInfoTraversal TypeKeyword Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeKeyword dom st1 -> f (TypeKeyword dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeKeyword dom st1 -> f (TypeKeyword dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TypeKeyword dom st1 -> f (TypeKeyword dom st2) Source #
SourceInfoTraversal DoKind Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> DoKind dom st1 -> f (DoKind dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> DoKind dom st1 -> f (DoKind dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> DoKind dom st1 -> f (DoKind dom st2) Source #
SourceInfoTraversal DataOrNewtypeKeyword Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> DataOrNewtypeKeyword dom st1 -> f (DataOrNewtypeKeyword dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> DataOrNewtypeKeyword dom st1 -> f (DataOrNewtypeKeyword dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> DataOrNewtypeKeyword dom st1 -> f (DataOrNewtypeKeyword dom st2) Source #
SourceInfoTraversal ModuleName Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ModuleName dom st1 -> f (ModuleName dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ModuleName dom st1 -> f (ModuleName dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ModuleName dom st1 -> f (ModuleName dom st2) Source #
SourceInfoTraversal StringNode Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> StringNode dom st1 -> f (StringNode dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> StringNode dom st1 -> f (StringNode dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> StringNode dom st1 -> f (StringNode dom st2) Source #
SourceInfoTraversal UnqualName Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> UnqualName dom st1 -> f (UnqualName dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> UnqualName dom st1 -> f (UnqualName dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> UnqualName dom st1 -> f (UnqualName dom st2) Source #
SourceInfoTraversal Name Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Name dom st1 -> f (Name dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Name dom st1 -> f (Name dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Name dom st1 -> f (Name dom st2) Source #
SourceInfoTraversal Operator Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Operator dom st1 -> f (Operator dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Operator dom st1 -> f (Operator dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Operator dom st1 -> f (Operator dom st2) Source #
SourceInfoTraversal Literal Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Literal dom st1 -> f (Literal dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Literal dom st1 -> f (Literal dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Literal dom st1 -> f (Literal dom st2) Source #
SourceInfoTraversal Kind Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Kind dom st1 -> f (Kind dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Kind dom st1 -> f (Kind dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Kind dom st1 -> f (Kind dom st2) Source #
SourceInfoTraversal KindConstraint Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> KindConstraint dom st1 -> f (KindConstraint dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> KindConstraint dom st1 -> f (KindConstraint dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> KindConstraint dom st1 -> f (KindConstraint dom st2) Source #
SourceInfoTraversal Assertion Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Assertion dom st1 -> f (Assertion dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Assertion dom st1 -> f (Assertion dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Assertion dom st1 -> f (Assertion dom st2) Source #
SourceInfoTraversal Context Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Context dom st1 -> f (Context dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Context dom st1 -> f (Context dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Context dom st1 -> f (Context dom st2) Source #
SourceInfoTraversal Type Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Type dom st1 -> f (Type dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Type dom st1 -> f (Type dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Type dom st1 -> f (Type dom st2) Source #
SourceInfoTraversal TyVar Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TyVar dom st1 -> f (TyVar dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TyVar dom st1 -> f (TyVar dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TyVar dom st1 -> f (TyVar dom st2) Source #
SourceInfoTraversal PatternField Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatternField dom st1 -> f (PatternField dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatternField dom st1 -> f (PatternField dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PatternField dom st1 -> f (PatternField dom st2) Source #
SourceInfoTraversal Pattern Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Pattern dom st1 -> f (Pattern dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Pattern dom st1 -> f (Pattern dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Pattern dom st1 -> f (Pattern dom st2) Source #
SourceInfoTraversal CompStmt Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> CompStmt dom st1 -> f (CompStmt dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> CompStmt dom st1 -> f (CompStmt dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> CompStmt dom st1 -> f (CompStmt dom st2) Source #
SourceInfoTraversal ListCompBody Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ListCompBody dom st1 -> f (ListCompBody dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ListCompBody dom st1 -> f (ListCompBody dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ListCompBody dom st1 -> f (ListCompBody dom st2) Source #
SourceInfoTraversal Number Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Number dom st1 -> f (Number dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Number dom st1 -> f (Number dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Number dom st1 -> f (Number dom st2) Source #
SourceInfoTraversal SourceRange Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> SourceRange dom st1 -> f (SourceRange dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> SourceRange dom st1 -> f (SourceRange dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> SourceRange dom st1 -> f (SourceRange dom st2) Source #
SourceInfoTraversal ExprPragma Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ExprPragma dom st1 -> f (ExprPragma dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ExprPragma dom st1 -> f (ExprPragma dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ExprPragma dom st1 -> f (ExprPragma dom st2) Source #
SourceInfoTraversal TupSecElem Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TupSecElem dom st1 -> f (TupSecElem dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TupSecElem dom st1 -> f (TupSecElem dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TupSecElem dom st1 -> f (TupSecElem dom st2) Source #
SourceInfoTraversal FieldUpdate Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FieldUpdate dom st1 -> f (FieldUpdate dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FieldUpdate dom st1 -> f (FieldUpdate dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> FieldUpdate dom st1 -> f (FieldUpdate dom st2) Source #
SourceInfoTraversal MinimalFormula Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> MinimalFormula dom st1 -> f (MinimalFormula dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> MinimalFormula dom st1 -> f (MinimalFormula dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> MinimalFormula dom st1 -> f (MinimalFormula dom st2) Source #
SourceInfoTraversal AnnotationSubject Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> AnnotationSubject dom st1 -> f (AnnotationSubject dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> AnnotationSubject dom st1 -> f (AnnotationSubject dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> AnnotationSubject dom st1 -> f (AnnotationSubject dom st2) Source #
SourceInfoTraversal Rule Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Rule dom st1 -> f (Rule dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Rule dom st1 -> f (Rule dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Rule dom st1 -> f (Rule dom st2) Source #
SourceInfoTraversal TopLevelPragma Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TopLevelPragma dom st1 -> f (TopLevelPragma dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TopLevelPragma dom st1 -> f (TopLevelPragma dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TopLevelPragma dom st1 -> f (TopLevelPragma dom st2) Source #
SourceInfoTraversal GuardedRhs Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GuardedRhs dom st1 -> f (GuardedRhs dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GuardedRhs dom st1 -> f (GuardedRhs dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> GuardedRhs dom st1 -> f (GuardedRhs dom st2) Source #
SourceInfoTraversal Rhs Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Rhs dom st1 -> f (Rhs dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Rhs dom st1 -> f (Rhs dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Rhs dom st1 -> f (Rhs dom st2) Source #
SourceInfoTraversal FixitySignature Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FixitySignature dom st1 -> f (FixitySignature dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FixitySignature dom st1 -> f (FixitySignature dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> FixitySignature dom st1 -> f (FixitySignature dom st2) Source #
SourceInfoTraversal TypeSignature Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeSignature dom st1 -> f (TypeSignature dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeSignature dom st1 -> f (TypeSignature dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TypeSignature dom st1 -> f (TypeSignature dom st2) Source #
SourceInfoTraversal MatchLhs Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> MatchLhs dom st1 -> f (MatchLhs dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> MatchLhs dom st1 -> f (MatchLhs dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> MatchLhs dom st1 -> f (MatchLhs dom st2) Source #
SourceInfoTraversal Match Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Match dom st1 -> f (Match dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Match dom st1 -> f (Match dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Match dom st1 -> f (Match dom st2) Source #
SourceInfoTraversal ValueBind Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ValueBind dom st1 -> f (ValueBind dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ValueBind dom st1 -> f (ValueBind dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ValueBind dom st1 -> f (ValueBind dom st2) Source #
SourceInfoTraversal PatSynWhere Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatSynWhere dom st1 -> f (PatSynWhere dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatSynWhere dom st1 -> f (PatSynWhere dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PatSynWhere dom st1 -> f (PatSynWhere dom st2) Source #
SourceInfoTraversal PatSynRhs Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatSynRhs dom st1 -> f (PatSynRhs dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatSynRhs dom st1 -> f (PatSynRhs dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PatSynRhs dom st1 -> f (PatSynRhs dom st2) Source #
SourceInfoTraversal PatSynLhs Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatSynLhs dom st1 -> f (PatSynLhs dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatSynLhs dom st1 -> f (PatSynLhs dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PatSynLhs dom st1 -> f (PatSynLhs dom st2) Source #
SourceInfoTraversal PatternSynonym Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatternSynonym dom st1 -> f (PatternSynonym dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatternSynonym dom st1 -> f (PatternSynonym dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PatternSynonym dom st1 -> f (PatternSynonym dom st2) Source #
SourceInfoTraversal PatternTypeSignature Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatternTypeSignature dom st1 -> f (PatternTypeSignature dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatternTypeSignature dom st1 -> f (PatternTypeSignature dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PatternTypeSignature dom st1 -> f (PatternTypeSignature dom st2) Source #
SourceInfoTraversal TypeEqn Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeEqn dom st1 -> f (TypeEqn dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeEqn dom st1 -> f (TypeEqn dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TypeEqn dom st1 -> f (TypeEqn dom st2) Source #
SourceInfoTraversal InstanceHead Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstanceHead dom st1 -> f (InstanceHead dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstanceHead dom st1 -> f (InstanceHead dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> InstanceHead dom st1 -> f (InstanceHead dom st2) Source #
SourceInfoTraversal InstanceRule Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstanceRule dom st1 -> f (InstanceRule dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstanceRule dom st1 -> f (InstanceRule dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> InstanceRule dom st1 -> f (InstanceRule dom st2) Source #
SourceInfoTraversal Deriving Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Deriving dom st1 -> f (Deriving dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Deriving dom st1 -> f (Deriving dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Deriving dom st1 -> f (Deriving dom st2) Source #
SourceInfoTraversal FieldDecl Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FieldDecl dom st1 -> f (FieldDecl dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FieldDecl dom st1 -> f (FieldDecl dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> FieldDecl dom st1 -> f (FieldDecl dom st2) Source #
SourceInfoTraversal ConDecl Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ConDecl dom st1 -> f (ConDecl dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ConDecl dom st1 -> f (ConDecl dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ConDecl dom st1 -> f (ConDecl dom st2) Source #
SourceInfoTraversal FunDep Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FunDep dom st1 -> f (FunDep dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FunDep dom st1 -> f (FunDep dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> FunDep dom st1 -> f (FunDep dom st2) Source #
SourceInfoTraversal FunDeps Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FunDeps dom st1 -> f (FunDeps dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FunDeps dom st1 -> f (FunDeps dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> FunDeps dom st1 -> f (FunDeps dom st2) Source #
SourceInfoTraversal GadtConType Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GadtConType dom st1 -> f (GadtConType dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GadtConType dom st1 -> f (GadtConType dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> GadtConType dom st1 -> f (GadtConType dom st2) Source #
SourceInfoTraversal GadtConDecl Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GadtConDecl dom st1 -> f (GadtConDecl dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GadtConDecl dom st1 -> f (GadtConDecl dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> GadtConDecl dom st1 -> f (GadtConDecl dom st2) Source #
SourceInfoTraversal InstBodyDecl Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstBodyDecl dom st1 -> f (InstBodyDecl dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstBodyDecl dom st1 -> f (InstBodyDecl dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> InstBodyDecl dom st1 -> f (InstBodyDecl dom st2) Source #
SourceInfoTraversal InstBody Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstBody dom st1 -> f (InstBody dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstBody dom st1 -> f (InstBody dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> InstBody dom st1 -> f (InstBody dom st2) Source #
SourceInfoTraversal DeclHead Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> DeclHead dom st1 -> f (DeclHead dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> DeclHead dom st1 -> f (DeclHead dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> DeclHead dom st1 -> f (DeclHead dom st2) Source #
SourceInfoTraversal ClassElement Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ClassElement dom st1 -> f (ClassElement dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ClassElement dom st1 -> f (ClassElement dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ClassElement dom st1 -> f (ClassElement dom st2) Source #
SourceInfoTraversal ClassBody Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ClassBody dom st1 -> f (ClassBody dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ClassBody dom st1 -> f (ClassBody dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ClassBody dom st1 -> f (ClassBody dom st2) Source #
SourceInfoTraversal InjectivityAnn Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InjectivityAnn dom st1 -> f (InjectivityAnn dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InjectivityAnn dom st1 -> f (InjectivityAnn dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> InjectivityAnn dom st1 -> f (InjectivityAnn dom st2) Source #
SourceInfoTraversal TypeFamilySpec Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeFamilySpec dom st1 -> f (TypeFamilySpec dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeFamilySpec dom st1 -> f (TypeFamilySpec dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TypeFamilySpec dom st1 -> f (TypeFamilySpec dom st2) Source #
SourceInfoTraversal TypeFamily Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeFamily dom st1 -> f (TypeFamily dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeFamily dom st1 -> f (TypeFamily dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TypeFamily dom st1 -> f (TypeFamily dom st2) Source #
SourceInfoTraversal Decl Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Decl dom st1 -> f (Decl dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Decl dom st1 -> f (Decl dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Decl dom st1 -> f (Decl dom st2) Source #
SourceInfoTraversal ImportRenaming Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportRenaming dom st1 -> f (ImportRenaming dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportRenaming dom st1 -> f (ImportRenaming dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ImportRenaming dom st1 -> f (ImportRenaming dom st2) Source #
SourceInfoTraversal TypeNamespace Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeNamespace dom st1 -> f (TypeNamespace dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeNamespace dom st1 -> f (TypeNamespace dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TypeNamespace dom st1 -> f (TypeNamespace dom st2) Source #
SourceInfoTraversal ImportSafe Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportSafe dom st1 -> f (ImportSafe dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportSafe dom st1 -> f (ImportSafe dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ImportSafe dom st1 -> f (ImportSafe dom st2) Source #
SourceInfoTraversal ImportSource Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportSource dom st1 -> f (ImportSource dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportSource dom st1 -> f (ImportSource dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ImportSource dom st1 -> f (ImportSource dom st2) Source #
SourceInfoTraversal ImportQualified Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportQualified dom st1 -> f (ImportQualified dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportQualified dom st1 -> f (ImportQualified dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ImportQualified dom st1 -> f (ImportQualified dom st2) Source #
SourceInfoTraversal ImportSpec Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportSpec dom st1 -> f (ImportSpec dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportSpec dom st1 -> f (ImportSpec dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ImportSpec dom st1 -> f (ImportSpec dom st2) Source #
SourceInfoTraversal LanguageExtension Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LanguageExtension dom st1 -> f (LanguageExtension dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LanguageExtension dom st1 -> f (LanguageExtension dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> LanguageExtension dom st1 -> f (LanguageExtension dom st2) Source #
SourceInfoTraversal ModulePragma Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ModulePragma dom st1 -> f (ModulePragma dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ModulePragma dom st1 -> f (ModulePragma dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ModulePragma dom st1 -> f (ModulePragma dom st2) Source #
SourceInfoTraversal FilePragma Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FilePragma dom st1 -> f (FilePragma dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FilePragma dom st1 -> f (FilePragma dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> FilePragma dom st1 -> f (FilePragma dom st2) Source #
SourceInfoTraversal SubSpec Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> SubSpec dom st1 -> f (SubSpec dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> SubSpec dom st1 -> f (SubSpec dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> SubSpec dom st1 -> f (SubSpec dom st2) Source #
SourceInfoTraversal IESpec Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> IESpec dom st1 -> f (IESpec dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> IESpec dom st1 -> f (IESpec dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> IESpec dom st1 -> f (IESpec dom st2) Source #
SourceInfoTraversal ExportSpec Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ExportSpec dom st1 -> f (ExportSpec dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ExportSpec dom st1 -> f (ExportSpec dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ExportSpec dom st1 -> f (ExportSpec dom st2) Source #
SourceInfoTraversal ExportSpecList Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ExportSpecList dom st1 -> f (ExportSpecList dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ExportSpecList dom st1 -> f (ExportSpecList dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ExportSpecList dom st1 -> f (ExportSpecList dom st2) Source #
SourceInfoTraversal ModuleHead Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ModuleHead dom st1 -> f (ModuleHead dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ModuleHead dom st1 -> f (ModuleHead dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ModuleHead dom st1 -> f (ModuleHead dom st2) Source #
SourceInfoTraversal QQString Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> QQString dom st1 -> f (QQString dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> QQString dom st1 -> f (QQString dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> QQString dom st1 -> f (QQString dom st2) Source #
SourceInfoTraversal t0 => SourceInfoTraversal (Promoted t0) Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Promoted t0 dom st1 -> f (Promoted t0 dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Promoted t0 dom st1 -> f (Promoted t0 dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Promoted t0 dom st1 -> f (Promoted t0 dom st2) Source #
SourceInfoTraversal expr0 => SourceInfoTraversal (Stmt' expr0) Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Stmt' expr0 dom st1 -> f (Stmt' expr0 dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Stmt' expr0 dom st1 -> f (Stmt' expr0 dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Stmt' expr0 dom st1 -> f (Stmt' expr0 dom st2) Source #
SourceInfoTraversal expr0 => SourceInfoTraversal (GuardedCaseRhs' expr0) Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GuardedCaseRhs' expr0 dom st1 -> f (GuardedCaseRhs' expr0 dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GuardedCaseRhs' expr0 dom st1 -> f (GuardedCaseRhs' expr0 dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> GuardedCaseRhs' expr0 dom st1 -> f (GuardedCaseRhs' expr0 dom st2) Source #
SourceInfoTraversal expr0 => SourceInfoTraversal (CaseRhs' expr0) Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> CaseRhs' expr0 dom st1 -> f (CaseRhs' expr0 dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> CaseRhs' expr0 dom st1 -> f (CaseRhs' expr0 dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> CaseRhs' expr0 dom st1 -> f (CaseRhs' expr0 dom st2) Source #
SourceInfoTraversal expr0 => SourceInfoTraversal (Alt' expr0) Source #
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Alt' expr0 dom st1 -> f (Alt' expr0 dom st2) Source # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Alt' expr0 dom st1 -> f (Alt' expr0 dom st2) Source # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Alt' expr0 dom st1 -> f (Alt' expr0 dom st2) Source #