liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Types.Visitors

Contents

visitors

Synopsis

visitors

class CBVisitable a where Source #

Minimal complete definition

freeVars, readVars, letVars, literals

Methods

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

readVars :: a -> [Var] Source #

letVars :: a -> [Var] Source #

literals :: a -> [Literal] Source #

Instances

CBVisitable AltCon Source #
Methods freeVars :: HashSet Var -> AltCon -> [Var] Source # readVars :: AltCon -> [Var] Source # letVars :: AltCon -> [Var] Source # literals :: AltCon -> [Literal] Source #
CBVisitable CoreBind Source #
Methods freeVars :: HashSet Var -> CoreBind -> [Var] Source # readVars :: CoreBind -> [Var] Source # letVars :: CoreBind -> [Var] Source # literals :: CoreBind -> [Literal] Source #
CBVisitable [CoreBind] Source #
Methods freeVars :: HashSet Var -> [CoreBind] -> [Var] Source # readVars :: [CoreBind] -> [Var] Source # letVars :: [CoreBind] -> [Var] Source # literals :: [CoreBind] -> [Literal] Source #
CBVisitable (Expr Var) Source #
Methods freeVars :: HashSet Var -> Expr Var -> [Var] Source # readVars :: Expr Var -> [Var] Source # letVars :: Expr Var -> [Var] Source # literals :: Expr Var -> [Literal] Source #
CBVisitable (Alt Var) Source #
Methods freeVars :: HashSet Var -> Alt Var -> [Var] Source # readVars :: Alt Var -> [Var] Source # letVars :: Alt Var -> [Var] Source # literals :: Alt Var -> [Literal] Source #