CLaSH.Driver.Types

Type definitions used by the Driver module

Documentation

type BindingMap = HashMap TmName (Type, SrcSpan, Term)

Global function binders

data CLaSHOpts

Constructors

CLaSHOpts

Fields

opt_inlineLimit :: Int

opt_specLimit :: Int

opt_inlineBelow :: Int

opt_dbgLevel :: DebugLevel

opt_cleanhdl :: Bool

opt_intWidth :: Int

opt_hdlDir :: Maybe String

opt_hdlSyn :: HdlSyn

opt_errorExtra :: Bool

data CLaSHException

Constructors

CLaSHException SrcSpan String (Maybe String)

Instances

Show CLaSHException

Exception CLaSHException

data SrcSpan :: *

Instances

Eq SrcSpan

Data SrcSpan

Ord SrcSpan

Show SrcSpan

Outputable SrcSpan

noSrcSpan :: SrcSpan

Built-in "bad" SrcSpans for common sources of location uncertainty