liquidhaskell-0.5.0.1: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Bare.RTEnv

Documentation

makeRTEnv :: [(ModName, Spec ty bndr)] -> WriterT [Warn] (ErrorT Error (StateT BareEnv IO)) () Source