Language.Fixpoint.Types.Visitor

Contents

• Visitor
• Extracting Symbolic Constants (String Literals)
• Default Visitor
• Transformers
• Accumulators
• Clients
• Predicates on Constraints
• Sorts

Synopsis

• data Visitor acc ctx = Visitor {
  • ctxExpr :: ctx -> Expr -> ctx
  • txExpr :: ctx -> Expr -> Expr
  • accExpr :: ctx -> Expr -> acc
  }
• class Visitable t where
• class SymConsts a where
• defaultVisitor :: Monoid acc => Visitor acc ctx
• trans :: (Visitable t, Monoid a) => Visitor a ctx -> ctx -> a -> t -> t
• fold :: (Visitable t, Monoid a) => Visitor a ctx -> ctx -> a -> t -> a
• stripCasts :: Visitable t => t -> t
• kvars :: Visitable t => t -> [KVar]
• eapps :: Visitable t => t -> [Expr]
• size :: Visitable t => t -> Integer
• lamSize :: Visitable t => t -> Integer
• envKVars :: TaggedC c a => BindEnv -> c a -> [KVar]
• envKVarsN :: TaggedC c a => BindEnv -> c a -> [(KVar, Int)]
• rhsKVars :: TaggedC c a => c a -> [KVar]
• mapKVars :: Visitable t => (KVar -> Maybe Expr) -> t -> t
• mapKVars' :: Visitable t => ((KVar, Subst) -> Maybe Expr) -> t -> t
• mapGVars' :: Visitable t => ((KVar, Subst) -> Maybe Expr) -> t -> t
• mapKVarSubsts :: Visitable t => (KVar -> Subst -> Subst) -> t -> t
• mapExpr :: (Expr -> Expr) -> Expr -> Expr
• mapMExpr :: Monad m => (Expr -> m Expr) -> Expr -> m Expr
• isConcC :: TaggedC c a => c a -> Bool
• isKvarC :: TaggedC c a => c a -> Bool
• foldSort :: (a -> Sort -> a) -> a -> Sort -> a
• mapSort :: (Sort -> Sort) -> Sort -> Sort

Visitor

Extracting Symbolic Constants (String Literals)

Default Visitor

Transformers

Accumulators

Clients

Predicates on Constraints

Sorts