Language.PureScript.AST.Traversals

AST traversal helpers

Documentation

guardedExprM :: Applicative m => (Guard -> m Guard) -> (Expr -> m Expr) -> GuardedExpr -> m GuardedExpr

mapGuardedExpr :: (Guard -> Guard) -> (Expr -> Expr) -> GuardedExpr -> GuardedExpr

litM :: Monad m => (a -> m a) -> Literal a -> m (Literal a)

everywhereOnValues :: (Declaration -> Declaration) -> (Expr -> Expr) -> (Binder -> Binder) -> (Declaration -> Declaration, Expr -> Expr, Binder -> Binder)

everywhereOnValuesTopDownM :: forall m. Monad m => (Declaration -> m Declaration) -> (Expr -> m Expr) -> (Binder -> m Binder) -> (Declaration -> m Declaration, Expr -> m Expr, Binder -> m Binder)

everywhereOnValuesM :: forall m. Monad m => (Declaration -> m Declaration) -> (Expr -> m Expr) -> (Binder -> m Binder) -> (Declaration -> m Declaration, Expr -> m Expr, Binder -> m Binder)

everythingOnValues :: forall r. (r -> r -> r) -> (Declaration -> r) -> (Expr -> r) -> (Binder -> r) -> (CaseAlternative -> r) -> (DoNotationElement -> r) -> (Declaration -> r, Expr -> r, Binder -> r, CaseAlternative -> r, DoNotationElement -> r)

everythingWithContextOnValues :: forall s r. s -> r -> (r -> r -> r) -> (s -> Declaration -> (s, r)) -> (s -> Expr -> (s, r)) -> (s -> Binder -> (s, r)) -> (s -> CaseAlternative -> (s, r)) -> (s -> DoNotationElement -> (s, r)) -> (Declaration -> r, Expr -> r, Binder -> r, CaseAlternative -> r, DoNotationElement -> r)

everywhereWithContextOnValuesM :: forall m s. Monad m => s -> (s -> Declaration -> m (s, Declaration)) -> (s -> Expr -> m (s, Expr)) -> (s -> Binder -> m (s, Binder)) -> (s -> CaseAlternative -> m (s, CaseAlternative)) -> (s -> DoNotationElement -> m (s, DoNotationElement)) -> (Declaration -> m Declaration, Expr -> m Expr, Binder -> m Binder, CaseAlternative -> m CaseAlternative, DoNotationElement -> m DoNotationElement)

data ScopedIdent

Constructors

LocalIdent Ident

ToplevelIdent Ident

Instances

Eq ScopedIdent

Defined in Language.PureScript.AST.Traversals

Methods

(==) :: ScopedIdent -> ScopedIdent -> Bool

(/=) :: ScopedIdent -> ScopedIdent -> Bool

Ord ScopedIdent

Defined in Language.PureScript.AST.Traversals

Methods

compare :: ScopedIdent -> ScopedIdent -> Ordering

(<) :: ScopedIdent -> ScopedIdent -> Bool

(<=) :: ScopedIdent -> ScopedIdent -> Bool

(>) :: ScopedIdent -> ScopedIdent -> Bool

(>=) :: ScopedIdent -> ScopedIdent -> Bool

max :: ScopedIdent -> ScopedIdent -> ScopedIdent

min :: ScopedIdent -> ScopedIdent -> ScopedIdent

Show ScopedIdent

Defined in Language.PureScript.AST.Traversals

Methods

showsPrec :: Int -> ScopedIdent -> ShowS

show :: ScopedIdent -> String

showList :: [ScopedIdent] -> ShowS

inScope :: Ident -> Set ScopedIdent -> Bool

everythingWithScope :: forall r. Monoid r => (Set ScopedIdent -> Declaration -> r) -> (Set ScopedIdent -> Expr -> r) -> (Set ScopedIdent -> Binder -> r) -> (Set ScopedIdent -> CaseAlternative -> r) -> (Set ScopedIdent -> DoNotationElement -> r) -> (Set ScopedIdent -> Declaration -> r, Set ScopedIdent -> Expr -> r, Set ScopedIdent -> Binder -> r, Set ScopedIdent -> CaseAlternative -> r, Set ScopedIdent -> DoNotationElement -> r)

accumTypes :: Monoid r => (SourceType -> r) -> (Declaration -> r, Expr -> r, Binder -> r, CaseAlternative -> r, DoNotationElement -> r)

accumKinds :: Monoid r => (SourceKind -> r) -> (Declaration -> r, Expr -> r, Binder -> r, CaseAlternative -> r, DoNotationElement -> r)

overTypes :: (SourceType -> SourceType) -> Expr -> Expr

Map a function over type annotations appearing inside a value