clash-lib-1.0.1: CAES Language for Synchronous Hardware - As a Library
Copyright(C) 2013-2016 University of Twente
2016-2017 Myrtle Software Ltd
2017 QBayLogic Google Inc.
LicenseBSD2 (see the file LICENSE)
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
Safe HaskellNone
LanguageHaskell2010

Clash.Driver.Types

Description

Type definitions used by the Driver module

Synopsis

Documentation

type BindingMap = VarEnv (Id, SrcSpan, InlineSpec, Term) Source #

Global function binders

Global functions cannot be mutually recursive, only self-recursive

data DebugLevel Source #

Debug Message Verbosity

Constructors

DebugNone

Don't show debug messages

DebugSilent

Run invariant checks and err if violated (enabled by any debug flag)

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

data ClashOpts Source #

Constructors

ClashOpts 

Fields

data Manifest Source #

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

Instances details
Read Manifest Source # 
Instance details

Defined in Clash.Driver.Types

Show Manifest Source # 
Instance details

Defined in Clash.Driver.Types