Language.Fixpoint.Visitor

Visitor

data Visitor acc ctx

Constructors

Visitor

Fields

ctxExpr :: ctx -> Expr -> ctx

Context ctx is built up in a "top-down" fashion but not across siblings

ctxPred :: ctx -> Pred -> ctx

txExpr :: ctx -> Expr -> Expr

Transforms can access current ctx

txPred :: ctx -> Pred -> Pred

accExpr :: ctx -> Expr -> acc

Accumulations can access current ctx; acc value is monoidal

accPred :: ctx -> Pred -> acc

Default Visitor

defaultVisitor :: Monoid acc => Visitor acc ctx

Transformers

trans :: (Visitable t, Monoid a) => Visitor a ctx -> ctx -> a -> t -> t

Accumulators

fold :: (Visitable t, Monoid a) => Visitor a ctx -> ctx -> a -> t -> a