Copyright | (C) 2013-2016 University of Twente 2016-2017 Myrtle Software Ltd 2017 QBayLogic Google Inc. |
---|---|
License | BSD2 (see the file LICENSE) |
Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
Safe Haskell | None |
Language | Haskell2010 |
Type definitions used by the Driver module
- type BindingMap = HashMap TmOccName (TmName, Type, SrcSpan, InlineSpec, Term)
- data DebugLevel
- data ClashOpts = ClashOpts {
- opt_inlineLimit :: Int
- opt_specLimit :: Int
- opt_inlineFunctionLimit :: Word
- opt_inlineConstantLimit :: Word
- opt_dbgLevel :: DebugLevel
- opt_cachehdl :: Bool
- opt_cleanhdl :: Bool
- opt_intWidth :: Int
- opt_hdlDir :: Maybe String
- opt_hdlSyn :: HdlSyn
- opt_errorExtra :: Bool
- opt_floatSupport :: Bool
- opt_allowZero :: Bool
- opt_importPaths :: [FilePath]
- data ClashException = ClashException SrcSpan String (Maybe String)
- data Manifest = Manifest {
- manifestHash :: (Int, Maybe Int)
- portInNames :: [Text]
- portInTypes :: [Text]
- portOutNames :: [Text]
- portOutTypes :: [Text]
- componentNames :: [Text]
- data SrcSpan :: *
- noSrcSpan :: SrcSpan
Documentation
type BindingMap = HashMap TmOccName (TmName, Type, SrcSpan, InlineSpec, Term) Source #
Global function binders
Global functions cannot be mutually recursive, only self-recursive
data DebugLevel Source #
Debug Message Verbosity
DebugNone | Don't show debug messages |
DebugFinal | Show completely normalized expressions |
DebugName | Names of applied transformations |
DebugApplied | Show sub-expressions after a successful rewrite |
DebugAll | Show all sub-expressions on which a rewrite is attempted |
ClashOpts | |
|
data ClashException Source #
Information about the generated HDL between (sub)runs of the compiler
Manifest | |
|
Source Span
A SrcSpan
identifies either a specific portion of a text file
or a human-readable description of a location.