Copyright	(C) 2012-2016, University of Twente
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

Documentation

data DataCon Source #

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 Source #
Methods (==) :: DataCon -> DataCon -> Bool # (/=) :: DataCon -> DataCon -> Bool #
Ord DataCon Source #
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 Source #
Methods showsPrec :: Int -> DataCon -> ShowS # show :: DataCon -> String # showList :: [DataCon] -> ShowS #
Generic DataCon Source #
Associated Types type Rep DataCon :: * -> * # Methods from :: DataCon -> Rep DataCon x # to :: Rep DataCon x -> DataCon #
NFData DataCon Source #
Methods rnf :: DataCon -> () #
Alpha DataCon Source #
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 Source #
Methods ppr :: (Applicative m, LFresh m) => DataCon -> m Doc Source # pprPrec :: (Applicative m, LFresh m) => Rational -> DataCon -> m Doc Source #
Subst a DataCon Source #
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 Source #
type Rep DataCon = D1 (MetaData "DataCon" "CLaSH.Core.DataCon" "clash-lib-0.6.20-8SwLo8Oj03X2bDE0EC3Smi" False) (C1 (MetaCons "MkData" PrefixI True) ((::) ((::) (S1 (MetaSel (Just Symbol "dcName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 DcName)) ((::) (S1 (MetaSel (Just Symbol "dcTag") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ConTag)) (S1 (MetaSel (Just Symbol "dcType") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Type)))) ((::) (S1 (MetaSel (Just Symbol "dcUnivTyVars") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TyName])) ((:*:) (S1 (MetaSel (Just Symbol "dcExtTyVars") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TyName])) (S1 (MetaSel (Just Symbol "dcArgTys") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Type]))))))

type DcName = Name DataCon Source #

DataCon reference

type ConTag = Int Source #

Syntactical position of the DataCon in the type definition

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

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.