Copyright	(C) 2015-2016 University of Twente 2017-2018 Google Inc.
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
Safe Haskell	None
Language	Haskell2010

Clash.Backend.VHDL

Description

Generate VHDL for assorted Netlist datatypes

Synopsis

data VHDLState

Documentation

data VHDLState Source #

State for the VHDLM monad:

Instances

Instances details

HasIdentifierSet VHDLState Source #
Instance details Defined in Clash.Backend.VHDL Methods identifierSet :: Lens' VHDLState IdentifierSet Source #
Backend VHDLState Source #
Instance details Defined in Clash.Backend.VHDL Methods initBackend :: Int -> HdlSyn -> Bool -> PreserveCase -> Maybe (Maybe Int) -> AggressiveXOptBB -> VHDLState Source # hdlKind :: VHDLState -> HDL Source # primDirs :: VHDLState -> IO [FilePath] Source # name :: VHDLState -> String Source # extension :: VHDLState -> String Source # extractTypes :: VHDLState -> HashSet HWType Source # genHDL :: ModName -> SrcSpan -> IdentifierSet -> Component -> Mon (State VHDLState) ((String, Doc), [(String, Doc)]) Source # mkTyPackage :: ModName -> [HWType] -> Mon (State VHDLState) [(String, Doc)] Source # hdlType :: Usage -> HWType -> Mon (State VHDLState) Doc Source # hdlHWTypeKind :: HWType -> State VHDLState HWKind Source # hdlTypeErrValue :: HWType -> Mon (State VHDLState) Doc Source # hdlTypeMark :: HWType -> Mon (State VHDLState) Doc Source # hdlRecSel :: HWType -> Int -> Mon (State VHDLState) Doc Source # hdlSig :: Text -> HWType -> Mon (State VHDLState) Doc Source # genStmt :: Bool -> State VHDLState Doc Source # inst :: Declaration -> Mon (State VHDLState) (Maybe Doc) Source # expr :: Bool -> Expr -> Mon (State VHDLState) Doc Source # iwWidth :: State VHDLState Int Source # toBV :: HWType -> Text -> Mon (State VHDLState) Doc Source # fromBV :: HWType -> Text -> Mon (State VHDLState) Doc Source # hdlSyn :: State VHDLState HdlSyn Source # setModName :: ModName -> VHDLState -> VHDLState Source # setSrcSpan :: SrcSpan -> State VHDLState () Source # getSrcSpan :: State VHDLState SrcSpan Source # blockDecl :: Identifier -> [Declaration] -> Mon (State VHDLState) Doc Source # addIncludes :: [(String, Doc)] -> State VHDLState () Source # addLibraries :: [Text] -> State VHDLState () Source # addImports :: [Text] -> State VHDLState () Source # addAndSetData :: FilePath -> State VHDLState String Source # getDataFiles :: State VHDLState [(String, FilePath)] Source # addMemoryDataFile :: (String, String) -> State VHDLState () Source # getMemoryDataFiles :: State VHDLState [(String, String)] Source # ifThenElseExpr :: VHDLState -> Bool Source # aggressiveXOptBB :: State VHDLState AggressiveXOptBB Source #