Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Types.Visitors

Contents

Synopsis

class CBVisitable a where
- freeVars :: HashSet Var -> a -> [Var]
- readVars :: a -> [Var]
- letVars :: a -> [Var]
- literals :: a -> [Literal]
coreVisitor :: CoreVisitor env acc -> env -> acc -> [CoreBind] -> acc
data CoreVisitor env acc = CoreVisitor {
- envF :: env -> Var -> env
- bindF :: env -> acc -> Var -> acc
- exprF :: env -> acc -> CoreExpr -> acc
}

Documentation

class CBVisitable a where #

Methods

freeVars :: HashSet Var -> a -> [Var] #

letVars :: a -> [Var] #

Instances details

CBVisitable AltCon #
Instance details Defined in Language.Haskell.Liquid.Types.Visitors Methods freeVars :: HashSet Var -> AltCon -> [Var] # readVars :: AltCon -> [Var] # letVars :: AltCon -> [Var] # literals :: AltCon -> [Literal] #
CBVisitable CoreBind #
Instance details Defined in Language.Haskell.Liquid.Types.Visitors Methods freeVars :: HashSet Var -> CoreBind -> [Var] # readVars :: CoreBind -> [Var] # letVars :: CoreBind -> [Var] # literals :: CoreBind -> [Literal] #
CBVisitable [CoreBind] #
Instance details Defined in Language.Haskell.Liquid.Types.Visitors Methods freeVars :: HashSet Var -> [CoreBind] -> [Var] # readVars :: [CoreBind] -> [Var] # letVars :: [CoreBind] -> [Var] # literals :: [CoreBind] -> [Literal] #
CBVisitable (Expr Var) #
Instance details Defined in Language.Haskell.Liquid.Types.Visitors Methods freeVars :: HashSet Var -> Expr Var -> [Var] # readVars :: Expr Var -> [Var] # letVars :: Expr Var -> [Var] # literals :: Expr Var -> [Literal] #
CBVisitable (Alt Var) #
Instance details Defined in Language.Haskell.Liquid.Types.Visitors Methods freeVars :: HashSet Var -> Alt Var -> [Var] # readVars :: Alt Var -> [Var] # letVars :: Alt Var -> [Var] # literals :: Alt Var -> [Literal] #

visitors

coreVisitor :: CoreVisitor env acc -> env -> acc -> [CoreBind] -> acc #

data CoreVisitor env acc #

BindVisitor allows for generic, context sensitive traversals over the CoreBinds

Constructors

CoreVisitor
Fields envF :: env -> Var -> env bindF :: env -> acc -> Var -> acc exprF :: env -> acc -> CoreExpr -> acc