Copyright | (C) 2012-2016 University of Twente 2017 Google Inc. 2021 QBayLogic B.V. |
---|---|
License | BSD2 (see the file LICENSE) |
Maintainer | QBayLogic B.V. <devops@qbaylogic.com> |
Safe Haskell | None |
Language | Haskell2010 |
Data Constructors in CoreHW
Synopsis
- data DataCon = MkData {
- dcName :: !DcName
- dcUniq :: !Unique
- dcTag :: !ConTag
- dcType :: !Type
- dcUnivTyVars :: [TyVar]
- dcExtTyVars :: [TyVar]
- dcArgTys :: [Type]
- dcArgStrict :: [DcStrictness]
- dcFieldLabels :: [Text]
- type DcName = Name DataCon
- type ConTag = Int
- data DcStrictness
Documentation
Data Constructor
MkData | |
|
Instances
data DcStrictness Source #
Instances
Eq DcStrictness Source # | |
Defined in Clash.Core.DataCon (==) :: DcStrictness -> DcStrictness -> Bool Source # (/=) :: DcStrictness -> DcStrictness -> Bool Source # | |
Generic DcStrictness Source # | |
Defined in Clash.Core.DataCon from :: DcStrictness -> Rep DcStrictness x Source # to :: Rep DcStrictness x -> DcStrictness Source # | |
Hashable DcStrictness Source # | |
Defined in Clash.Core.DataCon hashWithSalt :: Int -> DcStrictness -> Int Source # hash :: DcStrictness -> Int Source # | |
Binary DcStrictness Source # | |
Defined in Clash.Core.DataCon put :: DcStrictness -> Put Source # get :: Get DcStrictness Source # putList :: [DcStrictness] -> Put Source # | |
NFData DcStrictness Source # | |
Defined in Clash.Core.DataCon rnf :: DcStrictness -> () Source # | |
type Rep DcStrictness Source # | |