Clash.Driver.Types

Type definitions used by the Driver module

Documentation

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

Global function binders

Global functions cannot be mutually recursive, only self-recursive

data DebugLevel

Debug Message Verbosity

Constructors

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

Instances

Eq DebugLevel

Methods

(==) :: DebugLevel -> DebugLevel -> Bool

(/=) :: DebugLevel -> DebugLevel -> Bool

Ord DebugLevel

Methods

compare :: DebugLevel -> DebugLevel -> Ordering

(<) :: DebugLevel -> DebugLevel -> Bool

(<=) :: DebugLevel -> DebugLevel -> Bool

(>) :: DebugLevel -> DebugLevel -> Bool

(>=) :: DebugLevel -> DebugLevel -> Bool

max :: DebugLevel -> DebugLevel -> DebugLevel

min :: DebugLevel -> DebugLevel -> DebugLevel

Read DebugLevel

Methods

readsPrec :: Int -> ReadS DebugLevel

readList :: ReadS [DebugLevel]

readPrec :: ReadPrec DebugLevel

readListPrec :: ReadPrec [DebugLevel]

data ClashOpts

Constructors

ClashOpts

Fields

• 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

Constructors

ClashException SrcSpan String (Maybe String)

Instances

Show ClashException

Methods

showsPrec :: Int -> ClashException -> ShowS

show :: ClashException -> String

showList :: [ClashException] -> ShowS

Exception ClashException

Methods

toException :: ClashException -> SomeException

fromException :: SomeException -> Maybe ClashException

displayException :: ClashException -> String

data Manifest

Information about the generated HDL between (sub)runs of the compiler

Constructors

Manifest

Fields

• manifestHash :: (Int, Maybe Int)

  Hash of the TopEntity and all its dependencies + (maybe) Hash of the TestBench and all its dependencies

• portInNames :: [Text]
• portInTypes :: [Text]

  The rendered versions of the types of the input ports of the TopEntity

  Used when dealing with multiple TopEntitys who have different names for types which are structurally equal

• portOutNames :: [Text]
• portOutTypes :: [Text]

  The rendered versions of the types of the output ports of the TopEntity

  Used when dealing with multiple TopEntitys who have different names for types which are structurally equal

• componentNames :: [Text]

  Names of all the generated components for the TopEntity (does not include the names of the components of the TestBench accompanying the TopEntity).

Instances

Read Manifest

Methods

readsPrec :: Int -> ReadS Manifest

readList :: ReadS [Manifest]

readPrec :: ReadPrec Manifest

readListPrec :: ReadPrec [Manifest]

Show Manifest

Methods

showsPrec :: Int -> Manifest -> ShowS

show :: Manifest -> String

showList :: [Manifest] -> ShowS

data SrcSpan :: *

Source Span

A SrcSpan identifies either a specific portion of a text file or a human-readable description of a location.

Instances

Eq SrcSpan

Methods

(==) :: SrcSpan -> SrcSpan -> Bool

(/=) :: SrcSpan -> SrcSpan -> Bool

Data SrcSpan

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcSpan -> c SrcSpan

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcSpan

toConstr :: SrcSpan -> Constr

dataTypeOf :: SrcSpan -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SrcSpan)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcSpan)

gmapT :: (forall b. Data b => b -> b) -> SrcSpan -> SrcSpan

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcSpan -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcSpan -> r

gmapQ :: (forall d. Data d => d -> u) -> SrcSpan -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcSpan -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcSpan -> m SrcSpan

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcSpan -> m SrcSpan

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcSpan -> m SrcSpan

Ord SrcSpan

Methods

compare :: SrcSpan -> SrcSpan -> Ordering

(<) :: SrcSpan -> SrcSpan -> Bool

(<=) :: SrcSpan -> SrcSpan -> Bool

(>) :: SrcSpan -> SrcSpan -> Bool

(>=) :: SrcSpan -> SrcSpan -> Bool

max :: SrcSpan -> SrcSpan -> SrcSpan

min :: SrcSpan -> SrcSpan -> SrcSpan

Show SrcSpan

Methods

showsPrec :: Int -> SrcSpan -> ShowS

show :: SrcSpan -> String

showList :: [SrcSpan] -> ShowS

NFData SrcSpan

Methods

rnf :: SrcSpan -> ()

ToJson SrcSpan

Methods

json :: SrcSpan -> JsonDoc

Outputable SrcSpan

Methods

ppr :: SrcSpan -> SDoc

pprPrec :: Rational -> SrcSpan -> SDoc

type Rep SrcSpan

type Rep SrcSpan = D1 * (MetaData "SrcSpan" "SrcLoc" "ghc" False) ((:+:) * (C1 * (MetaCons "RealSrcSpan" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * RealSrcSpan))) (C1 * (MetaCons "UnhelpfulSpan" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * FastString))))

noSrcSpan :: SrcSpan

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