Safe Haskell | None |
---|---|
Language | Haskell98 |
- type BareM = WriterT [Warn] (ErrorT Error (StateT BareEnv IO))
- type Warn = String
- type TCEnv = HashMap TyCon RTyCon
- data BareEnv = BE {}
- data TInline = TI {}
- type InlnEnv = HashMap Symbol TInline
- inModule :: MonadState BareEnv m => ModName -> m b -> m b
- withVArgs :: (PPrint a, MonadState BareEnv m) => 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)
Documentation
type BareM = WriterT [Warn] (ErrorT Error (StateT BareEnv IO)) Source
Error-Reader-IO For Bare Transformation --------------------------------------
inModule :: MonadState BareEnv m => ModName -> m b -> m b Source
setRTAlias :: MonadState BareEnv m => Symbol -> RTAlias RTyVar SpecType -> m () Source
setRPAlias :: MonadState BareEnv m => Symbol -> RTAlias Symbol Pred -> m () Source
setREAlias :: MonadState BareEnv m => Symbol -> RTAlias Symbol Expr -> m () Source