Language.Haskell.Liquid.Bare.Env

Contents

• Exact DataConstructor Functions

Synopsis

• type BareM = WriterT [Warn] (ExceptT Error (StateT BareEnv IO))
• type Warn = String
• type TCEnv = HashMap TyCon RTyCon
• data BareEnv = BE {
  • modName :: !ModName
  • tcEnv :: !TCEnv
  • rtEnv :: !RTEnv
  • varEnv :: !(HashMap Symbol Var)
  • hscEnv :: !HscEnv
  • logicEnv :: !LogicMap
  • dcEnv :: !DataConMap
  • bounds :: !RBEnv
  • embeds :: !(TCEmb TyCon)
  • axSyms :: !(HashMap Symbol LocSymbol)
  • propSyms :: !(HashMap Symbol LocSymbol)
  • beConfig :: !Config
  }
• 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 ()
• setDataDecls :: [DataDecl] -> BareM ()
• execBare :: BareM a -> BareEnv -> IO (Either Error a)
• insertLogicEnv :: String -> LocSymbol -> [Symbol] -> Expr -> BareM ()
• insertAxiom :: Var -> Maybe Symbol -> BareM ()
• addDefs :: HashSet (Var, Symbol) -> BareM ()
• type DataConMap = HashMap (Symbol, Int) Symbol
• dataConMap :: [DataDecl] -> DataConMap

Documentation

Exact DataConstructor Functions