Clash.GHCi.Common

Documentation

checkImportDirs :: Foldable t => ClashOpts -> t FilePath -> IO ()

checkMonoLocalBinds :: DynFlags -> IO ()

Checks whether MonoLocalBinds language extension is enabled when generating the HDL directly e.g. in GHCi. modules.

checkMonoLocalBindsMod :: ModSummary -> IO ()

Checks whether MonoLocalBinds language extension is enabled or not in modules.

checkClashDynamic :: DynFlags -> IO ()

getMainTopEntity

Arguments

:: HasCallStack

=> String

Module name

-> BindingMap

Map of global binders

-> [TopEntityT]

List of top entities loaded by LoadModules

-> String

string passed with -main-is

-> IO (TopEntityT, [TopEntityT])

Throws exception if -main-is was set, but no such top entity was found. Otherwise, returns main top entity and all top entities (transitively) used in the main top entity.