Clash.Backend.VHDL

Generate VHDL for assorted Netlist datatypes

Documentation

data VHDLState

State for the VHDLM monad:

Instances

Backend VHDLState

Defined in Clash.Backend.VHDL

Methods

initBackend :: Int -> HdlSyn -> Bool -> Maybe (Maybe Int) -> VHDLState

hdlKind :: VHDLState -> HDL

primDirs :: VHDLState -> IO [FilePath]

name :: VHDLState -> String

extension :: VHDLState -> String

extractTypes :: VHDLState -> HashSet HWType

genHDL :: Identifier -> SrcSpan -> HashMap Identifier Word -> Component -> Mon (State VHDLState) ((String, Doc), [(String, Doc)])

mkTyPackage :: Identifier -> [HWType] -> Mon (State VHDLState) [(String, Doc)]

hdlType :: Usage -> HWType -> Mon (State VHDLState) Doc

hdlTypeErrValue :: HWType -> Mon (State VHDLState) Doc

hdlTypeMark :: HWType -> Mon (State VHDLState) Doc

hdlRecSel :: HWType -> Int -> Mon (State VHDLState) Doc

hdlSig :: Text -> HWType -> Mon (State VHDLState) Doc

genStmt :: Bool -> State VHDLState Doc

inst :: Declaration -> Mon (State VHDLState) (Maybe Doc)

expr :: Bool -> Expr -> Mon (State VHDLState) Doc

iwWidth :: State VHDLState Int

toBV :: HWType -> Text -> Mon (State VHDLState) Doc

fromBV :: HWType -> Text -> Mon (State VHDLState) Doc

hdlSyn :: State VHDLState HdlSyn

mkIdentifier :: State VHDLState (IdType -> Identifier -> Identifier)

extendIdentifier :: State VHDLState (IdType -> Identifier -> Identifier -> Identifier)

setModName :: ModName -> VHDLState -> VHDLState

setSrcSpan :: SrcSpan -> State VHDLState ()

getSrcSpan :: State VHDLState SrcSpan

blockDecl :: Text -> [Declaration] -> Mon (State VHDLState) Doc

unextend :: State VHDLState (Identifier -> Identifier)

addIncludes :: [(String, Doc)] -> State VHDLState ()

addLibraries :: [Text] -> State VHDLState ()

addImports :: [Text] -> State VHDLState ()

addAndSetData :: FilePath -> State VHDLState String

getDataFiles :: State VHDLState [(String, FilePath)]

addMemoryDataFile :: (String, String) -> State VHDLState ()

getMemoryDataFiles :: State VHDLState [(String, String)]

seenIdentifiers :: Lens' VHDLState (HashMap Identifier Word)

ifThenElseExpr :: VHDLState -> Bool