Language.Haskell.Liquid.Bare.Env

Documentation

type BareM = WriterT [Warn] (ErrorT 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

inlines :: InlnEnv

bounds :: RBEnv

data TInline

Constructors

TI

Fields

tiargs :: [Symbol]

tibody :: Either Pred Expr

Instances

Show TInline

Transformable TInline

type InlnEnv = HashMap Symbol TInline

inModule :: MonadState BareEnv m => ModName -> m b -> m b

withVArgs :: (PPrint a, MonadState BareEnv m) => SourcePos -> SourcePos -> [a] -> m b -> m b

setRTAlias :: MonadState BareEnv m => Symbol -> RTAlias RTyVar SpecType -> m ()

setRPAlias :: MonadState BareEnv m => Symbol -> RTAlias Symbol Pred -> m ()

setREAlias :: MonadState BareEnv m => Symbol -> RTAlias Symbol Expr -> m ()

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