liquidhaskell-0.6.0.0: Liquid Types for Haskell
Language.Haskell.Liquid.Types.Visitors
Contents
Synopsis
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