Safe Haskell | None |
---|---|
Language | Haskell98 |
- type BareM = WriterT [Warn] (ExceptT 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 :: (Foldable t, PPrint a, MonadState BareEnv m) => SourcePos -> SourcePos -> t a -> m b -> m b
- setRTAlias :: MonadState BareEnv m => Symbol -> RTAlias RTyVar SpecType -> m ()
- setREAlias :: MonadState BareEnv m => Symbol -> RTAlias Symbol Expr -> m ()
- execBare :: BareM a -> BareEnv -> IO (Either Error a)
- insertLogicEnv :: MonadState BareEnv m => Symbol -> [Symbol] -> Expr -> m ()
- insertAxiom :: MonadState BareEnv m => Var -> Symbol -> m ()
Documentation
type BareM = WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) Source
Error-Reader-IO For Bare Transformation --------------------------------------
inModule :: MonadState BareEnv m => ModName -> m b -> m b Source
withVArgs :: (Foldable t, PPrint a, MonadState BareEnv m) => SourcePos -> SourcePos -> t a -> m b -> m b Source
setRTAlias :: MonadState BareEnv m => Symbol -> RTAlias RTyVar SpecType -> m () Source
setREAlias :: MonadState BareEnv m => Symbol -> RTAlias Symbol Expr -> m () Source
insertLogicEnv :: MonadState BareEnv m => Symbol -> [Symbol] -> Expr -> m () Source
insertAxiom :: MonadState BareEnv m => Var -> Symbol -> m () Source