Language.Haskell.Liquid.Bare.Env

Documentation

type BareM = WriterT [Warn] (ExceptT Error (StateT BareEnv IO))

Error-Reader-IO For Bare Transformation -----------------------------------

type Warn = String

type TCEnv = HashMap TyCon RTyCon

data BareEnv

Constructors

BE

Fields

• modName :: !ModName
• tcEnv :: !TCEnv
• rtEnv :: !RTEnv
• varEnv :: ![(Symbol, Var)]
• hscEnv :: HscEnv
• logicEnv :: LogicMap
• bounds :: RBEnv
• embeds :: TCEmb TyCon
• axSyms :: HashMap Symbol LocSymbol

type InlnEnv = HashMap Symbol LMap

inModule :: ModName -> BareM b -> BareM b

withVArgs :: (Foldable t, PPrint a) => SourcePos -> SourcePos -> t a -> BareM b -> BareM b

setRTAlias :: Symbol -> RTAlias RTyVar SpecType -> BareM ()

setREAlias :: Symbol -> RTAlias Symbol Expr -> BareM ()

setEmbeds :: TCEmb TyCon -> BareM ()

execBare :: BareM a -> BareEnv -> IO (Either Error a)

insertLogicEnv :: String -> LocSymbol -> [Symbol] -> Expr -> BareM ()

insertAxiom :: Var -> Symbol -> BareM ()

addDefs :: HashSet (Var, Symbol) -> BareM ()