| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Types.Visitors
Contents
Synopsis
- class CBVisitable a where
- coreVisitor :: CoreVisitor env acc -> env -> acc -> [CoreBind] -> acc
- data CoreVisitor env acc = CoreVisitor {}
Documentation
class CBVisitable a where Source #
Methods
freeVars :: HashSet Var -> a -> [Var] Source #
readVars :: a -> [Var] Source #
Instances
visitors
coreVisitor :: CoreVisitor env acc -> env -> acc -> [CoreBind] -> acc Source #
data CoreVisitor env acc Source #
BindVisitor allows for generic, context sensitive traversals over the CoreBinds