liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Bare.RTEnv

Synopsis

Documentation

makeRTEnv :: ModName -> BareSpec -> [(ModName, BareSpec)] -> HashMap Symbol LMap -> BareM () Source #

makeRTEnv initializes the env needed to expand refinements and types, that is, the below needs to be called *before* we use expand