Language.VHDL.Syntax

1.1 Entiity Declarations

data EntityDeclaration

Constructors

EntityDeclaration

Fields

• entity_identifier :: Identifier
• entity_header :: EntityHeader
• entity_declarative_part :: EntityDeclarativePart
• entity_statement_part :: Maybe EntityStatementPart

Instances

Eq EntityDeclaration

Methods

(==) :: EntityDeclaration -> EntityDeclaration -> Bool

(/=) :: EntityDeclaration -> EntityDeclaration -> Bool

Show EntityDeclaration

Methods

showsPrec :: Int -> EntityDeclaration -> ShowS

show :: EntityDeclaration -> String

showList :: [EntityDeclaration] -> ShowS

Pretty EntityDeclaration

Methods

pp :: EntityDeclaration -> Doc

1.1.1 Entity haeder

data EntityHeader

Constructors

EntityHeader

Fields

• formal_generic_clause :: Maybe GenericClause
• formal_port_clause :: Maybe PortClause

Instances

Eq EntityHeader

Methods

(==) :: EntityHeader -> EntityHeader -> Bool

(/=) :: EntityHeader -> EntityHeader -> Bool

Show EntityHeader

Methods

showsPrec :: Int -> EntityHeader -> ShowS

show :: EntityHeader -> String

showList :: [EntityHeader] -> ShowS

Pretty EntityHeader

Methods

pp :: EntityHeader -> Doc

data GenericClause

Constructors

GenericClause GenericList

Instances

Eq GenericClause

Methods

(==) :: GenericClause -> GenericClause -> Bool

(/=) :: GenericClause -> GenericClause -> Bool

Show GenericClause

Methods

showsPrec :: Int -> GenericClause -> ShowS

show :: GenericClause -> String

showList :: [GenericClause] -> ShowS

Pretty GenericClause

Methods

pp :: GenericClause -> Doc

data PortClause

Constructors

PortClause PortList

Instances

Eq PortClause

Methods

(==) :: PortClause -> PortClause -> Bool

(/=) :: PortClause -> PortClause -> Bool

Show PortClause

Methods

showsPrec :: Int -> PortClause -> ShowS

show :: PortClause -> String

showList :: [PortClause] -> ShowS

Pretty PortClause

Methods

pp :: PortClause -> Doc

1.1.1.1 Generics

type GenericList = InterfaceList

1.1.1.2 Ports

type PortList = InterfaceList

1.1.2 Entity declarative part

type EntityDeclarativePart = [EntityDeclarativeItem]

data EntityDeclarativeItem

Constructors

EDISubprogDecl SubprogramDeclaration

EDISubprogBody SubprogramBody

EDIType TypeDeclaration

EDISubtype SubtypeDeclaration

EDIConstant ConstantDeclaration

EDISignal SignalDeclaration

EDIShared VariableDeclaration

EDIFile FileDeclaration

EDIAlias AliasDeclaration

EDIAttrDecl AttributeDeclaration

EDIAttrSpec AttributeSpecification

EDIDiscSpec DisconnectionSpecification

EDIUseClause UseClause

EDIGroupTemp GroupTemplateDeclaration

EDIGroup GroupDeclaration

Instances

Eq EntityDeclarativeItem

Methods

(==) :: EntityDeclarativeItem -> EntityDeclarativeItem -> Bool

(/=) :: EntityDeclarativeItem -> EntityDeclarativeItem -> Bool

Show EntityDeclarativeItem

Methods

showsPrec :: Int -> EntityDeclarativeItem -> ShowS

show :: EntityDeclarativeItem -> String

showList :: [EntityDeclarativeItem] -> ShowS

Pretty EntityDeclarativeItem

Methods

pp :: EntityDeclarativeItem -> Doc

1.1.3 Entity statement part

type EntityStatementPart = [EntityStatement]

data EntityStatement

Constructors

ESConcAssert ConcurrentAssertionStatement

ESPassiveConc ConcurrentProcedureCallStatement

ESPassiveProc ProcessStatement

Instances

Eq EntityStatement

Methods

(==) :: EntityStatement -> EntityStatement -> Bool

(/=) :: EntityStatement -> EntityStatement -> Bool

Show EntityStatement

Methods

showsPrec :: Int -> EntityStatement -> ShowS

show :: EntityStatement -> String

showList :: [EntityStatement] -> ShowS

Pretty EntityStatement

Methods

pp :: EntityStatement -> Doc

1.2 Arcitecture bodies

data ArchitectureBody

Constructors

ArchitectureBody

Fields

• archi_identifier :: Identifier
• archi_entity_name :: Name
• archi_declarative_part :: ArchitectureDeclarativePart
• archi_statement_part :: ArchitectureStatementPart

Instances

Eq ArchitectureBody

Methods

(==) :: ArchitectureBody -> ArchitectureBody -> Bool

(/=) :: ArchitectureBody -> ArchitectureBody -> Bool

Show ArchitectureBody

Methods

showsPrec :: Int -> ArchitectureBody -> ShowS

show :: ArchitectureBody -> String

showList :: [ArchitectureBody] -> ShowS

Pretty ArchitectureBody

Methods

pp :: ArchitectureBody -> Doc

1.2.1 Architecture declarative part

type ArchitectureDeclarativePart = [BlockDeclarativeItem]

data BlockDeclarativeItem

Constructors

BDISubprogDecl SubprogramDeclaration

BDISubprogBody SubprogramBody

BDIType TypeDeclaration

BDISubtype SubtypeDeclaration

BDIConstant ConstantDeclaration

BDISignal SignalDeclaration

BDIShared VariableDeclaration

BDIFile FileDeclaration

BDIAlias AliasDeclaration

BDIComp ComponentDeclaration

BDIAttrDecl AttributeDeclaration

BDIAttrSepc AttributeSpecification

BDIConfigSepc ConfigurationSpecification

BDIDisconSpec DisconnectionSpecification

BDIUseClause UseClause

BDIGroupTemp GroupTemplateDeclaration

BDIGroup GroupDeclaration

Instances

Eq BlockDeclarativeItem

Methods

(==) :: BlockDeclarativeItem -> BlockDeclarativeItem -> Bool

(/=) :: BlockDeclarativeItem -> BlockDeclarativeItem -> Bool

Show BlockDeclarativeItem

Methods

showsPrec :: Int -> BlockDeclarativeItem -> ShowS

show :: BlockDeclarativeItem -> String

showList :: [BlockDeclarativeItem] -> ShowS

Pretty BlockDeclarativeItem

Methods

pp :: BlockDeclarativeItem -> Doc

1.2.2 Architecture statement part

type ArchitectureStatementPart = [ConcurrentStatement]

1.3 Configuration declarations

data ConfigurationDeclaration

Constructors

ConfigurationDeclaration

Fields

• config_identifier :: Identifier
• config_entity_name :: Name
• config_declarative_part :: ConfigurationDeclarativePart
• config_block_configuration :: BlockConfiguration

Instances

Eq ConfigurationDeclaration

Methods

(==) :: ConfigurationDeclaration -> ConfigurationDeclaration -> Bool

(/=) :: ConfigurationDeclaration -> ConfigurationDeclaration -> Bool

Show ConfigurationDeclaration

Methods

showsPrec :: Int -> ConfigurationDeclaration -> ShowS

show :: ConfigurationDeclaration -> String

showList :: [ConfigurationDeclaration] -> ShowS

Pretty ConfigurationDeclaration

Methods

pp :: ConfigurationDeclaration -> Doc

type ConfigurationDeclarativePart = [ConfigurationDeclarativeItem]

data ConfigurationDeclarativeItem

Constructors

CDIUse UseClause

CDIAttrSpec AttributeSpecification

CDIGroup GroupDeclaration

Instances

Eq ConfigurationDeclarativeItem

Methods

(==) :: ConfigurationDeclarativeItem -> ConfigurationDeclarativeItem -> Bool

(/=) :: ConfigurationDeclarativeItem -> ConfigurationDeclarativeItem -> Bool

Show ConfigurationDeclarativeItem

Methods

showsPrec :: Int -> ConfigurationDeclarativeItem -> ShowS

show :: ConfigurationDeclarativeItem -> String

showList :: [ConfigurationDeclarativeItem] -> ShowS

Pretty ConfigurationDeclarativeItem

Methods

pp :: ConfigurationDeclarativeItem -> Doc

1.3.1 Block configuration

data BlockConfiguration

Constructors

BlockConfiguration

Fields

• block_specification :: BlockSpecification
• block_use_clause :: [UseClause]
• block_configuration_item :: [ConfigurationItem]

Instances

Eq BlockConfiguration

Methods

(==) :: BlockConfiguration -> BlockConfiguration -> Bool

(/=) :: BlockConfiguration -> BlockConfiguration -> Bool

Show BlockConfiguration

Methods

showsPrec :: Int -> BlockConfiguration -> ShowS

show :: BlockConfiguration -> String

showList :: [BlockConfiguration] -> ShowS

Pretty BlockConfiguration

Methods

pp :: BlockConfiguration -> Doc

data BlockSpecification

Constructors

BSArch Name

BSBlock Label

BSGen Label

Instances

Eq BlockSpecification

Methods

(==) :: BlockSpecification -> BlockSpecification -> Bool

(/=) :: BlockSpecification -> BlockSpecification -> Bool

Show BlockSpecification

Methods

showsPrec :: Int -> BlockSpecification -> ShowS

show :: BlockSpecification -> String

showList :: [BlockSpecification] -> ShowS

Pretty BlockSpecification

Methods

pp :: BlockSpecification -> Doc

data IndexSpecification

Constructors

ISRange DiscreteRange

ISExp Expression

Instances

Eq IndexSpecification

Methods

(==) :: IndexSpecification -> IndexSpecification -> Bool

(/=) :: IndexSpecification -> IndexSpecification -> Bool

Show IndexSpecification

Methods

showsPrec :: Int -> IndexSpecification -> ShowS

show :: IndexSpecification -> String

showList :: [IndexSpecification] -> ShowS

Pretty IndexSpecification

Methods

pp :: IndexSpecification -> Doc

data ConfigurationItem

Constructors

CIBlock BlockConfiguration

CIComp ComponentConfiguration

Instances

Eq ConfigurationItem

Methods

(==) :: ConfigurationItem -> ConfigurationItem -> Bool

(/=) :: ConfigurationItem -> ConfigurationItem -> Bool

Show ConfigurationItem

Methods

showsPrec :: Int -> ConfigurationItem -> ShowS

show :: ConfigurationItem -> String

showList :: [ConfigurationItem] -> ShowS

Pretty ConfigurationItem

Methods

pp :: ConfigurationItem -> Doc

1.3.2 Component configuration

data ComponentConfiguration

Constructors

ComponentConfiguration

Fields

• comp_specification :: ComponentSpecification
• comp_binding_indication :: Maybe BindingIndication
• comp_block_configuration :: Maybe BlockConfiguration

Instances

Eq ComponentConfiguration

Methods

(==) :: ComponentConfiguration -> ComponentConfiguration -> Bool

(/=) :: ComponentConfiguration -> ComponentConfiguration -> Bool

Show ComponentConfiguration

Methods

showsPrec :: Int -> ComponentConfiguration -> ShowS

show :: ComponentConfiguration -> String

showList :: [ComponentConfiguration] -> ShowS

Pretty ComponentConfiguration

Methods

pp :: ComponentConfiguration -> Doc

2.1 Subprogram declarations

type SubprogramDeclaration = SubprogramSpecification

data SubprogramSpecification

Constructors

SubprogramProcedure

Fields

• subproc_designator :: Designator
• subproc_formal_parameter_list :: Maybe FormalParameterList

SubprogramFunction

Fields

• subfun_purity :: Maybe Bool
• subfun_designator :: Designator
• subfun_formal_parameter_list :: Maybe FormalParameterList
• subfun_type_mark :: TypeMark

Instances

Eq SubprogramSpecification

Methods

(==) :: SubprogramSpecification -> SubprogramSpecification -> Bool

(/=) :: SubprogramSpecification -> SubprogramSpecification -> Bool

Show SubprogramSpecification

Methods

showsPrec :: Int -> SubprogramSpecification -> ShowS

show :: SubprogramSpecification -> String

showList :: [SubprogramSpecification] -> ShowS

Pretty SubprogramSpecification

Methods

pp :: SubprogramSpecification -> Doc

data Designator

Constructors

DId Identifier

DOp OperatorSymbol

Instances

Eq Designator

Methods

(==) :: Designator -> Designator -> Bool

(/=) :: Designator -> Designator -> Bool

Show Designator

Methods

showsPrec :: Int -> Designator -> ShowS

show :: Designator -> String

showList :: [Designator] -> ShowS

Pretty Designator

Methods

pp :: Designator -> Doc

type OperatorSymbol = StringLiteral

2.1.1 Formal parameters

type FormalParameterList = InterfaceList

2.1.1.1 Constant and variable parameters

2.1.1.2 Signal parameter

2.1.1.3 File parameter

2.2 Subprogram bodies

data SubprogramBody

Constructors

SubprogramBody

Fields

• subprog_specification :: SubprogramSpecification
• subprog_declarative_part :: SubprogramDeclarativePart
• subprog_statement_part :: SubprogramStatementPart
• subprog_kind :: Maybe SubprogramKind
• subprog_designator :: Maybe Designator

Instances

Eq SubprogramBody

Methods

(==) :: SubprogramBody -> SubprogramBody -> Bool

(/=) :: SubprogramBody -> SubprogramBody -> Bool

Show SubprogramBody

Methods

showsPrec :: Int -> SubprogramBody -> ShowS

show :: SubprogramBody -> String

showList :: [SubprogramBody] -> ShowS

Pretty SubprogramBody

Methods

pp :: SubprogramBody -> Doc

type SubprogramDeclarativePart = [SubprogramDeclarativeItem]

data SubprogramDeclarativeItem

Constructors

SDISubprogDecl SubprogramDeclaration

SDISubprogBody SubprogramBody

SDIType TypeDeclaration

SDISubtype SubtypeDeclaration

SDIConstant ConstantDeclaration

SDIVariable VariableDeclaration

SDIFile FileDeclaration

SDIAlias AliasDeclaration

SDIAttrDecl AttributeDeclaration

SDIAttrSepc AttributeSpecification

SDIUseClause UseClause

SDIGroupTemp GroupTemplateDeclaration

SDIGroup GroupDeclaration

Instances

Eq SubprogramDeclarativeItem

Methods

(==) :: SubprogramDeclarativeItem -> SubprogramDeclarativeItem -> Bool

(/=) :: SubprogramDeclarativeItem -> SubprogramDeclarativeItem -> Bool

Show SubprogramDeclarativeItem

Methods

showsPrec :: Int -> SubprogramDeclarativeItem -> ShowS

show :: SubprogramDeclarativeItem -> String

showList :: [SubprogramDeclarativeItem] -> ShowS

Pretty SubprogramDeclarativeItem

Methods

pp :: SubprogramDeclarativeItem -> Doc

type SubprogramStatementPart = [SequentialStatement]

data SubprogramKind

Constructors

Procedure

Function

Instances

Eq SubprogramKind

Methods

(==) :: SubprogramKind -> SubprogramKind -> Bool

(/=) :: SubprogramKind -> SubprogramKind -> Bool

Show SubprogramKind

Methods

showsPrec :: Int -> SubprogramKind -> ShowS

show :: SubprogramKind -> String

showList :: [SubprogramKind] -> ShowS

Pretty SubprogramKind

Methods

pp :: SubprogramKind -> Doc

2.3 Subprogram overloading

2.3.1 Operator overloading

2.3.2 Signatures

data Signature

Constructors

Signature (Maybe (Maybe [TypeMark], Maybe TypeMark))

Instances

Eq Signature

Methods

(==) :: Signature -> Signature -> Bool

(/=) :: Signature -> Signature -> Bool

Show Signature

Methods

showsPrec :: Int -> Signature -> ShowS

show :: Signature -> String

showList :: [Signature] -> ShowS

Pretty Signature

Methods

pp :: Signature -> Doc

2.4 Resolution functions

2.5 Package declarations

data PackageDeclaration

Constructors

PackageDeclaration

Fields

• packd_identifier :: Identifier
• packd_declarative_part :: PackageDeclarativePart

Instances

Eq PackageDeclaration

Methods

(==) :: PackageDeclaration -> PackageDeclaration -> Bool

(/=) :: PackageDeclaration -> PackageDeclaration -> Bool

Show PackageDeclaration

Methods

showsPrec :: Int -> PackageDeclaration -> ShowS

show :: PackageDeclaration -> String

showList :: [PackageDeclaration] -> ShowS

Pretty PackageDeclaration

Methods

pp :: PackageDeclaration -> Doc

type PackageDeclarativePart = [PackageDeclarativeItem]

data PackageDeclarativeItem

Constructors

PHDISubprogDecl SubprogramDeclaration

PHDISubprogBody SubprogramBody

PHDIType TypeDeclaration

PHDISubtype SubtypeDeclaration

PHDIConstant ConstantDeclaration

PHDISignal SignalDeclaration

PHDIShared VariableDeclaration

PHDIFile FileDeclaration

PHDIAlias AliasDeclaration

PHDIComp ComponentDeclaration

PHDIAttrDecl AttributeDeclaration

PHDIAttrSpec AttributeSpecification

PHDIDiscSpec DisconnectionSpecification

PHDIUseClause UseClause

PHDIGroupTemp GroupTemplateDeclaration

PHDIGroup GroupDeclaration

Instances

Eq PackageDeclarativeItem

Methods

(==) :: PackageDeclarativeItem -> PackageDeclarativeItem -> Bool

(/=) :: PackageDeclarativeItem -> PackageDeclarativeItem -> Bool

Show PackageDeclarativeItem

Methods

showsPrec :: Int -> PackageDeclarativeItem -> ShowS

show :: PackageDeclarativeItem -> String

showList :: [PackageDeclarativeItem] -> ShowS

Pretty PackageDeclarativeItem

Methods

pp :: PackageDeclarativeItem -> Doc

2.6 Package bodies

data PackageBody

Constructors

PackageBody

Fields

• packb_simple_name :: SimpleName
• packb_body_declarative_part :: PackageBodyDeclarativePart

Instances

Eq PackageBody

Methods

(==) :: PackageBody -> PackageBody -> Bool

(/=) :: PackageBody -> PackageBody -> Bool

Show PackageBody

Methods

showsPrec :: Int -> PackageBody -> ShowS

show :: PackageBody -> String

showList :: [PackageBody] -> ShowS

Pretty PackageBody

Methods

pp :: PackageBody -> Doc

type PackageBodyDeclarativePart = [PackageBodyDeclarativeItem]

data PackageBodyDeclarativeItem

Constructors

PBDISubprogDecl SubprogramDeclaration

PBDISubprogBody SubprogramBody

PBDIType TypeDeclaration

PBDISubtype SubtypeDeclaration

PBDIConstant ConstantDeclaration

PBDIShared VariableDeclaration

PBDIFile FileDeclaration

PBDIAlias AliasDeclaration

PBDIUseClause UseClause

PBDIGroupTemp GroupTemplateDeclaration

PBDIGroup GroupDeclaration

Instances

Eq PackageBodyDeclarativeItem

Methods

(==) :: PackageBodyDeclarativeItem -> PackageBodyDeclarativeItem -> Bool

(/=) :: PackageBodyDeclarativeItem -> PackageBodyDeclarativeItem -> Bool

Show PackageBodyDeclarativeItem

Methods

showsPrec :: Int -> PackageBodyDeclarativeItem -> ShowS

show :: PackageBodyDeclarativeItem -> String

showList :: [PackageBodyDeclarativeItem] -> ShowS

Pretty PackageBodyDeclarativeItem

Methods

pp :: PackageBodyDeclarativeItem -> Doc

2.7 Conformance rules

3.1 Scalar types

data ScalarTypeDefinition

Constructors

ScalarEnum EnumerationTypeDefinition

ScalarInt IntegerTypeDefinition

ScalarFloat FloatingTypeDefinition

ScalarPhys PhysicalTypeDefinition

Instances

Eq ScalarTypeDefinition

Methods

(==) :: ScalarTypeDefinition -> ScalarTypeDefinition -> Bool

(/=) :: ScalarTypeDefinition -> ScalarTypeDefinition -> Bool

Show ScalarTypeDefinition

Methods

showsPrec :: Int -> ScalarTypeDefinition -> ShowS

show :: ScalarTypeDefinition -> String

showList :: [ScalarTypeDefinition] -> ShowS

Pretty ScalarTypeDefinition

Methods

pp :: ScalarTypeDefinition -> Doc

data RangeConstraint

Constructors

RangeConstraint Range

Instances

Eq RangeConstraint

Methods

(==) :: RangeConstraint -> RangeConstraint -> Bool

(/=) :: RangeConstraint -> RangeConstraint -> Bool

Show RangeConstraint

Methods

showsPrec :: Int -> RangeConstraint -> ShowS

show :: RangeConstraint -> String

showList :: [RangeConstraint] -> ShowS

Pretty RangeConstraint

Methods

pp :: RangeConstraint -> Doc

data Range

Constructors

RAttr AttributeName

RSimple

Fields

• range_lower :: SimpleExpression
• range_dir :: Direction
• range_upper :: SimpleExpression

Instances

Eq Range

Methods

(==) :: Range -> Range -> Bool

(/=) :: Range -> Range -> Bool

Show Range

Methods

showsPrec :: Int -> Range -> ShowS

show :: Range -> String

showList :: [Range] -> ShowS

Pretty Range

Methods

pp :: Range -> Doc

data Direction

Constructors

To

DownTo

Instances

Eq Direction

Methods

(==) :: Direction -> Direction -> Bool

(/=) :: Direction -> Direction -> Bool

Show Direction

Methods

showsPrec :: Int -> Direction -> ShowS

show :: Direction -> String

showList :: [Direction] -> ShowS

Pretty Direction

Methods

pp :: Direction -> Doc

3.1.1 Enumeration types

data EnumerationTypeDefinition

Constructors

EnumerationTypeDefinition [EnumerationLiteral]

Instances

Eq EnumerationTypeDefinition

Methods

(==) :: EnumerationTypeDefinition -> EnumerationTypeDefinition -> Bool

(/=) :: EnumerationTypeDefinition -> EnumerationTypeDefinition -> Bool

Show EnumerationTypeDefinition

Methods

showsPrec :: Int -> EnumerationTypeDefinition -> ShowS

show :: EnumerationTypeDefinition -> String

showList :: [EnumerationTypeDefinition] -> ShowS

Pretty EnumerationTypeDefinition

Methods

pp :: EnumerationTypeDefinition -> Doc

data EnumerationLiteral

Constructors

EId Identifier

EChar CharacterLiteral

Instances

Eq EnumerationLiteral

Methods

(==) :: EnumerationLiteral -> EnumerationLiteral -> Bool

(/=) :: EnumerationLiteral -> EnumerationLiteral -> Bool

Show EnumerationLiteral

Methods

showsPrec :: Int -> EnumerationLiteral -> ShowS

show :: EnumerationLiteral -> String

showList :: [EnumerationLiteral] -> ShowS

Pretty EnumerationLiteral

Methods

pp :: EnumerationLiteral -> Doc

3.1.1.1 Predefined enumeration types

3.1.2 Integer types

type IntegerTypeDefinition = RangeConstraint

3.1.2.1 Predefined integer types

3.1.3 Physical types

data PhysicalTypeDefinition

Constructors

PhysicalTypeDefinition

Fields

• physd_range_constraint :: RangeConstraint
• physd_primary_unit_declaration :: PrimaryUnitDeclaration
• physd_secondary_unit_declaration :: [SecondaryUnitDeclaration]
• physd_simple_name :: Maybe SimpleName

Instances

Eq PhysicalTypeDefinition

Methods

(==) :: PhysicalTypeDefinition -> PhysicalTypeDefinition -> Bool

(/=) :: PhysicalTypeDefinition -> PhysicalTypeDefinition -> Bool

Show PhysicalTypeDefinition

Methods

showsPrec :: Int -> PhysicalTypeDefinition -> ShowS

show :: PhysicalTypeDefinition -> String

showList :: [PhysicalTypeDefinition] -> ShowS

Pretty PhysicalTypeDefinition

Methods

pp :: PhysicalTypeDefinition -> Doc

type PrimaryUnitDeclaration = Identifier

data SecondaryUnitDeclaration

Constructors

SecondaryUnitDeclaration Identifier PhysicalLiteral

Instances

Eq SecondaryUnitDeclaration

Methods

(==) :: SecondaryUnitDeclaration -> SecondaryUnitDeclaration -> Bool

(/=) :: SecondaryUnitDeclaration -> SecondaryUnitDeclaration -> Bool

Show SecondaryUnitDeclaration

Methods

showsPrec :: Int -> SecondaryUnitDeclaration -> ShowS

show :: SecondaryUnitDeclaration -> String

showList :: [SecondaryUnitDeclaration] -> ShowS

Pretty SecondaryUnitDeclaration

Methods

pp :: SecondaryUnitDeclaration -> Doc

data PhysicalLiteral

Constructors

PhysicalLiteral

Fields

• physl_abstract_literal :: Maybe Literal
• physl_unit_name :: Name

Instances

Eq PhysicalLiteral

Methods

(==) :: PhysicalLiteral -> PhysicalLiteral -> Bool

(/=) :: PhysicalLiteral -> PhysicalLiteral -> Bool

Show PhysicalLiteral

Methods

showsPrec :: Int -> PhysicalLiteral -> ShowS

show :: PhysicalLiteral -> String

showList :: [PhysicalLiteral] -> ShowS

Pretty PhysicalLiteral

Methods

pp :: PhysicalLiteral -> Doc

3.1.3.1 Predefined physical types

3.1.4 Floating point types

type FloatingTypeDefinition = RangeConstraint

3.1.4.1 Predefined floating point types

3.2 Composite types

data CompositeTypeDefinition

Constructors

CTDArray ArrayTypeDefinition

CTDRecord RecordTypeDefinition

Instances

Eq CompositeTypeDefinition

Methods

(==) :: CompositeTypeDefinition -> CompositeTypeDefinition -> Bool

(/=) :: CompositeTypeDefinition -> CompositeTypeDefinition -> Bool

Show CompositeTypeDefinition

Methods

showsPrec :: Int -> CompositeTypeDefinition -> ShowS

show :: CompositeTypeDefinition -> String

showList :: [CompositeTypeDefinition] -> ShowS

Pretty CompositeTypeDefinition

Methods

pp :: CompositeTypeDefinition -> Doc

3.2.1 Array types

data ArrayTypeDefinition

Constructors

ArrU UnconstrainedArrayDefinition

ArrC ConstrainedArrayDefinition

Instances

Eq ArrayTypeDefinition

Methods

(==) :: ArrayTypeDefinition -> ArrayTypeDefinition -> Bool

(/=) :: ArrayTypeDefinition -> ArrayTypeDefinition -> Bool

Show ArrayTypeDefinition

Methods

showsPrec :: Int -> ArrayTypeDefinition -> ShowS

show :: ArrayTypeDefinition -> String

showList :: [ArrayTypeDefinition] -> ShowS

Pretty ArrayTypeDefinition

Methods

pp :: ArrayTypeDefinition -> Doc

data UnconstrainedArrayDefinition

Constructors

UnconstrainedArrayDefinition

Fields

• arru_index_subtype_definition :: [IndexSubtypeDefinition]
• arru_element_subtype_indication :: SubtypeIndication

Instances

Eq UnconstrainedArrayDefinition

Methods

(==) :: UnconstrainedArrayDefinition -> UnconstrainedArrayDefinition -> Bool

(/=) :: UnconstrainedArrayDefinition -> UnconstrainedArrayDefinition -> Bool

Show UnconstrainedArrayDefinition

Methods

showsPrec :: Int -> UnconstrainedArrayDefinition -> ShowS

show :: UnconstrainedArrayDefinition -> String

showList :: [UnconstrainedArrayDefinition] -> ShowS

Pretty UnconstrainedArrayDefinition

Methods

pp :: UnconstrainedArrayDefinition -> Doc

data ConstrainedArrayDefinition

Constructors

ConstrainedArrayDefinition

Fields

• arrc_index_constraint :: IndexConstraint
• arrc_subtype_indication :: SubtypeIndication

Instances

Eq ConstrainedArrayDefinition

Methods

(==) :: ConstrainedArrayDefinition -> ConstrainedArrayDefinition -> Bool

(/=) :: ConstrainedArrayDefinition -> ConstrainedArrayDefinition -> Bool

Show ConstrainedArrayDefinition

Methods

showsPrec :: Int -> ConstrainedArrayDefinition -> ShowS

show :: ConstrainedArrayDefinition -> String

showList :: [ConstrainedArrayDefinition] -> ShowS

Pretty ConstrainedArrayDefinition

Methods

pp :: ConstrainedArrayDefinition -> Doc

data IndexSubtypeDefinition

Constructors

IndexSubtypeDefinition TypeMark

Instances

Eq IndexSubtypeDefinition

Methods

(==) :: IndexSubtypeDefinition -> IndexSubtypeDefinition -> Bool

(/=) :: IndexSubtypeDefinition -> IndexSubtypeDefinition -> Bool

Show IndexSubtypeDefinition

Methods

showsPrec :: Int -> IndexSubtypeDefinition -> ShowS

show :: IndexSubtypeDefinition -> String

showList :: [IndexSubtypeDefinition] -> ShowS

Pretty IndexSubtypeDefinition

Methods

pp :: IndexSubtypeDefinition -> Doc

data IndexConstraint

Constructors

IndexConstraint [DiscreteRange]

Instances

Eq IndexConstraint

Methods

(==) :: IndexConstraint -> IndexConstraint -> Bool

(/=) :: IndexConstraint -> IndexConstraint -> Bool

Show IndexConstraint

Methods

showsPrec :: Int -> IndexConstraint -> ShowS

show :: IndexConstraint -> String

showList :: [IndexConstraint] -> ShowS

Pretty IndexConstraint

Methods

pp :: IndexConstraint -> Doc

data DiscreteRange

Constructors

DRSub SubtypeIndication

DRRange Range

Instances

Eq DiscreteRange

Methods

(==) :: DiscreteRange -> DiscreteRange -> Bool

(/=) :: DiscreteRange -> DiscreteRange -> Bool

Show DiscreteRange

Methods

showsPrec :: Int -> DiscreteRange -> ShowS

show :: DiscreteRange -> String

showList :: [DiscreteRange] -> ShowS

Pretty DiscreteRange

Methods

pp :: DiscreteRange -> Doc

3.2.1.1 Index constraints and discrete ranges

3.2.1.2 Predefined array types

3.2.2 Record types

data RecordTypeDefinition

Constructors

RecordTypeDefinition

Fields

• rectd_element_declaration :: [ElementDeclaration]
• rectd_type_simple_name :: Maybe SimpleName

Instances

Eq RecordTypeDefinition

Methods

(==) :: RecordTypeDefinition -> RecordTypeDefinition -> Bool

(/=) :: RecordTypeDefinition -> RecordTypeDefinition -> Bool

Show RecordTypeDefinition

Methods

showsPrec :: Int -> RecordTypeDefinition -> ShowS

show :: RecordTypeDefinition -> String

showList :: [RecordTypeDefinition] -> ShowS

Pretty RecordTypeDefinition

Methods

pp :: RecordTypeDefinition -> Doc

data ElementDeclaration

Constructors

ElementDeclaration

Fields

• elemd_identifier_list :: IdentifierList
• elemd_subtype_definition :: ElementSubtypeDefinition

Instances

Eq ElementDeclaration

Methods

(==) :: ElementDeclaration -> ElementDeclaration -> Bool

(/=) :: ElementDeclaration -> ElementDeclaration -> Bool

Show ElementDeclaration

Methods

showsPrec :: Int -> ElementDeclaration -> ShowS

show :: ElementDeclaration -> String

showList :: [ElementDeclaration] -> ShowS

Pretty ElementDeclaration

Methods

pp :: ElementDeclaration -> Doc

type IdentifierList = [Identifier]

type ElementSubtypeDefinition = SubtypeIndication

3.3 Access types

data AccessTypeDefinition

Constructors

AccessTypeDefinition SubtypeIndication

Instances

Eq AccessTypeDefinition

Methods

(==) :: AccessTypeDefinition -> AccessTypeDefinition -> Bool

(/=) :: AccessTypeDefinition -> AccessTypeDefinition -> Bool

Show AccessTypeDefinition

Methods

showsPrec :: Int -> AccessTypeDefinition -> ShowS

show :: AccessTypeDefinition -> String

showList :: [AccessTypeDefinition] -> ShowS

Pretty AccessTypeDefinition

Methods

pp :: AccessTypeDefinition -> Doc

3.3.1 Incomplete type declarations

data IncompleteTypeDeclaration

Constructors

IncompleteTypeDeclaration Identifier

Instances

Eq IncompleteTypeDeclaration

Methods

(==) :: IncompleteTypeDeclaration -> IncompleteTypeDeclaration -> Bool

(/=) :: IncompleteTypeDeclaration -> IncompleteTypeDeclaration -> Bool

Show IncompleteTypeDeclaration

Methods

showsPrec :: Int -> IncompleteTypeDeclaration -> ShowS

show :: IncompleteTypeDeclaration -> String

showList :: [IncompleteTypeDeclaration] -> ShowS

Pretty IncompleteTypeDeclaration

Methods

pp :: IncompleteTypeDeclaration -> Doc

3.3.2 Allocation and deallocation of objects

3.4 File types

data FileTypeDefinition

Constructors

FileTypeDefinition TypeMark

Instances

Eq FileTypeDefinition

Methods

(==) :: FileTypeDefinition -> FileTypeDefinition -> Bool

(/=) :: FileTypeDefinition -> FileTypeDefinition -> Bool

Show FileTypeDefinition

Methods

showsPrec :: Int -> FileTypeDefinition -> ShowS

show :: FileTypeDefinition -> String

showList :: [FileTypeDefinition] -> ShowS

Pretty FileTypeDefinition

Methods

pp :: FileTypeDefinition -> Doc

3.4.1 File operations

3.5 Protected types

data Declaration

Constructors

DType TypeDeclaration

DSubtype SubtypeDeclaration

DObject ObjectDeclaration

DAlias AliasDeclaration

DComponent ComponentDeclaration

DAttribute AttributeDeclaration

DGroupTemplate GroupTemplateDeclaration

DGroup GroupDeclaration

DEntity EntityDeclaration

DConfiguration ConfigurationDeclaration

DSubprogram SubprogramDeclaration

DPackage PackageDeclaration

Instances

Eq Declaration

Methods

(==) :: Declaration -> Declaration -> Bool

(/=) :: Declaration -> Declaration -> Bool

Show Declaration

Methods

showsPrec :: Int -> Declaration -> ShowS

show :: Declaration -> String

showList :: [Declaration] -> ShowS

Pretty Declaration

Methods

pp :: Declaration -> Doc

4.1 Type declarations

data TypeDeclaration

Constructors

TDFull FullTypeDeclaration

TDPartial IncompleteTypeDeclaration

Instances

Eq TypeDeclaration

Methods

(==) :: TypeDeclaration -> TypeDeclaration -> Bool

(/=) :: TypeDeclaration -> TypeDeclaration -> Bool

Show TypeDeclaration

Methods

showsPrec :: Int -> TypeDeclaration -> ShowS

show :: TypeDeclaration -> String

showList :: [TypeDeclaration] -> ShowS

Pretty TypeDeclaration

Methods

pp :: TypeDeclaration -> Doc

data FullTypeDeclaration

Constructors

FullTypeDeclaration

Fields

• ftd_identifier :: Identifier
• ftd_type_definition :: TypeDefinition

Instances

Eq FullTypeDeclaration

Methods

(==) :: FullTypeDeclaration -> FullTypeDeclaration -> Bool

(/=) :: FullTypeDeclaration -> FullTypeDeclaration -> Bool

Show FullTypeDeclaration

Methods

showsPrec :: Int -> FullTypeDeclaration -> ShowS

show :: FullTypeDeclaration -> String

showList :: [FullTypeDeclaration] -> ShowS

Pretty FullTypeDeclaration

Methods

pp :: FullTypeDeclaration -> Doc

data TypeDefinition

Constructors

TDScalar ScalarTypeDefinition

TDComposite CompositeTypeDefinition

TDAccess AccessTypeDefinition

TDFile FileTypeDefinition

Instances

Eq TypeDefinition

Methods

(==) :: TypeDefinition -> TypeDefinition -> Bool

(/=) :: TypeDefinition -> TypeDefinition -> Bool

Show TypeDefinition

Methods

showsPrec :: Int -> TypeDefinition -> ShowS

show :: TypeDefinition -> String

showList :: [TypeDefinition] -> ShowS

Pretty TypeDefinition

Methods

pp :: TypeDefinition -> Doc

4.2 Subtype declarations

data SubtypeDeclaration

Constructors

SubtypeDeclaration

Fields

• sd_identifier :: Identifier
• sd_indication :: SubtypeIndication

Instances

Eq SubtypeDeclaration

Methods

(==) :: SubtypeDeclaration -> SubtypeDeclaration -> Bool

(/=) :: SubtypeDeclaration -> SubtypeDeclaration -> Bool

Show SubtypeDeclaration

Methods

showsPrec :: Int -> SubtypeDeclaration -> ShowS

show :: SubtypeDeclaration -> String

showList :: [SubtypeDeclaration] -> ShowS

Pretty SubtypeDeclaration

Methods

pp :: SubtypeDeclaration -> Doc

data SubtypeIndication

Constructors

SubtypeIndication

Fields

• si_resolution_function_name :: Maybe Name
• si_type_mark :: TypeMark
• si_constraint :: Maybe Constraint

Instances

Eq SubtypeIndication

Methods

(==) :: SubtypeIndication -> SubtypeIndication -> Bool

(/=) :: SubtypeIndication -> SubtypeIndication -> Bool

Show SubtypeIndication

Methods

showsPrec :: Int -> SubtypeIndication -> ShowS

show :: SubtypeIndication -> String

showList :: [SubtypeIndication] -> ShowS

Pretty SubtypeIndication

Methods

pp :: SubtypeIndication -> Doc

data TypeMark

Constructors

TMType Name

TMSubtype Name

Instances

Eq TypeMark

Methods

(==) :: TypeMark -> TypeMark -> Bool

(/=) :: TypeMark -> TypeMark -> Bool

Show TypeMark

Methods

showsPrec :: Int -> TypeMark -> ShowS

show :: TypeMark -> String

showList :: [TypeMark] -> ShowS

Pretty TypeMark

Methods

pp :: TypeMark -> Doc

data Constraint

Constructors

CRange RangeConstraint

CIndex IndexConstraint

Instances

Eq Constraint

Methods

(==) :: Constraint -> Constraint -> Bool

(/=) :: Constraint -> Constraint -> Bool

Show Constraint

Methods

showsPrec :: Int -> Constraint -> ShowS

show :: Constraint -> String

showList :: [Constraint] -> ShowS

Pretty Constraint

Methods

pp :: Constraint -> Doc

4.3 Objects

4.3.1 Object declarations

data ObjectDeclaration

Constructors

ObjConst ConstantDeclaration

ObjSig SignalDeclaration

ObjVar VariableDeclaration

ObjFile FileDeclaration

Instances

Eq ObjectDeclaration

Methods

(==) :: ObjectDeclaration -> ObjectDeclaration -> Bool

(/=) :: ObjectDeclaration -> ObjectDeclaration -> Bool

Show ObjectDeclaration

Methods

showsPrec :: Int -> ObjectDeclaration -> ShowS

show :: ObjectDeclaration -> String

showList :: [ObjectDeclaration] -> ShowS

Pretty ObjectDeclaration

Methods

pp :: ObjectDeclaration -> Doc

4.3.1.1 Constant declarations

data ConstantDeclaration

Constructors

ConstantDeclaration

Fields

• const_identifier_list :: IdentifierList
• const_subtype_indication :: SubtypeIndication
• const_expression :: Maybe Expression

Instances

Eq ConstantDeclaration

Methods

(==) :: ConstantDeclaration -> ConstantDeclaration -> Bool

(/=) :: ConstantDeclaration -> ConstantDeclaration -> Bool

Show ConstantDeclaration

Methods

showsPrec :: Int -> ConstantDeclaration -> ShowS

show :: ConstantDeclaration -> String

showList :: [ConstantDeclaration] -> ShowS

Pretty ConstantDeclaration

Methods

pp :: ConstantDeclaration -> Doc

4.3.1.2 Signal declarations

data SignalDeclaration

Constructors

SignalDeclaration

Fields

• signal_identifier_list :: IdentifierList
• signal_subtype_indication :: SubtypeIndication
• signal_kind :: Maybe SignalKind
• signal_expression :: Maybe Expression

Instances

Eq SignalDeclaration

Methods

(==) :: SignalDeclaration -> SignalDeclaration -> Bool

(/=) :: SignalDeclaration -> SignalDeclaration -> Bool

Show SignalDeclaration

Methods

showsPrec :: Int -> SignalDeclaration -> ShowS

show :: SignalDeclaration -> String

showList :: [SignalDeclaration] -> ShowS

Pretty SignalDeclaration

Methods

pp :: SignalDeclaration -> Doc

data SignalKind

Constructors

Register

Bus

Instances

Eq SignalKind

Methods

(==) :: SignalKind -> SignalKind -> Bool

(/=) :: SignalKind -> SignalKind -> Bool

Show SignalKind

Methods

showsPrec :: Int -> SignalKind -> ShowS

show :: SignalKind -> String

showList :: [SignalKind] -> ShowS

Pretty SignalKind

Methods

pp :: SignalKind -> Doc

4.3.1.3 Variable declarations

data VariableDeclaration

Constructors

VariableDeclaration

Fields

• var_shared :: Bool
• var_identifier_list :: IdentifierList
• var_subtype_indication :: SubtypeIndication
• var_expression :: Maybe Expression

Instances

Eq VariableDeclaration

Methods

(==) :: VariableDeclaration -> VariableDeclaration -> Bool

(/=) :: VariableDeclaration -> VariableDeclaration -> Bool

Show VariableDeclaration

Methods

showsPrec :: Int -> VariableDeclaration -> ShowS

show :: VariableDeclaration -> String

showList :: [VariableDeclaration] -> ShowS

Pretty VariableDeclaration

Methods

pp :: VariableDeclaration -> Doc

4.3.1.4 File declarations

data FileDeclaration

Constructors

FileDeclaration

Fields

• fd_identifier_list :: IdentifierList
• fd_subtype_indication :: SubtypeIndication
• fd_open_information :: Maybe FileOpenInformation

Instances

Eq FileDeclaration

Methods

(==) :: FileDeclaration -> FileDeclaration -> Bool

(/=) :: FileDeclaration -> FileDeclaration -> Bool

Show FileDeclaration

Methods

showsPrec :: Int -> FileDeclaration -> ShowS

show :: FileDeclaration -> String

showList :: [FileDeclaration] -> ShowS

Pretty FileDeclaration

Methods

pp :: FileDeclaration -> Doc

data FileOpenInformation

Constructors

FileOpenInformation

Fields

• foi_open_kind_expression :: Maybe Expression
• foi_logical_name :: FileLogicalName

Instances

Eq FileOpenInformation

Methods

(==) :: FileOpenInformation -> FileOpenInformation -> Bool

(/=) :: FileOpenInformation -> FileOpenInformation -> Bool

Show FileOpenInformation

Methods

showsPrec :: Int -> FileOpenInformation -> ShowS

show :: FileOpenInformation -> String

showList :: [FileOpenInformation] -> ShowS

Pretty FileOpenInformation

Methods

pp :: FileOpenInformation -> Doc

type FileLogicalName = Expression

4.3.2 Interface declarations

data InterfaceDeclaration

Constructors

InterfaceConstantDeclaration

Fields

• idecl_identifier_list :: IdentifierList
• iconst_subtype_indication :: SubtypeIndication
• iconst_static_expression :: Maybe Expression

InterfaceSignalDeclaration

Fields

• idecl_identifier_list :: IdentifierList
• isig_mode :: Maybe Mode
• isig_subtype_indication :: SubtypeIndication
• isig_bus :: Bool
• isig_static_expression :: Maybe Expression

InterfaceVariableDeclaration

Fields

• idecl_identifier_list :: IdentifierList
• ivar_mode :: Maybe Mode
• ivar_subtype_indication :: SubtypeIndication
• ivar_static_expression :: Maybe Expression

InterfaceFileDeclaration

Fields

• idecl_identifier_list :: IdentifierList
• ifile_subtype_indication :: SubtypeIndication

Instances

Eq InterfaceDeclaration

Methods

(==) :: InterfaceDeclaration -> InterfaceDeclaration -> Bool

(/=) :: InterfaceDeclaration -> InterfaceDeclaration -> Bool

Show InterfaceDeclaration

Methods

showsPrec :: Int -> InterfaceDeclaration -> ShowS

show :: InterfaceDeclaration -> String

showList :: [InterfaceDeclaration] -> ShowS

Pretty InterfaceDeclaration

Methods

pp :: InterfaceDeclaration -> Doc

data Mode

Constructors

In

Out

InOut

Buffer

Linkage

Instances

Eq Mode

Methods

(==) :: Mode -> Mode -> Bool

(/=) :: Mode -> Mode -> Bool

Show Mode

Methods

showsPrec :: Int -> Mode -> ShowS

show :: Mode -> String

showList :: [Mode] -> ShowS

Pretty Mode

Methods

pp :: Mode -> Doc

4.3.2.1 Interface lists

data InterfaceList

Constructors

InterfaceList [InterfaceElement]

Instances

Eq InterfaceList

Methods

(==) :: InterfaceList -> InterfaceList -> Bool

(/=) :: InterfaceList -> InterfaceList -> Bool

Show InterfaceList

Methods

showsPrec :: Int -> InterfaceList -> ShowS

show :: InterfaceList -> String

showList :: [InterfaceList] -> ShowS

Pretty InterfaceList

Methods

pp :: InterfaceList -> Doc

type InterfaceElement = InterfaceDeclaration

4.3.2.2 Association lists

data AssociationElement

Constructors

AssociationElement

Fields

• assoc_formal_part :: Maybe FormalPart
• assoc_actual_part :: ActualPart

Instances

Eq AssociationElement

Methods

(==) :: AssociationElement -> AssociationElement -> Bool

(/=) :: AssociationElement -> AssociationElement -> Bool

Show AssociationElement

Methods

showsPrec :: Int -> AssociationElement -> ShowS

show :: AssociationElement -> String

showList :: [AssociationElement] -> ShowS

Pretty AssociationElement

Methods

pp :: AssociationElement -> Doc

data AssociationList

Constructors

AssociationList [AssociationElement]

Instances

Eq AssociationList

Methods

(==) :: AssociationList -> AssociationList -> Bool

(/=) :: AssociationList -> AssociationList -> Bool

Show AssociationList

Methods

showsPrec :: Int -> AssociationList -> ShowS

show :: AssociationList -> String

showList :: [AssociationList] -> ShowS

Pretty AssociationList

Methods

pp :: AssociationList -> Doc

data FormalDesignator

Constructors

FDGeneric Name

FDPort Name

FDParameter Name

Instances

Eq FormalDesignator

Methods

(==) :: FormalDesignator -> FormalDesignator -> Bool

(/=) :: FormalDesignator -> FormalDesignator -> Bool

Show FormalDesignator

Methods

showsPrec :: Int -> FormalDesignator -> ShowS

show :: FormalDesignator -> String

showList :: [FormalDesignator] -> ShowS

Pretty FormalDesignator

Methods

pp :: FormalDesignator -> Doc

data FormalPart

Constructors

FPDesignator FormalDesignator

FPFunction Name FormalDesignator

FPType TypeMark FormalDesignator

Instances

Eq FormalPart

Methods

(==) :: FormalPart -> FormalPart -> Bool

(/=) :: FormalPart -> FormalPart -> Bool

Show FormalPart

Methods

showsPrec :: Int -> FormalPart -> ShowS

show :: FormalPart -> String

showList :: [FormalPart] -> ShowS

Pretty FormalPart

Methods

pp :: FormalPart -> Doc

data ActualDesignator

Constructors

ADExpression Expression

ADSignal Name

ADVariable Name

ADFile Name

ADOpen

Instances

Eq ActualDesignator

Methods

(==) :: ActualDesignator -> ActualDesignator -> Bool

(/=) :: ActualDesignator -> ActualDesignator -> Bool

Show ActualDesignator

Methods

showsPrec :: Int -> ActualDesignator -> ShowS

show :: ActualDesignator -> String

showList :: [ActualDesignator] -> ShowS

Pretty ActualDesignator

Methods

pp :: ActualDesignator -> Doc

data ActualPart

Constructors

APDesignator ActualDesignator

APFunction Name ActualDesignator

APType TypeMark ActualDesignator

Instances

Eq ActualPart

Methods

(==) :: ActualPart -> ActualPart -> Bool

(/=) :: ActualPart -> ActualPart -> Bool

Show ActualPart

Methods

showsPrec :: Int -> ActualPart -> ShowS

show :: ActualPart -> String

showList :: [ActualPart] -> ShowS

Pretty ActualPart

Methods

pp :: ActualPart -> Doc

4.3.3 Alias declarations

data AliasDeclaration

Constructors

AliasDeclaration

Fields

• alias_designator :: AliasDesignator
• alias_subtype_indication :: Maybe SubtypeIndication
• alias_name :: Name
• alias_signature :: Maybe Signature

Instances

Eq AliasDeclaration

Methods

(==) :: AliasDeclaration -> AliasDeclaration -> Bool

(/=) :: AliasDeclaration -> AliasDeclaration -> Bool

Show AliasDeclaration

Methods

showsPrec :: Int -> AliasDeclaration -> ShowS

show :: AliasDeclaration -> String

showList :: [AliasDeclaration] -> ShowS

Pretty AliasDeclaration

Methods

pp :: AliasDeclaration -> Doc

data AliasDesignator

Constructors

ADIdentifier Identifier

ADCharacter CharacterLiteral

ADOperator OperatorSymbol

Instances

Eq AliasDesignator

Methods

(==) :: AliasDesignator -> AliasDesignator -> Bool

(/=) :: AliasDesignator -> AliasDesignator -> Bool

Show AliasDesignator

Methods

showsPrec :: Int -> AliasDesignator -> ShowS

show :: AliasDesignator -> String

showList :: [AliasDesignator] -> ShowS

Pretty AliasDesignator

Methods

pp :: AliasDesignator -> Doc

4.3.3.1 Object aliases

4.3.3.2 Nonobject aliases

4.4 Attribute declarations

data AttributeDeclaration

Constructors

AttributeDeclaration

Fields

• attr_identifier :: Identifier
• attr_type_marke :: TypeMark

Instances

Eq AttributeDeclaration

Methods

(==) :: AttributeDeclaration -> AttributeDeclaration -> Bool

(/=) :: AttributeDeclaration -> AttributeDeclaration -> Bool

Show AttributeDeclaration

Methods

showsPrec :: Int -> AttributeDeclaration -> ShowS

show :: AttributeDeclaration -> String

showList :: [AttributeDeclaration] -> ShowS

Pretty AttributeDeclaration

Methods

pp :: AttributeDeclaration -> Doc

4.5 Component declarations

data ComponentDeclaration

Constructors

ComponentDeclaration

Fields

• comp_identifier :: Identifier
• comp_local_generic_clause :: Maybe GenericClause
• comp_local_port_clause :: Maybe PortClause
• comp_simple_name :: Maybe SimpleName

Instances

Eq ComponentDeclaration

Methods

(==) :: ComponentDeclaration -> ComponentDeclaration -> Bool

(/=) :: ComponentDeclaration -> ComponentDeclaration -> Bool

Show ComponentDeclaration

Methods

showsPrec :: Int -> ComponentDeclaration -> ShowS

show :: ComponentDeclaration -> String

showList :: [ComponentDeclaration] -> ShowS

Pretty ComponentDeclaration

Methods

pp :: ComponentDeclaration -> Doc

4.6 Group template declarations

data GroupTemplateDeclaration

Constructors

GroupTemplateDeclaration

Fields

• gtd_identifier :: Identifier
• gtd_entity_class_entry_list :: EntityClassEntryList

Instances

Eq GroupTemplateDeclaration

Methods

(==) :: GroupTemplateDeclaration -> GroupTemplateDeclaration -> Bool

(/=) :: GroupTemplateDeclaration -> GroupTemplateDeclaration -> Bool

Show GroupTemplateDeclaration

Methods

showsPrec :: Int -> GroupTemplateDeclaration -> ShowS

show :: GroupTemplateDeclaration -> String

showList :: [GroupTemplateDeclaration] -> ShowS

Pretty GroupTemplateDeclaration

Methods

pp :: GroupTemplateDeclaration -> Doc

type EntityClassEntryList = [EntityClassEntry]

data EntityClassEntry

Constructors

EntityClassEntry

Fields

• entc_entity_class :: EntityClass
• entc_multiple :: Bool

Instances

Eq EntityClassEntry

Methods

(==) :: EntityClassEntry -> EntityClassEntry -> Bool

(/=) :: EntityClassEntry -> EntityClassEntry -> Bool

Show EntityClassEntry

Methods

showsPrec :: Int -> EntityClassEntry -> ShowS

show :: EntityClassEntry -> String

showList :: [EntityClassEntry] -> ShowS

Pretty EntityClassEntry

Methods

pp :: EntityClassEntry -> Doc

4.7 Group declarations

data GroupDeclaration

Constructors

GroupDeclaration

Fields

• group_identifier :: Identifier
• group_template_name :: Name
• group_constituent_list :: GroupConstituentList

Instances

Eq GroupDeclaration

Methods

(==) :: GroupDeclaration -> GroupDeclaration -> Bool

(/=) :: GroupDeclaration -> GroupDeclaration -> Bool

Show GroupDeclaration

Methods

showsPrec :: Int -> GroupDeclaration -> ShowS

show :: GroupDeclaration -> String

showList :: [GroupDeclaration] -> ShowS

Pretty GroupDeclaration

Methods

pp :: GroupDeclaration -> Doc

type GroupConstituentList = [GroupConstituent]

data GroupConstituent

Constructors

GCName Name

GCChar CharacterLiteral

Instances

Eq GroupConstituent

Methods

(==) :: GroupConstituent -> GroupConstituent -> Bool

(/=) :: GroupConstituent -> GroupConstituent -> Bool

Show GroupConstituent

Methods

showsPrec :: Int -> GroupConstituent -> ShowS

show :: GroupConstituent -> String

showList :: [GroupConstituent] -> ShowS

Pretty GroupConstituent

Methods

pp :: GroupConstituent -> Doc

5.1 Attribute specification

data AttributeSpecification

Constructors

AttributeSpecification

Fields

• as_attribute_designator :: AttributeDesignator
• as_entity_specification :: EntitySpecification
• as_expression :: Expression

Instances

Eq AttributeSpecification

Methods

(==) :: AttributeSpecification -> AttributeSpecification -> Bool

(/=) :: AttributeSpecification -> AttributeSpecification -> Bool

Show AttributeSpecification

Methods

showsPrec :: Int -> AttributeSpecification -> ShowS

show :: AttributeSpecification -> String

showList :: [AttributeSpecification] -> ShowS

Pretty AttributeSpecification

Methods

pp :: AttributeSpecification -> Doc

data EntitySpecification

Constructors

EntitySpecification

Fields

• es_entity_name_list :: EntityNameList
• es_entity_class :: EntityClass

Instances

Eq EntitySpecification

Methods

(==) :: EntitySpecification -> EntitySpecification -> Bool

(/=) :: EntitySpecification -> EntitySpecification -> Bool

Show EntitySpecification

Methods

showsPrec :: Int -> EntitySpecification -> ShowS

show :: EntitySpecification -> String

showList :: [EntitySpecification] -> ShowS

Pretty EntitySpecification

Methods

pp :: EntitySpecification -> Doc

data EntityClass

Constructors

ENTITY

ARCHITECTURE

CONFIGURATION

PROCEDURE

FUNCTION

PACKAGE

TYPE

SUBTYPE

CONSTANT

SIGNAL

VARIABLE

COMPONENT

LABEL

LITERAL

UNITS

GROUP

FILE

Instances

Eq EntityClass

Methods

(==) :: EntityClass -> EntityClass -> Bool

(/=) :: EntityClass -> EntityClass -> Bool

Show EntityClass

Methods

showsPrec :: Int -> EntityClass -> ShowS

show :: EntityClass -> String

showList :: [EntityClass] -> ShowS

Pretty EntityClass

Methods

pp :: EntityClass -> Doc

data EntityNameList

Constructors

ENLDesignators [EntityDesignator]

ENLOthers

ENLAll

Instances

Eq EntityNameList

Methods

(==) :: EntityNameList -> EntityNameList -> Bool

(/=) :: EntityNameList -> EntityNameList -> Bool

Show EntityNameList

Methods

showsPrec :: Int -> EntityNameList -> ShowS

show :: EntityNameList -> String

showList :: [EntityNameList] -> ShowS

Pretty EntityNameList

Methods

pp :: EntityNameList -> Doc

data EntityDesignator

Constructors

EntityDesignator

Fields

• ed_entity_tag :: EntityTag
• ed_signature :: Maybe Signature

Instances

Eq EntityDesignator

Methods

(==) :: EntityDesignator -> EntityDesignator -> Bool

(/=) :: EntityDesignator -> EntityDesignator -> Bool

Show EntityDesignator

Methods

showsPrec :: Int -> EntityDesignator -> ShowS

show :: EntityDesignator -> String

showList :: [EntityDesignator] -> ShowS

Pretty EntityDesignator

Methods

pp :: EntityDesignator -> Doc

data EntityTag

Constructors

ETName SimpleName

ETChar CharacterLiteral

ETOp OperatorSymbol

Instances

Eq EntityTag

Methods

(==) :: EntityTag -> EntityTag -> Bool

(/=) :: EntityTag -> EntityTag -> Bool

Show EntityTag

Methods

showsPrec :: Int -> EntityTag -> ShowS

show :: EntityTag -> String

showList :: [EntityTag] -> ShowS

Pretty EntityTag

Methods

pp :: EntityTag -> Doc

5.2 Configuration specification

data ConfigurationSpecification

Constructors

ConfigurationSpecification

Fields

• cs_component_specification :: ComponentSpecification
• cs_binding_indication :: BindingIndication

Instances

Eq ConfigurationSpecification

Methods

(==) :: ConfigurationSpecification -> ConfigurationSpecification -> Bool

(/=) :: ConfigurationSpecification -> ConfigurationSpecification -> Bool

Show ConfigurationSpecification

Methods

showsPrec :: Int -> ConfigurationSpecification -> ShowS

show :: ConfigurationSpecification -> String

showList :: [ConfigurationSpecification] -> ShowS

Pretty ConfigurationSpecification

Methods

pp :: ConfigurationSpecification -> Doc

data ComponentSpecification

Constructors

ComponentSpecification

Fields

• cs_instantiation_list :: InstantiationList
• cs_component_name :: Name

Instances

Eq ComponentSpecification

Methods

(==) :: ComponentSpecification -> ComponentSpecification -> Bool

(/=) :: ComponentSpecification -> ComponentSpecification -> Bool

Show ComponentSpecification

Methods

showsPrec :: Int -> ComponentSpecification -> ShowS

show :: ComponentSpecification -> String

showList :: [ComponentSpecification] -> ShowS

Pretty ComponentSpecification

Methods

pp :: ComponentSpecification -> Doc

data InstantiationList

Constructors

ILLabels [Label]

ILOthers

ILAll

Instances

Eq InstantiationList

Methods

(==) :: InstantiationList -> InstantiationList -> Bool

(/=) :: InstantiationList -> InstantiationList -> Bool

Show InstantiationList

Methods

showsPrec :: Int -> InstantiationList -> ShowS

show :: InstantiationList -> String

showList :: [InstantiationList] -> ShowS

Pretty InstantiationList

Methods

pp :: InstantiationList -> Doc

5.2.1 Binding indication

data BindingIndication

Constructors

BindingIndication

Fields

• bi_entity_aspect :: Maybe EntityAspect
• bi_generic_map_aspect :: Maybe GenericMapAspect
• bi_port_map_aspect :: Maybe PortMapAspect

Instances

Eq BindingIndication

Methods

(==) :: BindingIndication -> BindingIndication -> Bool

(/=) :: BindingIndication -> BindingIndication -> Bool

Show BindingIndication

Methods

showsPrec :: Int -> BindingIndication -> ShowS

show :: BindingIndication -> String

showList :: [BindingIndication] -> ShowS

Pretty BindingIndication

Methods

pp :: BindingIndication -> Doc

5.2.1.1 Entity aspect

data EntityAspect

Constructors

EAEntity Name (Maybe Identifier)

EAConfig Name

EAOpen

Instances

Eq EntityAspect

Methods

(==) :: EntityAspect -> EntityAspect -> Bool

(/=) :: EntityAspect -> EntityAspect -> Bool

Show EntityAspect

Methods

showsPrec :: Int -> EntityAspect -> ShowS

show :: EntityAspect -> String

showList :: [EntityAspect] -> ShowS

Pretty EntityAspect

Methods

pp :: EntityAspect -> Doc

5.2.1.2 Generic map and port map aspects

data GenericMapAspect

Constructors

GenericMapAspect AssociationList

Instances

Eq GenericMapAspect

Methods

(==) :: GenericMapAspect -> GenericMapAspect -> Bool

(/=) :: GenericMapAspect -> GenericMapAspect -> Bool

Show GenericMapAspect

Methods

showsPrec :: Int -> GenericMapAspect -> ShowS

show :: GenericMapAspect -> String

showList :: [GenericMapAspect] -> ShowS

Pretty GenericMapAspect

Methods

pp :: GenericMapAspect -> Doc

data PortMapAspect

Constructors

PortMapAspect AssociationList

Instances

Eq PortMapAspect

Methods

(==) :: PortMapAspect -> PortMapAspect -> Bool

(/=) :: PortMapAspect -> PortMapAspect -> Bool

Show PortMapAspect

Methods

showsPrec :: Int -> PortMapAspect -> ShowS

show :: PortMapAspect -> String

showList :: [PortMapAspect] -> ShowS

Pretty PortMapAspect

Methods

pp :: PortMapAspect -> Doc

5.2.2 Default binding indication

5.3 Disconnection specification

data DisconnectionSpecification

Constructors

DisconnectionSpecification

Fields

• ds_guarded_signal_specification :: GuardedSignalSpecification
• ds_time_expression :: Expression

Instances

Eq DisconnectionSpecification

Methods

(==) :: DisconnectionSpecification -> DisconnectionSpecification -> Bool

(/=) :: DisconnectionSpecification -> DisconnectionSpecification -> Bool

Show DisconnectionSpecification

Methods

showsPrec :: Int -> DisconnectionSpecification -> ShowS

show :: DisconnectionSpecification -> String

showList :: [DisconnectionSpecification] -> ShowS

Pretty DisconnectionSpecification

Methods

pp :: DisconnectionSpecification -> Doc

data GuardedSignalSpecification

Constructors

GuardedSignalSpecification

Fields

• gs_guarded_signal_list :: SignalList
• gs_type_mark :: TypeMark

Instances

Eq GuardedSignalSpecification

Methods

(==) :: GuardedSignalSpecification -> GuardedSignalSpecification -> Bool

(/=) :: GuardedSignalSpecification -> GuardedSignalSpecification -> Bool

Show GuardedSignalSpecification

Methods

showsPrec :: Int -> GuardedSignalSpecification -> ShowS

show :: GuardedSignalSpecification -> String

showList :: [GuardedSignalSpecification] -> ShowS

Pretty GuardedSignalSpecification

Methods

pp :: GuardedSignalSpecification -> Doc

data SignalList

Constructors

SLName [Name]

SLOthers

SLAll

Instances

Eq SignalList

Methods

(==) :: SignalList -> SignalList -> Bool

(/=) :: SignalList -> SignalList -> Bool

Show SignalList

Methods

showsPrec :: Int -> SignalList -> ShowS

show :: SignalList -> String

showList :: [SignalList] -> ShowS

Pretty SignalList

Methods

pp :: SignalList -> Doc

6.1 Names

data Name

Constructors

NSimple SimpleName

NOp OperatorSymbol

NSelect SelectedName

NIndex IndexedName

NSlice SliceName

NAttr AttributeName

Instances

Eq Name

Methods

(==) :: Name -> Name -> Bool

(/=) :: Name -> Name -> Bool

Show Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

Pretty Name

Methods

pp :: Name -> Doc

data Prefix

Constructors

PName Name

PFun FunctionCall

Instances

Eq Prefix

Methods

(==) :: Prefix -> Prefix -> Bool

(/=) :: Prefix -> Prefix -> Bool

Show Prefix

Methods

showsPrec :: Int -> Prefix -> ShowS

show :: Prefix -> String

showList :: [Prefix] -> ShowS

Pretty Prefix

Methods

pp :: Prefix -> Doc

6.2 Simple names

type SimpleName = Identifier

6.3 Selected names

data SelectedName

Constructors

SelectedName

Fields

• sname_prefix :: Prefix
• sname_suffix :: Suffix

Instances

Eq SelectedName

Methods

(==) :: SelectedName -> SelectedName -> Bool

(/=) :: SelectedName -> SelectedName -> Bool

Show SelectedName

Methods

showsPrec :: Int -> SelectedName -> ShowS

show :: SelectedName -> String

showList :: [SelectedName] -> ShowS

Pretty SelectedName

Methods

pp :: SelectedName -> Doc

data Suffix

Constructors

SSimple SimpleName

SChar CharacterLiteral

SOp OperatorSymbol

SAll

Instances

Eq Suffix

Methods

(==) :: Suffix -> Suffix -> Bool

(/=) :: Suffix -> Suffix -> Bool

Show Suffix

Methods

showsPrec :: Int -> Suffix -> ShowS

show :: Suffix -> String

showList :: [Suffix] -> ShowS

Pretty Suffix

Methods

pp :: Suffix -> Doc

6.4 Indexed names

data IndexedName

Constructors

IndexedName

Fields

• iname_prefix :: Prefix
• iname_expression :: [Expression]

Instances

Eq IndexedName

Methods

(==) :: IndexedName -> IndexedName -> Bool

(/=) :: IndexedName -> IndexedName -> Bool

Show IndexedName

Methods

showsPrec :: Int -> IndexedName -> ShowS

show :: IndexedName -> String

showList :: [IndexedName] -> ShowS

Pretty IndexedName

Methods

pp :: IndexedName -> Doc

6.5 Slice names

data SliceName

Constructors

SliceName

Fields

• slice_prefix :: Prefix
• slice_discrete_range :: DiscreteRange

Instances

Eq SliceName

Methods

(==) :: SliceName -> SliceName -> Bool

(/=) :: SliceName -> SliceName -> Bool

Show SliceName

Methods

showsPrec :: Int -> SliceName -> ShowS

show :: SliceName -> String

showList :: [SliceName] -> ShowS

Pretty SliceName

Methods

pp :: SliceName -> Doc

6.6 Attribute names

data AttributeName

Constructors

AttributeName

Fields

• aname_prefix :: Prefix
• aname_signature :: Maybe Signature
• aname_attribute_designator :: AttributeDesignator
• aname_expression :: Maybe Expression

Instances

Eq AttributeName

Methods

(==) :: AttributeName -> AttributeName -> Bool

(/=) :: AttributeName -> AttributeName -> Bool

Show AttributeName

Methods

showsPrec :: Int -> AttributeName -> ShowS

show :: AttributeName -> String

showList :: [AttributeName] -> ShowS

Pretty AttributeName

Methods

pp :: AttributeName -> Doc

type AttributeDesignator = SimpleName

7.1 Rules for expressions

data Expression

Constructors

EAnd [Relation]

EOr [Relation]

EXor [Relation]

ENand Relation (Maybe Relation)

ENor Relation (Maybe Relation)

EXnor [Relation]

Instances

Eq Expression

Methods

(==) :: Expression -> Expression -> Bool

(/=) :: Expression -> Expression -> Bool

Show Expression

Methods

showsPrec :: Int -> Expression -> ShowS

show :: Expression -> String

showList :: [Expression] -> ShowS

Pretty Expression

Methods

pp :: Expression -> Doc

data Relation

Constructors

Relation

Fields

• relation_shift_expression :: ShiftExpression
• relation_operator :: Maybe (RelationalOperator, ShiftExpression)

Instances

Eq Relation

Methods

(==) :: Relation -> Relation -> Bool

(/=) :: Relation -> Relation -> Bool

Show Relation

Methods

showsPrec :: Int -> Relation -> ShowS

show :: Relation -> String

showList :: [Relation] -> ShowS

Pretty Relation

Methods

pp :: Relation -> Doc

data ShiftExpression

Constructors

ShiftExpression

Fields

• shifte_simple_expression :: SimpleExpression
• shifte_shift_operator :: Maybe (ShiftOperator, SimpleExpression)

Instances

Eq ShiftExpression

Methods

(==) :: ShiftExpression -> ShiftExpression -> Bool

(/=) :: ShiftExpression -> ShiftExpression -> Bool

Show ShiftExpression

Methods

showsPrec :: Int -> ShiftExpression -> ShowS

show :: ShiftExpression -> String

showList :: [ShiftExpression] -> ShowS

Pretty ShiftExpression

Methods

pp :: ShiftExpression -> Doc

data SimpleExpression

Constructors

SimpleExpression

Fields

• sexp_sign :: Maybe Sign
• sexp_term :: Term
• sexp_adding :: [(AddingOperator, Term)]

Instances

Eq SimpleExpression

Methods

(==) :: SimpleExpression -> SimpleExpression -> Bool

(/=) :: SimpleExpression -> SimpleExpression -> Bool

Show SimpleExpression

Methods

showsPrec :: Int -> SimpleExpression -> ShowS

show :: SimpleExpression -> String

showList :: [SimpleExpression] -> ShowS

Pretty SimpleExpression

Methods

pp :: SimpleExpression -> Doc

data Term

Constructors

Term

Fields

• term_factor :: Factor
• term_multiplying :: [(MultiplyingOperator, Factor)]

Instances

Eq Term

Methods

(==) :: Term -> Term -> Bool

(/=) :: Term -> Term -> Bool

Show Term

Methods

showsPrec :: Int -> Term -> ShowS

show :: Term -> String

showList :: [Term] -> ShowS

Pretty Term

Methods

pp :: Term -> Doc

data Factor

Constructors

FacPrim Primary (Maybe Primary)

FacAbs Primary

FacNot Primary

Instances

Eq Factor

Methods

(==) :: Factor -> Factor -> Bool

(/=) :: Factor -> Factor -> Bool

Show Factor

Methods

showsPrec :: Int -> Factor -> ShowS

show :: Factor -> String

showList :: [Factor] -> ShowS

Pretty Factor

Methods

pp :: Factor -> Doc

data Primary

Constructors

PrimName Name

PrimLit Literal

PrimAgg Aggregate

PrimFun FunctionCall

PrimQual QualifiedExpression

PrimTCon TypeConversion

PrimAlloc Allocator

PrimExp Expression

Instances

Eq Primary

Methods

(==) :: Primary -> Primary -> Bool

(/=) :: Primary -> Primary -> Bool

Show Primary

Methods

showsPrec :: Int -> Primary -> ShowS

show :: Primary -> String

showList :: [Primary] -> ShowS

Pretty Primary

Methods

pp :: Primary -> Doc

7.2 Operators

data LogicalOperator

Constructors

And

Or

Nand

Nor

Xor

Xnor

Instances

Eq LogicalOperator

Methods

(==) :: LogicalOperator -> LogicalOperator -> Bool

(/=) :: LogicalOperator -> LogicalOperator -> Bool

Show LogicalOperator

Methods

showsPrec :: Int -> LogicalOperator -> ShowS

show :: LogicalOperator -> String

showList :: [LogicalOperator] -> ShowS

Pretty LogicalOperator

Methods

pp :: LogicalOperator -> Doc

data RelationalOperator

Constructors

Eq

Neq

Lt

Lte

Gt

Gte

Instances

Eq RelationalOperator

Methods

(==) :: RelationalOperator -> RelationalOperator -> Bool

(/=) :: RelationalOperator -> RelationalOperator -> Bool

Show RelationalOperator

Methods

showsPrec :: Int -> RelationalOperator -> ShowS

show :: RelationalOperator -> String

showList :: [RelationalOperator] -> ShowS

Pretty RelationalOperator

Methods

pp :: RelationalOperator -> Doc

data ShiftOperator

Constructors

Sll

Srl

Sla

Sra

Rol

Ror

Instances

Eq ShiftOperator

Methods

(==) :: ShiftOperator -> ShiftOperator -> Bool

(/=) :: ShiftOperator -> ShiftOperator -> Bool

Show ShiftOperator

Methods

showsPrec :: Int -> ShiftOperator -> ShowS

show :: ShiftOperator -> String

showList :: [ShiftOperator] -> ShowS

Pretty ShiftOperator

Methods

pp :: ShiftOperator -> Doc

data AddingOperator

Constructors

Plus

Minus

Concat

Instances

Eq AddingOperator

Methods

(==) :: AddingOperator -> AddingOperator -> Bool

(/=) :: AddingOperator -> AddingOperator -> Bool

Show AddingOperator

Methods

showsPrec :: Int -> AddingOperator -> ShowS

show :: AddingOperator -> String

showList :: [AddingOperator] -> ShowS

Pretty AddingOperator

Methods

pp :: AddingOperator -> Doc

data Sign

Constructors

Identity

Negation

Instances

Eq Sign

Methods

(==) :: Sign -> Sign -> Bool

(/=) :: Sign -> Sign -> Bool

Show Sign

Methods

showsPrec :: Int -> Sign -> ShowS

show :: Sign -> String

showList :: [Sign] -> ShowS

Pretty Sign

Methods

pp :: Sign -> Doc

data MultiplyingOperator

Constructors

Times

Div

Mod

Rem

Instances

Eq MultiplyingOperator

Methods

(==) :: MultiplyingOperator -> MultiplyingOperator -> Bool

(/=) :: MultiplyingOperator -> MultiplyingOperator -> Bool

Show MultiplyingOperator

Methods

showsPrec :: Int -> MultiplyingOperator -> ShowS

show :: MultiplyingOperator -> String

showList :: [MultiplyingOperator] -> ShowS

Pretty MultiplyingOperator

Methods

pp :: MultiplyingOperator -> Doc

data MiscellaneousOperator

Constructors

Exp

Abs

Not

Instances

Eq MiscellaneousOperator

Methods

(==) :: MiscellaneousOperator -> MiscellaneousOperator -> Bool

(/=) :: MiscellaneousOperator -> MiscellaneousOperator -> Bool

Show MiscellaneousOperator

Methods

showsPrec :: Int -> MiscellaneousOperator -> ShowS

show :: MiscellaneousOperator -> String

showList :: [MiscellaneousOperator] -> ShowS

Pretty MiscellaneousOperator

Methods

pp :: MiscellaneousOperator -> Doc

7.2.1 Logical operators

7.2.2 Relational operators

7.2.3 Shift operators

7.2.4 Adding operators

7.2.5 Sign operators

7.2.6 Multiplying operators

7.2.7 Miscellaneous operators

7.3 Operands

7.3.1 Literals

data Literal

Constructors

LitNum NumericLiteral

LitEnum EnumerationLiteral

LitString StringLiteral

LitBitString BitStringLiteral

LitNull

Instances

Eq Literal

Methods

(==) :: Literal -> Literal -> Bool

(/=) :: Literal -> Literal -> Bool

Show Literal

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

Pretty Literal

Methods

pp :: Literal -> Doc

data NumericLiteral

Constructors

NLitAbstract AbstractLiteral

NLitPhysical PhysicalLiteral

Instances

Eq NumericLiteral

Methods

(==) :: NumericLiteral -> NumericLiteral -> Bool

(/=) :: NumericLiteral -> NumericLiteral -> Bool

Show NumericLiteral

Methods

showsPrec :: Int -> NumericLiteral -> ShowS

show :: NumericLiteral -> String

showList :: [NumericLiteral] -> ShowS

Pretty NumericLiteral

Methods

pp :: NumericLiteral -> Doc

7.3.2 Aggregates

data Aggregate

Constructors

Aggregate

Fields

• agg_element_association :: [ElementAssociation]

Instances

Eq Aggregate

Methods

(==) :: Aggregate -> Aggregate -> Bool

(/=) :: Aggregate -> Aggregate -> Bool

Show Aggregate

Methods

showsPrec :: Int -> Aggregate -> ShowS

show :: Aggregate -> String

showList :: [Aggregate] -> ShowS

Pretty Aggregate

Methods

pp :: Aggregate -> Doc

data ElementAssociation

Constructors

ElementAssociation

Fields

• eassoc_choices' :: Maybe Choices
• eassoc_expression :: Expression

Instances

Eq ElementAssociation

Methods

(==) :: ElementAssociation -> ElementAssociation -> Bool

(/=) :: ElementAssociation -> ElementAssociation -> Bool

Show ElementAssociation

Methods

showsPrec :: Int -> ElementAssociation -> ShowS

show :: ElementAssociation -> String

showList :: [ElementAssociation] -> ShowS

Pretty ElementAssociation

Methods

pp :: ElementAssociation -> Doc

data Choices

Constructors

Choices [Choice]

Instances

Eq Choices

Methods

(==) :: Choices -> Choices -> Bool

(/=) :: Choices -> Choices -> Bool

Show Choices

Methods

showsPrec :: Int -> Choices -> ShowS

show :: Choices -> String

showList :: [Choices] -> ShowS

Pretty Choices

Methods

pp :: Choices -> Doc

data Choice

Constructors

ChoiceSimple SimpleExpression

ChoiceRange DiscreteRange

ChoiceName SimpleName

ChoiceOthers

Instances

Eq Choice

Methods

(==) :: Choice -> Choice -> Bool

(/=) :: Choice -> Choice -> Bool

Show Choice

Methods

showsPrec :: Int -> Choice -> ShowS

show :: Choice -> String

showList :: [Choice] -> ShowS

Pretty Choice

Methods

pp :: Choice -> Doc

7.3.2.1 Record aggregates

7.3.2.2 Array aggregates

7.3.3 Function calls

data FunctionCall

Constructors

FunctionCall

Fields

• fc_function_name :: Name
• fc_actual_parameter_part :: Maybe ActualParameterPart

Instances

Eq FunctionCall

Methods

(==) :: FunctionCall -> FunctionCall -> Bool

(/=) :: FunctionCall -> FunctionCall -> Bool

Show FunctionCall

Methods

showsPrec :: Int -> FunctionCall -> ShowS

show :: FunctionCall -> String

showList :: [FunctionCall] -> ShowS

Pretty FunctionCall

Methods

pp :: FunctionCall -> Doc

type ActualParameterPart = AssociationList

7.3.4 Qualified expressions

data QualifiedExpression

Constructors

QualExp TypeMark Expression

QualAgg TypeMark Aggregate

Instances

Eq QualifiedExpression

Methods

(==) :: QualifiedExpression -> QualifiedExpression -> Bool

(/=) :: QualifiedExpression -> QualifiedExpression -> Bool

Show QualifiedExpression

Methods

showsPrec :: Int -> QualifiedExpression -> ShowS

show :: QualifiedExpression -> String

showList :: [QualifiedExpression] -> ShowS

Pretty QualifiedExpression

Methods

pp :: QualifiedExpression -> Doc

7.3.5 Type conversions

data TypeConversion

Constructors

TypeConversion

Fields

• type_mark :: TypeMark
• expression :: Expression

Instances

Eq TypeConversion

Methods

(==) :: TypeConversion -> TypeConversion -> Bool

(/=) :: TypeConversion -> TypeConversion -> Bool

Show TypeConversion

Methods

showsPrec :: Int -> TypeConversion -> ShowS

show :: TypeConversion -> String

showList :: [TypeConversion] -> ShowS

Pretty TypeConversion

Methods

pp :: TypeConversion -> Doc

7.3.6 Allocators

data Allocator

Constructors

AllocSub SubtypeIndication

AllocQual QualifiedExpression

Instances

Eq Allocator

Methods

(==) :: Allocator -> Allocator -> Bool

(/=) :: Allocator -> Allocator -> Bool

Show Allocator

Methods

showsPrec :: Int -> Allocator -> ShowS

show :: Allocator -> String

showList :: [Allocator] -> ShowS

Pretty Allocator

Methods

pp :: Allocator -> Doc

7.4 Static expressions

7.4.1 Locally static primaries

7.4.2 Globally static primaries

7.5 Universal expressions

type SequenceOfStatements = [SequentialStatement]

data SequentialStatement

Constructors

SWait WaitStatement

SAssert AssertionStatement

SReport ReportStatement

SSignalAss SignalAssignmentStatement

SVarAss VariableAssignmentStatement

SProc ProcedureCallStatement

SIf IfStatement

SCase CaseStatement

SLoop LoopStatement

SNext NextStatement

SExit ExitStatement

SReturn ReturnStatement

SNull NullStatement

Instances

Eq SequentialStatement

Methods

(==) :: SequentialStatement -> SequentialStatement -> Bool

(/=) :: SequentialStatement -> SequentialStatement -> Bool

Show SequentialStatement

Methods

showsPrec :: Int -> SequentialStatement -> ShowS

show :: SequentialStatement -> String

showList :: [SequentialStatement] -> ShowS

Pretty SequentialStatement

Methods

pp :: SequentialStatement -> Doc

8.1 Wait statement

data WaitStatement

Constructors

WaitStatement (Maybe Label) (Maybe SensitivityClause) (Maybe ConditionClause) (Maybe TimeoutClause)

Instances

Eq WaitStatement

Methods

(==) :: WaitStatement -> WaitStatement -> Bool

(/=) :: WaitStatement -> WaitStatement -> Bool

Show WaitStatement

Methods

showsPrec :: Int -> WaitStatement -> ShowS

show :: WaitStatement -> String

showList :: [WaitStatement] -> ShowS

Pretty WaitStatement

Methods

pp :: WaitStatement -> Doc

data SensitivityClause

Constructors

SensitivityClause SensitivityList

Instances

Eq SensitivityClause

Methods

(==) :: SensitivityClause -> SensitivityClause -> Bool

(/=) :: SensitivityClause -> SensitivityClause -> Bool

Show SensitivityClause

Methods

showsPrec :: Int -> SensitivityClause -> ShowS

show :: SensitivityClause -> String

showList :: [SensitivityClause] -> ShowS

Pretty SensitivityClause

Methods

pp :: SensitivityClause -> Doc

data SensitivityList

Constructors

SensitivityList [Name]

Instances

Eq SensitivityList

Methods

(==) :: SensitivityList -> SensitivityList -> Bool

(/=) :: SensitivityList -> SensitivityList -> Bool

Show SensitivityList

Methods

showsPrec :: Int -> SensitivityList -> ShowS

show :: SensitivityList -> String

showList :: [SensitivityList] -> ShowS

Pretty SensitivityList

Methods

pp :: SensitivityList -> Doc

data ConditionClause

Constructors

ConditionClause Condition

Instances

Eq ConditionClause

Methods

(==) :: ConditionClause -> ConditionClause -> Bool

(/=) :: ConditionClause -> ConditionClause -> Bool

Show ConditionClause

Methods

showsPrec :: Int -> ConditionClause -> ShowS

show :: ConditionClause -> String

showList :: [ConditionClause] -> ShowS

Pretty ConditionClause

Methods

pp :: ConditionClause -> Doc

type Condition = Expression

data TimeoutClause

Constructors

TimeoutClause Expression

Instances

Eq TimeoutClause

Methods

(==) :: TimeoutClause -> TimeoutClause -> Bool

(/=) :: TimeoutClause -> TimeoutClause -> Bool

Show TimeoutClause

Methods

showsPrec :: Int -> TimeoutClause -> ShowS

show :: TimeoutClause -> String

showList :: [TimeoutClause] -> ShowS

Pretty TimeoutClause

Methods

pp :: TimeoutClause -> Doc

8.2 Assertion statement

data AssertionStatement

Constructors

AssertionStatement (Maybe Label) Assertion

Instances

Eq AssertionStatement

Methods

(==) :: AssertionStatement -> AssertionStatement -> Bool

(/=) :: AssertionStatement -> AssertionStatement -> Bool

Show AssertionStatement

Methods

showsPrec :: Int -> AssertionStatement -> ShowS

show :: AssertionStatement -> String

showList :: [AssertionStatement] -> ShowS

Pretty AssertionStatement

Methods

pp :: AssertionStatement -> Doc

data Assertion

Constructors

Assertion Condition (Maybe Expression) (Maybe Expression)

Instances

Eq Assertion

Methods

(==) :: Assertion -> Assertion -> Bool

(/=) :: Assertion -> Assertion -> Bool

Show Assertion

Methods

showsPrec :: Int -> Assertion -> ShowS

show :: Assertion -> String

showList :: [Assertion] -> ShowS

Pretty Assertion

Methods

pp :: Assertion -> Doc

8.3 Report statement

data ReportStatement

Constructors

ReportStatement (Maybe Label) Expression (Maybe Expression)

Instances

Eq ReportStatement

Methods

(==) :: ReportStatement -> ReportStatement -> Bool

(/=) :: ReportStatement -> ReportStatement -> Bool

Show ReportStatement

Methods

showsPrec :: Int -> ReportStatement -> ShowS

show :: ReportStatement -> String

showList :: [ReportStatement] -> ShowS

Pretty ReportStatement

Methods

pp :: ReportStatement -> Doc

8.4 Signal assignment statement

data SignalAssignmentStatement

Constructors

SignalAssignmentStatement (Maybe Label) Target (Maybe DelayMechanism) Waveform

Instances

Eq SignalAssignmentStatement

Methods

(==) :: SignalAssignmentStatement -> SignalAssignmentStatement -> Bool

(/=) :: SignalAssignmentStatement -> SignalAssignmentStatement -> Bool

Show SignalAssignmentStatement

Methods

showsPrec :: Int -> SignalAssignmentStatement -> ShowS

show :: SignalAssignmentStatement -> String

showList :: [SignalAssignmentStatement] -> ShowS

Pretty SignalAssignmentStatement

Methods

pp :: SignalAssignmentStatement -> Doc

data DelayMechanism

Constructors

DMechTransport

DMechInertial (Maybe Expression)

Instances

Eq DelayMechanism

Methods

(==) :: DelayMechanism -> DelayMechanism -> Bool

(/=) :: DelayMechanism -> DelayMechanism -> Bool

Show DelayMechanism

Methods

showsPrec :: Int -> DelayMechanism -> ShowS

show :: DelayMechanism -> String

showList :: [DelayMechanism] -> ShowS

Pretty DelayMechanism

Methods

pp :: DelayMechanism -> Doc

data Target

Constructors

TargetName Name

TargetAgg Aggregate

Instances

Eq Target

Methods

(==) :: Target -> Target -> Bool

(/=) :: Target -> Target -> Bool

Show Target

Methods

showsPrec :: Int -> Target -> ShowS

show :: Target -> String

showList :: [Target] -> ShowS

Pretty Target

Methods

pp :: Target -> Doc

data Waveform

Constructors

WaveElem [WaveformElement]

WaveUnaffected

Instances

Eq Waveform

Methods

(==) :: Waveform -> Waveform -> Bool

(/=) :: Waveform -> Waveform -> Bool

Show Waveform

Methods

showsPrec :: Int -> Waveform -> ShowS

show :: Waveform -> String

showList :: [Waveform] -> ShowS

Pretty Waveform

Methods

pp :: Waveform -> Doc

8.4.1 Updating a projected output waveform

data WaveformElement

Constructors

WaveEExp Expression (Maybe Expression)

WaveENull (Maybe Expression)

Instances

Eq WaveformElement

Methods

(==) :: WaveformElement -> WaveformElement -> Bool

(/=) :: WaveformElement -> WaveformElement -> Bool

Show WaveformElement

Methods

showsPrec :: Int -> WaveformElement -> ShowS

show :: WaveformElement -> String

showList :: [WaveformElement] -> ShowS

Pretty WaveformElement

Methods

pp :: WaveformElement -> Doc

8.5 Variable assignment statement

data VariableAssignmentStatement

Constructors

VariableAssignmentStatement (Maybe Label) Target Expression

Instances

Eq VariableAssignmentStatement

Methods

(==) :: VariableAssignmentStatement -> VariableAssignmentStatement -> Bool

(/=) :: VariableAssignmentStatement -> VariableAssignmentStatement -> Bool

Show VariableAssignmentStatement

Methods

showsPrec :: Int -> VariableAssignmentStatement -> ShowS

show :: VariableAssignmentStatement -> String

showList :: [VariableAssignmentStatement] -> ShowS

Pretty VariableAssignmentStatement

Methods

pp :: VariableAssignmentStatement -> Doc

8.5.1 Array variable assignments

8.6 Procedure call statement

data ProcedureCallStatement

Constructors

ProcedureCallStatement (Maybe Label) ProcedureCall

Instances

Eq ProcedureCallStatement

Methods

(==) :: ProcedureCallStatement -> ProcedureCallStatement -> Bool

(/=) :: ProcedureCallStatement -> ProcedureCallStatement -> Bool

Show ProcedureCallStatement

Methods

showsPrec :: Int -> ProcedureCallStatement -> ShowS

show :: ProcedureCallStatement -> String

showList :: [ProcedureCallStatement] -> ShowS

Pretty ProcedureCallStatement

Methods

pp :: ProcedureCallStatement -> Doc

data ProcedureCall

Constructors

ProcedureCall Name (Maybe ActualParameterPart)

Instances

Eq ProcedureCall

Methods

(==) :: ProcedureCall -> ProcedureCall -> Bool

(/=) :: ProcedureCall -> ProcedureCall -> Bool

Show ProcedureCall

Methods

showsPrec :: Int -> ProcedureCall -> ShowS

show :: ProcedureCall -> String

showList :: [ProcedureCall] -> ShowS

Pretty ProcedureCall

Methods

pp :: ProcedureCall -> Doc

8.7 If statement

data IfStatement

Constructors

IfStatement

Fields

• if_label :: Maybe Label
• if_then :: (Condition, SequenceOfStatements)
• if_also :: [(Condition, SequenceOfStatements)]
• if_else :: Maybe SequenceOfStatements

Instances

Eq IfStatement

Methods

(==) :: IfStatement -> IfStatement -> Bool

(/=) :: IfStatement -> IfStatement -> Bool

Show IfStatement

Methods

showsPrec :: Int -> IfStatement -> ShowS

show :: IfStatement -> String

showList :: [IfStatement] -> ShowS

Pretty IfStatement

Methods

pp :: IfStatement -> Doc

8.8 Case statement

data CaseStatement

Constructors

CaseStatement

Fields

• case_label :: Maybe Label
• case_expression :: Expression
• case_alternatives :: [CaseStatementAlternative]

Instances

Eq CaseStatement

Methods

(==) :: CaseStatement -> CaseStatement -> Bool

(/=) :: CaseStatement -> CaseStatement -> Bool

Show CaseStatement

Methods

showsPrec :: Int -> CaseStatement -> ShowS

show :: CaseStatement -> String

showList :: [CaseStatement] -> ShowS

Pretty CaseStatement

Methods

pp :: CaseStatement -> Doc

data CaseStatementAlternative

Constructors

CaseStatementAlternative Choices SequenceOfStatements

Instances

Eq CaseStatementAlternative

Methods

(==) :: CaseStatementAlternative -> CaseStatementAlternative -> Bool

(/=) :: CaseStatementAlternative -> CaseStatementAlternative -> Bool

Show CaseStatementAlternative

Methods

showsPrec :: Int -> CaseStatementAlternative -> ShowS

show :: CaseStatementAlternative -> String

showList :: [CaseStatementAlternative] -> ShowS

Pretty CaseStatementAlternative

Methods

pp :: CaseStatementAlternative -> Doc

8.9 Loop statement

data LoopStatement

Constructors

LoopStatement

Fields

• loop_label :: Maybe Label
• loop_iteration_scheme :: Maybe IterationScheme
• loop_statements :: SequenceOfStatements

Instances

Eq LoopStatement

Methods

(==) :: LoopStatement -> LoopStatement -> Bool

(/=) :: LoopStatement -> LoopStatement -> Bool

Show LoopStatement

Methods

showsPrec :: Int -> LoopStatement -> ShowS

show :: LoopStatement -> String

showList :: [LoopStatement] -> ShowS

Pretty LoopStatement

Methods

pp :: LoopStatement -> Doc

data IterationScheme

Constructors

IterWhile Condition

IterFor ParameterSpecification

Instances

Eq IterationScheme

Methods

(==) :: IterationScheme -> IterationScheme -> Bool

(/=) :: IterationScheme -> IterationScheme -> Bool

Show IterationScheme

Methods

showsPrec :: Int -> IterationScheme -> ShowS

show :: IterationScheme -> String

showList :: [IterationScheme] -> ShowS

Pretty IterationScheme

Methods

pp :: IterationScheme -> Doc

data ParameterSpecification

Constructors

ParameterSpecification

Fields

• paramspec_identifier :: Identifier
• paramspec_discrete_range :: DiscreteRange

Instances

Eq ParameterSpecification

Methods

(==) :: ParameterSpecification -> ParameterSpecification -> Bool

(/=) :: ParameterSpecification -> ParameterSpecification -> Bool

Show ParameterSpecification

Methods

showsPrec :: Int -> ParameterSpecification -> ShowS

show :: ParameterSpecification -> String

showList :: [ParameterSpecification] -> ShowS

Pretty ParameterSpecification

Methods

pp :: ParameterSpecification -> Doc

8.10 Next statement

data NextStatement

Constructors

NextStatement

Fields

• next_label :: Maybe Label
• next_loop :: Maybe Label
• next_when :: Maybe Condition

Instances

Eq NextStatement

Methods

(==) :: NextStatement -> NextStatement -> Bool

(/=) :: NextStatement -> NextStatement -> Bool

Show NextStatement

Methods

showsPrec :: Int -> NextStatement -> ShowS

show :: NextStatement -> String

showList :: [NextStatement] -> ShowS

Pretty NextStatement

Methods

pp :: NextStatement -> Doc

8.11 Exit statement

data ExitStatement

Constructors

ExitStatement

Fields

• exit_label :: Maybe Label
• exit_loop :: Maybe Label
• exit_when :: Maybe Condition

Instances

Eq ExitStatement

Methods

(==) :: ExitStatement -> ExitStatement -> Bool

(/=) :: ExitStatement -> ExitStatement -> Bool

Show ExitStatement

Methods

showsPrec :: Int -> ExitStatement -> ShowS

show :: ExitStatement -> String

showList :: [ExitStatement] -> ShowS

Pretty ExitStatement

Methods

pp :: ExitStatement -> Doc

8.12 Return statement

data ReturnStatement

Constructors

ReturnStatement

Fields

• return_label :: Maybe Label
• return_expression :: Maybe Expression

Instances

Eq ReturnStatement

Methods

(==) :: ReturnStatement -> ReturnStatement -> Bool

(/=) :: ReturnStatement -> ReturnStatement -> Bool

Show ReturnStatement

Methods

showsPrec :: Int -> ReturnStatement -> ShowS

show :: ReturnStatement -> String

showList :: [ReturnStatement] -> ShowS

Pretty ReturnStatement

Methods

pp :: ReturnStatement -> Doc

8.13 Null statement

data NullStatement

Constructors

NullStatement

Fields

• null_label :: Maybe Label

Instances

Eq NullStatement

Methods

(==) :: NullStatement -> NullStatement -> Bool

(/=) :: NullStatement -> NullStatement -> Bool

Show NullStatement

Methods

showsPrec :: Int -> NullStatement -> ShowS

show :: NullStatement -> String

showList :: [NullStatement] -> ShowS

Pretty NullStatement

Methods

pp :: NullStatement -> Doc

data ConcurrentStatement

Constructors

ConBlock BlockStatement

ConProcess ProcessStatement

ConProcCall ConcurrentProcedureCallStatement

ConAssertion ConcurrentAssertionStatement

ConSignalAss ConcurrentSignalAssignmentStatement

ConComponent ComponentInstantiationStatement

ConGenerate GenerateStatement

Instances

Eq ConcurrentStatement

Methods

(==) :: ConcurrentStatement -> ConcurrentStatement -> Bool

(/=) :: ConcurrentStatement -> ConcurrentStatement -> Bool

Show ConcurrentStatement

Methods

showsPrec :: Int -> ConcurrentStatement -> ShowS

show :: ConcurrentStatement -> String

showList :: [ConcurrentStatement] -> ShowS

Pretty ConcurrentStatement

Methods

pp :: ConcurrentStatement -> Doc

9.1 Block statement

data BlockStatement

Constructors

BlockStatement

Fields

• blocks_label :: Label
• blocks_guard_expression :: Maybe Expression
• blocks_header :: BlockHeader
• blocks_declarative_part :: BlockDeclarativePart
• blocks_statment_part :: BlockStatementPart

Instances

Eq BlockStatement

Methods

(==) :: BlockStatement -> BlockStatement -> Bool

(/=) :: BlockStatement -> BlockStatement -> Bool

Show BlockStatement

Methods

showsPrec :: Int -> BlockStatement -> ShowS

show :: BlockStatement -> String

showList :: [BlockStatement] -> ShowS

Pretty BlockStatement

Methods

pp :: BlockStatement -> Doc

data BlockHeader

Constructors

BlockHeader

Fields

• blockh_generic_clause :: Maybe (GenericClause, Maybe GenericMapAspect)
• blockh_port_clause :: Maybe (PortClause, Maybe PortMapAspect)

Instances

Eq BlockHeader

Methods

(==) :: BlockHeader -> BlockHeader -> Bool

(/=) :: BlockHeader -> BlockHeader -> Bool

Show BlockHeader

Methods

showsPrec :: Int -> BlockHeader -> ShowS

show :: BlockHeader -> String

showList :: [BlockHeader] -> ShowS

Pretty BlockHeader

Methods

pp :: BlockHeader -> Doc

type BlockDeclarativePart = [BlockDeclarativeItem]

type BlockStatementPart = [ConcurrentStatement]

9.2 Process statement

data ProcessStatement

Constructors

ProcessStatement

Fields

• procs_label :: Maybe Label
• procs_postponed :: Bool
• procs_sensitivity_list :: Maybe SensitivityList
• procs_declarative_part :: ProcessDeclarativePart
• procs_statement_part :: ProcessStatementPart

Instances

Eq ProcessStatement

Methods

(==) :: ProcessStatement -> ProcessStatement -> Bool

(/=) :: ProcessStatement -> ProcessStatement -> Bool

Show ProcessStatement

Methods

showsPrec :: Int -> ProcessStatement -> ShowS

show :: ProcessStatement -> String

showList :: [ProcessStatement] -> ShowS

Pretty ProcessStatement

Methods

pp :: ProcessStatement -> Doc

type ProcessDeclarativePart = [ProcessDeclarativeItem]

data ProcessDeclarativeItem

Constructors

PDISubprogDecl SubprogramDeclaration

PDISubprogBody SubprogramBody

PDIType TypeDeclaration

PDISubtype SubtypeDeclaration

PDIConstant ConstantDeclaration

PDIVariable VariableDeclaration

PDIFile FileDeclaration

PDIAlias AliasDeclaration

PDIAttrDecl AttributeDeclaration

PDIAttrSpec AttributeSpecification

PDIUseClause UseClause

Instances

Eq ProcessDeclarativeItem

Methods

(==) :: ProcessDeclarativeItem -> ProcessDeclarativeItem -> Bool

(/=) :: ProcessDeclarativeItem -> ProcessDeclarativeItem -> Bool

Show ProcessDeclarativeItem

Methods

showsPrec :: Int -> ProcessDeclarativeItem -> ShowS

show :: ProcessDeclarativeItem -> String

showList :: [ProcessDeclarativeItem] -> ShowS

Pretty ProcessDeclarativeItem

Methods

pp :: ProcessDeclarativeItem -> Doc

type ProcessStatementPart = [SequentialStatement]

9.3 Concurrent procedure call statements

data ConcurrentProcedureCallStatement

Constructors

ConcurrentProcedureCallStatement

Fields

• cpcs_label :: Maybe Label
• cpcs_postponed :: Bool
• cpcs_procedure_call :: ProcedureCall

Instances

Eq ConcurrentProcedureCallStatement

Methods

(==) :: ConcurrentProcedureCallStatement -> ConcurrentProcedureCallStatement -> Bool

(/=) :: ConcurrentProcedureCallStatement -> ConcurrentProcedureCallStatement -> Bool

Show ConcurrentProcedureCallStatement

Methods

showsPrec :: Int -> ConcurrentProcedureCallStatement -> ShowS

show :: ConcurrentProcedureCallStatement -> String

showList :: [ConcurrentProcedureCallStatement] -> ShowS

Pretty ConcurrentProcedureCallStatement

Methods

pp :: ConcurrentProcedureCallStatement -> Doc

9.4 Concurrent assertion statements

data ConcurrentAssertionStatement

Constructors

ConcurrentAssertionStatement

Fields

• cas_label :: Maybe Label
• cas_postponed :: Bool
• cas_assertion :: Assertion

Instances

Eq ConcurrentAssertionStatement

Methods

(==) :: ConcurrentAssertionStatement -> ConcurrentAssertionStatement -> Bool

(/=) :: ConcurrentAssertionStatement -> ConcurrentAssertionStatement -> Bool

Show ConcurrentAssertionStatement

Methods

showsPrec :: Int -> ConcurrentAssertionStatement -> ShowS

show :: ConcurrentAssertionStatement -> String

showList :: [ConcurrentAssertionStatement] -> ShowS

Pretty ConcurrentAssertionStatement

Methods

pp :: ConcurrentAssertionStatement -> Doc

9.5 Concurrent signal assignment statements

data ConcurrentSignalAssignmentStatement

Constructors

CSASCond

Fields

• csas_cond_label :: Maybe Label
• csas_cond_postponed :: Bool
• csas_cond_signal_assignment :: ConditionalSignalAssignment

CSASSelect

Fields

• csas_select_label :: Maybe Label
• csas_select_postponed :: Bool
• csas_select_signal_assignment :: SelectedSignalAssignment

Instances

Eq ConcurrentSignalAssignmentStatement

Methods

(==) :: ConcurrentSignalAssignmentStatement -> ConcurrentSignalAssignmentStatement -> Bool

(/=) :: ConcurrentSignalAssignmentStatement -> ConcurrentSignalAssignmentStatement -> Bool

Show ConcurrentSignalAssignmentStatement

Methods

showsPrec :: Int -> ConcurrentSignalAssignmentStatement -> ShowS

show :: ConcurrentSignalAssignmentStatement -> String

showList :: [ConcurrentSignalAssignmentStatement] -> ShowS

Pretty ConcurrentSignalAssignmentStatement

Methods

pp :: ConcurrentSignalAssignmentStatement -> Doc

data Options

Constructors

Options

Fields

• options_guarded :: Bool
• options_delay_mechanism :: Maybe DelayMechanism

Instances

Eq Options

Methods

(==) :: Options -> Options -> Bool

(/=) :: Options -> Options -> Bool

Show Options

Methods

showsPrec :: Int -> Options -> ShowS

show :: Options -> String

showList :: [Options] -> ShowS

Pretty Options

Methods

pp :: Options -> Doc

9.5.1 Conditional signal assignments

data ConditionalSignalAssignment

Constructors

ConditionalSignalAssignment

Fields

• csa_target :: Target
• csa_options :: Options
• csa_conditional_waveforms :: ConditionalWaveforms

Instances

Eq ConditionalSignalAssignment

Methods

(==) :: ConditionalSignalAssignment -> ConditionalSignalAssignment -> Bool

(/=) :: ConditionalSignalAssignment -> ConditionalSignalAssignment -> Bool

Show ConditionalSignalAssignment

Methods

showsPrec :: Int -> ConditionalSignalAssignment -> ShowS

show :: ConditionalSignalAssignment -> String

showList :: [ConditionalSignalAssignment] -> ShowS

Pretty ConditionalSignalAssignment

Methods

pp :: ConditionalSignalAssignment -> Doc

data ConditionalWaveforms

Constructors

ConditionalWaveforms

Fields

• cw_optional :: [(Waveform, Condition)]
• cw_wave :: (Waveform, Maybe Condition)

Instances

Eq ConditionalWaveforms

Methods

(==) :: ConditionalWaveforms -> ConditionalWaveforms -> Bool

(/=) :: ConditionalWaveforms -> ConditionalWaveforms -> Bool

Show ConditionalWaveforms

Methods

showsPrec :: Int -> ConditionalWaveforms -> ShowS

show :: ConditionalWaveforms -> String

showList :: [ConditionalWaveforms] -> ShowS

Pretty ConditionalWaveforms

Methods

pp :: ConditionalWaveforms -> Doc

9.5.2 Selected signal assignments

data SelectedSignalAssignment

Constructors

SelectedSignalAssignment

Fields

• ssa_expression :: Expression
• ssa_target :: Target
• ssa_options :: Options
• ssa_selected_waveforms :: SelectedWaveforms

Instances

Eq SelectedSignalAssignment

Methods

(==) :: SelectedSignalAssignment -> SelectedSignalAssignment -> Bool

(/=) :: SelectedSignalAssignment -> SelectedSignalAssignment -> Bool

Show SelectedSignalAssignment

Methods

showsPrec :: Int -> SelectedSignalAssignment -> ShowS

show :: SelectedSignalAssignment -> String

showList :: [SelectedSignalAssignment] -> ShowS

Pretty SelectedSignalAssignment

Methods

pp :: SelectedSignalAssignment -> Doc

data SelectedWaveforms

Constructors

SelectedWaveforms

Fields

• sw_optional :: Maybe [(Waveform, Choices)]
• sw_last :: (Waveform, Choices)

Instances

Eq SelectedWaveforms

Methods

(==) :: SelectedWaveforms -> SelectedWaveforms -> Bool

(/=) :: SelectedWaveforms -> SelectedWaveforms -> Bool

Show SelectedWaveforms

Methods

showsPrec :: Int -> SelectedWaveforms -> ShowS

show :: SelectedWaveforms -> String

showList :: [SelectedWaveforms] -> ShowS

Pretty SelectedWaveforms

Methods

pp :: SelectedWaveforms -> Doc

9.6 Component instantiation statements

data ComponentInstantiationStatement

Constructors

ComponentInstantiationStatement

Fields

• cis_instantiation_label :: Label
• cis_instantiated_unit :: InstantiatedUnit
• cis_generic_map_aspect :: Maybe GenericMapAspect
• cis_port_map_aspect :: Maybe PortMapAspect

Instances

Eq ComponentInstantiationStatement

Methods

(==) :: ComponentInstantiationStatement -> ComponentInstantiationStatement -> Bool

(/=) :: ComponentInstantiationStatement -> ComponentInstantiationStatement -> Bool

Show ComponentInstantiationStatement

Methods

showsPrec :: Int -> ComponentInstantiationStatement -> ShowS

show :: ComponentInstantiationStatement -> String

showList :: [ComponentInstantiationStatement] -> ShowS

Pretty ComponentInstantiationStatement

Methods

pp :: ComponentInstantiationStatement -> Doc

data InstantiatedUnit

Constructors

IUComponent Name

IUEntity Name (Maybe Identifier)

IUConfig Name

Instances

Eq InstantiatedUnit

Methods

(==) :: InstantiatedUnit -> InstantiatedUnit -> Bool

(/=) :: InstantiatedUnit -> InstantiatedUnit -> Bool

Show InstantiatedUnit

Methods

showsPrec :: Int -> InstantiatedUnit -> ShowS

show :: InstantiatedUnit -> String

showList :: [InstantiatedUnit] -> ShowS

Pretty InstantiatedUnit

Methods

pp :: InstantiatedUnit -> Doc

9.6.1 Instantiation of a component

9.6.2 Instantiation of a design entity

9.7 Generate statements

data GenerateStatement

Constructors

GenerateStatement

Fields

• gens_label :: Label
• gens_generation_scheme :: GenerationScheme
• gens_block_declarative_item :: Maybe BlockDeclarativeItem
• gens_concurrent_statement :: [ConcurrentStatement]

Instances

Eq GenerateStatement

Methods

(==) :: GenerateStatement -> GenerateStatement -> Bool

(/=) :: GenerateStatement -> GenerateStatement -> Bool

Show GenerateStatement

Methods

showsPrec :: Int -> GenerateStatement -> ShowS

show :: GenerateStatement -> String

showList :: [GenerateStatement] -> ShowS

Pretty GenerateStatement

Methods

pp :: GenerateStatement -> Doc

data GenerationScheme

Constructors

GSFor ParameterSpecification

GSIf Condition

Instances

Eq GenerationScheme

Methods

(==) :: GenerationScheme -> GenerationScheme -> Bool

(/=) :: GenerationScheme -> GenerationScheme -> Bool

Show GenerationScheme

Methods

showsPrec :: Int -> GenerationScheme -> ShowS

show :: GenerationScheme -> String

showList :: [GenerationScheme] -> ShowS

Pretty GenerationScheme

Methods

pp :: GenerationScheme -> Doc

type Label = Identifier

10.1 Declarative region

10.2 Scope of declarations

10.3 Visibility

10.4 Use clauses

data UseClause

Constructors

UseClause [SelectedName]

Instances

Eq UseClause

Methods

(==) :: UseClause -> UseClause -> Bool

(/=) :: UseClause -> UseClause -> Bool

Show UseClause

Methods

showsPrec :: Int -> UseClause -> ShowS

show :: UseClause -> String

showList :: [UseClause] -> ShowS

Pretty UseClause

Methods

pp :: UseClause -> Doc

10.5 The context of overload resolution

11.1 Design units

data DesignFile

Constructors

DesignFile [DesignUnit]

Instances

Eq DesignFile

Methods

(==) :: DesignFile -> DesignFile -> Bool

(/=) :: DesignFile -> DesignFile -> Bool

Show DesignFile

Methods

showsPrec :: Int -> DesignFile -> ShowS

show :: DesignFile -> String

showList :: [DesignFile] -> ShowS

Pretty DesignFile

Methods

pp :: DesignFile -> Doc

data DesignUnit

Constructors

DesignUnit ContextClause LibraryUnit

Instances

Eq DesignUnit

Methods

(==) :: DesignUnit -> DesignUnit -> Bool

(/=) :: DesignUnit -> DesignUnit -> Bool

Show DesignUnit

Methods

showsPrec :: Int -> DesignUnit -> ShowS

show :: DesignUnit -> String

showList :: [DesignUnit] -> ShowS

Pretty DesignUnit

Methods

pp :: DesignUnit -> Doc

data LibraryUnit

Constructors

LibraryPrimary PrimaryUnit

LibrarySecondary SecondaryUnit

Instances

Eq LibraryUnit

Methods

(==) :: LibraryUnit -> LibraryUnit -> Bool

(/=) :: LibraryUnit -> LibraryUnit -> Bool

Show LibraryUnit

Methods

showsPrec :: Int -> LibraryUnit -> ShowS

show :: LibraryUnit -> String

showList :: [LibraryUnit] -> ShowS

Pretty LibraryUnit

Methods

pp :: LibraryUnit -> Doc

data PrimaryUnit

Constructors

PrimaryEntity EntityDeclaration

PrimaryConfig ConfigurationDeclaration

PrimaryPackage PackageDeclaration

Instances

Eq PrimaryUnit

Methods

(==) :: PrimaryUnit -> PrimaryUnit -> Bool

(/=) :: PrimaryUnit -> PrimaryUnit -> Bool

Show PrimaryUnit

Methods

showsPrec :: Int -> PrimaryUnit -> ShowS

show :: PrimaryUnit -> String

showList :: [PrimaryUnit] -> ShowS

Pretty PrimaryUnit

Methods

pp :: PrimaryUnit -> Doc

data SecondaryUnit

Constructors

SecondaryArchitecture ArchitectureBody

SecondaryPackage PackageBody

Instances

Eq SecondaryUnit

Methods

(==) :: SecondaryUnit -> SecondaryUnit -> Bool

(/=) :: SecondaryUnit -> SecondaryUnit -> Bool

Show SecondaryUnit

Methods

showsPrec :: Int -> SecondaryUnit -> ShowS

show :: SecondaryUnit -> String

showList :: [SecondaryUnit] -> ShowS

Pretty SecondaryUnit

Methods

pp :: SecondaryUnit -> Doc

11.2 Design libraries

data LibraryClause

Constructors

LibraryClause LogicalNameList

Instances

Eq LibraryClause

Methods

(==) :: LibraryClause -> LibraryClause -> Bool

(/=) :: LibraryClause -> LibraryClause -> Bool

Show LibraryClause

Methods

showsPrec :: Int -> LibraryClause -> ShowS

show :: LibraryClause -> String

showList :: [LibraryClause] -> ShowS

Pretty LibraryClause

Methods

pp :: LibraryClause -> Doc

data LogicalNameList

Constructors

LogicalNameList [LogicalName]

Instances

Eq LogicalNameList

Methods

(==) :: LogicalNameList -> LogicalNameList -> Bool

(/=) :: LogicalNameList -> LogicalNameList -> Bool

Show LogicalNameList

Methods

showsPrec :: Int -> LogicalNameList -> ShowS

show :: LogicalNameList -> String

showList :: [LogicalNameList] -> ShowS

Pretty LogicalNameList

Methods

pp :: LogicalNameList -> Doc

type LogicalName = Identifier

11.3 Context clauses

data ContextClause

Constructors

ContextClause [ContextItem]

Instances

Eq ContextClause

Methods

(==) :: ContextClause -> ContextClause -> Bool

(/=) :: ContextClause -> ContextClause -> Bool

Show ContextClause

Methods

showsPrec :: Int -> ContextClause -> ShowS

show :: ContextClause -> String

showList :: [ContextClause] -> ShowS

Pretty ContextClause

Methods

pp :: ContextClause -> Doc

data ContextItem

Constructors

ContextLibrary LibraryClause

ContextUse UseClause

Instances

Eq ContextItem

Methods

(==) :: ContextItem -> ContextItem -> Bool

(/=) :: ContextItem -> ContextItem -> Bool

Show ContextItem

Methods

showsPrec :: Int -> ContextItem -> ShowS

show :: ContextItem -> String

showList :: [ContextItem] -> ShowS

Pretty ContextItem

Methods

pp :: ContextItem -> Doc

11.3 Order of analysis

13.4

data AbstractLiteral

Constructors

ALitDecimal DecimalLiteral

ALitBased BasedLiteral

Instances

Eq AbstractLiteral

Methods

(==) :: AbstractLiteral -> AbstractLiteral -> Bool

(/=) :: AbstractLiteral -> AbstractLiteral -> Bool

Show AbstractLiteral

Methods

showsPrec :: Int -> AbstractLiteral -> ShowS

show :: AbstractLiteral -> String

showList :: [AbstractLiteral] -> ShowS

Pretty AbstractLiteral

Methods

pp :: AbstractLiteral -> Doc

13.4.1

data DecimalLiteral

Constructors

DecimalLiteral

Fields

• decimal_integral_part :: Integer
• decimal_fractional_part :: Maybe Integer
• decimal_exponent :: Maybe Exponent

Instances

Eq DecimalLiteral

Methods

(==) :: DecimalLiteral -> DecimalLiteral -> Bool

(/=) :: DecimalLiteral -> DecimalLiteral -> Bool

Show DecimalLiteral

Methods

showsPrec :: Int -> DecimalLiteral -> ShowS

show :: DecimalLiteral -> String

showList :: [DecimalLiteral] -> ShowS

Pretty DecimalLiteral

Methods

pp :: DecimalLiteral -> Doc

data Exponent

Constructors

ExponentPos Integer

ExponentNeg Integer

Instances

Eq Exponent

Methods

(==) :: Exponent -> Exponent -> Bool

(/=) :: Exponent -> Exponent -> Bool

Show Exponent

Methods

showsPrec :: Int -> Exponent -> ShowS

show :: Exponent -> String

showList :: [Exponent] -> ShowS

Pretty Exponent

Methods

pp :: Exponent -> Doc

13.4.2

data BasedLiteral

Constructors

BasedLiteral

Fields

• based_lit_base :: Base
• based_lit_based_integral_part :: BasedInteger
• based_lit_based_fractional_part :: Maybe BasedInteger
• based_lit_exponent :: Maybe Exponent

Instances

Eq BasedLiteral

Methods

(==) :: BasedLiteral -> BasedLiteral -> Bool

(/=) :: BasedLiteral -> BasedLiteral -> Bool

Show BasedLiteral

Methods

showsPrec :: Int -> BasedLiteral -> ShowS

show :: BasedLiteral -> String

showList :: [BasedLiteral] -> ShowS

Pretty BasedLiteral

Methods

pp :: BasedLiteral -> Doc

type Base = Integer

type BasedInteger = Integer

data Identifier

Constructors

Ident String

Instances

Eq Identifier

Methods

(==) :: Identifier -> Identifier -> Bool

(/=) :: Identifier -> Identifier -> Bool

Show Identifier

Methods

showsPrec :: Int -> Identifier -> ShowS

show :: Identifier -> String

showList :: [Identifier] -> ShowS

Pretty Identifier

Methods

pp :: Identifier -> Doc

data CharacterLiteral

Constructors

CLit Char

Instances

Eq CharacterLiteral

Methods

(==) :: CharacterLiteral -> CharacterLiteral -> Bool

(/=) :: CharacterLiteral -> CharacterLiteral -> Bool

Show CharacterLiteral

Methods

showsPrec :: Int -> CharacterLiteral -> ShowS

show :: CharacterLiteral -> String

showList :: [CharacterLiteral] -> ShowS

Pretty CharacterLiteral

Methods

pp :: CharacterLiteral -> Doc

data StringLiteral

Constructors

SLit String

Instances

Eq StringLiteral

Methods

(==) :: StringLiteral -> StringLiteral -> Bool

(/=) :: StringLiteral -> StringLiteral -> Bool

Show StringLiteral

Methods

showsPrec :: Int -> StringLiteral -> ShowS

show :: StringLiteral -> String

showList :: [StringLiteral] -> ShowS

Pretty StringLiteral

Methods

pp :: StringLiteral -> Doc

data BaseSpecifier

Constructors

BaseSpecifier

Instances

Eq BaseSpecifier

Methods

(==) :: BaseSpecifier -> BaseSpecifier -> Bool

(/=) :: BaseSpecifier -> BaseSpecifier -> Bool

Show BaseSpecifier

Methods

showsPrec :: Int -> BaseSpecifier -> ShowS

show :: BaseSpecifier -> String

showList :: [BaseSpecifier] -> ShowS

Pretty BaseSpecifier

Methods

pp :: BaseSpecifier -> Doc

data BaseUnitDeclaration

Constructors

BaseUnitDeclaration

Instances

Eq BaseUnitDeclaration

Methods

(==) :: BaseUnitDeclaration -> BaseUnitDeclaration -> Bool

(/=) :: BaseUnitDeclaration -> BaseUnitDeclaration -> Bool

Show BaseUnitDeclaration

Methods

showsPrec :: Int -> BaseUnitDeclaration -> ShowS

show :: BaseUnitDeclaration -> String

showList :: [BaseUnitDeclaration] -> ShowS

Pretty BaseUnitDeclaration

Methods

pp :: BaseUnitDeclaration -> Doc

data BasicCharacter

Constructors

BasicCharacter

Instances

Eq BasicCharacter

Methods

(==) :: BasicCharacter -> BasicCharacter -> Bool

(/=) :: BasicCharacter -> BasicCharacter -> Bool

Show BasicCharacter

Methods

showsPrec :: Int -> BasicCharacter -> ShowS

show :: BasicCharacter -> String

showList :: [BasicCharacter] -> ShowS

Pretty BasicCharacter

Methods

pp :: BasicCharacter -> Doc

data BasicGraphicCharacter

Constructors

BasicGraphicCharacter

Instances

Eq BasicGraphicCharacter

Methods

(==) :: BasicGraphicCharacter -> BasicGraphicCharacter -> Bool

(/=) :: BasicGraphicCharacter -> BasicGraphicCharacter -> Bool

Show BasicGraphicCharacter

Methods

showsPrec :: Int -> BasicGraphicCharacter -> ShowS

show :: BasicGraphicCharacter -> String

showList :: [BasicGraphicCharacter] -> ShowS

Pretty BasicGraphicCharacter

Methods

pp :: BasicGraphicCharacter -> Doc

data BasicIdentifier

Constructors

BasicIdentifier

Instances

Eq BasicIdentifier

Methods

(==) :: BasicIdentifier -> BasicIdentifier -> Bool

(/=) :: BasicIdentifier -> BasicIdentifier -> Bool

Show BasicIdentifier

Methods

showsPrec :: Int -> BasicIdentifier -> ShowS

show :: BasicIdentifier -> String

showList :: [BasicIdentifier] -> ShowS

Pretty BasicIdentifier

Methods

pp :: BasicIdentifier -> Doc

data BitStringLiteral

Constructors

BitStringLiteral

Instances

Eq BitStringLiteral

Methods

(==) :: BitStringLiteral -> BitStringLiteral -> Bool

(/=) :: BitStringLiteral -> BitStringLiteral -> Bool

Show BitStringLiteral

Methods

showsPrec :: Int -> BitStringLiteral -> ShowS

show :: BitStringLiteral -> String

showList :: [BitStringLiteral] -> ShowS

Pretty BitStringLiteral

Methods

pp :: BitStringLiteral -> Doc

data BitValue

Constructors

BitValue

Instances

Eq BitValue

Methods

(==) :: BitValue -> BitValue -> Bool

(/=) :: BitValue -> BitValue -> Bool

Show BitValue

Methods

showsPrec :: Int -> BitValue -> ShowS

show :: BitValue -> String

showList :: [BitValue] -> ShowS

Pretty BitValue

Methods

pp :: BitValue -> Doc

data ExtendedDigit

Constructors

ExtendedDigit

Instances

Eq ExtendedDigit

Methods

(==) :: ExtendedDigit -> ExtendedDigit -> Bool

(/=) :: ExtendedDigit -> ExtendedDigit -> Bool

Show ExtendedDigit

Methods

showsPrec :: Int -> ExtendedDigit -> ShowS

show :: ExtendedDigit -> String

showList :: [ExtendedDigit] -> ShowS

Pretty ExtendedDigit

Methods

pp :: ExtendedDigit -> Doc

data ExtendedIdentifier

Constructors

ExtendedIdentifier

Instances

Eq ExtendedIdentifier

Methods

(==) :: ExtendedIdentifier -> ExtendedIdentifier -> Bool

(/=) :: ExtendedIdentifier -> ExtendedIdentifier -> Bool

Show ExtendedIdentifier

Methods

showsPrec :: Int -> ExtendedIdentifier -> ShowS

show :: ExtendedIdentifier -> String

showList :: [ExtendedIdentifier] -> ShowS

Pretty ExtendedIdentifier

Methods

pp :: ExtendedIdentifier -> Doc

data GraphicCharacter

Constructors

GraphicCharacter

Instances

Eq GraphicCharacter

Methods

(==) :: GraphicCharacter -> GraphicCharacter -> Bool

(/=) :: GraphicCharacter -> GraphicCharacter -> Bool

Show GraphicCharacter

Methods

showsPrec :: Int -> GraphicCharacter -> ShowS

show :: GraphicCharacter -> String

showList :: [GraphicCharacter] -> ShowS

Pretty GraphicCharacter

Methods

pp :: GraphicCharacter -> Doc

data Letter

Constructors

Letter

Instances

Eq Letter

Methods

(==) :: Letter -> Letter -> Bool

(/=) :: Letter -> Letter -> Bool

Show Letter

Methods

showsPrec :: Int -> Letter -> ShowS

show :: Letter -> String

showList :: [Letter] -> ShowS

Pretty Letter

Methods

pp :: Letter -> Doc

data LetterOrDigit

Constructors

LetterOrDigit

Instances

Eq LetterOrDigit

Methods

(==) :: LetterOrDigit -> LetterOrDigit -> Bool

(/=) :: LetterOrDigit -> LetterOrDigit -> Bool

Show LetterOrDigit

Methods

showsPrec :: Int -> LetterOrDigit -> ShowS

show :: LetterOrDigit -> String

showList :: [LetterOrDigit] -> ShowS

Pretty LetterOrDigit

Methods

pp :: LetterOrDigit -> Doc