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.TyCon

Description

Type Constructors in CoreHW

Synopsis

data TyCon
- = AlgTyCon {
  - tyConName :: !TyConName
  - tyConKind :: !Kind
  - tyConArity :: !Int
  - algTcRhs :: !AlgTyConRhs
  }
- | FunTyCon {
  - tyConName :: !TyConName
  - tyConKind :: !Kind
  - tyConArity :: !Int
  - tyConSubst :: [([Type], Type)]
  }
- | PrimTyCon {
  - tyConName :: !TyConName
  - tyConKind :: !Kind
  - tyConArity :: !Int
  }
- | SuperKindTyCon {
  - tyConName :: !TyConName
  }
type TyConName = Name TyCon
type TyConOccName = OccName TyCon
type TyConMap = HashMap TyConOccName TyCon
data AlgTyConRhs
- = DataTyCon {
  - dataCons :: [DataCon]
  }
- | NewTyCon {
  - dataCon :: !DataCon
  - ntEtadRhs :: ([TyName], Type)
  }
mkKindTyCon :: TyConName -> Kind -> TyCon
isTupleTyConLike :: TyConName -> Bool
tyConDataCons :: TyCon -> [DataCon]

Documentation

data TyCon Source #

Type Constructor

Constructors

AlgTyCon	Algorithmic DataCons
Fields tyConName :: !TyConName Name of the TyCon tyConKind :: !Kind Kind of the TyCon tyConArity :: !Int Number of type arguments algTcRhs :: !AlgTyConRhs DataCon definitions
FunTyCon	Function TyCons (e.g. type families)
Fields tyConName :: !TyConName Name of the TyCon tyConKind :: !Kind Kind of the TyCon tyConArity :: !Int Number of type arguments tyConSubst :: [([Type], Type)] List of: ([LHS match types], RHS type)
PrimTyCon	Primitive TyCons
Fields tyConName :: !TyConName Name of the TyCon tyConKind :: !Kind Kind of the TyCon tyConArity :: !Int Number of type arguments
SuperKindTyCon	To close the loop on the type hierarchy
Fields tyConName :: !TyConName Name of the TyCon

Instances

Eq TyCon Source #
Instance details Methods (==) :: TyCon -> TyCon -> Bool # (/=) :: TyCon -> TyCon -> Bool #
Ord TyCon Source #
Instance details Methods compare :: TyCon -> TyCon -> Ordering # (<) :: TyCon -> TyCon -> Bool # (<=) :: TyCon -> TyCon -> Bool # (>) :: TyCon -> TyCon -> Bool # (>=) :: TyCon -> TyCon -> Bool # max :: TyCon -> TyCon -> TyCon # min :: TyCon -> TyCon -> TyCon #
Show TyCon Source #
Instance details Methods showsPrec :: Int -> TyCon -> ShowS # show :: TyCon -> String # showList :: [TyCon] -> ShowS #
Generic TyCon Source #
Instance details Associated Types type Rep TyCon :: * -> * # Methods from :: TyCon -> Rep TyCon x # to :: Rep TyCon x -> TyCon #
NFData TyCon Source #
Instance details Methods rnf :: TyCon -> () #
Alpha TyCon Source #
Instance details Methods aeq' :: AlphaCtx -> TyCon -> TyCon -> Bool fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> TyCon -> f TyCon close :: AlphaCtx -> NamePatFind -> TyCon -> TyCon open :: AlphaCtx -> NthPatFind -> TyCon -> TyCon isPat :: TyCon -> DisjointSet AnyName isTerm :: TyCon -> All isEmbed :: TyCon -> Bool nthPatFind :: TyCon -> NthPatFind namePatFind :: TyCon -> NamePatFind swaps' :: AlphaCtx -> Perm AnyName -> TyCon -> TyCon lfreshen' :: LFresh m => AlphaCtx -> TyCon -> (TyCon -> Perm AnyName -> m b) -> m b freshen' :: Fresh m => AlphaCtx -> TyCon -> m (TyCon, Perm AnyName) acompare' :: AlphaCtx -> TyCon -> TyCon -> Ordering
Pretty TyCon Source #
Instance details Methods ppr :: LFresh m => TyCon -> m Doc Source # pprPrec :: LFresh m => Rational -> TyCon -> m Doc Source #
type Rep TyCon Source #
Instance details type Rep TyCon = D1 (MetaData "TyCon" "Clash.Core.TyCon" "clash-lib-0.99.1-inplace" False) ((C1 (MetaCons "AlgTyCon" PrefixI True) ((S1 (MetaSel (Just "tyConName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TyConName) :: S1 (MetaSel (Just "tyConKind") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Kind)) :: (S1 (MetaSel (Just "tyConArity") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :: S1 (MetaSel (Just "algTcRhs") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 AlgTyConRhs))) :+: C1 (MetaCons "FunTyCon" PrefixI True) ((S1 (MetaSel (Just "tyConName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TyConName) :: S1 (MetaSel (Just "tyConKind") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Kind)) :: (S1 (MetaSel (Just "tyConArity") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :: S1 (MetaSel (Just "tyConSubst") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [([Type], Type)])))) :+: (C1 (MetaCons "PrimTyCon" PrefixI True) (S1 (MetaSel (Just "tyConName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TyConName) :: (S1 (MetaSel (Just "tyConKind") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Kind) :: S1 (MetaSel (Just "tyConArity") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int))) :+: C1 (MetaCons "SuperKindTyCon" PrefixI True) (S1 (MetaSel (Just "tyConName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TyConName))))

type TyConName = Name TyCon Source #

TyCon reference

type TyConOccName = OccName TyCon Source #

type TyConMap = HashMap TyConOccName TyCon Source #

data AlgTyConRhs Source #

The RHS of an Algebraic Datatype

Constructors

DataTyCon
Fields dataCons :: [DataCon] The DataCons of a TyCon
NewTyCon
Fields dataCon :: !DataCon The newtype DataCon ntEtadRhs :: ([TyName], Type) The argument type of the newtype DataCon in eta-reduced form, which is just the representation of the TyCon. The TyName's are the type-variables from the corresponding TyCon.

Instances

Show AlgTyConRhs Source #
Instance details Methods showsPrec :: Int -> AlgTyConRhs -> ShowS # show :: AlgTyConRhs -> String # showList :: [AlgTyConRhs] -> ShowS #
Generic AlgTyConRhs Source #
Instance details Associated Types type Rep AlgTyConRhs :: * -> * # Methods from :: AlgTyConRhs -> Rep AlgTyConRhs x # to :: Rep AlgTyConRhs x -> AlgTyConRhs #
NFData AlgTyConRhs Source #
Instance details Methods rnf :: AlgTyConRhs -> () #
Alpha AlgTyConRhs Source #
Instance details Methods aeq' :: AlphaCtx -> AlgTyConRhs -> AlgTyConRhs -> Bool fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> AlgTyConRhs -> f AlgTyConRhs close :: AlphaCtx -> NamePatFind -> AlgTyConRhs -> AlgTyConRhs open :: AlphaCtx -> NthPatFind -> AlgTyConRhs -> AlgTyConRhs isPat :: AlgTyConRhs -> DisjointSet AnyName isTerm :: AlgTyConRhs -> All isEmbed :: AlgTyConRhs -> Bool nthPatFind :: AlgTyConRhs -> NthPatFind namePatFind :: AlgTyConRhs -> NamePatFind swaps' :: AlphaCtx -> Perm AnyName -> AlgTyConRhs -> AlgTyConRhs lfreshen' :: LFresh m => AlphaCtx -> AlgTyConRhs -> (AlgTyConRhs -> Perm AnyName -> m b) -> m b freshen' :: Fresh m => AlphaCtx -> AlgTyConRhs -> m (AlgTyConRhs, Perm AnyName) acompare' :: AlphaCtx -> AlgTyConRhs -> AlgTyConRhs -> Ordering
type Rep AlgTyConRhs Source #
Instance details type Rep AlgTyConRhs = D1 (MetaData "AlgTyConRhs" "Clash.Core.TyCon" "clash-lib-0.99.1-inplace" False) (C1 (MetaCons "DataTyCon" PrefixI True) (S1 (MetaSel (Just "dataCons") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DataCon])) :+: C1 (MetaCons "NewTyCon" PrefixI True) (S1 (MetaSel (Just "dataCon") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 DataCon) :*: S1 (MetaSel (Just "ntEtadRhs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ([TyName], Type))))

mkKindTyCon :: TyConName -> Kind -> TyCon Source #

Create a Kind out of a TyConName

isTupleTyConLike :: TyConName -> Bool Source #

Does the TyCon look like a tuple TyCon

tyConDataCons :: TyCon -> [DataCon] Source #

Get the DataCons belonging to a TyCon