frostc-1.0.0.0: The Frost Programming Language Compiler

Safe Haskell	Safe-Inferred
Language	Haskell2010

Codegen.State

Synopsis

type MonadCodegen m = (MonadIRBuilder m, MonadModuleBuilder m, MonadFix m, MonadState CodegenState m, MonadError CodegenError m)
type LocalState = [(String, Operand)]
type GlobalState = [(String, Operand)]
type LoopState = Maybe (Name, Name)
type UniqueNameState = Integer
data CodegenState = CodegenState {
- localState :: LocalState
- globalState :: GlobalState
- loopState :: LoopState
- allocatedVars :: LocalState
- uniqueNameState :: UniqueNameState
}
class Monad m => VarBinding m where
- getVar :: String -> m (Maybe Operand)
- addVar :: String -> Operand -> m ()
- getGlobalVar :: String -> m (Maybe Operand)
- addGlobalVar :: String -> Operand -> m ()
fresh :: MonadState CodegenState m => m Name
freshName :: MonadState CodegenState m => String -> m Name

Documentation

type MonadCodegen m = (MonadIRBuilder m, MonadModuleBuilder m, MonadFix m, MonadState CodegenState m, MonadError CodegenError m) Source #

type LocalState = [(String, Operand)] Source #

Type alias for the local code generation state.

type GlobalState = [(String, Operand)] Source #

Type alias for the global code generation state.

type LoopState = Maybe (Name, Name) Source #

Type alias for the loop code generation state.

type UniqueNameState = Integer Source #

Type alias for the variables name .

data CodegenState Source #

Combined state for code generation.

Constructors

CodegenState
Fields localState :: LocalState globalState :: GlobalState loopState :: LoopState allocatedVars :: LocalState uniqueNameState :: UniqueNameState

Instances

Instances details

Show CodegenState Source #
Instance details Defined in Codegen.State Methods showsPrec :: Int -> CodegenState -> ShowS # show :: CodegenState -> String # showList :: [CodegenState] -> ShowS #

class Monad m => VarBinding m where Source #

Variable binding typeclass.

Methods

getVar :: String -> m (Maybe Operand) Source #

addVar :: String -> Operand -> m () Source #

getGlobalVar :: String -> m (Maybe Operand) Source #

addGlobalVar :: String -> Operand -> m () Source #

Instances

Instances details

(MonadState CodegenState m, Monad m) => VarBinding m Source #
Instance details Defined in Codegen.State Methods getVar :: String -> m (Maybe Operand) Source # addVar :: String -> Operand -> m () Source # getGlobalVar :: String -> m (Maybe Operand) Source # addGlobalVar :: String -> Operand -> m () Source #

fresh :: MonadState CodegenState m => m Name Source #

freshName :: MonadState CodegenState m => String -> m Name Source #