Copyright	(C) 2012-2016 University of Twente 2017 Google Inc.
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
Safe Haskell	None
Language	Haskell2010

Clash.Core.DataCon

Description

Data Constructors in CoreHW

Synopsis

data DataCon = MkData {
- dcName :: !DcName
- dcTag :: !ConTag
- dcType :: !Type
- dcUnivTyVars :: [TyName]
- dcExtTyVars :: [TyName]
- dcArgTys :: [Type]
}
type DcName = Name DataCon
type ConTag = Int
dataConInstArgTys :: DataCon -> [Type] -> Maybe [Type]

Documentation

data DataCon #

Data Constructor

Constructors

MkData

Fields

dcName :: !DcName
Name of the DataCon
dcTag :: !ConTag
Syntactical position in the type definition
dcType :: !Type
Type of the 'DataCon
dcUnivTyVars :: [TyName]
Universally quantified type-variables, these type variables are also part of the result type of the DataCon
dcExtTyVars :: [TyName]
Existentially quantified type-variables, these type variables are not part of the result of the DataCon, but only of the arguments.
dcArgTys :: [Type]
Argument types

Instances

Eq DataCon #
Instance details Defined in Clash.Core.DataCon Methods (==) :: DataCon -> DataCon -> Bool # (/=) :: DataCon -> DataCon -> Bool #
Ord DataCon #
Instance details Defined in Clash.Core.DataCon Methods compare :: DataCon -> DataCon -> Ordering # (<) :: DataCon -> DataCon -> Bool # (<=) :: DataCon -> DataCon -> Bool # (>) :: DataCon -> DataCon -> Bool # (>=) :: DataCon -> DataCon -> Bool # max :: DataCon -> DataCon -> DataCon # min :: DataCon -> DataCon -> DataCon #
Show DataCon #
Instance details Defined in Clash.Core.DataCon Methods showsPrec :: Int -> DataCon -> ShowS # show :: DataCon -> String # showList :: [DataCon] -> ShowS #
Generic DataCon #
Instance details Defined in Clash.Core.DataCon Associated Types type Rep DataCon :: * -> * # Methods from :: DataCon -> Rep DataCon x # to :: Rep DataCon x -> DataCon #
Hashable DataCon #
Instance details Defined in Clash.Core.DataCon Methods hashWithSalt :: Int -> DataCon -> Int # hash :: DataCon -> Int #
NFData DataCon #
Instance details Defined in Clash.Core.DataCon Methods rnf :: DataCon -> () #
Alpha DataCon #
Instance details Defined in Clash.Core.DataCon Methods aeq' :: AlphaCtx -> DataCon -> DataCon -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> DataCon -> f DataCon # close :: AlphaCtx -> NamePatFind -> DataCon -> DataCon # open :: AlphaCtx -> NthPatFind -> DataCon -> DataCon # isPat :: DataCon -> DisjointSet AnyName # isTerm :: DataCon -> All # isEmbed :: DataCon -> Bool # nthPatFind :: DataCon -> NthPatFind # namePatFind :: DataCon -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> DataCon -> DataCon # lfreshen' :: LFresh m => AlphaCtx -> DataCon -> (DataCon -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> DataCon -> m (DataCon, Perm AnyName) # acompare' :: AlphaCtx -> DataCon -> DataCon -> Ordering #
Pretty DataCon #
Instance details Defined in Clash.Core.Pretty Methods ppr :: LFresh m => DataCon -> m Doc # pprPrec :: LFresh m => Rational -> DataCon -> m Doc #
Subst a DataCon #
Instance details Defined in Clash.Core.DataCon Methods isvar :: DataCon -> Maybe (SubstName DataCon a) # isCoerceVar :: DataCon -> Maybe (SubstCoerce DataCon a) # subst :: Name a -> a -> DataCon -> DataCon # substs :: [(Name a, a)] -> DataCon -> DataCon #
type Rep DataCon #
Instance details Defined in Clash.Core.DataCon type Rep DataCon = D1 (MetaData "DataCon" "Clash.Core.DataCon" "clash-lib-0.99.2-HeLjqoT5HYQAP3RHiuY9iz" False) (C1 (MetaCons "MkData" PrefixI True) ((S1 (MetaSel (Just "dcName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 DcName) :: (S1 (MetaSel (Just "dcTag") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ConTag) :: S1 (MetaSel (Just "dcType") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Type))) :: (S1 (MetaSel (Just "dcUnivTyVars") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TyName]) :: (S1 (MetaSel (Just "dcExtTyVars") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TyName]) :*: S1 (MetaSel (Just "dcArgTys") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Type])))))

type DcName = Name DataCon #

DataCon reference

type ConTag = Int #

Syntactical position of the DataCon in the type definition

dataConInstArgTys :: DataCon -> [Type] -> Maybe [Type] #

Given a DataCon and a list of types, the type variables of the DataCon type are substituted for the list of types. The argument types are returned.

The list of types should be equal to the number of type variables, otherwise Nothing is returned.