-data VHDLSession = VHDLSession {
- coreMod :: HscTypes.CoreModule, -- The current module
- nameCount :: Int, -- A counter that can be used to generate unique names
- funcs :: FuncMap -- A map from HsFunction to FlatFunction, HWFunction, VHDL Entity and Architecture
-}
-
--- | Add the function to the session
-addFunc :: HsFunction -> VHDLState ()
-addFunc hsfunc = do
- fs <- State.gets funcs -- Get the funcs element from the session
- let fs' = Map.insert hsfunc (FuncData Nothing Nothing Nothing) fs -- Insert function
- State.modify (\x -> x {funcs = fs' })
-
--- | Find the given function in the current session
-getFunc :: HsFunction -> VHDLState (Maybe FuncData)
-getFunc hsfunc = do
- fs <- State.gets funcs -- Get the funcs element from the session
- return $ Map.lookup hsfunc fs
-
--- | Gets all functions from the current session
-getFuncs :: VHDLState [(HsFunction, FuncData)]
-getFuncs = do
- fs <- State.gets funcs -- Get the funcs element from the session
- return $ Map.toList fs
-
--- | Sets the FlatFunction for the given HsFunction in the given setting.
-setFlatFunc :: HsFunction -> FlatFunction -> VHDLState ()
-setFlatFunc hsfunc flatfunc = do
- fs <- State.gets funcs -- Get the funcs element from the session
- let fs'= Map.adjust (\d -> d { flatFunc = Just flatfunc }) hsfunc fs
- State.modify (\x -> x {funcs = fs' })
-
--- | Modify all functions in the map using the given function
-modFuncs :: (HsFunction -> FuncData -> FuncData) -> VHDLState ()
-modFuncs f = do
- fs <- State.gets funcs -- Get the funcs element from the session
- let fs' = Map.mapWithKey f fs
- State.modify (\x -> x {funcs = fs' })
-
-getModule :: VHDLState HscTypes.CoreModule
-getModule = State.gets coreMod -- Get the coreMod element from the session
-
-type VHDLState = State.State VHDLSession