liquidhaskell-0.2.1.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.GhcInterface

Contents

Synopsis

extract all information needed for verification

getGhcInfo :: Config -> FilePath -> IO (Either ErrorResult GhcInfo) Source

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