| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Language.VHDL.Syntax
Contents
- 1.1 Entiity Declarations
- 1.2 Arcitecture bodies
- 1.3 Configuration declarations
- 2.1 Subprogram declarations
- 2.2 Subprogram bodies
- 2.3 Subprogram overloading
- 2.4 Resolution functions
- 2.5 Package declarations
- 2.6 Package bodies
- 2.7 Conformance rules
- 3.1 Scalar types
- 3.2 Composite types
- 3.3 Access types
- 3.4 File types
- 3.5 Protected types
- 4.1 Type declarations
- 4.2 Subtype declarations
- 4.3 Objects
- 4.4 Attribute declarations
- 4.5 Component declarations
- 4.6 Group template declarations
- 4.7 Group declarations
- 5.1 Attribute specification
- 5.2 Configuration specification
- 5.3 Disconnection specification
- 6.1 Names
- 6.2 Simple names
- 6.3 Selected names
- 6.4 Indexed names
- 6.5 Slice names
- 6.6 Attribute names
- 7.1 Rules for expressions
- 7.2 Operators
- 7.3 Operands
- 7.4 Static expressions
- 7.5 Universal expressions
- 8.1 Wait statement
- 8.2 Assertion statement
- 8.3 Report statement
- 8.4 Signal assignment statement
- 8.5 Variable assignment statement
- 8.6 Procedure call statement
- 8.7 If statement
- 8.8 Case statement
- 8.9 Loop statement
- 8.10 Next statement
- 8.11 Exit statement
- 8.12 Return statement
- 8.13 Null statement
- 9.1 Block statement
- 9.2 Process statement
- 9.3 Concurrent procedure call statements
- 9.4 Concurrent assertion statements
- 9.5 Concurrent signal assignment statements
- 9.6 Component instantiation statements
- 9.7 Generate statements
- data EntityDeclaration = EntityDeclaration {}
- data EntityHeader = EntityHeader {}
- data GenericClause = GenericClause GenericList
- data PortClause = PortClause PortList
- type GenericList = InterfaceList
- type PortList = InterfaceList
- type EntityDeclarativePart = [EntityDeclarativeItem]
- data EntityDeclarativeItem
- = 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
- type EntityStatementPart = [EntityStatement]
- data EntityStatement
- data ArchitectureBody = ArchitectureBody {}
- type ArchitectureDeclarativePart = [BlockDeclarativeItem]
- data BlockDeclarativeItem
- = 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
- type ArchitectureStatementPart = [ConcurrentStatement]
- data ConfigurationDeclaration = ConfigurationDeclaration {}
- type ConfigurationDeclarativePart = [ConfigurationDeclarativeItem]
- data ConfigurationDeclarativeItem
- data BlockConfiguration = BlockConfiguration {}
- data BlockSpecification
- data IndexSpecification
- data ConfigurationItem
- data ComponentConfiguration = ComponentConfiguration {}
- type SubprogramDeclaration = SubprogramSpecification
- data SubprogramSpecification
- data Designator
- type OperatorSymbol = StringLiteral
- type FormalParameterList = InterfaceList
- data SubprogramBody = SubprogramBody {}
- type SubprogramDeclarativePart = [SubprogramDeclarativeItem]
- data SubprogramDeclarativeItem
- = 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
- type SubprogramStatementPart = [SequentialStatement]
- data SubprogramKind
- data Signature = Signature (Maybe (Maybe [TypeMark], Maybe TypeMark))
- data PackageDeclaration = PackageDeclaration {}
- type PackageDeclarativePart = [PackageDeclarativeItem]
- data PackageDeclarativeItem
- = 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
- data PackageBody = PackageBody {}
- type PackageBodyDeclarativePart = [PackageBodyDeclarativeItem]
- data PackageBodyDeclarativeItem
- = PBDISubprogDecl SubprogramDeclaration
- | PBDISubprogBody SubprogramBody
- | PBDIType TypeDeclaration
- | PBDISubtype SubtypeDeclaration
- | PBDIConstant ConstantDeclaration
- | PBDIShared VariableDeclaration
- | PBDIFile FileDeclaration
- | PBDIAlias AliasDeclaration
- | PBDIUseClause UseClause
- | PBDIGroupTemp GroupTemplateDeclaration
- | PBDIGroup GroupDeclaration
- data ScalarTypeDefinition
- data RangeConstraint = RangeConstraint Range
- data Range
- data Direction
- data EnumerationTypeDefinition = EnumerationTypeDefinition [EnumerationLiteral]
- data EnumerationLiteral
- type IntegerTypeDefinition = RangeConstraint
- data PhysicalTypeDefinition = PhysicalTypeDefinition {}
- type PrimaryUnitDeclaration = Identifier
- data SecondaryUnitDeclaration = SecondaryUnitDeclaration Identifier PhysicalLiteral
- data PhysicalLiteral = PhysicalLiteral {}
- type FloatingTypeDefinition = RangeConstraint
- data CompositeTypeDefinition
- data ArrayTypeDefinition
- data UnconstrainedArrayDefinition = UnconstrainedArrayDefinition {}
- data ConstrainedArrayDefinition = ConstrainedArrayDefinition {}
- data IndexSubtypeDefinition = IndexSubtypeDefinition TypeMark
- data IndexConstraint = IndexConstraint [DiscreteRange]
- data DiscreteRange
- data RecordTypeDefinition = RecordTypeDefinition {}
- data ElementDeclaration = ElementDeclaration {}
- type IdentifierList = [Identifier]
- type ElementSubtypeDefinition = SubtypeIndication
- data AccessTypeDefinition = AccessTypeDefinition SubtypeIndication
- data IncompleteTypeDeclaration = IncompleteTypeDeclaration Identifier
- data FileTypeDefinition = FileTypeDefinition TypeMark
- data Declaration
- = DType TypeDeclaration
- | DSubtype SubtypeDeclaration
- | DObject ObjectDeclaration
- | DAlias AliasDeclaration
- | DComponent ComponentDeclaration
- | DAttribute AttributeDeclaration
- | DGroupTemplate GroupTemplateDeclaration
- | DGroup GroupDeclaration
- | DEntity EntityDeclaration
- | DConfiguration ConfigurationDeclaration
- | DSubprogram SubprogramDeclaration
- | DPackage PackageDeclaration
- data TypeDeclaration
- data FullTypeDeclaration = FullTypeDeclaration {}
- data TypeDefinition
- data SubtypeDeclaration = SubtypeDeclaration {}
- data SubtypeIndication = SubtypeIndication {}
- data TypeMark
- data Constraint
- data ObjectDeclaration
- data ConstantDeclaration = ConstantDeclaration {}
- data SignalDeclaration = SignalDeclaration {}
- data SignalKind
- data VariableDeclaration = VariableDeclaration {}
- data FileDeclaration = FileDeclaration {}
- data FileOpenInformation = FileOpenInformation {}
- type FileLogicalName = Expression
- data InterfaceDeclaration
- data Mode
- data InterfaceList = InterfaceList [InterfaceElement]
- type InterfaceElement = InterfaceDeclaration
- data AssociationElement = AssociationElement {}
- data AssociationList = AssociationList [AssociationElement]
- data FormalDesignator
- data FormalPart
- data ActualDesignator
- data ActualPart
- data AliasDeclaration = AliasDeclaration {}
- data AliasDesignator
- data AttributeDeclaration = AttributeDeclaration {}
- data ComponentDeclaration = ComponentDeclaration {}
- data GroupTemplateDeclaration = GroupTemplateDeclaration {}
- type EntityClassEntryList = [EntityClassEntry]
- data EntityClassEntry = EntityClassEntry {}
- data GroupDeclaration = GroupDeclaration {}
- type GroupConstituentList = [GroupConstituent]
- data GroupConstituent
- data AttributeSpecification = AttributeSpecification {}
- data EntitySpecification = EntitySpecification {}
- data EntityClass
- data EntityNameList
- data EntityDesignator = EntityDesignator {}
- data EntityTag
- data ConfigurationSpecification = ConfigurationSpecification {}
- data ComponentSpecification = ComponentSpecification {}
- data InstantiationList
- data BindingIndication = BindingIndication {}
- data EntityAspect
- data GenericMapAspect = GenericMapAspect AssociationList
- data PortMapAspect = PortMapAspect AssociationList
- data DisconnectionSpecification = DisconnectionSpecification {}
- data GuardedSignalSpecification = GuardedSignalSpecification {}
- data SignalList
- data Name
- data Prefix
- type SimpleName = Identifier
- data SelectedName = SelectedName {}
- data Suffix
- data IndexedName = IndexedName {}
- data SliceName = SliceName {}
- data AttributeName = AttributeName {}
- type AttributeDesignator = SimpleName
- data Expression
- data Relation = Relation {}
- data ShiftExpression = ShiftExpression {}
- data SimpleExpression = SimpleExpression {
- sexp_sign :: Maybe Sign
- sexp_term :: Term
- sexp_adding :: [(AddingOperator, Term)]
- data Term = Term {}
- data Factor
- data Primary
- data LogicalOperator
- data RelationalOperator
- data ShiftOperator
- data AddingOperator
- data Sign
- data MultiplyingOperator
- data MiscellaneousOperator
- data Literal
- data NumericLiteral
- data Aggregate = Aggregate {}
- data ElementAssociation = ElementAssociation {}
- data Choices = Choices [Choice]
- data Choice
- data FunctionCall = FunctionCall {}
- type ActualParameterPart = AssociationList
- data QualifiedExpression
- data TypeConversion = TypeConversion {}
- data Allocator
- type SequenceOfStatements = [SequentialStatement]
- data SequentialStatement
- = 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
- data WaitStatement = WaitStatement (Maybe Label) (Maybe SensitivityClause) (Maybe ConditionClause) (Maybe TimeoutClause)
- data SensitivityClause = SensitivityClause SensitivityList
- data SensitivityList = SensitivityList [Name]
- data ConditionClause = ConditionClause Condition
- type Condition = Expression
- data TimeoutClause = TimeoutClause Expression
- data AssertionStatement = AssertionStatement (Maybe Label) Assertion
- data Assertion = Assertion Condition (Maybe Expression) (Maybe Expression)
- data ReportStatement = ReportStatement (Maybe Label) Expression (Maybe Expression)
- data SignalAssignmentStatement = SignalAssignmentStatement (Maybe Label) Target (Maybe DelayMechanism) Waveform
- data DelayMechanism
- data Target
- data Waveform
- data WaveformElement
- data VariableAssignmentStatement = VariableAssignmentStatement (Maybe Label) Target Expression
- data ProcedureCallStatement = ProcedureCallStatement (Maybe Label) ProcedureCall
- data ProcedureCall = ProcedureCall Name (Maybe ActualParameterPart)
- data IfStatement = IfStatement {}
- data CaseStatement = CaseStatement {}
- data CaseStatementAlternative = CaseStatementAlternative Choices SequenceOfStatements
- data LoopStatement = LoopStatement {}
- data IterationScheme
- data ParameterSpecification = ParameterSpecification {}
- data NextStatement = NextStatement {}
- data ExitStatement = ExitStatement {}
- data ReturnStatement = ReturnStatement {}
- data NullStatement = NullStatement {
- null_label :: Maybe Label
- data ConcurrentStatement
- data BlockStatement = BlockStatement {}
- data BlockHeader = BlockHeader {}
- type BlockDeclarativePart = [BlockDeclarativeItem]
- type BlockStatementPart = [ConcurrentStatement]
- data ProcessStatement = ProcessStatement {}
- type ProcessDeclarativePart = [ProcessDeclarativeItem]
- data ProcessDeclarativeItem
- = PDISubprogDecl SubprogramDeclaration
- | PDISubprogBody SubprogramBody
- | PDIType TypeDeclaration
- | PDISubtype SubtypeDeclaration
- | PDIConstant ConstantDeclaration
- | PDIVariable VariableDeclaration
- | PDIFile FileDeclaration
- | PDIAlias AliasDeclaration
- | PDIAttrDecl AttributeDeclaration
- | PDIAttrSpec AttributeSpecification
- | PDIUseClause UseClause
- type ProcessStatementPart = [SequentialStatement]
- data ConcurrentProcedureCallStatement = ConcurrentProcedureCallStatement {}
- data ConcurrentAssertionStatement = ConcurrentAssertionStatement {}
- data ConcurrentSignalAssignmentStatement
- data Options = Options {}
- data ConditionalSignalAssignment = ConditionalSignalAssignment {}
- data ConditionalWaveforms = ConditionalWaveforms {}
- data SelectedSignalAssignment = SelectedSignalAssignment {}
- data SelectedWaveforms = SelectedWaveforms {}
- data ComponentInstantiationStatement = ComponentInstantiationStatement {}
- data InstantiatedUnit
- data GenerateStatement = GenerateStatement {}
- data GenerationScheme
- type Label = Identifier
- data UseClause = UseClause [SelectedName]
- type DesignFile = [DesignUnit]
- data DesignUnit = DesignUnit {}
- data PrimaryUnit
- data SecondaryUnit
- data LibraryClause = LibraryClause LogicalNameList
- data LogicalNameList = LogicalNameList [LogicalName]
- type LogicalName = Identifier
- type ContextClause = Maybe ContextItem
- data ContextItem
- data Identifier = Ident String
- data CharacterLiteral = CLit Char
- data StringLiteral = SLit String
- data AbstractLiteral = AbstractLiteral
- data Base = Base
- data BaseSpecifier = BaseSpecifier
- data BaseUnitDeclaration = BaseUnitDeclaration
- data BasedInteger = BasedInteger
- data BasedLiteral = BasedLiteral
- data BasicCharacter = BasicCharacter
- data BasicGraphicCharacter = BasicGraphicCharacter
- data BasicIdentifier = BasicIdentifier
- data BitStringLiteral = BitStringLiteral
- data BitValue = BitValue
- data DecimalLiteral = DecimalLiteral
- data Exponent = Exponent
- data ExtendedDigit = ExtendedDigit
- data ExtendedIdentifier = ExtendedIdentifier
- data GraphicCharacter = GraphicCharacter
- data Letter = Letter
- data LetterOrDigit = LetterOrDigit
- data LibraryUnit = LibraryUnit
1.1 Entiity Declarations
data EntityDeclaration Source
Constructors
| EntityDeclaration | |
1.1.1 Entity haeder
data GenericClause Source
Constructors
| GenericClause GenericList |
1.1.1.1 Generics
type GenericList = InterfaceList Source
1.1.1.2 Ports
type PortList = InterfaceList Source
1.1.2 Entity declarative part
data EntityDeclarativeItem Source
Constructors
1.1.3 Entity statement part
type EntityStatementPart = [EntityStatement] Source
data EntityStatement Source
1.2 Arcitecture bodies
data ArchitectureBody Source
Constructors
| ArchitectureBody | |
1.2.1 Architecture declarative part
data BlockDeclarativeItem Source
Constructors
1.2.2 Architecture statement part
1.3 Configuration declarations
data ConfigurationDeclaration Source
Constructors
| ConfigurationDeclaration | |
1.3.1 Block configuration
data BlockConfiguration Source
Constructors
| BlockConfiguration | |
data BlockSpecification Source
data IndexSpecification Source
Constructors
| ISRange DiscreteRange | |
| ISExp Expression |
data ConfigurationItem Source
Constructors
| CIBlock BlockConfiguration | |
| CIComp ComponentConfiguration |
1.3.2 Component configuration
data ComponentConfiguration Source
Constructors
| ComponentConfiguration | |
2.1 Subprogram declarations
data SubprogramSpecification Source
Constructors
| SubprogramProcedure | |
| SubprogramFunction | |
type OperatorSymbol = StringLiteral Source
2.1.1 Formal parameters
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 Source
Constructors
| SubprogramBody | |
data SubprogramDeclarativeItem Source
Constructors
data SubprogramKind Source
2.3 Subprogram overloading
2.3.1 Operator overloading
2.3.2 Signatures
2.4 Resolution functions
2.5 Package declarations
data PackageDeclaration Source
Constructors
| PackageDeclaration | |
data PackageDeclarativeItem Source
Constructors
2.6 Package bodies
data PackageBodyDeclarativeItem Source
Constructors
2.7 Conformance rules
3.1 Scalar types
data RangeConstraint Source
Constructors
| RangeConstraint Range |
Constructors
| RAttr AttributeName | |
| RSimple | |
Fields | |
3.1.1 Enumeration types
data EnumerationTypeDefinition Source
Constructors
| EnumerationTypeDefinition [EnumerationLiteral] |
data EnumerationLiteral Source
Constructors
| EId Identifier | |
| EChar CharacterLiteral |
3.1.1.1 Predefined enumeration types
3.1.2 Integer types
3.1.2.1 Predefined integer types
3.1.3 Physical types
data PhysicalTypeDefinition Source
Constructors
| PhysicalTypeDefinition | |
data SecondaryUnitDeclaration Source
Constructors
| SecondaryUnitDeclaration Identifier PhysicalLiteral |
data PhysicalLiteral Source
Constructors
| PhysicalLiteral | |
Fields | |
3.1.3.1 Predefined physical types
3.1.4 Floating point types
3.1.4.1 Predefined floating point types
3.2 Composite types
data CompositeTypeDefinition Source
Constructors
| CTDArray ArrayTypeDefinition | |
| CTDRecord RecordTypeDefinition |
3.2.1 Array types
data UnconstrainedArrayDefinition Source
Constructors
| UnconstrainedArrayDefinition | |
data ConstrainedArrayDefinition Source
Constructors
| ConstrainedArrayDefinition | |
data IndexSubtypeDefinition Source
Constructors
| IndexSubtypeDefinition TypeMark |
data IndexConstraint Source
Constructors
| IndexConstraint [DiscreteRange] |
data DiscreteRange Source
Constructors
| DRSub SubtypeIndication | |
| DRRange Range |
3.2.1.1 Index constraints and discrete ranges
3.2.1.2 Predefined array types
3.2.2 Record types
data RecordTypeDefinition Source
Constructors
| RecordTypeDefinition | |
data ElementDeclaration Source
Constructors
| ElementDeclaration | |
type IdentifierList = [Identifier] Source
3.3 Access types
data AccessTypeDefinition Source
Constructors
| AccessTypeDefinition SubtypeIndication |
3.3.1 Incomplete type declarations
data IncompleteTypeDeclaration Source
Constructors
| IncompleteTypeDeclaration Identifier |
3.3.2 Allocation and deallocation of objects
3.4 File types
data FileTypeDefinition Source
Constructors
| FileTypeDefinition TypeMark |
3.4.1 File operations
3.5 Protected types
data Declaration Source
Constructors
Instances
4.1 Type declarations
data TypeDeclaration Source
Constructors
| TDFull FullTypeDeclaration | |
| TDPartial IncompleteTypeDeclaration |
data FullTypeDeclaration Source
Constructors
| FullTypeDeclaration | |
Fields | |
data TypeDefinition Source
4.2 Subtype declarations
data SubtypeDeclaration Source
Constructors
| SubtypeDeclaration | |
Fields | |
data SubtypeIndication Source
Constructors
| SubtypeIndication | |
Fields | |
4.3 Objects
4.3.1 Object declarations
data ObjectDeclaration Source
4.3.1.1 Constant declarations
data ConstantDeclaration Source
Constructors
| ConstantDeclaration | |
4.3.1.2 Signal declarations
data SignalDeclaration Source
Constructors
| SignalDeclaration | |
data SignalKind Source
Instances
4.3.1.3 Variable declarations
data VariableDeclaration Source
Constructors
| VariableDeclaration | |
4.3.1.4 File declarations
data FileDeclaration Source
Constructors
| FileDeclaration | |
data FileOpenInformation Source
Constructors
| FileOpenInformation | |
type FileLogicalName = Expression Source
4.3.2 Interface declarations
4.3.2.1 Interface lists
data InterfaceList Source
Constructors
| InterfaceList [InterfaceElement] |
4.3.2.2 Association lists
data AssociationElement Source
Constructors
| AssociationElement | |
Fields | |
data AssociationList Source
Constructors
| AssociationList [AssociationElement] |
data FormalDesignator Source
data FormalPart Source
Constructors
| FPDesignator FormalDesignator | |
| FPFunction Name FormalDesignator | |
| FPType TypeMark FormalDesignator |
Instances
data ActualDesignator Source
Constructors
| ADExpression Expression | |
| ADSignal Name | |
| ADVariable Name | |
| ADFile Name | |
| ADOpen |
data ActualPart Source
Constructors
| APDesignator ActualDesignator | |
| APFunction Name ActualDesignator | |
| APType TypeMark ActualDesignator |
Instances
4.3.3 Alias declarations
data AliasDeclaration Source
Constructors
| AliasDeclaration | |
data AliasDesignator Source
4.3.3.1 Object aliases
4.3.3.2 Nonobject aliases
4.4 Attribute declarations
data AttributeDeclaration Source
Constructors
| AttributeDeclaration | |
Fields | |
4.5 Component declarations
data ComponentDeclaration Source
Constructors
| ComponentDeclaration | |
4.6 Group template declarations
data GroupTemplateDeclaration Source
Constructors
| GroupTemplateDeclaration | |
type EntityClassEntryList = [EntityClassEntry] Source
data EntityClassEntry Source
Constructors
| EntityClassEntry | |
Fields | |
4.7 Group declarations
data GroupDeclaration Source
Constructors
| GroupDeclaration | |
type GroupConstituentList = [GroupConstituent] Source
data GroupConstituent Source
Constructors
| GCName Name | |
| GCChar CharacterLiteral |
5.1 Attribute specification
data AttributeSpecification Source
Constructors
| AttributeSpecification | |
data EntitySpecification Source
Constructors
| EntitySpecification | |
Fields | |
data EntityClass Source
Constructors
| ENTITY | |
| ARCHITECTURE | |
| CONFIGURATION | |
| PROCEDURE | |
| FUNCTION | |
| PACKAGE | |
| TYPE | |
| SUBTYPE | |
| CONSTANT | |
| SIGNAL | |
| VARIABLE | |
| COMPONENT | |
| LABEL | |
| LITERAL | |
| UNITS | |
| GROUP | |
| FILE |
Instances
data EntityNameList Source
Constructors
| ENLDesignators [EntityDesignator] | |
| ENLOthers | |
| ENLAll |
data EntityDesignator Source
Constructors
| EntityDesignator | |
Fields | |
Constructors
| ETName SimpleName | |
| ETChar CharacterLiteral | |
| ETOp OperatorSymbol |
5.2 Configuration specification
data ConfigurationSpecification Source
Constructors
| ConfigurationSpecification | |
data ComponentSpecification Source
Constructors
| ComponentSpecification | |
Fields | |
data InstantiationList Source
5.2.1 Binding indication
data BindingIndication Source
Constructors
| BindingIndication | |
5.2.1.1 Entity aspect
data EntityAspect Source
Instances
5.2.1.2 Generic map and port map aspects
data GenericMapAspect Source
Constructors
| GenericMapAspect AssociationList |
data PortMapAspect Source
Constructors
| PortMapAspect AssociationList |
5.2.2 Default binding indication
5.3 Disconnection specification
data DisconnectionSpecification Source
Constructors
| DisconnectionSpecification | |
data GuardedSignalSpecification Source
Constructors
| GuardedSignalSpecification | |
Fields | |
data SignalList Source
Instances
6.1 Names
Constructors
| PName Name | |
| PFun FunctionCall |
6.2 Simple names
type SimpleName = Identifier Source
6.3 Selected names
data SelectedName Source
Constructors
| SelectedName | |
Fields
| |
Instances
Constructors
| SSimple SimpleName | |
| SChar CharacterLiteral | |
| SOp OperatorSymbol | |
| SAll |
6.4 Indexed names
data IndexedName Source
Constructors
| IndexedName | |
Fields
| |
Instances
6.5 Slice names
Constructors
| SliceName | |
Fields | |
6.6 Attribute names
data AttributeName Source
Constructors
| AttributeName | |
type AttributeDesignator = SimpleName Source
7.1 Rules for expressions
data Expression Source
Constructors
| EAnd [Relation] | |
| EOr [Relation] | |
| EXor [Relation] | |
| ENand Relation (Maybe Relation) | |
| ENor Relation (Maybe Relation) | |
| EXnor [Relation] |
Instances
Constructors
| Relation | |
data ShiftExpression Source
Constructors
| ShiftExpression | |
data SimpleExpression Source
Constructors
| SimpleExpression | |
Fields
| |
Constructors
| Term | |
Fields
| |
7.2 Operators
data LogicalOperator Source
data RelationalOperator Source
data ShiftOperator Source
data AddingOperator Source
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 NumericLiteral Source
Constructors
| NLitAbstract AbstractLiteral | |
| NLitPhysical PhysicalLiteral |
7.3.2 Aggregates
Constructors
| Aggregate | |
Fields | |
data ElementAssociation Source
Constructors
| ElementAssociation | |
Fields | |
7.3.2.1 Record aggregates
7.3.2.2 Array aggregates
7.3.3 Function calls
7.3.4 Qualified expressions
7.3.5 Type conversions
data TypeConversion Source
Constructors
| TypeConversion | |
Fields | |
7.3.6 Allocators
Constructors
| AllocSub SubtypeIndication | |
| AllocQual QualifiedExpression |
7.4 Static expressions
7.4.1 Locally static primaries
7.4.2 Globally static primaries
7.5 Universal expressions
data SequentialStatement Source
Constructors
8.1 Wait statement
data WaitStatement Source
Constructors
| WaitStatement (Maybe Label) (Maybe SensitivityClause) (Maybe ConditionClause) (Maybe TimeoutClause) |
data SensitivityClause Source
Constructors
| SensitivityClause SensitivityList |
data SensitivityList Source
Constructors
| SensitivityList [Name] |
data ConditionClause Source
Constructors
| ConditionClause Condition |
type Condition = Expression Source
data TimeoutClause Source
Constructors
| TimeoutClause Expression |
8.2 Assertion statement
data AssertionStatement Source
Constructors
| AssertionStatement (Maybe Label) Assertion |
Constructors
| Assertion Condition (Maybe Expression) (Maybe Expression) |
8.3 Report statement
data ReportStatement Source
Constructors
| ReportStatement (Maybe Label) Expression (Maybe Expression) |
8.4 Signal assignment statement
data SignalAssignmentStatement Source
Constructors
| SignalAssignmentStatement (Maybe Label) Target (Maybe DelayMechanism) Waveform |
data DelayMechanism Source
Constructors
| DMechTransport | |
| DMechInertial (Maybe Expression) |
Constructors
| TargetName Name | |
| TargetAgg Aggregate |
Constructors
| WaveElem [WaveformElement] | |
| WaveUnaffected |
8.4.1 Updating a projected output waveform
data WaveformElement Source
Constructors
| WaveEExp Expression (Maybe Expression) | |
| WaveENull (Maybe Expression) |
8.5 Variable assignment statement
data VariableAssignmentStatement Source
Constructors
| VariableAssignmentStatement (Maybe Label) Target Expression |
8.5.1 Array variable assignments
8.6 Procedure call statement
data ProcedureCallStatement Source
Constructors
| ProcedureCallStatement (Maybe Label) ProcedureCall |
data ProcedureCall Source
Constructors
| ProcedureCall Name (Maybe ActualParameterPart) |
8.7 If statement
data IfStatement Source
Constructors
| IfStatement | |
Fields
| |
Instances
8.8 Case statement
data CaseStatement Source
Constructors
| CaseStatement | |
Fields | |
data CaseStatementAlternative Source
Constructors
| CaseStatementAlternative Choices SequenceOfStatements |
8.9 Loop statement
data LoopStatement Source
Constructors
| LoopStatement | |
data IterationScheme Source
Constructors
| IterWhile Condition | |
| IterFor ParameterSpecification |
data ParameterSpecification Source
Constructors
| ParameterSpecification | |
8.10 Next statement
data NextStatement Source
Constructors
| NextStatement | |
8.11 Exit statement
data ExitStatement Source
Constructors
| ExitStatement | |
8.12 Return statement
data ReturnStatement Source
Constructors
| ReturnStatement | |
Fields | |
8.13 Null statement
data NullStatement Source
Constructors
| NullStatement | |
Fields
| |
9.1 Block statement
data BlockStatement Source
Constructors
| BlockStatement | |
type BlockStatementPart = [ConcurrentStatement] Source
9.2 Process statement
data ProcessStatement Source
Constructors
| ProcessStatement | |
data ProcessDeclarativeItem Source
Constructors
9.3 Concurrent procedure call statements
data ConcurrentProcedureCallStatement Source
Constructors
| ConcurrentProcedureCallStatement | |
Fields | |
9.4 Concurrent assertion statements
data ConcurrentAssertionStatement Source
Constructors
| ConcurrentAssertionStatement | |
Fields
| |
9.5 Concurrent signal assignment statements
data ConcurrentSignalAssignmentStatement Source
Constructors
| CSASCond | |
| CSASSelect | |
Constructors
| Options | |
Fields | |
9.5.1 Conditional signal assignments
data ConditionalSignalAssignment Source
Constructors
| ConditionalSignalAssignment | |
Fields | |
data ConditionalWaveforms Source
Constructors
| ConditionalWaveforms | |
9.5.2 Selected signal assignments
data SelectedSignalAssignment Source
Constructors
| SelectedSignalAssignment | |
Fields | |
data SelectedWaveforms Source
Constructors
| SelectedWaveforms | |
9.6 Component instantiation statements
data ComponentInstantiationStatement Source
Constructors
| ComponentInstantiationStatement | |
data InstantiatedUnit Source
Constructors
| IUComponent Name | |
| IUEntity Name (Maybe Identifier) | |
| IUConfig Name |
9.6.1 Instantiation of a component
9.6.2 Instantiation of a design entity
9.7 Generate statements
data GenerateStatement Source
Constructors
| GenerateStatement | |
data GenerationScheme Source
Constructors
| GSFor ParameterSpecification | |
| GSIf Condition |
type Label = Identifier Source
10.1 Declarative region
10.2 Scope of declarations
10.3 Visibility
10.4 Use clauses
Constructors
| UseClause [SelectedName] |
10.5 The context of overload resolution
11.1 Design units
type DesignFile = [DesignUnit] Source
data PrimaryUnit Source
Constructors
| PrimaryEntity EntityDeclaration | |
| PrimaryConfig ConfigurationDeclaration | |
| PrimaryPackage PackageDeclaration |
Instances
data SecondaryUnit Source
11.2 Design libraries
data LibraryClause Source
Constructors
| LibraryClause LogicalNameList |
data LogicalNameList Source
Constructors
| LogicalNameList [LogicalName] |
type LogicalName = Identifier Source
11.3 Context clauses
type ContextClause = Maybe ContextItem Source
11.3 Order of analysis
data Identifier Source
Instances
data CharacterLiteral Source
data StringLiteral Source
data AbstractLiteral Source
Constructors
| AbstractLiteral |
data BaseSpecifier Source
Constructors
| BaseSpecifier |
data BaseUnitDeclaration Source
Constructors
| BaseUnitDeclaration |
data BasicCharacter Source
Constructors
| BasicCharacter |
data BasicGraphicCharacter Source
Constructors
| BasicGraphicCharacter |
data BasicIdentifier Source
Constructors
| BasicIdentifier |
data BitStringLiteral Source
Constructors
| BitStringLiteral |
Constructors
| BitValue |
data DecimalLiteral Source
Constructors
| DecimalLiteral |
Constructors
| Exponent |
data ExtendedDigit Source
Constructors
| ExtendedDigit |
data ExtendedIdentifier Source
Constructors
| ExtendedIdentifier |
data GraphicCharacter Source
Constructors
| GraphicCharacter |
Constructors
| Letter |
data LetterOrDigit Source
Constructors
| LetterOrDigit |