Language.Fixpoint.Visitor

Visitor

data Visitor acc ctx

Constructors

Visitor

Fields

ctxExpr :: ctx -> Expr -> ctx

Context ctx is built in a "top-down" fashion; 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

Clients

kvars :: Visitable t => t -> [KVar]

envKVars :: BindEnv -> SubC a -> [KVar]

mapKVars :: Visitable t => (KVar -> Maybe Pred) -> t -> t

Sorts

foldSort :: (a -> Sort -> a) -> a -> Sort -> a

Visitors over Sort

mapSort :: (Sort -> Sort) -> Sort -> Sort