Language.Haskell.Tools.AST.Instances.SourceInfoTraversal

Generating instances for traversing the semantic information of the Haskell Representation

Documentation

Orphan instances

SourceInfoTraversal QualifiedName

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> QualifiedName dom st1 -> f (QualifiedName dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> QualifiedName dom st1 -> f (QualifiedName dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> QualifiedName dom st1 -> f (QualifiedName dom st2)

SourceInfoTraversal FieldWildcard

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FieldWildcard dom st1 -> f (FieldWildcard dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FieldWildcard dom st1 -> f (FieldWildcard dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> FieldWildcard dom st1 -> f (FieldWildcard dom st2)

SourceInfoTraversal Cmd

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Cmd dom st1 -> f (Cmd dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Cmd dom st1 -> f (Cmd dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Cmd dom st1 -> f (Cmd dom st2)

SourceInfoTraversal Expr

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Expr dom st1 -> f (Expr dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Expr dom st1 -> f (Expr dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Expr dom st1 -> f (Expr dom st2)

SourceInfoTraversal RhsGuard

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> RhsGuard dom st1 -> f (RhsGuard dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> RhsGuard dom st1 -> f (RhsGuard dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> RhsGuard dom st1 -> f (RhsGuard dom st2)

SourceInfoTraversal LocalBinds

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LocalBinds dom st1 -> f (LocalBinds dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LocalBinds dom st1 -> f (LocalBinds dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> LocalBinds dom st1 -> f (LocalBinds dom st2)

SourceInfoTraversal LocalBind

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LocalBind dom st1 -> f (LocalBind dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LocalBind dom st1 -> f (LocalBind dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> LocalBind dom st1 -> f (LocalBind dom st2)

SourceInfoTraversal Bracket

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Bracket dom st1 -> f (Bracket dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Bracket dom st1 -> f (Bracket dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Bracket dom st1 -> f (Bracket dom st2)

SourceInfoTraversal QuasiQuote

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> QuasiQuote dom st1 -> f (QuasiQuote dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> QuasiQuote dom st1 -> f (QuasiQuote dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> QuasiQuote dom st1 -> f (QuasiQuote dom st2)

SourceInfoTraversal Splice

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Splice dom st1 -> f (Splice dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Splice dom st1 -> f (Splice dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Splice dom st1 -> f (Splice dom st2)

SourceInfoTraversal ImportDecl

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportDecl dom st1 -> f (ImportDecl dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportDecl dom st1 -> f (ImportDecl dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ImportDecl dom st1 -> f (ImportDecl dom st2)

SourceInfoTraversal Module

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Module dom st1 -> f (Module dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Module dom st1 -> f (Module dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Module dom st1 -> f (Module dom st2)

SourceInfoTraversal PhaseInvert

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PhaseInvert dom st1 -> f (PhaseInvert dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PhaseInvert dom st1 -> f (PhaseInvert dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PhaseInvert dom st1 -> f (PhaseInvert dom st2)

SourceInfoTraversal PhaseNumber

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PhaseNumber dom st1 -> f (PhaseNumber dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PhaseNumber dom st1 -> f (PhaseNumber dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PhaseNumber dom st1 -> f (PhaseNumber dom st2)

SourceInfoTraversal PhaseControl

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PhaseControl dom st1 -> f (PhaseControl dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PhaseControl dom st1 -> f (PhaseControl dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PhaseControl dom st1 -> f (PhaseControl dom st2)

SourceInfoTraversal LineNumber

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LineNumber dom st1 -> f (LineNumber dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LineNumber dom st1 -> f (LineNumber dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> LineNumber dom st1 -> f (LineNumber dom st2)

SourceInfoTraversal Precedence

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Precedence dom st1 -> f (Precedence dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Precedence dom st1 -> f (Precedence dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Precedence dom st1 -> f (Precedence dom st2)

SourceInfoTraversal ConlikeAnnot

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ConlikeAnnot dom st1 -> f (ConlikeAnnot dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ConlikeAnnot dom st1 -> f (ConlikeAnnot dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ConlikeAnnot dom st1 -> f (ConlikeAnnot dom st2)

SourceInfoTraversal Role

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Role dom st1 -> f (Role dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Role dom st1 -> f (Role dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Role dom st1 -> f (Role dom st2)

SourceInfoTraversal Assoc

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Assoc dom st1 -> f (Assoc dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Assoc dom st1 -> f (Assoc dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Assoc dom st1 -> f (Assoc dom st2)

SourceInfoTraversal Safety

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Safety dom st1 -> f (Safety dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Safety dom st1 -> f (Safety dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Safety dom st1 -> f (Safety dom st2)

SourceInfoTraversal ArrowAppl

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ArrowAppl dom st1 -> f (ArrowAppl dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ArrowAppl dom st1 -> f (ArrowAppl dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ArrowAppl dom st1 -> f (ArrowAppl dom st2)

SourceInfoTraversal CallConv

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> CallConv dom st1 -> f (CallConv dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> CallConv dom st1 -> f (CallConv dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> CallConv dom st1 -> f (CallConv dom st2)

SourceInfoTraversal OverlapPragma

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> OverlapPragma dom st1 -> f (OverlapPragma dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> OverlapPragma dom st1 -> f (OverlapPragma dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> OverlapPragma dom st1 -> f (OverlapPragma dom st2)

SourceInfoTraversal TypeKeyword

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeKeyword dom st1 -> f (TypeKeyword dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeKeyword dom st1 -> f (TypeKeyword dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TypeKeyword dom st1 -> f (TypeKeyword dom st2)

SourceInfoTraversal DoKind

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> DoKind dom st1 -> f (DoKind dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> DoKind dom st1 -> f (DoKind dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> DoKind dom st1 -> f (DoKind dom st2)

SourceInfoTraversal DataOrNewtypeKeyword

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> DataOrNewtypeKeyword dom st1 -> f (DataOrNewtypeKeyword dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> DataOrNewtypeKeyword dom st1 -> f (DataOrNewtypeKeyword dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> DataOrNewtypeKeyword dom st1 -> f (DataOrNewtypeKeyword dom st2)

SourceInfoTraversal ModuleName

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ModuleName dom st1 -> f (ModuleName dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ModuleName dom st1 -> f (ModuleName dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ModuleName dom st1 -> f (ModuleName dom st2)

SourceInfoTraversal StringNode

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> StringNode dom st1 -> f (StringNode dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> StringNode dom st1 -> f (StringNode dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> StringNode dom st1 -> f (StringNode dom st2)

SourceInfoTraversal UnqualName

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> UnqualName dom st1 -> f (UnqualName dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> UnqualName dom st1 -> f (UnqualName dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> UnqualName dom st1 -> f (UnqualName dom st2)

SourceInfoTraversal Name

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Name dom st1 -> f (Name dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Name dom st1 -> f (Name dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Name dom st1 -> f (Name dom st2)

SourceInfoTraversal Operator

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Operator dom st1 -> f (Operator dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Operator dom st1 -> f (Operator dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Operator dom st1 -> f (Operator dom st2)

SourceInfoTraversal Literal

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Literal dom st1 -> f (Literal dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Literal dom st1 -> f (Literal dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Literal dom st1 -> f (Literal dom st2)

SourceInfoTraversal Kind

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Kind dom st1 -> f (Kind dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Kind dom st1 -> f (Kind dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Kind dom st1 -> f (Kind dom st2)

SourceInfoTraversal KindConstraint

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> KindConstraint dom st1 -> f (KindConstraint dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> KindConstraint dom st1 -> f (KindConstraint dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> KindConstraint dom st1 -> f (KindConstraint dom st2)

SourceInfoTraversal Assertion

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Assertion dom st1 -> f (Assertion dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Assertion dom st1 -> f (Assertion dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Assertion dom st1 -> f (Assertion dom st2)

SourceInfoTraversal Context

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Context dom st1 -> f (Context dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Context dom st1 -> f (Context dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Context dom st1 -> f (Context dom st2)

SourceInfoTraversal Type

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Type dom st1 -> f (Type dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Type dom st1 -> f (Type dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Type dom st1 -> f (Type dom st2)

SourceInfoTraversal TyVar

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TyVar dom st1 -> f (TyVar dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TyVar dom st1 -> f (TyVar dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TyVar dom st1 -> f (TyVar dom st2)

SourceInfoTraversal PatternField

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatternField dom st1 -> f (PatternField dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatternField dom st1 -> f (PatternField dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PatternField dom st1 -> f (PatternField dom st2)

SourceInfoTraversal Pattern

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Pattern dom st1 -> f (Pattern dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Pattern dom st1 -> f (Pattern dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Pattern dom st1 -> f (Pattern dom st2)

SourceInfoTraversal CompStmt

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> CompStmt dom st1 -> f (CompStmt dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> CompStmt dom st1 -> f (CompStmt dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> CompStmt dom st1 -> f (CompStmt dom st2)

SourceInfoTraversal ListCompBody

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ListCompBody dom st1 -> f (ListCompBody dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ListCompBody dom st1 -> f (ListCompBody dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ListCompBody dom st1 -> f (ListCompBody dom st2)

SourceInfoTraversal Number

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Number dom st1 -> f (Number dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Number dom st1 -> f (Number dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Number dom st1 -> f (Number dom st2)

SourceInfoTraversal SourceRange

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> SourceRange dom st1 -> f (SourceRange dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> SourceRange dom st1 -> f (SourceRange dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> SourceRange dom st1 -> f (SourceRange dom st2)

SourceInfoTraversal ExprPragma

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ExprPragma dom st1 -> f (ExprPragma dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ExprPragma dom st1 -> f (ExprPragma dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ExprPragma dom st1 -> f (ExprPragma dom st2)

SourceInfoTraversal TupSecElem

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TupSecElem dom st1 -> f (TupSecElem dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TupSecElem dom st1 -> f (TupSecElem dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TupSecElem dom st1 -> f (TupSecElem dom st2)

SourceInfoTraversal FieldUpdate

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FieldUpdate dom st1 -> f (FieldUpdate dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FieldUpdate dom st1 -> f (FieldUpdate dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> FieldUpdate dom st1 -> f (FieldUpdate dom st2)

SourceInfoTraversal MinimalFormula

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> MinimalFormula dom st1 -> f (MinimalFormula dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> MinimalFormula dom st1 -> f (MinimalFormula dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> MinimalFormula dom st1 -> f (MinimalFormula dom st2)

SourceInfoTraversal AnnotationSubject

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> AnnotationSubject dom st1 -> f (AnnotationSubject dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> AnnotationSubject dom st1 -> f (AnnotationSubject dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> AnnotationSubject dom st1 -> f (AnnotationSubject dom st2)

SourceInfoTraversal Rule

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Rule dom st1 -> f (Rule dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Rule dom st1 -> f (Rule dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Rule dom st1 -> f (Rule dom st2)

SourceInfoTraversal TopLevelPragma

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TopLevelPragma dom st1 -> f (TopLevelPragma dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TopLevelPragma dom st1 -> f (TopLevelPragma dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TopLevelPragma dom st1 -> f (TopLevelPragma dom st2)

SourceInfoTraversal GuardedRhs

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GuardedRhs dom st1 -> f (GuardedRhs dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GuardedRhs dom st1 -> f (GuardedRhs dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> GuardedRhs dom st1 -> f (GuardedRhs dom st2)

SourceInfoTraversal Rhs

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Rhs dom st1 -> f (Rhs dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Rhs dom st1 -> f (Rhs dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Rhs dom st1 -> f (Rhs dom st2)

SourceInfoTraversal FixitySignature

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FixitySignature dom st1 -> f (FixitySignature dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FixitySignature dom st1 -> f (FixitySignature dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> FixitySignature dom st1 -> f (FixitySignature dom st2)

SourceInfoTraversal TypeSignature

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeSignature dom st1 -> f (TypeSignature dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeSignature dom st1 -> f (TypeSignature dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TypeSignature dom st1 -> f (TypeSignature dom st2)

SourceInfoTraversal MatchLhs

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> MatchLhs dom st1 -> f (MatchLhs dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> MatchLhs dom st1 -> f (MatchLhs dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> MatchLhs dom st1 -> f (MatchLhs dom st2)

SourceInfoTraversal Match

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Match dom st1 -> f (Match dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Match dom st1 -> f (Match dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Match dom st1 -> f (Match dom st2)

SourceInfoTraversal ValueBind

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ValueBind dom st1 -> f (ValueBind dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ValueBind dom st1 -> f (ValueBind dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ValueBind dom st1 -> f (ValueBind dom st2)

SourceInfoTraversal PatSynWhere

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatSynWhere dom st1 -> f (PatSynWhere dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatSynWhere dom st1 -> f (PatSynWhere dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PatSynWhere dom st1 -> f (PatSynWhere dom st2)

SourceInfoTraversal PatSynRhs

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatSynRhs dom st1 -> f (PatSynRhs dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatSynRhs dom st1 -> f (PatSynRhs dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PatSynRhs dom st1 -> f (PatSynRhs dom st2)

SourceInfoTraversal PatSynLhs

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatSynLhs dom st1 -> f (PatSynLhs dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatSynLhs dom st1 -> f (PatSynLhs dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PatSynLhs dom st1 -> f (PatSynLhs dom st2)

SourceInfoTraversal PatternSynonym

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatternSynonym dom st1 -> f (PatternSynonym dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatternSynonym dom st1 -> f (PatternSynonym dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PatternSynonym dom st1 -> f (PatternSynonym dom st2)

SourceInfoTraversal PatternTypeSignature

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatternTypeSignature dom st1 -> f (PatternTypeSignature dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> PatternTypeSignature dom st1 -> f (PatternTypeSignature dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> PatternTypeSignature dom st1 -> f (PatternTypeSignature dom st2)

SourceInfoTraversal TypeEqn

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeEqn dom st1 -> f (TypeEqn dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeEqn dom st1 -> f (TypeEqn dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TypeEqn dom st1 -> f (TypeEqn dom st2)

SourceInfoTraversal InstanceHead

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstanceHead dom st1 -> f (InstanceHead dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstanceHead dom st1 -> f (InstanceHead dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> InstanceHead dom st1 -> f (InstanceHead dom st2)

SourceInfoTraversal InstanceRule

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstanceRule dom st1 -> f (InstanceRule dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstanceRule dom st1 -> f (InstanceRule dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> InstanceRule dom st1 -> f (InstanceRule dom st2)

SourceInfoTraversal Deriving

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Deriving dom st1 -> f (Deriving dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Deriving dom st1 -> f (Deriving dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Deriving dom st1 -> f (Deriving dom st2)

SourceInfoTraversal FieldDecl

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FieldDecl dom st1 -> f (FieldDecl dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FieldDecl dom st1 -> f (FieldDecl dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> FieldDecl dom st1 -> f (FieldDecl dom st2)

SourceInfoTraversal ConDecl

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ConDecl dom st1 -> f (ConDecl dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ConDecl dom st1 -> f (ConDecl dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ConDecl dom st1 -> f (ConDecl dom st2)

SourceInfoTraversal FunDep

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FunDep dom st1 -> f (FunDep dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FunDep dom st1 -> f (FunDep dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> FunDep dom st1 -> f (FunDep dom st2)

SourceInfoTraversal FunDeps

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FunDeps dom st1 -> f (FunDeps dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FunDeps dom st1 -> f (FunDeps dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> FunDeps dom st1 -> f (FunDeps dom st2)

SourceInfoTraversal GadtConType

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GadtConType dom st1 -> f (GadtConType dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GadtConType dom st1 -> f (GadtConType dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> GadtConType dom st1 -> f (GadtConType dom st2)

SourceInfoTraversal GadtConDecl

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GadtConDecl dom st1 -> f (GadtConDecl dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GadtConDecl dom st1 -> f (GadtConDecl dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> GadtConDecl dom st1 -> f (GadtConDecl dom st2)

SourceInfoTraversal InstBodyDecl

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstBodyDecl dom st1 -> f (InstBodyDecl dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstBodyDecl dom st1 -> f (InstBodyDecl dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> InstBodyDecl dom st1 -> f (InstBodyDecl dom st2)

SourceInfoTraversal InstBody

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstBody dom st1 -> f (InstBody dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InstBody dom st1 -> f (InstBody dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> InstBody dom st1 -> f (InstBody dom st2)

SourceInfoTraversal DeclHead

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> DeclHead dom st1 -> f (DeclHead dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> DeclHead dom st1 -> f (DeclHead dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> DeclHead dom st1 -> f (DeclHead dom st2)

SourceInfoTraversal ClassElement

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ClassElement dom st1 -> f (ClassElement dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ClassElement dom st1 -> f (ClassElement dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ClassElement dom st1 -> f (ClassElement dom st2)

SourceInfoTraversal ClassBody

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ClassBody dom st1 -> f (ClassBody dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ClassBody dom st1 -> f (ClassBody dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ClassBody dom st1 -> f (ClassBody dom st2)

SourceInfoTraversal InjectivityAnn

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InjectivityAnn dom st1 -> f (InjectivityAnn dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> InjectivityAnn dom st1 -> f (InjectivityAnn dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> InjectivityAnn dom st1 -> f (InjectivityAnn dom st2)

SourceInfoTraversal TypeFamilySpec

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeFamilySpec dom st1 -> f (TypeFamilySpec dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeFamilySpec dom st1 -> f (TypeFamilySpec dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TypeFamilySpec dom st1 -> f (TypeFamilySpec dom st2)

SourceInfoTraversal TypeFamily

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeFamily dom st1 -> f (TypeFamily dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeFamily dom st1 -> f (TypeFamily dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TypeFamily dom st1 -> f (TypeFamily dom st2)

SourceInfoTraversal Decl

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Decl dom st1 -> f (Decl dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Decl dom st1 -> f (Decl dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Decl dom st1 -> f (Decl dom st2)

SourceInfoTraversal ImportRenaming

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportRenaming dom st1 -> f (ImportRenaming dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportRenaming dom st1 -> f (ImportRenaming dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ImportRenaming dom st1 -> f (ImportRenaming dom st2)

SourceInfoTraversal TypeNamespace

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeNamespace dom st1 -> f (TypeNamespace dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> TypeNamespace dom st1 -> f (TypeNamespace dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> TypeNamespace dom st1 -> f (TypeNamespace dom st2)

SourceInfoTraversal ImportSafe

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportSafe dom st1 -> f (ImportSafe dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportSafe dom st1 -> f (ImportSafe dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ImportSafe dom st1 -> f (ImportSafe dom st2)

SourceInfoTraversal ImportSource

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportSource dom st1 -> f (ImportSource dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportSource dom st1 -> f (ImportSource dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ImportSource dom st1 -> f (ImportSource dom st2)

SourceInfoTraversal ImportQualified

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportQualified dom st1 -> f (ImportQualified dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportQualified dom st1 -> f (ImportQualified dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ImportQualified dom st1 -> f (ImportQualified dom st2)

SourceInfoTraversal ImportSpec

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportSpec dom st1 -> f (ImportSpec dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ImportSpec dom st1 -> f (ImportSpec dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ImportSpec dom st1 -> f (ImportSpec dom st2)

SourceInfoTraversal LanguageExtension

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LanguageExtension dom st1 -> f (LanguageExtension dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> LanguageExtension dom st1 -> f (LanguageExtension dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> LanguageExtension dom st1 -> f (LanguageExtension dom st2)

SourceInfoTraversal ModulePragma

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ModulePragma dom st1 -> f (ModulePragma dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ModulePragma dom st1 -> f (ModulePragma dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ModulePragma dom st1 -> f (ModulePragma dom st2)

SourceInfoTraversal FilePragma

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FilePragma dom st1 -> f (FilePragma dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> FilePragma dom st1 -> f (FilePragma dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> FilePragma dom st1 -> f (FilePragma dom st2)

SourceInfoTraversal SubSpec

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> SubSpec dom st1 -> f (SubSpec dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> SubSpec dom st1 -> f (SubSpec dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> SubSpec dom st1 -> f (SubSpec dom st2)

SourceInfoTraversal IESpec

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> IESpec dom st1 -> f (IESpec dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> IESpec dom st1 -> f (IESpec dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> IESpec dom st1 -> f (IESpec dom st2)

SourceInfoTraversal ExportSpec

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ExportSpec dom st1 -> f (ExportSpec dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ExportSpec dom st1 -> f (ExportSpec dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ExportSpec dom st1 -> f (ExportSpec dom st2)

SourceInfoTraversal ExportSpecList

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ExportSpecList dom st1 -> f (ExportSpecList dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ExportSpecList dom st1 -> f (ExportSpecList dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ExportSpecList dom st1 -> f (ExportSpecList dom st2)

SourceInfoTraversal ModuleHead

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ModuleHead dom st1 -> f (ModuleHead dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> ModuleHead dom st1 -> f (ModuleHead dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> ModuleHead dom st1 -> f (ModuleHead dom st2)

SourceInfoTraversal QQString

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> QQString dom st1 -> f (QQString dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> QQString dom st1 -> f (QQString dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> QQString dom st1 -> f (QQString dom st2)

SourceInfoTraversal t0 => SourceInfoTraversal (Promoted t0)

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Promoted t0 dom st1 -> f (Promoted t0 dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Promoted t0 dom st1 -> f (Promoted t0 dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Promoted t0 dom st1 -> f (Promoted t0 dom st2)

SourceInfoTraversal expr0 => SourceInfoTraversal (Stmt' expr0)

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Stmt' expr0 dom st1 -> f (Stmt' expr0 dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Stmt' expr0 dom st1 -> f (Stmt' expr0 dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Stmt' expr0 dom st1 -> f (Stmt' expr0 dom st2)

SourceInfoTraversal expr0 => SourceInfoTraversal (GuardedCaseRhs' expr0)

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GuardedCaseRhs' expr0 dom st1 -> f (GuardedCaseRhs' expr0 dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> GuardedCaseRhs' expr0 dom st1 -> f (GuardedCaseRhs' expr0 dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> GuardedCaseRhs' expr0 dom st1 -> f (GuardedCaseRhs' expr0 dom st2)

SourceInfoTraversal expr0 => SourceInfoTraversal (CaseRhs' expr0)

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> CaseRhs' expr0 dom st1 -> f (CaseRhs' expr0 dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> CaseRhs' expr0 dom st1 -> f (CaseRhs' expr0 dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> CaseRhs' expr0 dom st1 -> f (CaseRhs' expr0 dom st2)

SourceInfoTraversal expr0 => SourceInfoTraversal (Alt' expr0)

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Alt' expr0 dom st1 -> f (Alt' expr0 dom st2)

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Alt' expr0 dom st1 -> f (Alt' expr0 dom st2)

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Alt' expr0 dom st1 -> f (Alt' expr0 dom st2)