Safe Haskell | None |
---|---|
Language | Haskell98 |
- data Visitor acc ctx = Visitor {}
- 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
defaultVisitor :: Monoid acc => Visitor acc ctx Source #
Transformers
Accumulators
Clients
stripCasts :: Visitable t => t -> t Source #