liquidtypes-0.1: Liquid Types for Haskell

Safe Haskell	Safe-Infered

Language.Haskell.Liquid.GhcMisc

Documentation

data MGIModGuts Source

Constructors

MI
Fields mgi_binds :: !CoreProgram mgi_module :: !Module mgi_deps :: !Dependencies mgi_dir_imps :: !ImportedMods mgi_rdr_env :: !GlobalRdrEnv mgi_tcs :: ![TyCon] mgi_fam_insts :: ![FamInst]

miModGuts :: ModGuts -> MGIModGuts Source

srcSpanTick :: Module -> SrcSpan -> Tickish aSource

tickSrcSpan :: Outputable a => Tickish a -> SrcSpan Source

stringTyVar :: String -> TyVar Source

stringTyCon :: Char -> Int -> String -> TyCon Source

hasBaseTypeVar :: Var -> Bool Source

isBaseType :: Type -> Bool Source

validTyVar :: String -> Bool Source

tvId :: Var -> [Char]Source

intersperse :: SDoc -> [SDoc] -> SDoc Source

tracePpr :: Outputable a => [Char] -> a -> aSource

pprShow :: Show a => a -> SDoc Source

dropModuleNames :: [Char] -> [Char]Source

getDataConVarUnique :: Var -> Unique Source

newtype Loc Source

Constructors

Instances

Eq Loc
Ord Loc
Show Loc
Hashable Loc

uniqueHash :: Uniquable a => a -> Int Source