Module

PureScript.CST.Traversal

Package: purescript-language-cst-parser
Repository: natefaubion/purescript-language-cst-parser

#Rewrite Source

type Rewrite :: Type -> (Type -> Type) -> (Type -> Type) -> Typetype Rewrite e f (g :: Type -> Type) = g e -> f (g e)

#defaultVisitorM Source

defaultVisitorM :: forall e f. Applicative f => Record (OnPureScript (Rewrite e f))

#rewriteModuleBottomUpM Source

rewriteModuleBottomUpM :: forall e m. Monad m => Record (OnPureScript (Rewrite e m)) -> Rewrite e m Module

#rewriteBinderBottomUpM Source

rewriteBinderBottomUpM :: forall e m. Monad m => Record (OnPureScript (Rewrite e m)) -> Rewrite e m Binder

#rewriteExprBottomUpM Source

rewriteExprBottomUpM :: forall e m. Monad m => Record (OnPureScript (Rewrite e m)) -> Rewrite e m Expr

#rewriteDeclBottomUpM Source

rewriteDeclBottomUpM :: forall e m. Monad m => Record (OnPureScript (Rewrite e m)) -> Rewrite e m Declaration

#rewriteTypeBottomUpM Source

rewriteTypeBottomUpM :: forall e m. Monad m => Record (OnPureScript (Rewrite e m)) -> Rewrite e m Type

#rewriteModuleTopDownM Source

rewriteModuleTopDownM :: forall e m. Monad m => Record (OnPureScript (Rewrite e m)) -> Rewrite e m Module

#rewriteBinderTopDownM Source

rewriteBinderTopDownM :: forall e m. Monad m => Record (OnPureScript (Rewrite e m)) -> Rewrite e m Binder

#rewriteExprTopDownM Source

rewriteExprTopDownM :: forall e m. Monad m => Record (OnPureScript (Rewrite e m)) -> Rewrite e m Expr

#rewriteDeclTopDownM Source

rewriteDeclTopDownM :: forall e m. Monad m => Record (OnPureScript (Rewrite e m)) -> Rewrite e m Declaration

#rewriteTypeTopDownM Source

rewriteTypeTopDownM :: forall e m. Monad m => Record (OnPureScript (Rewrite e m)) -> Rewrite e m Type

#RewriteWithContext Source

type RewriteWithContext :: Type -> Type -> (Type -> Type) -> (Type -> Type) -> Typetype RewriteWithContext c e f (g :: Type -> Type) = c -> g e -> f (Tuple c (g e))

#defaultVisitorWithContextM Source

defaultVisitorWithContextM :: forall c e m. Monad m => Record (OnPureScript (RewriteWithContext c e m))

#rewriteModuleWithContextM Source

rewriteModuleWithContextM :: forall c m e. Monad m => Record (OnPureScript (RewriteWithContext c e m)) -> RewriteWithContext c e m Module

#rewriteBinderWithContextM Source

rewriteBinderWithContextM :: forall c m e. Monad m => Record (OnPureScript (RewriteWithContext c e m)) -> RewriteWithContext c e m Binder

#rewriteExprWithContextM Source

rewriteExprWithContextM :: forall c m e. Monad m => Record (OnPureScript (RewriteWithContext c e m)) -> RewriteWithContext c e m Expr

#rewriteDeclWithContextM Source

rewriteDeclWithContextM :: forall c m e. Monad m => Record (OnPureScript (RewriteWithContext c e m)) -> RewriteWithContext c e m Declaration

#rewriteTypeWithContextM Source

rewriteTypeWithContextM :: forall c m e. Monad m => Record (OnPureScript (RewriteWithContext c e m)) -> RewriteWithContext c e m Type

#MonoidalRewrite Source

type MonoidalRewrite :: Type -> Type -> (Type -> Type) -> Typetype MonoidalRewrite e m (g :: Type -> Type) = g e -> m

#defaultMonoidalVisitor Source

defaultMonoidalVisitor :: forall e m. Monoid m => Record (OnPureScript (MonoidalRewrite e m))

#foldMapModule Source

foldMapModule :: forall e m. Monoid m => Record (OnPureScript (MonoidalRewrite e m)) -> MonoidalRewrite e m Module

#foldMapBinder Source

foldMapBinder :: forall e m. Monoid m => Record (OnPureScript (MonoidalRewrite e m)) -> MonoidalRewrite e m Binder

#foldMapDecl Source

foldMapDecl :: forall e m. Monoid m => Record (OnPureScript (MonoidalRewrite e m)) -> MonoidalRewrite e m Declaration

#foldMapExpr Source

foldMapExpr :: forall e m. Monoid m => Record (OnPureScript (MonoidalRewrite e m)) -> MonoidalRewrite e m Expr

#foldMapType Source

foldMapType :: forall e m. Monoid m => Record (OnPureScript (MonoidalRewrite e m)) -> MonoidalRewrite e m Type

#PureRewrite Source

type PureRewrite :: Type -> (Type -> Type) -> Typetype PureRewrite e (g :: Type -> Type) = g e -> g e

#defaultVisitor Source

defaultVisitor :: forall e. Record (OnPureScript (PureRewrite e))

#rewriteModuleBottomUp Source

rewriteModuleBottomUp :: forall e. Record (OnPureScript (PureRewrite e)) -> PureRewrite e Module

#rewriteBinderBottomUp Source

rewriteBinderBottomUp :: forall e. Record (OnPureScript (PureRewrite e)) -> PureRewrite e Binder

#rewriteExprBottomUp Source

rewriteExprBottomUp :: forall e. Record (OnPureScript (PureRewrite e)) -> PureRewrite e Expr

#rewriteDeclBottomUp Source

rewriteDeclBottomUp :: forall e. Record (OnPureScript (PureRewrite e)) -> PureRewrite e Declaration

#rewriteTypeBottomUp Source

rewriteTypeBottomUp :: forall e. Record (OnPureScript (PureRewrite e)) -> PureRewrite e Type

#rewriteModuleTopDown Source

rewriteModuleTopDown :: forall e. Record (OnPureScript (PureRewrite e)) -> PureRewrite e Module

#rewriteBinderTopDown Source

rewriteBinderTopDown :: forall e. Record (OnPureScript (PureRewrite e)) -> PureRewrite e Binder

#rewriteExprTopDown Source

rewriteExprTopDown :: forall e. Record (OnPureScript (PureRewrite e)) -> PureRewrite e Expr

#rewriteDeclTopDown Source

rewriteDeclTopDown :: forall e. Record (OnPureScript (PureRewrite e)) -> PureRewrite e Declaration

#rewriteTypeTopDown Source

rewriteTypeTopDown :: forall e. Record (OnPureScript (PureRewrite e)) -> PureRewrite e Type

#PureRewriteWithContext Source

type PureRewriteWithContext :: Type -> Type -> (Type -> Type) -> Typetype PureRewriteWithContext c e (g :: Type -> Type) = c -> g e -> Tuple c (g e)

#defaultVisitorWithContext Source

defaultVisitorWithContext :: forall c e. Record (OnPureScript (PureRewriteWithContext c e))

#rewriteModuleWithContext Source

rewriteModuleWithContext :: forall c e. Record (OnPureScript (PureRewriteWithContext c e)) -> PureRewriteWithContext c e Module

#rewriteBinderWithContext Source

rewriteBinderWithContext :: forall c e. Record (OnPureScript (PureRewriteWithContext c e)) -> PureRewriteWithContext c e Binder

#rewriteExprWithContext Source

rewriteExprWithContext :: forall c e. Record (OnPureScript (PureRewriteWithContext c e)) -> PureRewriteWithContext c e Expr

#rewriteDeclWithContext Source

rewriteDeclWithContext :: forall c e. Record (OnPureScript (PureRewriteWithContext c e)) -> PureRewriteWithContext c e Declaration

#rewriteTypeWithContext Source

rewriteTypeWithContext :: forall c e. Record (OnPureScript (PureRewriteWithContext c e)) -> PureRewriteWithContext c e Type

#traverseModule Source

traverseModule :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnDecl (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f Module

#traverseModuleBody Source

traverseModuleBody :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnDecl (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f ModuleBody

#traverseDecl Source

traverseDecl :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnDecl (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f Declaration

#traverseForeign Source

traverseForeign :: forall e f r. Applicative f => Record (OnType (Rewrite e f)) + r -> Rewrite e f Foreign

#traverseInstance Source

traverseInstance :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f Instance

#traverseInstanceHead Source

traverseInstanceHead :: forall e f r. Applicative f => Record (OnType (Rewrite e f)) + r -> Rewrite e f InstanceHead

#traverseInstanceBinding Source

traverseInstanceBinding :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f InstanceBinding

#traverseClassHead Source

traverseClassHead :: forall e f r. Applicative f => Record (OnType (Rewrite e f)) + r -> Rewrite e f ClassHead

#traverseOneOrDelimited Source

traverseOneOrDelimited :: forall a f. Applicative f => (a -> f a) -> Rewrite a f OneOrDelimited

#traverseDataHead Source

traverseDataHead :: forall e f r. Applicative f => Record (OnType (Rewrite e f)) + r -> Rewrite e f DataHead

#traverseDataCtor Source

traverseDataCtor :: forall e f r. Applicative f => Record (OnType (Rewrite e f)) + r -> Rewrite e f DataCtor

#traverseType Source

traverseType :: forall e f r. Applicative f => Record (OnType (Rewrite e f)) + r -> Rewrite e f Type

#traverseRow Source

traverseRow :: forall e f r. Applicative f => Record (OnType (Rewrite e f)) + r -> Rewrite e f Row

#traverseTypeVarBinding Source

traverseTypeVarBinding :: forall e f r a. Applicative f => Record (OnType (Rewrite e f)) + r -> Rewrite e f (TypeVarBinding a)

#traverseExpr Source

traverseExpr :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f Expr

#traverseExprAppSpine Source

traverseExprAppSpine :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f (AppSpine Expr)

#traverseDelimited Source

traverseDelimited :: forall f a. Applicative f => (a -> f a) -> Rewrite a f Delimited

#traverseDelimitedNonEmpty Source

traverseDelimitedNonEmpty :: forall a f. Applicative f => (a -> f a) -> Rewrite a f DelimitedNonEmpty

#traverseSeparated Source

traverseSeparated :: forall f a. Applicative f => (a -> f a) -> Rewrite a f Separated

#traverseWrapped Source

traverseWrapped :: forall f a. Applicative f => (a -> f a) -> Rewrite a f Wrapped

#traverseRecordLabeled Source

traverseRecordLabeled :: forall f a. Applicative f => (a -> f a) -> Rewrite a f RecordLabeled

#traverseLabeled Source

traverseLabeled :: forall f a b. Applicative f => (b -> f b) -> Rewrite b f (Labeled a)

#traverseRecordAccessor Source

traverseRecordAccessor :: forall e f r. Applicative f => Record (OnExpr (Rewrite e f)) + r -> Rewrite e f RecordAccessor

#traverseRecordUpdate Source

traverseRecordUpdate :: forall e f r. Applicative f => Record (OnExpr (Rewrite e f)) + r -> Rewrite e f RecordUpdate

#traverseLambda Source

traverseLambda :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f Lambda

#traverseIfThenElse Source

traverseIfThenElse :: forall e f r. Applicative f => Record (OnExpr (Rewrite e f)) + r -> Rewrite e f IfThenElse

#traverseCaseOf Source

traverseCaseOf :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f CaseOf

#traverseGuarded Source

traverseGuarded :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f Guarded

#traverseGuardedExpr Source

traverseGuardedExpr :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f GuardedExpr

#traversePatternGuard Source

traversePatternGuard :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f PatternGuard

#traverseWhere Source

traverseWhere :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f Where

#traverseLetBinding Source

traverseLetBinding :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f LetBinding

#traverseValueBindingFields Source

traverseValueBindingFields :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f ValueBindingFields

#traverseLetIn Source

traverseLetIn :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f LetIn

#traverseDoStatement Source

traverseDoStatement :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f DoStatement

#traverseDoBlock Source

traverseDoBlock :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f DoBlock

#traverseAdoBlock Source

traverseAdoBlock :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnExpr (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f AdoBlock

#traverseBinder Source

traverseBinder :: forall e f r. Applicative f => Record (OnBinder (Rewrite e f)) + (OnType (Rewrite e f)) + r -> Rewrite e f Binder

#bottomUpTraversal Source

bottomUpTraversal :: forall m e. Monad m => Record (OnPureScript (Rewrite e m)) -> Record (OnPureScript (Rewrite e m))

#rewriteBottomUpM Source

rewriteBottomUpM :: forall m e g. Monad m => (Record (OnPureScript (Rewrite e m)) -> Rewrite e m g) -> Record (OnPureScript (Rewrite e m)) -> Rewrite e m g

#topDownTraversal Source

topDownTraversal :: forall m e. Monad m => Record (OnPureScript (Rewrite e m)) -> Record (OnPureScript (Rewrite e m))

#rewriteTopDownM Source

rewriteTopDownM :: forall m e g. Monad m => (Record (OnPureScript (Rewrite e m)) -> Rewrite e m g) -> Record (OnPureScript (Rewrite e m)) -> Rewrite e m g

#topDownTraversalWithContextM Source

topDownTraversalWithContextM :: forall c m e. Monad m => Record (OnPureScript (RewriteWithContext c e m)) -> Record (OnPureScript (Rewrite e (ReaderT c m)))

#rewriteWithContextM Source

rewriteWithContextM :: forall c m e g. Monad m => (Record (OnPureScript (Rewrite e (ReaderT c m))) -> Rewrite e (ReaderT c m) g) -> Record (OnPureScript (RewriteWithContext c e m)) -> RewriteWithContext c e m g

#topDownMonoidalTraversal Source

topDownMonoidalTraversal :: forall e m. Monoid m => Record (OnPureScript (MonoidalRewrite e m)) -> Record (OnPureScript (Rewrite e (Compose (Free Identity) (Const m))))

#monoidalRewrite Source

monoidalRewrite :: forall e m g. Monoid m => (Record (OnPureScript (Rewrite e (Compose (Free Identity) (Const m)))) -> Rewrite e (Compose (Free Identity) (Const m)) g) -> Record (OnPureScript (MonoidalRewrite e m)) -> MonoidalRewrite e m g

#bottomUpPureTraversal Source

bottomUpPureTraversal :: forall e. Record (OnPureScript (PureRewrite e)) -> Record (OnPureScript (Rewrite e (Free Identity)))

#rewriteBottomUp Source

rewriteBottomUp :: forall e g. (Record (OnPureScript (Rewrite e (Free Identity))) -> Rewrite e (Free Identity) g) -> Record (OnPureScript (PureRewrite e)) -> PureRewrite e g

#topDownPureTraversal Source

topDownPureTraversal :: forall e. Record (OnPureScript (PureRewrite e)) -> Record (OnPureScript (Rewrite e (Free Identity)))

#rewriteTopDown Source

rewriteTopDown :: forall e g. (Record (OnPureScript (Rewrite e (Free Identity))) -> Rewrite e (Free Identity) g) -> Record (OnPureScript (PureRewrite e)) -> PureRewrite e g

#topDownTraversalWithContext Source

topDownTraversalWithContext :: forall c e. Record (OnPureScript (PureRewriteWithContext c e)) -> Record (OnPureScript (Rewrite e (ReaderT c Identity)))

#rewriteWithContext Source

rewriteWithContext :: forall c e g. (Record (OnPureScript (Rewrite e (ReaderT c Identity))) -> Rewrite e (ReaderT c Identity) g) -> Record (OnPureScript (PureRewriteWithContext c e)) -> PureRewriteWithContext c e g

Modules: PureScript.CST; PureScript.CST.Errors; PureScript.CST.Layout; PureScript.CST.Lexer; PureScript.CST.ModuleGraph; PureScript.CST.Parser; PureScript.CST.Parser.Monad; PureScript.CST.Print; PureScript.CST.Range; PureScript.CST.Range.TokenList; PureScript.CST.TokenStream; PureScript.CST.Traversal; PureScript.CST.Types