liquidhaskell-0.5.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Visitors

Contents

Synopsis

visitors

class CBVisitable a where Source

Methods

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

readVars :: a -> [Var] Source

letVars :: a -> [Var] Source

literals :: a -> [Literal] Source

Instances