liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.Types.Visitors

Contents

Synopsis

Documentation

class CBVisitable a where Source #

Methods

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

readVars :: a -> [Var] Source #

letVars :: a -> [Var] Source #

literals :: a -> [Literal] Source #

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

Constructors

CoreVisitor 

Fields