CLaSH.Driver

Module that connects all the parts of the CLaSH compiler library

Documentation

generateHDL

Arguments

:: Backend backend

=> BindingMap

Set of functions

-> Maybe backend

-> PrimMap

Primitive / BlackBox Definitions

-> HashMap TyConName TyCon

TyCon cache

-> (HashMap TyConName TyCon -> Type -> Maybe (Either String HWType))

Hardcoded Type -> HWType translator

-> (HashMap TyConName TyCon -> Term -> Term)

Hardcoded evaluator (delta-reduction)

-> Maybe TopEntity

-> DebugLevel

Debug information level for the normalization process

-> IO ()

Create a set of target HDL files for a set of functions

createHDL

Arguments

:: Backend backend

=> backend

Backend

-> [Component]

List of components

-> [(String, Doc)]

Pretty print Components to HDL Documents

prepareDir :: String -> IO ()

Prepares the directory for writing HDL files. This means creating the dir if it does not exist and removing all existing .hdl files from it.

writeHDL :: Backend backend => backend -> FilePath -> (String, Doc) -> IO ()

Writes a HDL file to the given directory