CLaSH.Backend

Documentation

class Backend state where

Methods

initBackend :: state

Initial state for state monad

primDir :: state -> IO FilePath

Location for the primitive definitions

name :: state -> String

Name of backend, used for directory to put output files in. Should be | constant function / ignore argument.

extension :: state -> String

File extension for target langauge

extractTypes :: state -> HashSet HWType

Get the set of types out of state

genHDL :: Component -> State state (String, Doc)

Generate HDL for a Netlist component

mkTyPackage :: [HWType] -> State state Doc

Generate a HDL package containing type definitions for the given HWTypes

hdlType :: HWType -> State state Doc

Convert a Netlist HWType to a target HDL type

hdlTypeErrValue :: HWType -> State state Doc

Convert a Netlist HWType to an HDL error value for that type

hdlTypeMark :: HWType -> State state Doc

Convert a Netlist HWType to the root of a target HDL type

hdlSig :: Text -> HWType -> State state Doc

Create a signal declaration from an identifier (Text) and Netlist HWType

inst :: Declaration -> State state (Maybe Doc)

Turn a Netlist Declaration to a HDL concurrent block

expr :: Bool -> Expr -> State state Doc

Turn a Netlist expression into a HDL expression