Safe Haskell | None |
---|---|
Language | Haskell98 |
- data Visitor acc ctx = Visitor {}
- 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
- kvars :: Visitable t => t -> [KVar]
- envKVars :: BindEnv -> SubC a -> [KVar]
- mapKVars :: Visitable t => (KVar -> Maybe Pred) -> t -> t
- foldSort :: (a -> Sort -> a) -> a -> Sort -> a
- mapSort :: (Sort -> Sort) -> Sort -> Sort
Visitor
Visitor | |
|
Default Visitor
defaultVisitor :: Monoid acc => Visitor acc ctx Source