Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.VHDL.Syntax

Contents

1.1 Entiity Declarations
- 1.1.1 Entity haeder
  - 1.1.1.1 Generics
  - 1.1.1.2 Ports
- 1.1.2 Entity declarative part
- 1.1.3 Entity statement part
1.2 Arcitecture bodies
- 1.2.1 Architecture declarative part
- 1.2.2 Architecture statement part
1.3 Configuration declarations
- 1.3.1 Block configuration
- 1.3.2 Component configuration
2.1 Subprogram declarations
- 2.1.1 Formal parameters
2.2 Subprogram bodies
2.3 Subprogram overloading
- 2.3.1 Operator overloading
- 2.3.2 Signatures
2.4 Resolution functions
2.5 Package declarations
2.6 Package bodies
2.7 Conformance rules
3.1 Scalar types
- 3.1.1 Enumeration types
  - 3.1.1.1 Predefined enumeration types
- 3.1.2 Integer types
  - 3.1.2.1 Predefined integer types
- 3.1.3 Physical types
  - 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
- 3.2.1 Array types
  - 3.2.1.1 Index constraints and discrete ranges
  - 3.2.1.2 Predefined array types
- 3.2.2 Record types
3.3 Access types
- 3.3.1 Incomplete type declarations
  - 3.3.2 Allocation and deallocation of objects
3.4 File types
- 3.4.1 File operations
3.5 Protected types
4.1 Type declarations
4.2 Subtype declarations
4.3 Objects
- 4.3.1 Object declarations
- 4.3.2 Interface declarations
  - 4.3.2.1 Interface lists
  - 4.3.2.2 Association lists
- 4.3.3 Alias declarations
  - 4.3.3.1 Object aliases
  - 4.3.3.2 Nonobject aliases
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.2.1 Binding indication
  - 5.2.1.1 Entity aspect
  - 5.2.1.2 Generic map and port map aspects
- 5.2.2 Default binding indication
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.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
- 7.3.2 Aggregates
  - 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
- 7.3.6 Allocators
7.4 Static expressions
- 7.4.1 Locally static primaries
- 7.4.2 Globally static primaries
7.5 Universal expressions
8.1 Wait statement
8.2 Assertion statement
8.3 Report statement
8.4 Signal assignment statement
- 8.4.1 Updating a projected output waveform
8.5 Variable assignment statement
- 8.5.1 Array variable assignments
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.5.1 Conditional signal assignments
- 9.5.2 Selected signal assignments
9.6 Component instantiation statements
- 9.6.1 Instantiation of a component
- 9.6.2 Instantiation of a design entity
9.7 Generate statements
- 10.1 Declarative region
- 10.2 Scope of declarations
- 10.3 Visibility
- 10.4 Use clauses
- 10.5 The context of overload resolution
- 11.1 Design units
- 11.2 Design libraries
- 11.3 Context clauses
- 11.3 Order of analysis
- 13.4

Synopsis

data EntityDeclaration = EntityDeclaration {
- entity_identifier :: Identifier
- entity_header :: EntityHeader
- entity_declarative_part :: EntityDeclarativePart
- entity_statement_part :: Maybe EntityStatementPart
}
data EntityHeader = EntityHeader {
- formal_generic_clause :: Maybe GenericClause
- formal_port_clause :: Maybe PortClause
}
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
- = ESConcAssert ConcurrentAssertionStatement
- | ESPassiveConc ConcurrentProcedureCallStatement
- | ESPassiveProc ProcessStatement
data ArchitectureBody = ArchitectureBody {
- archi_identifier :: Identifier
- archi_entity_name :: Name
- archi_declarative_part :: ArchitectureDeclarativePart
- archi_statement_part :: ArchitectureStatementPart
}
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
- | BDIAttrSpec AttributeSpecification
- | BDIConfigSpec ConfigurationSpecification
- | BDIDisconSpec DisconnectionSpecification
- | BDIUseClause UseClause
- | BDIGroupTemp GroupTemplateDeclaration
- | BDIGroup GroupDeclaration
type ArchitectureStatementPart = [ConcurrentStatement]
data ConfigurationDeclaration = ConfigurationDeclaration {
- config_identifier :: Identifier
- config_entity_name :: Name
- config_declarative_part :: ConfigurationDeclarativePart
- config_block_configuration :: BlockConfiguration
}
type ConfigurationDeclarativePart = [ConfigurationDeclarativeItem]
data ConfigurationDeclarativeItem
- = CDIUse UseClause
- | CDIAttrSpec AttributeSpecification
- | CDIGroup GroupDeclaration
data BlockConfiguration = BlockConfiguration {
- block_specification :: BlockSpecification
- block_use_clause :: [UseClause]
- block_configuration_item :: [ConfigurationItem]
}
data BlockSpecification
- = BSArch Name
- | BSBlock Label
- | BSGen Label
data IndexSpecification
- = ISRange DiscreteRange
- | ISExp Expression
data ConfigurationItem
- = CIBlock BlockConfiguration
- | CIComp ComponentConfiguration
data ComponentConfiguration = ComponentConfiguration {
- comp_specification :: ComponentSpecification
- comp_binding_indication :: Maybe BindingIndication
- comp_block_configuration :: Maybe BlockConfiguration
}
newtype SubprogramDeclaration = SubprogramDeclaration SubprogramSpecification
data SubprogramSpecification
- = SubprogramProcedure {
  - subproc_designator :: Designator
  - subproc_formal_parameter_list :: Maybe FormalParameterList
  }
- | SubprogramFunction {
  }
data Designator
- = DId Identifier
- | DOp OperatorSymbol
type OperatorSymbol = StringLiteral
type FormalParameterList = InterfaceList
data SubprogramBody = SubprogramBody {
- subprog_specification :: SubprogramSpecification
- subprog_declarative_part :: SubprogramDeclarativePart
- subprog_statement_part :: SubprogramStatementPart
- subprog_kind :: Maybe SubprogramKind
- subprog_designator :: Maybe Designator
}
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
- = Procedure
- | Function
data Signature = Signature (Maybe (Maybe [TypeMark], Maybe TypeMark))
data PackageDeclaration = PackageDeclaration {
- packd_identifier :: Identifier
- packd_declarative_part :: PackageDeclarativePart
}
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 {
- packb_simple_name :: SimpleName
- packb_body_declarative_part :: PackageBodyDeclarativePart
}
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
- = ScalarEnum EnumerationTypeDefinition
- | ScalarInt IntegerTypeDefinition
- | ScalarFloat FloatingTypeDefinition
- | ScalarPhys PhysicalTypeDefinition
data RangeConstraint = RangeConstraint Range
data Range
- = RAttr AttributeName
- | RSimple {
  - range_lower :: SimpleExpression
  - range_dir :: Direction
  - range_upper :: SimpleExpression
  }
data Direction
- = To
- | DownTo
data EnumerationTypeDefinition = EnumerationTypeDefinition [EnumerationLiteral]
data EnumerationLiteral
- = EId Identifier
- | EChar CharacterLiteral
type IntegerTypeDefinition = RangeConstraint
data PhysicalTypeDefinition = PhysicalTypeDefinition {
- physd_range_constraint :: RangeConstraint
- physd_primary_unit_declaration :: PrimaryUnitDeclaration
- physd_secondary_unit_declaration :: [SecondaryUnitDeclaration]
- physd_simple_name :: Maybe SimpleName
}
type PrimaryUnitDeclaration = Identifier
data SecondaryUnitDeclaration = SecondaryUnitDeclaration Identifier PhysicalLiteral
data PhysicalLiteral = PhysicalLiteral {
- physl_abstract_literal :: Maybe Literal
- physl_unit_name :: Name
}
type FloatingTypeDefinition = RangeConstraint
data CompositeTypeDefinition
- = CTDArray ArrayTypeDefinition
- | CTDRecord RecordTypeDefinition
data ArrayTypeDefinition
- = ArrU UnconstrainedArrayDefinition
- | ArrC ConstrainedArrayDefinition
data UnconstrainedArrayDefinition = UnconstrainedArrayDefinition {
- arru_index_subtype_definition :: [IndexSubtypeDefinition]
- arru_element_subtype_indication :: SubtypeIndication
}
data ConstrainedArrayDefinition = ConstrainedArrayDefinition {
- arrc_index_constraint :: IndexConstraint
- arrc_subtype_indication :: SubtypeIndication
}
data IndexSubtypeDefinition = IndexSubtypeDefinition TypeMark
data IndexConstraint = IndexConstraint [DiscreteRange]
data DiscreteRange
- = DRSub SubtypeIndication
- | DRRange Range
data RecordTypeDefinition = RecordTypeDefinition {
- rectd_element_declaration :: [ElementDeclaration]
- rectd_type_simple_name :: Maybe SimpleName
}
data ElementDeclaration = ElementDeclaration {
- elemd_identifier_list :: IdentifierList
- elemd_subtype_definition :: ElementSubtypeDefinition
}
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
- = TDFull FullTypeDeclaration
- | TDPartial IncompleteTypeDeclaration
data FullTypeDeclaration = FullTypeDeclaration {
- ftd_identifier :: Identifier
- ftd_type_definition :: TypeDefinition
}
data TypeDefinition
- = TDScalar ScalarTypeDefinition
- | TDComposite CompositeTypeDefinition
- | TDAccess AccessTypeDefinition
- | TDFile FileTypeDefinition
data SubtypeDeclaration = SubtypeDeclaration {
- sd_identifier :: Identifier
- sd_indication :: SubtypeIndication
}
data SubtypeIndication = SubtypeIndication {
- si_resolution_function_name :: Maybe Name
- si_type_mark :: TypeMark
- si_constraint :: Maybe Constraint
}
data TypeMark
- = TMType Name
- | TMSubtype Name
data Constraint
- = CRange RangeConstraint
- | CIndex IndexConstraint
data ObjectDeclaration
- = ObjConst ConstantDeclaration
- | ObjSig SignalDeclaration
- | ObjVar VariableDeclaration
- | ObjFile FileDeclaration
data ConstantDeclaration = ConstantDeclaration {
- const_identifier_list :: IdentifierList
- const_subtype_indication :: SubtypeIndication
- const_expression :: Maybe Expression
}
data SignalDeclaration = SignalDeclaration {
- signal_identifier_list :: IdentifierList
- signal_subtype_indication :: SubtypeIndication
- signal_kind :: Maybe SignalKind
- signal_expression :: Maybe Expression
}
data SignalKind
- = Register
- | Bus
data VariableDeclaration = VariableDeclaration {
- var_shared :: Bool
- var_identifier_list :: IdentifierList
- var_subtype_indication :: SubtypeIndication
- var_expression :: Maybe Expression
}
data FileDeclaration = FileDeclaration {
- fd_identifier_list :: IdentifierList
- fd_subtype_indication :: SubtypeIndication
- fd_open_information :: Maybe FileOpenInformation
}
data FileOpenInformation = FileOpenInformation {
- foi_open_kind_expression :: Maybe Expression
- foi_logical_name :: FileLogicalName
}
type FileLogicalName = Expression
data InterfaceDeclaration
- = InterfaceConstantDeclaration {
  }
- | InterfaceSignalDeclaration {
  - idecl_identifier_list :: IdentifierList
  - isig_mode :: Maybe Mode
  - isig_subtype_indication :: SubtypeIndication
  - isig_bus :: Bool
  - isig_static_expression :: Maybe Expression
  }
- | InterfaceVariableDeclaration {
  }
- | InterfaceFileDeclaration {
  - idecl_identifier_list :: IdentifierList
  - ifile_subtype_indication :: SubtypeIndication
  }
data Mode
- = In
- | Out
- | InOut
- | Buffer
- | Linkage
data InterfaceList = InterfaceList [InterfaceElement]
type InterfaceElement = InterfaceDeclaration
data AssociationElement = AssociationElement {
- assoc_formal_part :: Maybe FormalPart
- assoc_actual_part :: ActualPart
}
data AssociationList = AssociationList [AssociationElement]
data FormalDesignator
- = FDGeneric Name
- | FDPort Name
- | FDParameter Name
data FormalPart
- = FPDesignator FormalDesignator
- | FPFunction Name FormalDesignator
- | FPType TypeMark FormalDesignator
data ActualDesignator
- = ADExpression Expression
- | ADSignal Name
- | ADVariable Name
- | ADFile Name
- | ADOpen
data ActualPart
- = APDesignator ActualDesignator
- | APFunction Name ActualDesignator
- | APType TypeMark ActualDesignator
data AliasDeclaration = AliasDeclaration {
- alias_designator :: AliasDesignator
- alias_subtype_indication :: Maybe SubtypeIndication
- alias_name :: Name
- alias_signature :: Maybe Signature
}
data AliasDesignator
- = ADIdentifier Identifier
- | ADCharacter CharacterLiteral
- | ADOperator OperatorSymbol
data AttributeDeclaration = AttributeDeclaration {
- attr_identifier :: Identifier
- attr_type_marke :: TypeMark
}
data ComponentDeclaration = ComponentDeclaration {
- comp_identifier :: Identifier
- comp_local_generic_clause :: Maybe GenericClause
- comp_local_port_clause :: Maybe PortClause
- comp_simple_name :: Maybe SimpleName
}
data GroupTemplateDeclaration = GroupTemplateDeclaration {
- gtd_identifier :: Identifier
- gtd_entity_class_entry_list :: EntityClassEntryList
}
type EntityClassEntryList = [EntityClassEntry]
data EntityClassEntry = EntityClassEntry {
- entc_entity_class :: EntityClass
- entc_multiple :: Bool
}
data GroupDeclaration = GroupDeclaration {
- group_identifier :: Identifier
- group_template_name :: Name
- group_constituent_list :: GroupConstituentList
}
type GroupConstituentList = [GroupConstituent]
data GroupConstituent
- = GCName Name
- | GCChar CharacterLiteral
data AttributeSpecification = AttributeSpecification {
- as_attribute_designator :: AttributeDesignator
- as_entity_specification :: EntitySpecification
- as_expression :: Expression
}
data EntitySpecification = EntitySpecification {
- es_entity_name_list :: EntityNameList
- es_entity_class :: EntityClass
}
data EntityClass
- = ENTITY
- | ARCHITECTURE
- | CONFIGURATION
- | PROCEDURE
- | FUNCTION
- | PACKAGE
- | TYPE
- | SUBTYPE
- | CONSTANT
- | SIGNAL
- | VARIABLE
- | COMPONENT
- | LABEL
- | LITERAL
- | UNITS
- | GROUP
- | FILE
data EntityNameList
- = ENLDesignators [EntityDesignator]
- | ENLOthers
- | ENLAll
data EntityDesignator = EntityDesignator {
- ed_entity_tag :: EntityTag
- ed_signature :: Maybe Signature
}
data EntityTag
- = ETName SimpleName
- | ETChar CharacterLiteral
- | ETOp OperatorSymbol
data ConfigurationSpecification = ConfigurationSpecification {
- cs_component_specification :: ComponentSpecification
- cs_binding_indication :: BindingIndication
}
data ComponentSpecification = ComponentSpecification {
- cs_instantiation_list :: InstantiationList
- cs_component_name :: Name
}
data InstantiationList
- = ILLabels [Label]
- | ILOthers
- | ILAll
data BindingIndication = BindingIndication {
- bi_entity_aspect :: Maybe EntityAspect
- bi_generic_map_aspect :: Maybe GenericMapAspect
- bi_port_map_aspect :: Maybe PortMapAspect
}
data EntityAspect
- = EAEntity Name (Maybe Identifier)
- | EAConfig Name
- | EAOpen
data GenericMapAspect = GenericMapAspect AssociationList
data PortMapAspect = PortMapAspect AssociationList
data DisconnectionSpecification = DisconnectionSpecification {
- ds_guarded_signal_specification :: GuardedSignalSpecification
- ds_time_expression :: Expression
}
data GuardedSignalSpecification = GuardedSignalSpecification {
- gs_guarded_signal_list :: SignalList
- gs_type_mark :: TypeMark
}
data SignalList
- = SLName [Name]
- | SLOthers
- | SLAll
data Name
- = NSimple SimpleName
- | NOp OperatorSymbol
- | NSelect SelectedName
- | NIndex IndexedName
- | NSlice SliceName
- | NAttr AttributeName
data Prefix
- = PName Name
- | PFun FunctionCall
type SimpleName = Identifier
data SelectedName = SelectedName {
- sname_prefix :: Prefix
- sname_suffix :: Suffix
}
data Suffix
- = SSimple SimpleName
- | SChar CharacterLiteral
- | SOp OperatorSymbol
- | SAll
data IndexedName = IndexedName {
- iname_prefix :: Prefix
- iname_expression :: [Expression]
}
data SliceName = SliceName {
- slice_prefix :: Prefix
- slice_discrete_range :: DiscreteRange
}
data AttributeName = AttributeName {
- aname_prefix :: Prefix
- aname_signature :: Maybe Signature
- aname_attribute_designator :: AttributeDesignator
- aname_expression :: Maybe Expression
}
type AttributeDesignator = SimpleName
data Expression
- = EAnd [Relation]
- | EOr [Relation]
- | EXor [Relation]
- | ENand Relation (Maybe Relation)
- | ENor Relation (Maybe Relation)
- | EXnor [Relation]
data Relation = Relation {
- relation_shift_expression :: ShiftExpression
- relation_operator :: Maybe (RelationalOperator, ShiftExpression)
}
data ShiftExpression = ShiftExpression {
- shifte_simple_expression :: SimpleExpression
- shifte_shift_operator :: Maybe (ShiftOperator, SimpleExpression)
}
data SimpleExpression = SimpleExpression {
- sexp_sign :: Maybe Sign
- sexp_term :: Term
- sexp_adding :: [(AddingOperator, Term)]
}
data Term = Term {
- term_factor :: Factor
- term_multiplying :: [(MultiplyingOperator, Factor)]
}
data Factor
- = FacPrim Primary (Maybe Primary)
- | FacAbs Primary
- | FacNot Primary
data Primary
- = PrimName Name
- | PrimLit Literal
- | PrimAgg Aggregate
- | PrimFun FunctionCall
- | PrimQual QualifiedExpression
- | PrimTCon TypeConversion
- | PrimAlloc Allocator
- | PrimExp Expression
data LogicalOperator
- = And
- | Or
- | Nand
- | Nor
- | Xor
- | Xnor
data RelationalOperator
- = Eq
- | Neq
- | Lt
- | Lte
- | Gt
- | Gte
data ShiftOperator
- = Sll
- | Srl
- | Sla
- | Sra
- | Rol
- | Ror
data AddingOperator
- = Plus
- | Minus
- | Concat
data Sign
- = Identity
- | Negation
data MultiplyingOperator
- = Times
- | Div
- | Mod
- | Rem
data MiscellaneousOperator
- = Exp
- | Abs
- | Not
data Literal
- = LitNum NumericLiteral
- | LitEnum EnumerationLiteral
- | LitString StringLiteral
- | LitBitString BitStringLiteral
- | LitNull
data NumericLiteral
- = NLitAbstract AbstractLiteral
- | NLitPhysical PhysicalLiteral
data Aggregate = Aggregate {
- agg_element_association :: [ElementAssociation]
}
data ElementAssociation = ElementAssociation {
- eassoc_choices' :: Maybe Choices
- eassoc_expression :: Expression
}
data Choices = Choices [Choice]
data Choice
- = ChoiceSimple SimpleExpression
- | ChoiceRange DiscreteRange
- | ChoiceName SimpleName
- | ChoiceOthers
data FunctionCall = FunctionCall {
- fc_function_name :: Name
- fc_actual_parameter_part :: Maybe ActualParameterPart
}
type ActualParameterPart = AssociationList
data QualifiedExpression
- = QualExp TypeMark Expression
- | QualAgg TypeMark Aggregate
data TypeConversion = TypeConversion {
- type_mark :: TypeMark
- expression :: Expression
}
data Allocator
- = AllocSub SubtypeIndication
- | AllocQual QualifiedExpression
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
- = DMechTransport
- | DMechInertial (Maybe Expression)
data Target
- = TargetName Name
- | TargetAgg Aggregate
data Waveform
- = WaveElem [WaveformElement]
- | WaveUnaffected
data WaveformElement
- = WaveEExp Expression (Maybe Expression)
- | WaveENull (Maybe Expression)
data VariableAssignmentStatement = VariableAssignmentStatement (Maybe Label) Target Expression
data ProcedureCallStatement = ProcedureCallStatement (Maybe Label) ProcedureCall
data ProcedureCall = ProcedureCall Name (Maybe ActualParameterPart)
data IfStatement = IfStatement {
- if_label :: Maybe Label
- if_then :: (Condition, SequenceOfStatements)
- if_also :: [(Condition, SequenceOfStatements)]
- if_else :: Maybe SequenceOfStatements
}
data CaseStatement = CaseStatement {
- case_label :: Maybe Label
- case_expression :: Expression
- case_alternatives :: [CaseStatementAlternative]
}
data CaseStatementAlternative = CaseStatementAlternative Choices SequenceOfStatements
data LoopStatement = LoopStatement {
- loop_label :: Maybe Label
- loop_iteration_scheme :: Maybe IterationScheme
- loop_statements :: SequenceOfStatements
}
data IterationScheme
- = IterWhile Condition
- | IterFor ParameterSpecification
data ParameterSpecification = ParameterSpecification {
- paramspec_identifier :: Identifier
- paramspec_discrete_range :: DiscreteRange
}
data NextStatement = NextStatement {
- next_label :: Maybe Label
- next_loop :: Maybe Label
- next_when :: Maybe Condition
}
data ExitStatement = ExitStatement {
- exit_label :: Maybe Label
- exit_loop :: Maybe Label
- exit_when :: Maybe Condition
}
data ReturnStatement = ReturnStatement {
- return_label :: Maybe Label
- return_expression :: Maybe Expression
}
data NullStatement = NullStatement {
- null_label :: Maybe Label
}
data ConcurrentStatement
- = ConBlock BlockStatement
- | ConProcess ProcessStatement
- | ConProcCall ConcurrentProcedureCallStatement
- | ConAssertion ConcurrentAssertionStatement
- | ConSignalAss ConcurrentSignalAssignmentStatement
- | ConComponent ComponentInstantiationStatement
- | ConGenerate GenerateStatement
data BlockStatement = BlockStatement {
- blocks_label :: Label
- blocks_guard_expression :: Maybe Expression
- blocks_header :: BlockHeader
- blocks_declarative_part :: BlockDeclarativePart
- blocks_statment_part :: BlockStatementPart
}
data BlockHeader = BlockHeader {
- blockh_generic_clause :: Maybe (GenericClause, Maybe GenericMapAspect)
- blockh_port_clause :: Maybe (PortClause, Maybe PortMapAspect)
}
type BlockDeclarativePart = [BlockDeclarativeItem]
type BlockStatementPart = [ConcurrentStatement]
data ProcessStatement = ProcessStatement {
- procs_label :: Maybe Label
- procs_postponed :: Bool
- procs_sensitivity_list :: Maybe SensitivityList
- procs_declarative_part :: ProcessDeclarativePart
- procs_statement_part :: ProcessStatementPart
}
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 {
- cpcs_label :: Maybe Label
- cpcs_postponed :: Bool
- cpcs_procedure_call :: ProcedureCall
}
data ConcurrentAssertionStatement = ConcurrentAssertionStatement {
- cas_label :: Maybe Label
- cas_postponed :: Bool
- cas_assertion :: Assertion
}
data ConcurrentSignalAssignmentStatement
- = CSASCond {
  }
- | CSASSelect {
  }
data Options = Options {
- options_guarded :: Bool
- options_delay_mechanism :: Maybe DelayMechanism
}
data ConditionalSignalAssignment = ConditionalSignalAssignment {
- csa_target :: Target
- csa_options :: Options
- csa_conditional_waveforms :: ConditionalWaveforms
}
data ConditionalWaveforms = ConditionalWaveforms {
- cw_optional :: [(Waveform, Condition)]
- cw_wave :: (Waveform, Maybe Condition)
}
data SelectedSignalAssignment = SelectedSignalAssignment {
- ssa_expression :: Expression
- ssa_target :: Target
- ssa_options :: Options
- ssa_selected_waveforms :: SelectedWaveforms
}
data SelectedWaveforms = SelectedWaveforms {
- sw_optional :: Maybe [(Waveform, Choices)]
- sw_last :: (Waveform, Choices)
}
data ComponentInstantiationStatement = ComponentInstantiationStatement {
- cis_instantiation_label :: Label
- cis_instantiated_unit :: InstantiatedUnit
- cis_generic_map_aspect :: Maybe GenericMapAspect
- cis_port_map_aspect :: Maybe PortMapAspect
}
data InstantiatedUnit
- = IUComponent Name
- | IUEntity Name (Maybe Identifier)
- | IUConfig Name
data GenerateStatement = GenerateStatement {
- gens_label :: Label
- gens_generation_scheme :: GenerationScheme
- gens_block_declarative_item :: Maybe [BlockDeclarativeItem]
- gens_concurrent_statement :: [ConcurrentStatement]
}
data GenerationScheme
- = GSFor ParameterSpecification
- | GSIf Condition
type Label = Identifier
data UseClause = UseClause [SelectedName]
data DesignFile = DesignFile [DesignUnit]
data DesignUnit = DesignUnit ContextClause LibraryUnit
data LibraryUnit
- = LibraryPrimary PrimaryUnit
- | LibrarySecondary SecondaryUnit
data PrimaryUnit
- = PrimaryEntity EntityDeclaration
- | PrimaryConfig ConfigurationDeclaration
- | PrimaryPackage PackageDeclaration
data SecondaryUnit
- = SecondaryArchitecture ArchitectureBody
- | SecondaryPackage PackageBody
data LibraryClause = LibraryClause LogicalNameList
data LogicalNameList = LogicalNameList [LogicalName]
type LogicalName = Identifier
data ContextClause = ContextClause [ContextItem]
data ContextItem
- = ContextLibrary LibraryClause
- | ContextUse UseClause
data AbstractLiteral
- = ALitDecimal DecimalLiteral
- | ALitBased BasedLiteral
data DecimalLiteral = DecimalLiteral {
- decimal_integral_part :: Integer
- decimal_fractional_part :: Maybe Integer
- decimal_exponent :: Maybe Exponent
}
data Exponent
- = ExponentPos Integer
- | ExponentNeg Integer
data BasedLiteral = BasedLiteral {
- based_lit_base :: Base
- based_lit_based_integral_part :: BasedInteger
- based_lit_based_fractional_part :: Maybe BasedInteger
- based_lit_exponent :: Maybe Exponent
}
type Base = Integer
type BasedInteger = Integer
type ExtendedDigit = Char
data BitStringLiteral = BitStringLiteral {
- bsl_base_specifier :: BaseSpecifier
- bsl_bit_value :: BitValue
}
data BitValue = BitValue [ExtendedDigit]
data BaseSpecifier
- = BSOctal
- | BSBinary
- | BSHexadecimal
data Identifier = Ident String
data CharacterLiteral = CLit Char
data StringLiteral = SLit String
data BaseUnitDeclaration = BaseUnitDeclaration
data BasicCharacter = BasicCharacter
data BasicGraphicCharacter = BasicGraphicCharacter
data BasicIdentifier = BasicIdentifier
data ExtendedIdentifier = ExtendedIdentifier
data GraphicCharacter = GraphicCharacter
data Letter = Letter
data LetterOrDigit = LetterOrDigit

1.1 Entiity Declarations

data EntityDeclaration Source #

Constructors

EntityDeclaration
Fields entity_identifier :: Identifier entity_header :: EntityHeader entity_declarative_part :: EntityDeclarativePart entity_statement_part :: Maybe EntityStatementPart

Instances

Instances details

Eq EntityDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: EntityDeclaration -> EntityDeclaration -> Bool # (/=) :: EntityDeclaration -> EntityDeclaration -> Bool #
Show EntityDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> EntityDeclaration -> ShowS # show :: EntityDeclaration -> String # showList :: [EntityDeclaration] -> ShowS #
Pretty EntityDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: EntityDeclaration -> Doc Source #

1.1.1 Entity haeder

data EntityHeader Source #

Constructors

EntityHeader
Fields formal_generic_clause :: Maybe GenericClause formal_port_clause :: Maybe PortClause

Instances

Instances details

Eq EntityHeader Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: EntityHeader -> EntityHeader -> Bool # (/=) :: EntityHeader -> EntityHeader -> Bool #
Show EntityHeader Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> EntityHeader -> ShowS # show :: EntityHeader -> String # showList :: [EntityHeader] -> ShowS #
Pretty EntityHeader Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: EntityHeader -> Doc Source #

data GenericClause Source #

Constructors

GenericClause GenericList

Instances

Instances details

Eq GenericClause Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: GenericClause -> GenericClause -> Bool # (/=) :: GenericClause -> GenericClause -> Bool #
Show GenericClause Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> GenericClause -> ShowS # show :: GenericClause -> String # showList :: [GenericClause] -> ShowS #
Pretty GenericClause Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: GenericClause -> Doc Source #

data PortClause Source #

Constructors

PortClause PortList

Instances

Instances details

Eq PortClause Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: PortClause -> PortClause -> Bool # (/=) :: PortClause -> PortClause -> Bool #
Show PortClause Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> PortClause -> ShowS # show :: PortClause -> String # showList :: [PortClause] -> ShowS #
Pretty PortClause Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: PortClause -> Doc Source #

1.1.1.1 Generics

type GenericList = InterfaceList Source #

1.1.1.2 Ports

type PortList = InterfaceList Source #

1.1.2 Entity declarative part

type EntityDeclarativePart = [EntityDeclarativeItem] Source #

data EntityDeclarativeItem Source #

Instances

Instances details

Eq EntityDeclarativeItem Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: EntityDeclarativeItem -> EntityDeclarativeItem -> Bool # (/=) :: EntityDeclarativeItem -> EntityDeclarativeItem -> Bool #
Show EntityDeclarativeItem Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> EntityDeclarativeItem -> ShowS # show :: EntityDeclarativeItem -> String # showList :: [EntityDeclarativeItem] -> ShowS #
Pretty EntityDeclarativeItem Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: EntityDeclarativeItem -> Doc Source #

1.1.3 Entity statement part

type EntityStatementPart = [EntityStatement] Source #

data EntityStatement Source #

Constructors

ESConcAssert ConcurrentAssertionStatement
ESPassiveConc ConcurrentProcedureCallStatement
ESPassiveProc ProcessStatement

Instances

Instances details

Eq EntityStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: EntityStatement -> EntityStatement -> Bool # (/=) :: EntityStatement -> EntityStatement -> Bool #
Show EntityStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> EntityStatement -> ShowS # show :: EntityStatement -> String # showList :: [EntityStatement] -> ShowS #
Pretty EntityStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: EntityStatement -> Doc Source #

1.2 Arcitecture bodies

data ArchitectureBody Source #

Constructors

ArchitectureBody
Fields archi_identifier :: Identifier archi_entity_name :: Name archi_declarative_part :: ArchitectureDeclarativePart archi_statement_part :: ArchitectureStatementPart

Instances

Instances details

Eq ArchitectureBody Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ArchitectureBody -> ArchitectureBody -> Bool # (/=) :: ArchitectureBody -> ArchitectureBody -> Bool #
Show ArchitectureBody Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ArchitectureBody -> ShowS # show :: ArchitectureBody -> String # showList :: [ArchitectureBody] -> ShowS #
Pretty ArchitectureBody Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ArchitectureBody -> Doc Source #

1.2.1 Architecture declarative part

type ArchitectureDeclarativePart = [BlockDeclarativeItem] Source #

data BlockDeclarativeItem Source #

Instances

Instances details

Eq BlockDeclarativeItem Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: BlockDeclarativeItem -> BlockDeclarativeItem -> Bool # (/=) :: BlockDeclarativeItem -> BlockDeclarativeItem -> Bool #
Show BlockDeclarativeItem Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> BlockDeclarativeItem -> ShowS # show :: BlockDeclarativeItem -> String # showList :: [BlockDeclarativeItem] -> ShowS #
Pretty BlockDeclarativeItem Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: BlockDeclarativeItem -> Doc Source #

1.2.2 Architecture statement part

type ArchitectureStatementPart = [ConcurrentStatement] Source #

1.3 Configuration declarations

data ConfigurationDeclaration Source #

Constructors

ConfigurationDeclaration
Fields config_identifier :: Identifier config_entity_name :: Name config_declarative_part :: ConfigurationDeclarativePart config_block_configuration :: BlockConfiguration

Instances

Instances details

Eq ConfigurationDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ConfigurationDeclaration -> ConfigurationDeclaration -> Bool # (/=) :: ConfigurationDeclaration -> ConfigurationDeclaration -> Bool #
Show ConfigurationDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ConfigurationDeclaration -> ShowS # show :: ConfigurationDeclaration -> String # showList :: [ConfigurationDeclaration] -> ShowS #
Pretty ConfigurationDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ConfigurationDeclaration -> Doc Source #

type ConfigurationDeclarativePart = [ConfigurationDeclarativeItem] Source #

data ConfigurationDeclarativeItem Source #

Constructors

CDIUse UseClause
CDIAttrSpec AttributeSpecification
CDIGroup GroupDeclaration

Instances

Instances details

Eq ConfigurationDeclarativeItem Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ConfigurationDeclarativeItem -> ConfigurationDeclarativeItem -> Bool # (/=) :: ConfigurationDeclarativeItem -> ConfigurationDeclarativeItem -> Bool #
Show ConfigurationDeclarativeItem Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ConfigurationDeclarativeItem -> ShowS # show :: ConfigurationDeclarativeItem -> String # showList :: [ConfigurationDeclarativeItem] -> ShowS #
Pretty ConfigurationDeclarativeItem Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ConfigurationDeclarativeItem -> Doc Source #

1.3.1 Block configuration

data BlockConfiguration Source #

Constructors

BlockConfiguration
Fields block_specification :: BlockSpecification block_use_clause :: [UseClause] block_configuration_item :: [ConfigurationItem]

Instances

Instances details

Eq BlockConfiguration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: BlockConfiguration -> BlockConfiguration -> Bool # (/=) :: BlockConfiguration -> BlockConfiguration -> Bool #
Show BlockConfiguration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> BlockConfiguration -> ShowS # show :: BlockConfiguration -> String # showList :: [BlockConfiguration] -> ShowS #
Pretty BlockConfiguration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: BlockConfiguration -> Doc Source #

data BlockSpecification Source #

Constructors

BSArch Name
BSBlock Label
BSGen Label

Instances

Instances details

Eq BlockSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: BlockSpecification -> BlockSpecification -> Bool # (/=) :: BlockSpecification -> BlockSpecification -> Bool #
Show BlockSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> BlockSpecification -> ShowS # show :: BlockSpecification -> String # showList :: [BlockSpecification] -> ShowS #
Pretty BlockSpecification Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: BlockSpecification -> Doc Source #

data IndexSpecification Source #

Constructors

ISRange DiscreteRange
ISExp Expression

Instances

Instances details

Eq IndexSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: IndexSpecification -> IndexSpecification -> Bool # (/=) :: IndexSpecification -> IndexSpecification -> Bool #
Show IndexSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> IndexSpecification -> ShowS # show :: IndexSpecification -> String # showList :: [IndexSpecification] -> ShowS #
Pretty IndexSpecification Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: IndexSpecification -> Doc Source #

data ConfigurationItem Source #

Constructors

CIBlock BlockConfiguration
CIComp ComponentConfiguration

Instances

Instances details

Eq ConfigurationItem Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ConfigurationItem -> ConfigurationItem -> Bool # (/=) :: ConfigurationItem -> ConfigurationItem -> Bool #
Show ConfigurationItem Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ConfigurationItem -> ShowS # show :: ConfigurationItem -> String # showList :: [ConfigurationItem] -> ShowS #
Pretty ConfigurationItem Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ConfigurationItem -> Doc Source #

1.3.2 Component configuration

data ComponentConfiguration Source #

Constructors

ComponentConfiguration
Fields comp_specification :: ComponentSpecification comp_binding_indication :: Maybe BindingIndication comp_block_configuration :: Maybe BlockConfiguration

Instances

Instances details

Eq ComponentConfiguration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ComponentConfiguration -> ComponentConfiguration -> Bool # (/=) :: ComponentConfiguration -> ComponentConfiguration -> Bool #
Show ComponentConfiguration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ComponentConfiguration -> ShowS # show :: ComponentConfiguration -> String # showList :: [ComponentConfiguration] -> ShowS #
Pretty ComponentConfiguration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ComponentConfiguration -> Doc Source #

2.1 Subprogram declarations

newtype SubprogramDeclaration Source #

Constructors

SubprogramDeclaration SubprogramSpecification

Instances

Instances details

Eq SubprogramDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SubprogramDeclaration -> SubprogramDeclaration -> Bool # (/=) :: SubprogramDeclaration -> SubprogramDeclaration -> Bool #
Show SubprogramDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SubprogramDeclaration -> ShowS # show :: SubprogramDeclaration -> String # showList :: [SubprogramDeclaration] -> ShowS #
Pretty SubprogramDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SubprogramDeclaration -> Doc Source #

data SubprogramSpecification Source #

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

Instances details

Eq SubprogramSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SubprogramSpecification -> SubprogramSpecification -> Bool # (/=) :: SubprogramSpecification -> SubprogramSpecification -> Bool #
Show SubprogramSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SubprogramSpecification -> ShowS # show :: SubprogramSpecification -> String # showList :: [SubprogramSpecification] -> ShowS #
Pretty SubprogramSpecification Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SubprogramSpecification -> Doc Source #

data Designator Source #

Constructors

DId Identifier
DOp OperatorSymbol

Instances

Instances details

Eq Designator Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Designator -> Designator -> Bool # (/=) :: Designator -> Designator -> Bool #
Show Designator Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Designator -> ShowS # show :: Designator -> String # showList :: [Designator] -> ShowS #
Pretty Designator Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Designator -> Doc Source #

type OperatorSymbol = StringLiteral Source #

2.1.1 Formal parameters

type FormalParameterList = InterfaceList Source #

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
Fields subprog_specification :: SubprogramSpecification subprog_declarative_part :: SubprogramDeclarativePart subprog_statement_part :: SubprogramStatementPart subprog_kind :: Maybe SubprogramKind subprog_designator :: Maybe Designator

Instances

Instances details

Eq SubprogramBody Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SubprogramBody -> SubprogramBody -> Bool # (/=) :: SubprogramBody -> SubprogramBody -> Bool #
Show SubprogramBody Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SubprogramBody -> ShowS # show :: SubprogramBody -> String # showList :: [SubprogramBody] -> ShowS #
Pretty SubprogramBody Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SubprogramBody -> Doc Source #

type SubprogramDeclarativePart = [SubprogramDeclarativeItem] Source #

data SubprogramDeclarativeItem Source #

Instances

Instances details

Eq SubprogramDeclarativeItem Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SubprogramDeclarativeItem -> SubprogramDeclarativeItem -> Bool # (/=) :: SubprogramDeclarativeItem -> SubprogramDeclarativeItem -> Bool #
Show SubprogramDeclarativeItem Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SubprogramDeclarativeItem -> ShowS # show :: SubprogramDeclarativeItem -> String # showList :: [SubprogramDeclarativeItem] -> ShowS #
Pretty SubprogramDeclarativeItem Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SubprogramDeclarativeItem -> Doc Source #

type SubprogramStatementPart = [SequentialStatement] Source #

data SubprogramKind Source #

Constructors

Procedure
Function

Instances

Instances details

Eq SubprogramKind Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SubprogramKind -> SubprogramKind -> Bool # (/=) :: SubprogramKind -> SubprogramKind -> Bool #
Show SubprogramKind Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SubprogramKind -> ShowS # show :: SubprogramKind -> String # showList :: [SubprogramKind] -> ShowS #
Pretty SubprogramKind Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SubprogramKind -> Doc Source #

2.3 Subprogram overloading

2.3.1 Operator overloading

2.3.2 Signatures

data Signature Source #

Constructors

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

Instances

Instances details

Eq Signature Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Signature -> Signature -> Bool # (/=) :: Signature -> Signature -> Bool #
Show Signature Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Signature -> ShowS # show :: Signature -> String # showList :: [Signature] -> ShowS #
Pretty Signature Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Signature -> Doc Source #

2.4 Resolution functions

2.5 Package declarations

data PackageDeclaration Source #

Constructors

PackageDeclaration
Fields packd_identifier :: Identifier packd_declarative_part :: PackageDeclarativePart

Instances

Instances details

Eq PackageDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: PackageDeclaration -> PackageDeclaration -> Bool # (/=) :: PackageDeclaration -> PackageDeclaration -> Bool #
Show PackageDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> PackageDeclaration -> ShowS # show :: PackageDeclaration -> String # showList :: [PackageDeclaration] -> ShowS #
Pretty PackageDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: PackageDeclaration -> Doc Source #

type PackageDeclarativePart = [PackageDeclarativeItem] Source #

data PackageDeclarativeItem Source #

Instances

Instances details

Eq PackageDeclarativeItem Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: PackageDeclarativeItem -> PackageDeclarativeItem -> Bool # (/=) :: PackageDeclarativeItem -> PackageDeclarativeItem -> Bool #
Show PackageDeclarativeItem Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> PackageDeclarativeItem -> ShowS # show :: PackageDeclarativeItem -> String # showList :: [PackageDeclarativeItem] -> ShowS #
Pretty PackageDeclarativeItem Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: PackageDeclarativeItem -> Doc Source #

2.6 Package bodies

data PackageBody Source #

Constructors

PackageBody
Fields packb_simple_name :: SimpleName packb_body_declarative_part :: PackageBodyDeclarativePart

Instances

Instances details

Eq PackageBody Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: PackageBody -> PackageBody -> Bool # (/=) :: PackageBody -> PackageBody -> Bool #
Show PackageBody Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> PackageBody -> ShowS # show :: PackageBody -> String # showList :: [PackageBody] -> ShowS #
Pretty PackageBody Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: PackageBody -> Doc Source #

type PackageBodyDeclarativePart = [PackageBodyDeclarativeItem] Source #

data PackageBodyDeclarativeItem Source #

Instances

Instances details

Eq PackageBodyDeclarativeItem Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: PackageBodyDeclarativeItem -> PackageBodyDeclarativeItem -> Bool # (/=) :: PackageBodyDeclarativeItem -> PackageBodyDeclarativeItem -> Bool #
Show PackageBodyDeclarativeItem Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> PackageBodyDeclarativeItem -> ShowS # show :: PackageBodyDeclarativeItem -> String # showList :: [PackageBodyDeclarativeItem] -> ShowS #
Pretty PackageBodyDeclarativeItem Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: PackageBodyDeclarativeItem -> Doc Source #

2.7 Conformance rules

3.1 Scalar types

data ScalarTypeDefinition Source #

Constructors

ScalarEnum EnumerationTypeDefinition
ScalarInt IntegerTypeDefinition
ScalarFloat FloatingTypeDefinition
ScalarPhys PhysicalTypeDefinition

Instances

Instances details

Eq ScalarTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ScalarTypeDefinition -> ScalarTypeDefinition -> Bool # (/=) :: ScalarTypeDefinition -> ScalarTypeDefinition -> Bool #
Show ScalarTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ScalarTypeDefinition -> ShowS # show :: ScalarTypeDefinition -> String # showList :: [ScalarTypeDefinition] -> ShowS #
Pretty ScalarTypeDefinition Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ScalarTypeDefinition -> Doc Source #

data RangeConstraint Source #

Constructors

RangeConstraint Range

Instances

Instances details

Eq RangeConstraint Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: RangeConstraint -> RangeConstraint -> Bool # (/=) :: RangeConstraint -> RangeConstraint -> Bool #
Show RangeConstraint Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> RangeConstraint -> ShowS # show :: RangeConstraint -> String # showList :: [RangeConstraint] -> ShowS #
Pretty RangeConstraint Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: RangeConstraint -> Doc Source #

data Range Source #

Constructors

RAttr AttributeName
RSimple
Fields range_lower :: SimpleExpression range_dir :: Direction range_upper :: SimpleExpression

Instances

Instances details

Eq Range Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Range -> Range -> Bool # (/=) :: Range -> Range -> Bool #
Show Range Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Range -> ShowS # show :: Range -> String # showList :: [Range] -> ShowS #
Pretty Range Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Range -> Doc Source #

data Direction Source #

Constructors

To
DownTo

Instances

Instances details

Eq Direction Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Direction -> Direction -> Bool # (/=) :: Direction -> Direction -> Bool #
Show Direction Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Direction -> ShowS # show :: Direction -> String # showList :: [Direction] -> ShowS #
Pretty Direction Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Direction -> Doc Source #

3.1.1 Enumeration types

data EnumerationTypeDefinition Source #

Constructors

EnumerationTypeDefinition [EnumerationLiteral]

Instances

Instances details

Eq EnumerationTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: EnumerationTypeDefinition -> EnumerationTypeDefinition -> Bool # (/=) :: EnumerationTypeDefinition -> EnumerationTypeDefinition -> Bool #
Show EnumerationTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> EnumerationTypeDefinition -> ShowS # show :: EnumerationTypeDefinition -> String # showList :: [EnumerationTypeDefinition] -> ShowS #
Pretty EnumerationTypeDefinition Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: EnumerationTypeDefinition -> Doc Source #

data EnumerationLiteral Source #

Constructors

EId Identifier
EChar CharacterLiteral

Instances

Instances details

Eq EnumerationLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: EnumerationLiteral -> EnumerationLiteral -> Bool # (/=) :: EnumerationLiteral -> EnumerationLiteral -> Bool #
Show EnumerationLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> EnumerationLiteral -> ShowS # show :: EnumerationLiteral -> String # showList :: [EnumerationLiteral] -> ShowS #
Pretty EnumerationLiteral Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: EnumerationLiteral -> Doc Source #

3.1.1.1 Predefined enumeration types

3.1.2 Integer types

type IntegerTypeDefinition = RangeConstraint Source #

3.1.2.1 Predefined integer types

3.1.3 Physical types

data PhysicalTypeDefinition Source #

Constructors

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

Instances

Instances details

Eq PhysicalTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: PhysicalTypeDefinition -> PhysicalTypeDefinition -> Bool # (/=) :: PhysicalTypeDefinition -> PhysicalTypeDefinition -> Bool #
Show PhysicalTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> PhysicalTypeDefinition -> ShowS # show :: PhysicalTypeDefinition -> String # showList :: [PhysicalTypeDefinition] -> ShowS #
Pretty PhysicalTypeDefinition Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: PhysicalTypeDefinition -> Doc Source #

type PrimaryUnitDeclaration = Identifier Source #

data SecondaryUnitDeclaration Source #

Constructors

SecondaryUnitDeclaration Identifier PhysicalLiteral

Instances

Instances details

Eq SecondaryUnitDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SecondaryUnitDeclaration -> SecondaryUnitDeclaration -> Bool # (/=) :: SecondaryUnitDeclaration -> SecondaryUnitDeclaration -> Bool #
Show SecondaryUnitDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SecondaryUnitDeclaration -> ShowS # show :: SecondaryUnitDeclaration -> String # showList :: [SecondaryUnitDeclaration] -> ShowS #
Pretty SecondaryUnitDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SecondaryUnitDeclaration -> Doc Source #

data PhysicalLiteral Source #

Constructors

PhysicalLiteral
Fields physl_abstract_literal :: Maybe Literal physl_unit_name :: Name

Instances

Instances details

Eq PhysicalLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: PhysicalLiteral -> PhysicalLiteral -> Bool # (/=) :: PhysicalLiteral -> PhysicalLiteral -> Bool #
Show PhysicalLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> PhysicalLiteral -> ShowS # show :: PhysicalLiteral -> String # showList :: [PhysicalLiteral] -> ShowS #
Pretty PhysicalLiteral Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: PhysicalLiteral -> Doc Source #

3.1.3.1 Predefined physical types

3.1.4 Floating point types

type FloatingTypeDefinition = RangeConstraint Source #

3.1.4.1 Predefined floating point types

3.2 Composite types

data CompositeTypeDefinition Source #

Constructors

CTDArray ArrayTypeDefinition
CTDRecord RecordTypeDefinition

Instances

Instances details

Eq CompositeTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: CompositeTypeDefinition -> CompositeTypeDefinition -> Bool # (/=) :: CompositeTypeDefinition -> CompositeTypeDefinition -> Bool #
Show CompositeTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> CompositeTypeDefinition -> ShowS # show :: CompositeTypeDefinition -> String # showList :: [CompositeTypeDefinition] -> ShowS #
Pretty CompositeTypeDefinition Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: CompositeTypeDefinition -> Doc Source #

3.2.1 Array types

data ArrayTypeDefinition Source #

Constructors

ArrU UnconstrainedArrayDefinition
ArrC ConstrainedArrayDefinition

Instances

Instances details

Eq ArrayTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ArrayTypeDefinition -> ArrayTypeDefinition -> Bool # (/=) :: ArrayTypeDefinition -> ArrayTypeDefinition -> Bool #
Show ArrayTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ArrayTypeDefinition -> ShowS # show :: ArrayTypeDefinition -> String # showList :: [ArrayTypeDefinition] -> ShowS #
Pretty ArrayTypeDefinition Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ArrayTypeDefinition -> Doc Source #

data UnconstrainedArrayDefinition Source #

Constructors

UnconstrainedArrayDefinition
Fields arru_index_subtype_definition :: [IndexSubtypeDefinition] arru_element_subtype_indication :: SubtypeIndication

Instances

Instances details

Eq UnconstrainedArrayDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: UnconstrainedArrayDefinition -> UnconstrainedArrayDefinition -> Bool # (/=) :: UnconstrainedArrayDefinition -> UnconstrainedArrayDefinition -> Bool #
Show UnconstrainedArrayDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> UnconstrainedArrayDefinition -> ShowS # show :: UnconstrainedArrayDefinition -> String # showList :: [UnconstrainedArrayDefinition] -> ShowS #
Pretty UnconstrainedArrayDefinition Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: UnconstrainedArrayDefinition -> Doc Source #

data ConstrainedArrayDefinition Source #

Constructors

ConstrainedArrayDefinition
Fields arrc_index_constraint :: IndexConstraint arrc_subtype_indication :: SubtypeIndication

Instances

Instances details

Eq ConstrainedArrayDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ConstrainedArrayDefinition -> ConstrainedArrayDefinition -> Bool # (/=) :: ConstrainedArrayDefinition -> ConstrainedArrayDefinition -> Bool #
Show ConstrainedArrayDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ConstrainedArrayDefinition -> ShowS # show :: ConstrainedArrayDefinition -> String # showList :: [ConstrainedArrayDefinition] -> ShowS #
Pretty ConstrainedArrayDefinition Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ConstrainedArrayDefinition -> Doc Source #

data IndexSubtypeDefinition Source #

Constructors

IndexSubtypeDefinition TypeMark

Instances

Instances details

Eq IndexSubtypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: IndexSubtypeDefinition -> IndexSubtypeDefinition -> Bool # (/=) :: IndexSubtypeDefinition -> IndexSubtypeDefinition -> Bool #
Show IndexSubtypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> IndexSubtypeDefinition -> ShowS # show :: IndexSubtypeDefinition -> String # showList :: [IndexSubtypeDefinition] -> ShowS #
Pretty IndexSubtypeDefinition Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: IndexSubtypeDefinition -> Doc Source #

data IndexConstraint Source #

Constructors

IndexConstraint [DiscreteRange]

Instances

Instances details

Eq IndexConstraint Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: IndexConstraint -> IndexConstraint -> Bool # (/=) :: IndexConstraint -> IndexConstraint -> Bool #
Show IndexConstraint Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> IndexConstraint -> ShowS # show :: IndexConstraint -> String # showList :: [IndexConstraint] -> ShowS #
Pretty IndexConstraint Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: IndexConstraint -> Doc Source #

data DiscreteRange Source #

Constructors

DRSub SubtypeIndication
DRRange Range

Instances

Instances details

Eq DiscreteRange Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: DiscreteRange -> DiscreteRange -> Bool # (/=) :: DiscreteRange -> DiscreteRange -> Bool #
Show DiscreteRange Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> DiscreteRange -> ShowS # show :: DiscreteRange -> String # showList :: [DiscreteRange] -> ShowS #
Pretty DiscreteRange Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: DiscreteRange -> Doc Source #

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
Fields rectd_element_declaration :: [ElementDeclaration] rectd_type_simple_name :: Maybe SimpleName

Instances

Instances details

Eq RecordTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: RecordTypeDefinition -> RecordTypeDefinition -> Bool # (/=) :: RecordTypeDefinition -> RecordTypeDefinition -> Bool #
Show RecordTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> RecordTypeDefinition -> ShowS # show :: RecordTypeDefinition -> String # showList :: [RecordTypeDefinition] -> ShowS #
Pretty RecordTypeDefinition Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: RecordTypeDefinition -> Doc Source #

data ElementDeclaration Source #

Constructors

ElementDeclaration
Fields elemd_identifier_list :: IdentifierList elemd_subtype_definition :: ElementSubtypeDefinition

Instances

Instances details

Eq ElementDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ElementDeclaration -> ElementDeclaration -> Bool # (/=) :: ElementDeclaration -> ElementDeclaration -> Bool #
Show ElementDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ElementDeclaration -> ShowS # show :: ElementDeclaration -> String # showList :: [ElementDeclaration] -> ShowS #
Pretty ElementDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ElementDeclaration -> Doc Source #

type IdentifierList = [Identifier] Source #

type ElementSubtypeDefinition = SubtypeIndication Source #

3.3 Access types

data AccessTypeDefinition Source #

Constructors

AccessTypeDefinition SubtypeIndication

Instances

Instances details

Eq AccessTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: AccessTypeDefinition -> AccessTypeDefinition -> Bool # (/=) :: AccessTypeDefinition -> AccessTypeDefinition -> Bool #
Show AccessTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> AccessTypeDefinition -> ShowS # show :: AccessTypeDefinition -> String # showList :: [AccessTypeDefinition] -> ShowS #
Pretty AccessTypeDefinition Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: AccessTypeDefinition -> Doc Source #

3.3.1 Incomplete type declarations

data IncompleteTypeDeclaration Source #

Constructors

IncompleteTypeDeclaration Identifier

Instances

Instances details

Eq IncompleteTypeDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: IncompleteTypeDeclaration -> IncompleteTypeDeclaration -> Bool # (/=) :: IncompleteTypeDeclaration -> IncompleteTypeDeclaration -> Bool #
Show IncompleteTypeDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> IncompleteTypeDeclaration -> ShowS # show :: IncompleteTypeDeclaration -> String # showList :: [IncompleteTypeDeclaration] -> ShowS #
Pretty IncompleteTypeDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: IncompleteTypeDeclaration -> Doc Source #

3.3.2 Allocation and deallocation of objects

3.4 File types

data FileTypeDefinition Source #

Constructors

FileTypeDefinition TypeMark

Instances

Instances details

Eq FileTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: FileTypeDefinition -> FileTypeDefinition -> Bool # (/=) :: FileTypeDefinition -> FileTypeDefinition -> Bool #
Show FileTypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> FileTypeDefinition -> ShowS # show :: FileTypeDefinition -> String # showList :: [FileTypeDefinition] -> ShowS #
Pretty FileTypeDefinition Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: FileTypeDefinition -> Doc Source #

3.4.1 File operations

3.5 Protected types

data Declaration Source #

Instances

Instances details

Eq Declaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Declaration -> Declaration -> Bool # (/=) :: Declaration -> Declaration -> Bool #
Show Declaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Declaration -> ShowS # show :: Declaration -> String # showList :: [Declaration] -> ShowS #
Pretty Declaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Declaration -> Doc Source #

4.1 Type declarations

data TypeDeclaration Source #

Constructors

TDFull FullTypeDeclaration
TDPartial IncompleteTypeDeclaration

Instances

Instances details

Eq TypeDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: TypeDeclaration -> TypeDeclaration -> Bool # (/=) :: TypeDeclaration -> TypeDeclaration -> Bool #
Show TypeDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> TypeDeclaration -> ShowS # show :: TypeDeclaration -> String # showList :: [TypeDeclaration] -> ShowS #
Pretty TypeDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: TypeDeclaration -> Doc Source #

data FullTypeDeclaration Source #

Constructors

FullTypeDeclaration
Fields ftd_identifier :: Identifier ftd_type_definition :: TypeDefinition

Instances

Instances details

Eq FullTypeDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: FullTypeDeclaration -> FullTypeDeclaration -> Bool # (/=) :: FullTypeDeclaration -> FullTypeDeclaration -> Bool #
Show FullTypeDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> FullTypeDeclaration -> ShowS # show :: FullTypeDeclaration -> String # showList :: [FullTypeDeclaration] -> ShowS #
Pretty FullTypeDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: FullTypeDeclaration -> Doc Source #

data TypeDefinition Source #

Constructors

TDScalar ScalarTypeDefinition
TDComposite CompositeTypeDefinition
TDAccess AccessTypeDefinition
TDFile FileTypeDefinition

Instances

Instances details

Eq TypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: TypeDefinition -> TypeDefinition -> Bool # (/=) :: TypeDefinition -> TypeDefinition -> Bool #
Show TypeDefinition Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> TypeDefinition -> ShowS # show :: TypeDefinition -> String # showList :: [TypeDefinition] -> ShowS #
Pretty TypeDefinition Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: TypeDefinition -> Doc Source #

4.2 Subtype declarations

data SubtypeDeclaration Source #

Constructors

SubtypeDeclaration
Fields sd_identifier :: Identifier sd_indication :: SubtypeIndication

Instances

Instances details

Eq SubtypeDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SubtypeDeclaration -> SubtypeDeclaration -> Bool # (/=) :: SubtypeDeclaration -> SubtypeDeclaration -> Bool #
Show SubtypeDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SubtypeDeclaration -> ShowS # show :: SubtypeDeclaration -> String # showList :: [SubtypeDeclaration] -> ShowS #
Pretty SubtypeDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SubtypeDeclaration -> Doc Source #

data SubtypeIndication Source #

Constructors

SubtypeIndication
Fields si_resolution_function_name :: Maybe Name si_type_mark :: TypeMark si_constraint :: Maybe Constraint

Instances

Instances details

Eq SubtypeIndication Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SubtypeIndication -> SubtypeIndication -> Bool # (/=) :: SubtypeIndication -> SubtypeIndication -> Bool #
Show SubtypeIndication Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SubtypeIndication -> ShowS # show :: SubtypeIndication -> String # showList :: [SubtypeIndication] -> ShowS #
Pretty SubtypeIndication Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SubtypeIndication -> Doc Source #

data TypeMark Source #

Constructors

TMType Name
TMSubtype Name

Instances

Instances details

Eq TypeMark Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: TypeMark -> TypeMark -> Bool # (/=) :: TypeMark -> TypeMark -> Bool #
Show TypeMark Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> TypeMark -> ShowS # show :: TypeMark -> String # showList :: [TypeMark] -> ShowS #
Pretty TypeMark Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: TypeMark -> Doc Source #

data Constraint Source #

Constructors

CRange RangeConstraint
CIndex IndexConstraint

Instances

Instances details

Eq Constraint Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Constraint -> Constraint -> Bool # (/=) :: Constraint -> Constraint -> Bool #
Show Constraint Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String # showList :: [Constraint] -> ShowS #
Pretty Constraint Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Constraint -> Doc Source #

4.3 Objects

4.3.1 Object declarations

data ObjectDeclaration Source #

Constructors

ObjConst ConstantDeclaration
ObjSig SignalDeclaration
ObjVar VariableDeclaration
ObjFile FileDeclaration

Instances

Instances details

Eq ObjectDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ObjectDeclaration -> ObjectDeclaration -> Bool # (/=) :: ObjectDeclaration -> ObjectDeclaration -> Bool #
Show ObjectDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ObjectDeclaration -> ShowS # show :: ObjectDeclaration -> String # showList :: [ObjectDeclaration] -> ShowS #
Pretty ObjectDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ObjectDeclaration -> Doc Source #

4.3.1.1 Constant declarations

data ConstantDeclaration Source #

Constructors

ConstantDeclaration
Fields const_identifier_list :: IdentifierList const_subtype_indication :: SubtypeIndication const_expression :: Maybe Expression

Instances

Instances details

Eq ConstantDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ConstantDeclaration -> ConstantDeclaration -> Bool # (/=) :: ConstantDeclaration -> ConstantDeclaration -> Bool #
Show ConstantDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ConstantDeclaration -> ShowS # show :: ConstantDeclaration -> String # showList :: [ConstantDeclaration] -> ShowS #
Pretty ConstantDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ConstantDeclaration -> Doc Source #

4.3.1.2 Signal declarations

data SignalDeclaration Source #

Constructors

SignalDeclaration
Fields signal_identifier_list :: IdentifierList signal_subtype_indication :: SubtypeIndication signal_kind :: Maybe SignalKind signal_expression :: Maybe Expression

Instances

Instances details

Eq SignalDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SignalDeclaration -> SignalDeclaration -> Bool # (/=) :: SignalDeclaration -> SignalDeclaration -> Bool #
Show SignalDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SignalDeclaration -> ShowS # show :: SignalDeclaration -> String # showList :: [SignalDeclaration] -> ShowS #
Pretty SignalDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SignalDeclaration -> Doc Source #

data SignalKind Source #

Constructors

Register
Bus

Instances

Instances details

Eq SignalKind Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SignalKind -> SignalKind -> Bool # (/=) :: SignalKind -> SignalKind -> Bool #
Show SignalKind Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SignalKind -> ShowS # show :: SignalKind -> String # showList :: [SignalKind] -> ShowS #
Pretty SignalKind Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SignalKind -> Doc Source #

4.3.1.3 Variable declarations

data VariableDeclaration Source #

Constructors

VariableDeclaration
Fields var_shared :: Bool var_identifier_list :: IdentifierList var_subtype_indication :: SubtypeIndication var_expression :: Maybe Expression

Instances

Instances details

Eq VariableDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: VariableDeclaration -> VariableDeclaration -> Bool # (/=) :: VariableDeclaration -> VariableDeclaration -> Bool #
Show VariableDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> VariableDeclaration -> ShowS # show :: VariableDeclaration -> String # showList :: [VariableDeclaration] -> ShowS #
Pretty VariableDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: VariableDeclaration -> Doc Source #

4.3.1.4 File declarations

data FileDeclaration Source #

Constructors

FileDeclaration
Fields fd_identifier_list :: IdentifierList fd_subtype_indication :: SubtypeIndication fd_open_information :: Maybe FileOpenInformation

Instances

Instances details

Eq FileDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: FileDeclaration -> FileDeclaration -> Bool # (/=) :: FileDeclaration -> FileDeclaration -> Bool #
Show FileDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> FileDeclaration -> ShowS # show :: FileDeclaration -> String # showList :: [FileDeclaration] -> ShowS #
Pretty FileDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: FileDeclaration -> Doc Source #

data FileOpenInformation Source #

Constructors

FileOpenInformation
Fields foi_open_kind_expression :: Maybe Expression foi_logical_name :: FileLogicalName

Instances

Instances details

Eq FileOpenInformation Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: FileOpenInformation -> FileOpenInformation -> Bool # (/=) :: FileOpenInformation -> FileOpenInformation -> Bool #
Show FileOpenInformation Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> FileOpenInformation -> ShowS # show :: FileOpenInformation -> String # showList :: [FileOpenInformation] -> ShowS #
Pretty FileOpenInformation Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: FileOpenInformation -> Doc Source #

type FileLogicalName = Expression Source #

4.3.2 Interface declarations

data InterfaceDeclaration Source #

Instances

Instances details

Eq InterfaceDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: InterfaceDeclaration -> InterfaceDeclaration -> Bool # (/=) :: InterfaceDeclaration -> InterfaceDeclaration -> Bool #
Show InterfaceDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> InterfaceDeclaration -> ShowS # show :: InterfaceDeclaration -> String # showList :: [InterfaceDeclaration] -> ShowS #
Pretty InterfaceDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: InterfaceDeclaration -> Doc Source #

data Mode Source #

Constructors

In
Out
InOut
Buffer
Linkage

Instances

Instances details

Eq Mode Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Mode -> Mode -> Bool # (/=) :: Mode -> Mode -> Bool #
Show Mode Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Mode -> ShowS # show :: Mode -> String # showList :: [Mode] -> ShowS #
Pretty Mode Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Mode -> Doc Source #

4.3.2.1 Interface lists

data InterfaceList Source #

Constructors

InterfaceList [InterfaceElement]

Instances

Instances details

Eq InterfaceList Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: InterfaceList -> InterfaceList -> Bool # (/=) :: InterfaceList -> InterfaceList -> Bool #
Show InterfaceList Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> InterfaceList -> ShowS # show :: InterfaceList -> String # showList :: [InterfaceList] -> ShowS #
Pretty InterfaceList Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: InterfaceList -> Doc Source #

type InterfaceElement = InterfaceDeclaration Source #

4.3.2.2 Association lists

data AssociationElement Source #

Constructors

AssociationElement
Fields assoc_formal_part :: Maybe FormalPart assoc_actual_part :: ActualPart

Instances

Instances details

Eq AssociationElement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: AssociationElement -> AssociationElement -> Bool # (/=) :: AssociationElement -> AssociationElement -> Bool #
Show AssociationElement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> AssociationElement -> ShowS # show :: AssociationElement -> String # showList :: [AssociationElement] -> ShowS #
Pretty AssociationElement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: AssociationElement -> Doc Source #

data AssociationList Source #

Constructors

AssociationList [AssociationElement]

Instances

Instances details

Eq AssociationList Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: AssociationList -> AssociationList -> Bool # (/=) :: AssociationList -> AssociationList -> Bool #
Show AssociationList Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> AssociationList -> ShowS # show :: AssociationList -> String # showList :: [AssociationList] -> ShowS #
Pretty AssociationList Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: AssociationList -> Doc Source #

data FormalDesignator Source #

Constructors

FDGeneric Name
FDPort Name
FDParameter Name

Instances

Instances details

Eq FormalDesignator Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: FormalDesignator -> FormalDesignator -> Bool # (/=) :: FormalDesignator -> FormalDesignator -> Bool #
Show FormalDesignator Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> FormalDesignator -> ShowS # show :: FormalDesignator -> String # showList :: [FormalDesignator] -> ShowS #
Pretty FormalDesignator Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: FormalDesignator -> Doc Source #

data FormalPart Source #

Constructors

FPDesignator FormalDesignator
FPFunction Name FormalDesignator
FPType TypeMark FormalDesignator

Instances

Instances details

Eq FormalPart Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: FormalPart -> FormalPart -> Bool # (/=) :: FormalPart -> FormalPart -> Bool #
Show FormalPart Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> FormalPart -> ShowS # show :: FormalPart -> String # showList :: [FormalPart] -> ShowS #
Pretty FormalPart Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: FormalPart -> Doc Source #

data ActualDesignator Source #

Constructors

ADExpression Expression
ADSignal Name
ADVariable Name
ADFile Name
ADOpen

Instances

Instances details

Eq ActualDesignator Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ActualDesignator -> ActualDesignator -> Bool # (/=) :: ActualDesignator -> ActualDesignator -> Bool #
Show ActualDesignator Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ActualDesignator -> ShowS # show :: ActualDesignator -> String # showList :: [ActualDesignator] -> ShowS #
Pretty ActualDesignator Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ActualDesignator -> Doc Source #

data ActualPart Source #

Constructors

APDesignator ActualDesignator
APFunction Name ActualDesignator
APType TypeMark ActualDesignator

Instances

Instances details

Eq ActualPart Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ActualPart -> ActualPart -> Bool # (/=) :: ActualPart -> ActualPart -> Bool #
Show ActualPart Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ActualPart -> ShowS # show :: ActualPart -> String # showList :: [ActualPart] -> ShowS #
Pretty ActualPart Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ActualPart -> Doc Source #

4.3.3 Alias declarations

data AliasDeclaration Source #

Constructors

AliasDeclaration
Fields alias_designator :: AliasDesignator alias_subtype_indication :: Maybe SubtypeIndication alias_name :: Name alias_signature :: Maybe Signature

Instances

Instances details

Eq AliasDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: AliasDeclaration -> AliasDeclaration -> Bool # (/=) :: AliasDeclaration -> AliasDeclaration -> Bool #
Show AliasDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> AliasDeclaration -> ShowS # show :: AliasDeclaration -> String # showList :: [AliasDeclaration] -> ShowS #
Pretty AliasDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: AliasDeclaration -> Doc Source #

data AliasDesignator Source #

Constructors

ADIdentifier Identifier
ADCharacter CharacterLiteral
ADOperator OperatorSymbol

Instances

Instances details

Eq AliasDesignator Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: AliasDesignator -> AliasDesignator -> Bool # (/=) :: AliasDesignator -> AliasDesignator -> Bool #
Show AliasDesignator Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> AliasDesignator -> ShowS # show :: AliasDesignator -> String # showList :: [AliasDesignator] -> ShowS #
Pretty AliasDesignator Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: AliasDesignator -> Doc Source #

4.3.3.1 Object aliases

4.3.3.2 Nonobject aliases

4.4 Attribute declarations

data AttributeDeclaration Source #

Constructors

AttributeDeclaration
Fields attr_identifier :: Identifier attr_type_marke :: TypeMark

Instances

Instances details

Eq AttributeDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: AttributeDeclaration -> AttributeDeclaration -> Bool # (/=) :: AttributeDeclaration -> AttributeDeclaration -> Bool #
Show AttributeDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> AttributeDeclaration -> ShowS # show :: AttributeDeclaration -> String # showList :: [AttributeDeclaration] -> ShowS #
Pretty AttributeDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: AttributeDeclaration -> Doc Source #

4.5 Component declarations

data ComponentDeclaration Source #

Constructors

ComponentDeclaration
Fields comp_identifier :: Identifier comp_local_generic_clause :: Maybe GenericClause comp_local_port_clause :: Maybe PortClause comp_simple_name :: Maybe SimpleName

Instances

Instances details

Eq ComponentDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ComponentDeclaration -> ComponentDeclaration -> Bool # (/=) :: ComponentDeclaration -> ComponentDeclaration -> Bool #
Show ComponentDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ComponentDeclaration -> ShowS # show :: ComponentDeclaration -> String # showList :: [ComponentDeclaration] -> ShowS #
Pretty ComponentDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ComponentDeclaration -> Doc Source #

4.6 Group template declarations

data GroupTemplateDeclaration Source #

Constructors

GroupTemplateDeclaration
Fields gtd_identifier :: Identifier gtd_entity_class_entry_list :: EntityClassEntryList

Instances

Instances details

Eq GroupTemplateDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: GroupTemplateDeclaration -> GroupTemplateDeclaration -> Bool # (/=) :: GroupTemplateDeclaration -> GroupTemplateDeclaration -> Bool #
Show GroupTemplateDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> GroupTemplateDeclaration -> ShowS # show :: GroupTemplateDeclaration -> String # showList :: [GroupTemplateDeclaration] -> ShowS #
Pretty GroupTemplateDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: GroupTemplateDeclaration -> Doc Source #

type EntityClassEntryList = [EntityClassEntry] Source #

data EntityClassEntry Source #

Constructors

EntityClassEntry
Fields entc_entity_class :: EntityClass entc_multiple :: Bool

Instances

Instances details

Eq EntityClassEntry Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: EntityClassEntry -> EntityClassEntry -> Bool # (/=) :: EntityClassEntry -> EntityClassEntry -> Bool #
Show EntityClassEntry Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> EntityClassEntry -> ShowS # show :: EntityClassEntry -> String # showList :: [EntityClassEntry] -> ShowS #
Pretty EntityClassEntry Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: EntityClassEntry -> Doc Source #

4.7 Group declarations

data GroupDeclaration Source #

Constructors

GroupDeclaration
Fields group_identifier :: Identifier group_template_name :: Name group_constituent_list :: GroupConstituentList

Instances

Instances details

Eq GroupDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: GroupDeclaration -> GroupDeclaration -> Bool # (/=) :: GroupDeclaration -> GroupDeclaration -> Bool #
Show GroupDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> GroupDeclaration -> ShowS # show :: GroupDeclaration -> String # showList :: [GroupDeclaration] -> ShowS #
Pretty GroupDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: GroupDeclaration -> Doc Source #

type GroupConstituentList = [GroupConstituent] Source #

data GroupConstituent Source #

Constructors

GCName Name
GCChar CharacterLiteral

Instances

Instances details

Eq GroupConstituent Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: GroupConstituent -> GroupConstituent -> Bool # (/=) :: GroupConstituent -> GroupConstituent -> Bool #
Show GroupConstituent Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> GroupConstituent -> ShowS # show :: GroupConstituent -> String # showList :: [GroupConstituent] -> ShowS #
Pretty GroupConstituent Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: GroupConstituent -> Doc Source #

5.1 Attribute specification

data AttributeSpecification Source #

Constructors

AttributeSpecification
Fields as_attribute_designator :: AttributeDesignator as_entity_specification :: EntitySpecification as_expression :: Expression

Instances

Instances details

Eq AttributeSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: AttributeSpecification -> AttributeSpecification -> Bool # (/=) :: AttributeSpecification -> AttributeSpecification -> Bool #
Show AttributeSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> AttributeSpecification -> ShowS # show :: AttributeSpecification -> String # showList :: [AttributeSpecification] -> ShowS #
Pretty AttributeSpecification Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: AttributeSpecification -> Doc Source #

data EntitySpecification Source #

Constructors

EntitySpecification
Fields es_entity_name_list :: EntityNameList es_entity_class :: EntityClass

Instances

Instances details

Eq EntitySpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: EntitySpecification -> EntitySpecification -> Bool # (/=) :: EntitySpecification -> EntitySpecification -> Bool #
Show EntitySpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> EntitySpecification -> ShowS # show :: EntitySpecification -> String # showList :: [EntitySpecification] -> ShowS #
Pretty EntitySpecification Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: EntitySpecification -> Doc Source #

data EntityClass Source #

Constructors

ENTITY
ARCHITECTURE
CONFIGURATION
PROCEDURE
FUNCTION
PACKAGE
TYPE
SUBTYPE
CONSTANT
SIGNAL
VARIABLE
COMPONENT
LABEL
LITERAL
UNITS
GROUP
FILE

Instances

Instances details

Eq EntityClass Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: EntityClass -> EntityClass -> Bool # (/=) :: EntityClass -> EntityClass -> Bool #
Show EntityClass Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> EntityClass -> ShowS # show :: EntityClass -> String # showList :: [EntityClass] -> ShowS #
Pretty EntityClass Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: EntityClass -> Doc Source #

data EntityNameList Source #

Constructors

ENLDesignators [EntityDesignator]
ENLOthers
ENLAll

Instances

Instances details

Eq EntityNameList Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: EntityNameList -> EntityNameList -> Bool # (/=) :: EntityNameList -> EntityNameList -> Bool #
Show EntityNameList Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> EntityNameList -> ShowS # show :: EntityNameList -> String # showList :: [EntityNameList] -> ShowS #
Pretty EntityNameList Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: EntityNameList -> Doc Source #

data EntityDesignator Source #

Constructors

EntityDesignator
Fields ed_entity_tag :: EntityTag ed_signature :: Maybe Signature

Instances

Instances details

Eq EntityDesignator Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: EntityDesignator -> EntityDesignator -> Bool # (/=) :: EntityDesignator -> EntityDesignator -> Bool #
Show EntityDesignator Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> EntityDesignator -> ShowS # show :: EntityDesignator -> String # showList :: [EntityDesignator] -> ShowS #
Pretty EntityDesignator Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: EntityDesignator -> Doc Source #

data EntityTag Source #

Constructors

ETName SimpleName
ETChar CharacterLiteral
ETOp OperatorSymbol

Instances

Instances details

Eq EntityTag Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: EntityTag -> EntityTag -> Bool # (/=) :: EntityTag -> EntityTag -> Bool #
Show EntityTag Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> EntityTag -> ShowS # show :: EntityTag -> String # showList :: [EntityTag] -> ShowS #
Pretty EntityTag Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: EntityTag -> Doc Source #

5.2 Configuration specification

data ConfigurationSpecification Source #

Constructors

ConfigurationSpecification
Fields cs_component_specification :: ComponentSpecification cs_binding_indication :: BindingIndication

Instances

Instances details

Eq ConfigurationSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ConfigurationSpecification -> ConfigurationSpecification -> Bool # (/=) :: ConfigurationSpecification -> ConfigurationSpecification -> Bool #
Show ConfigurationSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ConfigurationSpecification -> ShowS # show :: ConfigurationSpecification -> String # showList :: [ConfigurationSpecification] -> ShowS #
Pretty ConfigurationSpecification Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ConfigurationSpecification -> Doc Source #

data ComponentSpecification Source #

Constructors

ComponentSpecification
Fields cs_instantiation_list :: InstantiationList cs_component_name :: Name

Instances

Instances details

Eq ComponentSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ComponentSpecification -> ComponentSpecification -> Bool # (/=) :: ComponentSpecification -> ComponentSpecification -> Bool #
Show ComponentSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ComponentSpecification -> ShowS # show :: ComponentSpecification -> String # showList :: [ComponentSpecification] -> ShowS #
Pretty ComponentSpecification Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ComponentSpecification -> Doc Source #

data InstantiationList Source #

Constructors

ILLabels [Label]
ILOthers
ILAll

Instances

Instances details

Eq InstantiationList Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: InstantiationList -> InstantiationList -> Bool # (/=) :: InstantiationList -> InstantiationList -> Bool #
Show InstantiationList Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> InstantiationList -> ShowS # show :: InstantiationList -> String # showList :: [InstantiationList] -> ShowS #
Pretty InstantiationList Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: InstantiationList -> Doc Source #

5.2.1 Binding indication

data BindingIndication Source #

Constructors

BindingIndication
Fields bi_entity_aspect :: Maybe EntityAspect bi_generic_map_aspect :: Maybe GenericMapAspect bi_port_map_aspect :: Maybe PortMapAspect

Instances

Instances details

Eq BindingIndication Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: BindingIndication -> BindingIndication -> Bool # (/=) :: BindingIndication -> BindingIndication -> Bool #
Show BindingIndication Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> BindingIndication -> ShowS # show :: BindingIndication -> String # showList :: [BindingIndication] -> ShowS #
Pretty BindingIndication Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: BindingIndication -> Doc Source #

5.2.1.1 Entity aspect

data EntityAspect Source #

Constructors

EAEntity Name (Maybe Identifier)
EAConfig Name
EAOpen

Instances

Instances details

Eq EntityAspect Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: EntityAspect -> EntityAspect -> Bool # (/=) :: EntityAspect -> EntityAspect -> Bool #
Show EntityAspect Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> EntityAspect -> ShowS # show :: EntityAspect -> String # showList :: [EntityAspect] -> ShowS #
Pretty EntityAspect Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: EntityAspect -> Doc Source #

5.2.1.2 Generic map and port map aspects

data GenericMapAspect Source #

Constructors

GenericMapAspect AssociationList

Instances

Instances details

Eq GenericMapAspect Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: GenericMapAspect -> GenericMapAspect -> Bool # (/=) :: GenericMapAspect -> GenericMapAspect -> Bool #
Show GenericMapAspect Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> GenericMapAspect -> ShowS # show :: GenericMapAspect -> String # showList :: [GenericMapAspect] -> ShowS #
Pretty GenericMapAspect Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: GenericMapAspect -> Doc Source #

data PortMapAspect Source #

Constructors

PortMapAspect AssociationList

Instances

Instances details

Eq PortMapAspect Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: PortMapAspect -> PortMapAspect -> Bool # (/=) :: PortMapAspect -> PortMapAspect -> Bool #
Show PortMapAspect Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> PortMapAspect -> ShowS # show :: PortMapAspect -> String # showList :: [PortMapAspect] -> ShowS #
Pretty PortMapAspect Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: PortMapAspect -> Doc Source #

5.2.2 Default binding indication

5.3 Disconnection specification

data DisconnectionSpecification Source #

Constructors

DisconnectionSpecification
Fields ds_guarded_signal_specification :: GuardedSignalSpecification ds_time_expression :: Expression

Instances

Instances details

Eq DisconnectionSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: DisconnectionSpecification -> DisconnectionSpecification -> Bool # (/=) :: DisconnectionSpecification -> DisconnectionSpecification -> Bool #
Show DisconnectionSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> DisconnectionSpecification -> ShowS # show :: DisconnectionSpecification -> String # showList :: [DisconnectionSpecification] -> ShowS #
Pretty DisconnectionSpecification Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: DisconnectionSpecification -> Doc Source #

data GuardedSignalSpecification Source #

Constructors

GuardedSignalSpecification
Fields gs_guarded_signal_list :: SignalList gs_type_mark :: TypeMark

Instances

Instances details

Eq GuardedSignalSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: GuardedSignalSpecification -> GuardedSignalSpecification -> Bool # (/=) :: GuardedSignalSpecification -> GuardedSignalSpecification -> Bool #
Show GuardedSignalSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> GuardedSignalSpecification -> ShowS # show :: GuardedSignalSpecification -> String # showList :: [GuardedSignalSpecification] -> ShowS #
Pretty GuardedSignalSpecification Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: GuardedSignalSpecification -> Doc Source #

data SignalList Source #

Constructors

SLName [Name]
SLOthers
SLAll

Instances

Instances details

Eq SignalList Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SignalList -> SignalList -> Bool # (/=) :: SignalList -> SignalList -> Bool #
Show SignalList Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SignalList -> ShowS # show :: SignalList -> String # showList :: [SignalList] -> ShowS #
Pretty SignalList Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SignalList -> Doc Source #

6.1 Names

data Name Source #

Constructors

NSimple SimpleName
NOp OperatorSymbol
NSelect SelectedName
NIndex IndexedName
NSlice SliceName
NAttr AttributeName

Instances

Instances details

Eq Name Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Show Name Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
Pretty Name Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Name -> Doc Source #

data Prefix Source #

Constructors

PName Name
PFun FunctionCall

Instances

Instances details

Eq Prefix Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Prefix -> Prefix -> Bool # (/=) :: Prefix -> Prefix -> Bool #
Show Prefix Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Prefix -> ShowS # show :: Prefix -> String # showList :: [Prefix] -> ShowS #
Pretty Prefix Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Prefix -> Doc Source #

6.2 Simple names

type SimpleName = Identifier Source #

6.3 Selected names

data SelectedName Source #

Constructors

SelectedName
Fields sname_prefix :: Prefix sname_suffix :: Suffix

Instances

Instances details

Eq SelectedName Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SelectedName -> SelectedName -> Bool # (/=) :: SelectedName -> SelectedName -> Bool #
Show SelectedName Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SelectedName -> ShowS # show :: SelectedName -> String # showList :: [SelectedName] -> ShowS #
Pretty SelectedName Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SelectedName -> Doc Source #

data Suffix Source #

Constructors

SSimple SimpleName
SChar CharacterLiteral
SOp OperatorSymbol
SAll

Instances

Instances details

Eq Suffix Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Suffix -> Suffix -> Bool # (/=) :: Suffix -> Suffix -> Bool #
Show Suffix Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Suffix -> ShowS # show :: Suffix -> String # showList :: [Suffix] -> ShowS #
Pretty Suffix Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Suffix -> Doc Source #

6.4 Indexed names

data IndexedName Source #

Constructors

IndexedName
Fields iname_prefix :: Prefix iname_expression :: [Expression]

Instances

Instances details

Eq IndexedName Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: IndexedName -> IndexedName -> Bool # (/=) :: IndexedName -> IndexedName -> Bool #
Show IndexedName Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> IndexedName -> ShowS # show :: IndexedName -> String # showList :: [IndexedName] -> ShowS #
Pretty IndexedName Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: IndexedName -> Doc Source #

6.5 Slice names

data SliceName Source #

Constructors

SliceName
Fields slice_prefix :: Prefix slice_discrete_range :: DiscreteRange

Instances

Instances details

Eq SliceName Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SliceName -> SliceName -> Bool # (/=) :: SliceName -> SliceName -> Bool #
Show SliceName Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SliceName -> ShowS # show :: SliceName -> String # showList :: [SliceName] -> ShowS #
Pretty SliceName Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SliceName -> Doc Source #

6.6 Attribute names

data AttributeName Source #

Constructors

AttributeName
Fields aname_prefix :: Prefix aname_signature :: Maybe Signature aname_attribute_designator :: AttributeDesignator aname_expression :: Maybe Expression

Instances

Instances details

Eq AttributeName Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: AttributeName -> AttributeName -> Bool # (/=) :: AttributeName -> AttributeName -> Bool #
Show AttributeName Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> AttributeName -> ShowS # show :: AttributeName -> String # showList :: [AttributeName] -> ShowS #
Pretty AttributeName Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: AttributeName -> Doc Source #

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

Instances details

Eq Expression Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool #
Show Expression Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #
Pretty Expression Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Expression -> Doc Source #

data Relation Source #

Constructors

Relation
Fields relation_shift_expression :: ShiftExpression relation_operator :: Maybe (RelationalOperator, ShiftExpression)

Instances

Instances details

Eq Relation Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Relation -> Relation -> Bool # (/=) :: Relation -> Relation -> Bool #
Show Relation Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Relation -> ShowS # show :: Relation -> String # showList :: [Relation] -> ShowS #
Pretty Relation Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Relation -> Doc Source #

data ShiftExpression Source #

Constructors

ShiftExpression
Fields shifte_simple_expression :: SimpleExpression shifte_shift_operator :: Maybe (ShiftOperator, SimpleExpression)

Instances

Instances details

Eq ShiftExpression Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ShiftExpression -> ShiftExpression -> Bool # (/=) :: ShiftExpression -> ShiftExpression -> Bool #
Show ShiftExpression Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ShiftExpression -> ShowS # show :: ShiftExpression -> String # showList :: [ShiftExpression] -> ShowS #
Pretty ShiftExpression Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ShiftExpression -> Doc Source #

data SimpleExpression Source #

Constructors

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

Instances

Instances details

Eq SimpleExpression Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SimpleExpression -> SimpleExpression -> Bool # (/=) :: SimpleExpression -> SimpleExpression -> Bool #
Show SimpleExpression Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SimpleExpression -> ShowS # show :: SimpleExpression -> String # showList :: [SimpleExpression] -> ShowS #
Pretty SimpleExpression Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SimpleExpression -> Doc Source #

data Term Source #

Constructors

Term
Fields term_factor :: Factor term_multiplying :: [(MultiplyingOperator, Factor)]

Instances

Instances details

Eq Term Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Term -> Term -> Bool # (/=) :: Term -> Term -> Bool #
Show Term Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Term -> ShowS # show :: Term -> String # showList :: [Term] -> ShowS #
Pretty Term Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Term -> Doc Source #

data Factor Source #

Constructors

FacPrim Primary (Maybe Primary)
FacAbs Primary
FacNot Primary

Instances

Instances details

Eq Factor Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Factor -> Factor -> Bool # (/=) :: Factor -> Factor -> Bool #
Show Factor Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Factor -> ShowS # show :: Factor -> String # showList :: [Factor] -> ShowS #
Pretty Factor Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Factor -> Doc Source #

data Primary Source #

Constructors

PrimName Name
PrimLit Literal
PrimAgg Aggregate
PrimFun FunctionCall
PrimQual QualifiedExpression
PrimTCon TypeConversion
PrimAlloc Allocator
PrimExp Expression

Instances

Instances details

Eq Primary Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Primary -> Primary -> Bool # (/=) :: Primary -> Primary -> Bool #
Show Primary Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Primary -> ShowS # show :: Primary -> String # showList :: [Primary] -> ShowS #
Pretty Primary Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Primary -> Doc Source #

7.2 Operators

data LogicalOperator Source #

Constructors

And
Or
Nand
Nor
Xor
Xnor

Instances

Instances details

Eq LogicalOperator Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: LogicalOperator -> LogicalOperator -> Bool # (/=) :: LogicalOperator -> LogicalOperator -> Bool #
Show LogicalOperator Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> LogicalOperator -> ShowS # show :: LogicalOperator -> String # showList :: [LogicalOperator] -> ShowS #
Pretty LogicalOperator Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: LogicalOperator -> Doc Source #

data RelationalOperator Source #

Constructors

Eq
Neq
Lt
Lte
Gt
Gte

Instances

Instances details

Eq RelationalOperator Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: RelationalOperator -> RelationalOperator -> Bool # (/=) :: RelationalOperator -> RelationalOperator -> Bool #
Show RelationalOperator Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> RelationalOperator -> ShowS # show :: RelationalOperator -> String # showList :: [RelationalOperator] -> ShowS #
Pretty RelationalOperator Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: RelationalOperator -> Doc Source #

data ShiftOperator Source #

Constructors

Sll
Srl
Sla
Sra
Rol
Ror

Instances

Instances details

Eq ShiftOperator Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ShiftOperator -> ShiftOperator -> Bool # (/=) :: ShiftOperator -> ShiftOperator -> Bool #
Show ShiftOperator Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ShiftOperator -> ShowS # show :: ShiftOperator -> String # showList :: [ShiftOperator] -> ShowS #
Pretty ShiftOperator Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ShiftOperator -> Doc Source #

data AddingOperator Source #

Constructors

Plus
Minus
Concat

Instances

Instances details

Eq AddingOperator Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: AddingOperator -> AddingOperator -> Bool # (/=) :: AddingOperator -> AddingOperator -> Bool #
Show AddingOperator Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> AddingOperator -> ShowS # show :: AddingOperator -> String # showList :: [AddingOperator] -> ShowS #
Pretty AddingOperator Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: AddingOperator -> Doc Source #

data Sign Source #

Constructors

Identity
Negation

Instances

Instances details

Eq Sign Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Sign -> Sign -> Bool # (/=) :: Sign -> Sign -> Bool #
Show Sign Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Sign -> ShowS # show :: Sign -> String # showList :: [Sign] -> ShowS #
Pretty Sign Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Sign -> Doc Source #

data MultiplyingOperator Source #

Constructors

Times
Div
Mod
Rem

Instances

Instances details

Eq MultiplyingOperator Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: MultiplyingOperator -> MultiplyingOperator -> Bool # (/=) :: MultiplyingOperator -> MultiplyingOperator -> Bool #
Show MultiplyingOperator Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> MultiplyingOperator -> ShowS # show :: MultiplyingOperator -> String # showList :: [MultiplyingOperator] -> ShowS #
Pretty MultiplyingOperator Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: MultiplyingOperator -> Doc Source #

data MiscellaneousOperator Source #

Constructors

Exp
Abs
Not

Instances

Instances details

Eq MiscellaneousOperator Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: MiscellaneousOperator -> MiscellaneousOperator -> Bool # (/=) :: MiscellaneousOperator -> MiscellaneousOperator -> Bool #
Show MiscellaneousOperator Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> MiscellaneousOperator -> ShowS # show :: MiscellaneousOperator -> String # showList :: [MiscellaneousOperator] -> ShowS #
Pretty MiscellaneousOperator Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: MiscellaneousOperator -> Doc 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 Literal Source #

Constructors

LitNum NumericLiteral
LitEnum EnumerationLiteral
LitString StringLiteral
LitBitString BitStringLiteral
LitNull

Instances

Instances details

Eq Literal Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Literal -> Literal -> Bool # (/=) :: Literal -> Literal -> Bool #
Show Literal Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Literal -> ShowS # show :: Literal -> String # showList :: [Literal] -> ShowS #
Pretty Literal Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Literal -> Doc Source #

data NumericLiteral Source #

Constructors

NLitAbstract AbstractLiteral
NLitPhysical PhysicalLiteral

Instances

Instances details

Eq NumericLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: NumericLiteral -> NumericLiteral -> Bool # (/=) :: NumericLiteral -> NumericLiteral -> Bool #
Show NumericLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> NumericLiteral -> ShowS # show :: NumericLiteral -> String # showList :: [NumericLiteral] -> ShowS #
Pretty NumericLiteral Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: NumericLiteral -> Doc Source #

7.3.2 Aggregates

data Aggregate Source #

Constructors

Aggregate
Fields agg_element_association :: [ElementAssociation]

Instances

Instances details

Eq Aggregate Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Aggregate -> Aggregate -> Bool # (/=) :: Aggregate -> Aggregate -> Bool #
Show Aggregate Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Aggregate -> ShowS # show :: Aggregate -> String # showList :: [Aggregate] -> ShowS #
Pretty Aggregate Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Aggregate -> Doc Source #

data ElementAssociation Source #

Constructors

ElementAssociation
Fields eassoc_choices' :: Maybe Choices eassoc_expression :: Expression

Instances

Instances details

Eq ElementAssociation Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ElementAssociation -> ElementAssociation -> Bool # (/=) :: ElementAssociation -> ElementAssociation -> Bool #
Show ElementAssociation Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ElementAssociation -> ShowS # show :: ElementAssociation -> String # showList :: [ElementAssociation] -> ShowS #
Pretty ElementAssociation Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ElementAssociation -> Doc Source #

data Choices Source #

Constructors

Choices [Choice]

Instances

Instances details

Eq Choices Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Choices -> Choices -> Bool # (/=) :: Choices -> Choices -> Bool #
Show Choices Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Choices -> ShowS # show :: Choices -> String # showList :: [Choices] -> ShowS #
Pretty Choices Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Choices -> Doc Source #

data Choice Source #

Constructors

ChoiceSimple SimpleExpression
ChoiceRange DiscreteRange
ChoiceName SimpleName
ChoiceOthers

Instances

Instances details

Eq Choice Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Choice -> Choice -> Bool # (/=) :: Choice -> Choice -> Bool #
Show Choice Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Choice -> ShowS # show :: Choice -> String # showList :: [Choice] -> ShowS #
Pretty Choice Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Choice -> Doc Source #

7.3.2.1 Record aggregates

7.3.2.2 Array aggregates

7.3.3 Function calls

data FunctionCall Source #

Constructors

FunctionCall
Fields fc_function_name :: Name fc_actual_parameter_part :: Maybe ActualParameterPart

Instances

Instances details

Eq FunctionCall Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: FunctionCall -> FunctionCall -> Bool # (/=) :: FunctionCall -> FunctionCall -> Bool #
Show FunctionCall Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> FunctionCall -> ShowS # show :: FunctionCall -> String # showList :: [FunctionCall] -> ShowS #
Pretty FunctionCall Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: FunctionCall -> Doc Source #

type ActualParameterPart = AssociationList Source #

7.3.4 Qualified expressions

data QualifiedExpression Source #

Constructors

QualExp TypeMark Expression
QualAgg TypeMark Aggregate

Instances

Instances details

Eq QualifiedExpression Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: QualifiedExpression -> QualifiedExpression -> Bool # (/=) :: QualifiedExpression -> QualifiedExpression -> Bool #
Show QualifiedExpression Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> QualifiedExpression -> ShowS # show :: QualifiedExpression -> String # showList :: [QualifiedExpression] -> ShowS #
Pretty QualifiedExpression Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: QualifiedExpression -> Doc Source #

7.3.5 Type conversions

data TypeConversion Source #

Constructors

TypeConversion
Fields type_mark :: TypeMark expression :: Expression

Instances

Instances details

Eq TypeConversion Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: TypeConversion -> TypeConversion -> Bool # (/=) :: TypeConversion -> TypeConversion -> Bool #
Show TypeConversion Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> TypeConversion -> ShowS # show :: TypeConversion -> String # showList :: [TypeConversion] -> ShowS #
Pretty TypeConversion Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: TypeConversion -> Doc Source #

7.3.6 Allocators

data Allocator Source #

Constructors

AllocSub SubtypeIndication
AllocQual QualifiedExpression

Instances

Instances details

Eq Allocator Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Allocator -> Allocator -> Bool # (/=) :: Allocator -> Allocator -> Bool #
Show Allocator Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Allocator -> ShowS # show :: Allocator -> String # showList :: [Allocator] -> ShowS #
Pretty Allocator Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Allocator -> Doc Source #

7.4 Static expressions

7.4.1 Locally static primaries

7.4.2 Globally static primaries

7.5 Universal expressions

type SequenceOfStatements = [SequentialStatement] Source #

data SequentialStatement Source #

Instances

Instances details

Eq SequentialStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SequentialStatement -> SequentialStatement -> Bool # (/=) :: SequentialStatement -> SequentialStatement -> Bool #
Show SequentialStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SequentialStatement -> ShowS # show :: SequentialStatement -> String # showList :: [SequentialStatement] -> ShowS #
Pretty SequentialStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SequentialStatement -> Doc Source #

8.1 Wait statement

data WaitStatement Source #

Constructors

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

Instances

Instances details

Eq WaitStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: WaitStatement -> WaitStatement -> Bool # (/=) :: WaitStatement -> WaitStatement -> Bool #
Show WaitStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> WaitStatement -> ShowS # show :: WaitStatement -> String # showList :: [WaitStatement] -> ShowS #
Pretty WaitStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: WaitStatement -> Doc Source #

data SensitivityClause Source #

Constructors

SensitivityClause SensitivityList

Instances

Instances details

Eq SensitivityClause Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SensitivityClause -> SensitivityClause -> Bool # (/=) :: SensitivityClause -> SensitivityClause -> Bool #
Show SensitivityClause Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SensitivityClause -> ShowS # show :: SensitivityClause -> String # showList :: [SensitivityClause] -> ShowS #
Pretty SensitivityClause Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SensitivityClause -> Doc Source #

data SensitivityList Source #

Constructors

SensitivityList [Name]

Instances

Instances details

Eq SensitivityList Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SensitivityList -> SensitivityList -> Bool # (/=) :: SensitivityList -> SensitivityList -> Bool #
Show SensitivityList Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SensitivityList -> ShowS # show :: SensitivityList -> String # showList :: [SensitivityList] -> ShowS #
Pretty SensitivityList Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SensitivityList -> Doc Source #

data ConditionClause Source #

Constructors

ConditionClause Condition

Instances

Instances details

Eq ConditionClause Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ConditionClause -> ConditionClause -> Bool # (/=) :: ConditionClause -> ConditionClause -> Bool #
Show ConditionClause Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ConditionClause -> ShowS # show :: ConditionClause -> String # showList :: [ConditionClause] -> ShowS #
Pretty ConditionClause Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ConditionClause -> Doc Source #

type Condition = Expression Source #

data TimeoutClause Source #

Constructors

TimeoutClause Expression

Instances

Instances details

Eq TimeoutClause Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: TimeoutClause -> TimeoutClause -> Bool # (/=) :: TimeoutClause -> TimeoutClause -> Bool #
Show TimeoutClause Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> TimeoutClause -> ShowS # show :: TimeoutClause -> String # showList :: [TimeoutClause] -> ShowS #
Pretty TimeoutClause Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: TimeoutClause -> Doc Source #

8.2 Assertion statement

data AssertionStatement Source #

Constructors

AssertionStatement (Maybe Label) Assertion

Instances

Instances details

Eq AssertionStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: AssertionStatement -> AssertionStatement -> Bool # (/=) :: AssertionStatement -> AssertionStatement -> Bool #
Show AssertionStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> AssertionStatement -> ShowS # show :: AssertionStatement -> String # showList :: [AssertionStatement] -> ShowS #
Pretty AssertionStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: AssertionStatement -> Doc Source #

data Assertion Source #

Constructors

Assertion Condition (Maybe Expression) (Maybe Expression)

Instances

Instances details

Eq Assertion Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Assertion -> Assertion -> Bool # (/=) :: Assertion -> Assertion -> Bool #
Show Assertion Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Assertion -> ShowS # show :: Assertion -> String # showList :: [Assertion] -> ShowS #
Pretty Assertion Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Assertion -> Doc Source #

8.3 Report statement

data ReportStatement Source #

Constructors

ReportStatement (Maybe Label) Expression (Maybe Expression)

Instances

Instances details

Eq ReportStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ReportStatement -> ReportStatement -> Bool # (/=) :: ReportStatement -> ReportStatement -> Bool #
Show ReportStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ReportStatement -> ShowS # show :: ReportStatement -> String # showList :: [ReportStatement] -> ShowS #
Pretty ReportStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ReportStatement -> Doc Source #

8.4 Signal assignment statement

data SignalAssignmentStatement Source #

Constructors

SignalAssignmentStatement (Maybe Label) Target (Maybe DelayMechanism) Waveform

Instances

Instances details

Eq SignalAssignmentStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SignalAssignmentStatement -> SignalAssignmentStatement -> Bool # (/=) :: SignalAssignmentStatement -> SignalAssignmentStatement -> Bool #
Show SignalAssignmentStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SignalAssignmentStatement -> ShowS # show :: SignalAssignmentStatement -> String # showList :: [SignalAssignmentStatement] -> ShowS #
Pretty SignalAssignmentStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SignalAssignmentStatement -> Doc Source #

data DelayMechanism Source #

Constructors

DMechTransport
DMechInertial (Maybe Expression)

Instances

Instances details

Eq DelayMechanism Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: DelayMechanism -> DelayMechanism -> Bool # (/=) :: DelayMechanism -> DelayMechanism -> Bool #
Show DelayMechanism Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> DelayMechanism -> ShowS # show :: DelayMechanism -> String # showList :: [DelayMechanism] -> ShowS #
Pretty DelayMechanism Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: DelayMechanism -> Doc Source #

data Target Source #

Constructors

TargetName Name
TargetAgg Aggregate

Instances

Instances details

Eq Target Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Target -> Target -> Bool # (/=) :: Target -> Target -> Bool #
Show Target Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Target -> ShowS # show :: Target -> String # showList :: [Target] -> ShowS #
Pretty Target Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Target -> Doc Source #

data Waveform Source #

Constructors

WaveElem [WaveformElement]
WaveUnaffected

Instances

Instances details

Eq Waveform Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Waveform -> Waveform -> Bool # (/=) :: Waveform -> Waveform -> Bool #
Show Waveform Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Waveform -> ShowS # show :: Waveform -> String # showList :: [Waveform] -> ShowS #
Pretty Waveform Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Waveform -> Doc Source #

8.4.1 Updating a projected output waveform

data WaveformElement Source #

Constructors

WaveEExp Expression (Maybe Expression)
WaveENull (Maybe Expression)

Instances

Instances details

Eq WaveformElement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: WaveformElement -> WaveformElement -> Bool # (/=) :: WaveformElement -> WaveformElement -> Bool #
Show WaveformElement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> WaveformElement -> ShowS # show :: WaveformElement -> String # showList :: [WaveformElement] -> ShowS #
Pretty WaveformElement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: WaveformElement -> Doc Source #

8.5 Variable assignment statement

data VariableAssignmentStatement Source #

Constructors

VariableAssignmentStatement (Maybe Label) Target Expression

Instances

Instances details

Eq VariableAssignmentStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: VariableAssignmentStatement -> VariableAssignmentStatement -> Bool # (/=) :: VariableAssignmentStatement -> VariableAssignmentStatement -> Bool #
Show VariableAssignmentStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> VariableAssignmentStatement -> ShowS # show :: VariableAssignmentStatement -> String # showList :: [VariableAssignmentStatement] -> ShowS #
Pretty VariableAssignmentStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: VariableAssignmentStatement -> Doc Source #

8.5.1 Array variable assignments

8.6 Procedure call statement

data ProcedureCallStatement Source #

Constructors

ProcedureCallStatement (Maybe Label) ProcedureCall

Instances

Instances details

Eq ProcedureCallStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ProcedureCallStatement -> ProcedureCallStatement -> Bool # (/=) :: ProcedureCallStatement -> ProcedureCallStatement -> Bool #
Show ProcedureCallStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ProcedureCallStatement -> ShowS # show :: ProcedureCallStatement -> String # showList :: [ProcedureCallStatement] -> ShowS #
Pretty ProcedureCallStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ProcedureCallStatement -> Doc Source #

data ProcedureCall Source #

Constructors

ProcedureCall Name (Maybe ActualParameterPart)

Instances

Instances details

Eq ProcedureCall Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ProcedureCall -> ProcedureCall -> Bool # (/=) :: ProcedureCall -> ProcedureCall -> Bool #
Show ProcedureCall Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ProcedureCall -> ShowS # show :: ProcedureCall -> String # showList :: [ProcedureCall] -> ShowS #
Pretty ProcedureCall Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ProcedureCall -> Doc Source #

8.7 If statement

data IfStatement Source #

Constructors

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

Instances

Instances details

Eq IfStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: IfStatement -> IfStatement -> Bool # (/=) :: IfStatement -> IfStatement -> Bool #
Show IfStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> IfStatement -> ShowS # show :: IfStatement -> String # showList :: [IfStatement] -> ShowS #
Pretty IfStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: IfStatement -> Doc Source #

8.8 Case statement

data CaseStatement Source #

Constructors

CaseStatement
Fields case_label :: Maybe Label case_expression :: Expression case_alternatives :: [CaseStatementAlternative]

Instances

Instances details

Eq CaseStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: CaseStatement -> CaseStatement -> Bool # (/=) :: CaseStatement -> CaseStatement -> Bool #
Show CaseStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> CaseStatement -> ShowS # show :: CaseStatement -> String # showList :: [CaseStatement] -> ShowS #
Pretty CaseStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: CaseStatement -> Doc Source #

data CaseStatementAlternative Source #

Constructors

CaseStatementAlternative Choices SequenceOfStatements

Instances

Instances details

Eq CaseStatementAlternative Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: CaseStatementAlternative -> CaseStatementAlternative -> Bool # (/=) :: CaseStatementAlternative -> CaseStatementAlternative -> Bool #
Show CaseStatementAlternative Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> CaseStatementAlternative -> ShowS # show :: CaseStatementAlternative -> String # showList :: [CaseStatementAlternative] -> ShowS #
Pretty CaseStatementAlternative Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: CaseStatementAlternative -> Doc Source #

8.9 Loop statement

data LoopStatement Source #

Constructors

LoopStatement
Fields loop_label :: Maybe Label loop_iteration_scheme :: Maybe IterationScheme loop_statements :: SequenceOfStatements

Instances

Instances details

Eq LoopStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: LoopStatement -> LoopStatement -> Bool # (/=) :: LoopStatement -> LoopStatement -> Bool #
Show LoopStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> LoopStatement -> ShowS # show :: LoopStatement -> String # showList :: [LoopStatement] -> ShowS #
Pretty LoopStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: LoopStatement -> Doc Source #

data IterationScheme Source #

Constructors

IterWhile Condition
IterFor ParameterSpecification

Instances

Instances details

Eq IterationScheme Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: IterationScheme -> IterationScheme -> Bool # (/=) :: IterationScheme -> IterationScheme -> Bool #
Show IterationScheme Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> IterationScheme -> ShowS # show :: IterationScheme -> String # showList :: [IterationScheme] -> ShowS #
Pretty IterationScheme Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: IterationScheme -> Doc Source #

data ParameterSpecification Source #

Constructors

ParameterSpecification
Fields paramspec_identifier :: Identifier paramspec_discrete_range :: DiscreteRange

Instances

Instances details

Eq ParameterSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ParameterSpecification -> ParameterSpecification -> Bool # (/=) :: ParameterSpecification -> ParameterSpecification -> Bool #
Show ParameterSpecification Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ParameterSpecification -> ShowS # show :: ParameterSpecification -> String # showList :: [ParameterSpecification] -> ShowS #
Pretty ParameterSpecification Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ParameterSpecification -> Doc Source #

8.10 Next statement

data NextStatement Source #

Constructors

NextStatement
Fields next_label :: Maybe Label next_loop :: Maybe Label next_when :: Maybe Condition

Instances

Instances details

Eq NextStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: NextStatement -> NextStatement -> Bool # (/=) :: NextStatement -> NextStatement -> Bool #
Show NextStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> NextStatement -> ShowS # show :: NextStatement -> String # showList :: [NextStatement] -> ShowS #
Pretty NextStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: NextStatement -> Doc Source #

8.11 Exit statement

data ExitStatement Source #

Constructors

ExitStatement
Fields exit_label :: Maybe Label exit_loop :: Maybe Label exit_when :: Maybe Condition

Instances

Instances details

Eq ExitStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ExitStatement -> ExitStatement -> Bool # (/=) :: ExitStatement -> ExitStatement -> Bool #
Show ExitStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ExitStatement -> ShowS # show :: ExitStatement -> String # showList :: [ExitStatement] -> ShowS #
Pretty ExitStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ExitStatement -> Doc Source #

8.12 Return statement

data ReturnStatement Source #

Constructors

ReturnStatement
Fields return_label :: Maybe Label return_expression :: Maybe Expression

Instances

Instances details

Eq ReturnStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ReturnStatement -> ReturnStatement -> Bool # (/=) :: ReturnStatement -> ReturnStatement -> Bool #
Show ReturnStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ReturnStatement -> ShowS # show :: ReturnStatement -> String # showList :: [ReturnStatement] -> ShowS #
Pretty ReturnStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ReturnStatement -> Doc Source #

8.13 Null statement

data NullStatement Source #

Constructors

NullStatement
Fields null_label :: Maybe Label

Instances

Instances details

Eq NullStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: NullStatement -> NullStatement -> Bool # (/=) :: NullStatement -> NullStatement -> Bool #
Show NullStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> NullStatement -> ShowS # show :: NullStatement -> String # showList :: [NullStatement] -> ShowS #
Pretty NullStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: NullStatement -> Doc Source #

data ConcurrentStatement Source #

Constructors

ConBlock BlockStatement
ConProcess ProcessStatement
ConProcCall ConcurrentProcedureCallStatement
ConAssertion ConcurrentAssertionStatement
ConSignalAss ConcurrentSignalAssignmentStatement
ConComponent ComponentInstantiationStatement
ConGenerate GenerateStatement

Instances

Instances details

Eq ConcurrentStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ConcurrentStatement -> ConcurrentStatement -> Bool # (/=) :: ConcurrentStatement -> ConcurrentStatement -> Bool #
Show ConcurrentStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ConcurrentStatement -> ShowS # show :: ConcurrentStatement -> String # showList :: [ConcurrentStatement] -> ShowS #
Pretty ConcurrentStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ConcurrentStatement -> Doc Source #

9.1 Block statement

data BlockStatement Source #

Constructors

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

Instances

Instances details

Eq BlockStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: BlockStatement -> BlockStatement -> Bool # (/=) :: BlockStatement -> BlockStatement -> Bool #
Show BlockStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> BlockStatement -> ShowS # show :: BlockStatement -> String # showList :: [BlockStatement] -> ShowS #
Pretty BlockStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: BlockStatement -> Doc Source #

data BlockHeader Source #

Constructors

BlockHeader
Fields blockh_generic_clause :: Maybe (GenericClause, Maybe GenericMapAspect) blockh_port_clause :: Maybe (PortClause, Maybe PortMapAspect)

Instances

Instances details

Eq BlockHeader Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: BlockHeader -> BlockHeader -> Bool # (/=) :: BlockHeader -> BlockHeader -> Bool #
Show BlockHeader Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> BlockHeader -> ShowS # show :: BlockHeader -> String # showList :: [BlockHeader] -> ShowS #
Pretty BlockHeader Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: BlockHeader -> Doc Source #

type BlockDeclarativePart = [BlockDeclarativeItem] Source #

type BlockStatementPart = [ConcurrentStatement] Source #

9.2 Process statement

data ProcessStatement Source #

Constructors

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

Instances

Instances details

Eq ProcessStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ProcessStatement -> ProcessStatement -> Bool # (/=) :: ProcessStatement -> ProcessStatement -> Bool #
Show ProcessStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ProcessStatement -> ShowS # show :: ProcessStatement -> String # showList :: [ProcessStatement] -> ShowS #
Pretty ProcessStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ProcessStatement -> Doc Source #

type ProcessDeclarativePart = [ProcessDeclarativeItem] Source #

data ProcessDeclarativeItem Source #

Instances

Instances details

Eq ProcessDeclarativeItem Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ProcessDeclarativeItem -> ProcessDeclarativeItem -> Bool # (/=) :: ProcessDeclarativeItem -> ProcessDeclarativeItem -> Bool #
Show ProcessDeclarativeItem Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ProcessDeclarativeItem -> ShowS # show :: ProcessDeclarativeItem -> String # showList :: [ProcessDeclarativeItem] -> ShowS #
Pretty ProcessDeclarativeItem Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ProcessDeclarativeItem -> Doc Source #

type ProcessStatementPart = [SequentialStatement] Source #

9.3 Concurrent procedure call statements

data ConcurrentProcedureCallStatement Source #

Constructors

ConcurrentProcedureCallStatement
Fields cpcs_label :: Maybe Label cpcs_postponed :: Bool cpcs_procedure_call :: ProcedureCall

Instances

Instances details

Eq ConcurrentProcedureCallStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ConcurrentProcedureCallStatement -> ConcurrentProcedureCallStatement -> Bool # (/=) :: ConcurrentProcedureCallStatement -> ConcurrentProcedureCallStatement -> Bool #
Show ConcurrentProcedureCallStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ConcurrentProcedureCallStatement -> ShowS # show :: ConcurrentProcedureCallStatement -> String # showList :: [ConcurrentProcedureCallStatement] -> ShowS #
Pretty ConcurrentProcedureCallStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ConcurrentProcedureCallStatement -> Doc Source #

9.4 Concurrent assertion statements

data ConcurrentAssertionStatement Source #

Constructors

ConcurrentAssertionStatement
Fields cas_label :: Maybe Label cas_postponed :: Bool cas_assertion :: Assertion

Instances

Instances details

Eq ConcurrentAssertionStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ConcurrentAssertionStatement -> ConcurrentAssertionStatement -> Bool # (/=) :: ConcurrentAssertionStatement -> ConcurrentAssertionStatement -> Bool #
Show ConcurrentAssertionStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ConcurrentAssertionStatement -> ShowS # show :: ConcurrentAssertionStatement -> String # showList :: [ConcurrentAssertionStatement] -> ShowS #
Pretty ConcurrentAssertionStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ConcurrentAssertionStatement -> Doc Source #

9.5 Concurrent signal assignment statements

data ConcurrentSignalAssignmentStatement Source #

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

Instances details

Eq ConcurrentSignalAssignmentStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ConcurrentSignalAssignmentStatement -> ConcurrentSignalAssignmentStatement -> Bool # (/=) :: ConcurrentSignalAssignmentStatement -> ConcurrentSignalAssignmentStatement -> Bool #
Show ConcurrentSignalAssignmentStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ConcurrentSignalAssignmentStatement -> ShowS # show :: ConcurrentSignalAssignmentStatement -> String # showList :: [ConcurrentSignalAssignmentStatement] -> ShowS #
Pretty ConcurrentSignalAssignmentStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ConcurrentSignalAssignmentStatement -> Doc Source #

data Options Source #

Constructors

Options
Fields options_guarded :: Bool options_delay_mechanism :: Maybe DelayMechanism

Instances

Instances details

Eq Options Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Options -> Options -> Bool # (/=) :: Options -> Options -> Bool #
Show Options Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Options -> ShowS # show :: Options -> String # showList :: [Options] -> ShowS #
Pretty Options Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Options -> Doc Source #

9.5.1 Conditional signal assignments

data ConditionalSignalAssignment Source #

Constructors

ConditionalSignalAssignment
Fields csa_target :: Target csa_options :: Options csa_conditional_waveforms :: ConditionalWaveforms

Instances

Instances details

Eq ConditionalSignalAssignment Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ConditionalSignalAssignment -> ConditionalSignalAssignment -> Bool # (/=) :: ConditionalSignalAssignment -> ConditionalSignalAssignment -> Bool #
Show ConditionalSignalAssignment Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ConditionalSignalAssignment -> ShowS # show :: ConditionalSignalAssignment -> String # showList :: [ConditionalSignalAssignment] -> ShowS #
Pretty ConditionalSignalAssignment Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ConditionalSignalAssignment -> Doc Source #

data ConditionalWaveforms Source #

Constructors

ConditionalWaveforms
Fields cw_optional :: [(Waveform, Condition)] cw_wave :: (Waveform, Maybe Condition)

Instances

Instances details

Eq ConditionalWaveforms Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ConditionalWaveforms -> ConditionalWaveforms -> Bool # (/=) :: ConditionalWaveforms -> ConditionalWaveforms -> Bool #
Show ConditionalWaveforms Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ConditionalWaveforms -> ShowS # show :: ConditionalWaveforms -> String # showList :: [ConditionalWaveforms] -> ShowS #
Pretty ConditionalWaveforms Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ConditionalWaveforms -> Doc Source #

9.5.2 Selected signal assignments

data SelectedSignalAssignment Source #

Constructors

SelectedSignalAssignment
Fields ssa_expression :: Expression ssa_target :: Target ssa_options :: Options ssa_selected_waveforms :: SelectedWaveforms

Instances

Instances details

Eq SelectedSignalAssignment Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SelectedSignalAssignment -> SelectedSignalAssignment -> Bool # (/=) :: SelectedSignalAssignment -> SelectedSignalAssignment -> Bool #
Show SelectedSignalAssignment Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SelectedSignalAssignment -> ShowS # show :: SelectedSignalAssignment -> String # showList :: [SelectedSignalAssignment] -> ShowS #
Pretty SelectedSignalAssignment Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SelectedSignalAssignment -> Doc Source #

data SelectedWaveforms Source #

Constructors

SelectedWaveforms
Fields sw_optional :: Maybe [(Waveform, Choices)] sw_last :: (Waveform, Choices)

Instances

Instances details

Eq SelectedWaveforms Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SelectedWaveforms -> SelectedWaveforms -> Bool # (/=) :: SelectedWaveforms -> SelectedWaveforms -> Bool #
Show SelectedWaveforms Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SelectedWaveforms -> ShowS # show :: SelectedWaveforms -> String # showList :: [SelectedWaveforms] -> ShowS #
Pretty SelectedWaveforms Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SelectedWaveforms -> Doc Source #

9.6 Component instantiation statements

data ComponentInstantiationStatement Source #

Constructors

ComponentInstantiationStatement
Fields cis_instantiation_label :: Label cis_instantiated_unit :: InstantiatedUnit cis_generic_map_aspect :: Maybe GenericMapAspect cis_port_map_aspect :: Maybe PortMapAspect

Instances

Instances details

Eq ComponentInstantiationStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ComponentInstantiationStatement -> ComponentInstantiationStatement -> Bool # (/=) :: ComponentInstantiationStatement -> ComponentInstantiationStatement -> Bool #
Show ComponentInstantiationStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ComponentInstantiationStatement -> ShowS # show :: ComponentInstantiationStatement -> String # showList :: [ComponentInstantiationStatement] -> ShowS #
Pretty ComponentInstantiationStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ComponentInstantiationStatement -> Doc Source #

data InstantiatedUnit Source #

Constructors

IUComponent Name
IUEntity Name (Maybe Identifier)
IUConfig Name

Instances

Instances details

Eq InstantiatedUnit Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: InstantiatedUnit -> InstantiatedUnit -> Bool # (/=) :: InstantiatedUnit -> InstantiatedUnit -> Bool #
Show InstantiatedUnit Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> InstantiatedUnit -> ShowS # show :: InstantiatedUnit -> String # showList :: [InstantiatedUnit] -> ShowS #
Pretty InstantiatedUnit Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: InstantiatedUnit -> Doc Source #

9.6.1 Instantiation of a component

9.6.2 Instantiation of a design entity

9.7 Generate statements

data GenerateStatement Source #

Constructors

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

Instances

Instances details

Eq GenerateStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: GenerateStatement -> GenerateStatement -> Bool # (/=) :: GenerateStatement -> GenerateStatement -> Bool #
Show GenerateStatement Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> GenerateStatement -> ShowS # show :: GenerateStatement -> String # showList :: [GenerateStatement] -> ShowS #
Pretty GenerateStatement Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: GenerateStatement -> Doc Source #

data GenerationScheme Source #

Constructors

GSFor ParameterSpecification
GSIf Condition

Instances

Instances details

Eq GenerationScheme Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: GenerationScheme -> GenerationScheme -> Bool # (/=) :: GenerationScheme -> GenerationScheme -> Bool #
Show GenerationScheme Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> GenerationScheme -> ShowS # show :: GenerationScheme -> String # showList :: [GenerationScheme] -> ShowS #
Pretty GenerationScheme Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: GenerationScheme -> Doc Source #

type Label = Identifier Source #

10.1 Declarative region

10.2 Scope of declarations

10.3 Visibility

10.4 Use clauses

data UseClause Source #

Constructors

UseClause [SelectedName]

Instances

Instances details

Eq UseClause Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: UseClause -> UseClause -> Bool # (/=) :: UseClause -> UseClause -> Bool #
Show UseClause Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> UseClause -> ShowS # show :: UseClause -> String # showList :: [UseClause] -> ShowS #
Pretty UseClause Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: UseClause -> Doc Source #

10.5 The context of overload resolution

11.1 Design units

data DesignFile Source #

Constructors

DesignFile [DesignUnit]

Instances

Instances details

Eq DesignFile Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: DesignFile -> DesignFile -> Bool # (/=) :: DesignFile -> DesignFile -> Bool #
Show DesignFile Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> DesignFile -> ShowS # show :: DesignFile -> String # showList :: [DesignFile] -> ShowS #
Pretty DesignFile Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: DesignFile -> Doc Source #

data DesignUnit Source #

Constructors

DesignUnit ContextClause LibraryUnit

Instances

Instances details

Eq DesignUnit Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: DesignUnit -> DesignUnit -> Bool # (/=) :: DesignUnit -> DesignUnit -> Bool #
Show DesignUnit Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> DesignUnit -> ShowS # show :: DesignUnit -> String # showList :: [DesignUnit] -> ShowS #
Pretty DesignUnit Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: DesignUnit -> Doc Source #

data LibraryUnit Source #

Constructors

LibraryPrimary PrimaryUnit
LibrarySecondary SecondaryUnit

Instances

Instances details

Eq LibraryUnit Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: LibraryUnit -> LibraryUnit -> Bool # (/=) :: LibraryUnit -> LibraryUnit -> Bool #
Show LibraryUnit Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> LibraryUnit -> ShowS # show :: LibraryUnit -> String # showList :: [LibraryUnit] -> ShowS #
Pretty LibraryUnit Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: LibraryUnit -> Doc Source #

data PrimaryUnit Source #

Constructors

PrimaryEntity EntityDeclaration
PrimaryConfig ConfigurationDeclaration
PrimaryPackage PackageDeclaration

Instances

Instances details

Eq PrimaryUnit Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: PrimaryUnit -> PrimaryUnit -> Bool # (/=) :: PrimaryUnit -> PrimaryUnit -> Bool #
Show PrimaryUnit Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> PrimaryUnit -> ShowS # show :: PrimaryUnit -> String # showList :: [PrimaryUnit] -> ShowS #
Pretty PrimaryUnit Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: PrimaryUnit -> Doc Source #

data SecondaryUnit Source #

Constructors

SecondaryArchitecture ArchitectureBody
SecondaryPackage PackageBody

Instances

Instances details

Eq SecondaryUnit Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: SecondaryUnit -> SecondaryUnit -> Bool # (/=) :: SecondaryUnit -> SecondaryUnit -> Bool #
Show SecondaryUnit Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> SecondaryUnit -> ShowS # show :: SecondaryUnit -> String # showList :: [SecondaryUnit] -> ShowS #
Pretty SecondaryUnit Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: SecondaryUnit -> Doc Source #

11.2 Design libraries

data LibraryClause Source #

Constructors

LibraryClause LogicalNameList

Instances

Instances details

Eq LibraryClause Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: LibraryClause -> LibraryClause -> Bool # (/=) :: LibraryClause -> LibraryClause -> Bool #
Show LibraryClause Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> LibraryClause -> ShowS # show :: LibraryClause -> String # showList :: [LibraryClause] -> ShowS #
Pretty LibraryClause Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: LibraryClause -> Doc Source #

data LogicalNameList Source #

Constructors

LogicalNameList [LogicalName]

Instances

Instances details

Eq LogicalNameList Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: LogicalNameList -> LogicalNameList -> Bool # (/=) :: LogicalNameList -> LogicalNameList -> Bool #
Show LogicalNameList Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> LogicalNameList -> ShowS # show :: LogicalNameList -> String # showList :: [LogicalNameList] -> ShowS #
Pretty LogicalNameList Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: LogicalNameList -> Doc Source #

type LogicalName = Identifier Source #

11.3 Context clauses

data ContextClause Source #

Constructors

ContextClause [ContextItem]

Instances

Instances details

Eq ContextClause Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ContextClause -> ContextClause -> Bool # (/=) :: ContextClause -> ContextClause -> Bool #
Show ContextClause Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ContextClause -> ShowS # show :: ContextClause -> String # showList :: [ContextClause] -> ShowS #
Pretty ContextClause Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ContextClause -> Doc Source #

data ContextItem Source #

Constructors

ContextLibrary LibraryClause
ContextUse UseClause

Instances

Instances details

Eq ContextItem Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ContextItem -> ContextItem -> Bool # (/=) :: ContextItem -> ContextItem -> Bool #
Show ContextItem Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ContextItem -> ShowS # show :: ContextItem -> String # showList :: [ContextItem] -> ShowS #
Pretty ContextItem Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ContextItem -> Doc Source #

11.3 Order of analysis

13.4

data AbstractLiteral Source #

Constructors

ALitDecimal DecimalLiteral
ALitBased BasedLiteral

Instances

Instances details

Eq AbstractLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: AbstractLiteral -> AbstractLiteral -> Bool # (/=) :: AbstractLiteral -> AbstractLiteral -> Bool #
Show AbstractLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> AbstractLiteral -> ShowS # show :: AbstractLiteral -> String # showList :: [AbstractLiteral] -> ShowS #
Pretty AbstractLiteral Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: AbstractLiteral -> Doc Source #

13.4.1

data DecimalLiteral Source #

Constructors

DecimalLiteral
Fields decimal_integral_part :: Integer decimal_fractional_part :: Maybe Integer decimal_exponent :: Maybe Exponent

Instances

Instances details

Eq DecimalLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: DecimalLiteral -> DecimalLiteral -> Bool # (/=) :: DecimalLiteral -> DecimalLiteral -> Bool #
Show DecimalLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> DecimalLiteral -> ShowS # show :: DecimalLiteral -> String # showList :: [DecimalLiteral] -> ShowS #
Pretty DecimalLiteral Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: DecimalLiteral -> Doc Source #

data Exponent Source #

Constructors

ExponentPos Integer
ExponentNeg Integer

Instances

Instances details

Eq Exponent Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Exponent -> Exponent -> Bool # (/=) :: Exponent -> Exponent -> Bool #
Show Exponent Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Exponent -> ShowS # show :: Exponent -> String # showList :: [Exponent] -> ShowS #
Pretty Exponent Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Exponent -> Doc Source #

13.4.2

data BasedLiteral Source #

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

Instances details

Eq BasedLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: BasedLiteral -> BasedLiteral -> Bool # (/=) :: BasedLiteral -> BasedLiteral -> Bool #
Show BasedLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> BasedLiteral -> ShowS # show :: BasedLiteral -> String # showList :: [BasedLiteral] -> ShowS #
Pretty BasedLiteral Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: BasedLiteral -> Doc Source #

type Base = Integer Source #

type BasedInteger = Integer Source #

type ExtendedDigit = Char Source #

13.7 Bit string literals

data BitStringLiteral Source #

Constructors

BitStringLiteral
Fields bsl_base_specifier :: BaseSpecifier bsl_bit_value :: BitValue

Instances

Instances details

Eq BitStringLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: BitStringLiteral -> BitStringLiteral -> Bool # (/=) :: BitStringLiteral -> BitStringLiteral -> Bool #
Show BitStringLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> BitStringLiteral -> ShowS # show :: BitStringLiteral -> String # showList :: [BitStringLiteral] -> ShowS #
Pretty BitStringLiteral Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: BitStringLiteral -> Doc Source #

data BitValue Source #

Constructors

BitValue [ExtendedDigit]

Instances

Instances details

Eq BitValue Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: BitValue -> BitValue -> Bool # (/=) :: BitValue -> BitValue -> Bool #
Show BitValue Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> BitValue -> ShowS # show :: BitValue -> String # showList :: [BitValue] -> ShowS #
Pretty BitValue Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: BitValue -> Doc Source #

data BaseSpecifier Source #

Constructors

BSOctal
BSBinary
BSHexadecimal

Instances

Instances details

Eq BaseSpecifier Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: BaseSpecifier -> BaseSpecifier -> Bool # (/=) :: BaseSpecifier -> BaseSpecifier -> Bool #
Show BaseSpecifier Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> BaseSpecifier -> ShowS # show :: BaseSpecifier -> String # showList :: [BaseSpecifier] -> ShowS #
Pretty BaseSpecifier Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: BaseSpecifier -> Doc Source #

data Identifier Source #

Constructors

Ident String

Instances

Instances details

Eq Identifier Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Identifier -> Identifier -> Bool # (/=) :: Identifier -> Identifier -> Bool #
Show Identifier Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Identifier -> ShowS # show :: Identifier -> String # showList :: [Identifier] -> ShowS #
Pretty Identifier Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Identifier -> Doc Source #

data CharacterLiteral Source #

Constructors

CLit Char

Instances

Instances details

Eq CharacterLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: CharacterLiteral -> CharacterLiteral -> Bool # (/=) :: CharacterLiteral -> CharacterLiteral -> Bool #
Show CharacterLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> CharacterLiteral -> ShowS # show :: CharacterLiteral -> String # showList :: [CharacterLiteral] -> ShowS #
Pretty CharacterLiteral Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: CharacterLiteral -> Doc Source #

data StringLiteral Source #

Constructors

SLit String

Instances

Instances details

Eq StringLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: StringLiteral -> StringLiteral -> Bool # (/=) :: StringLiteral -> StringLiteral -> Bool #
Show StringLiteral Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> StringLiteral -> ShowS # show :: StringLiteral -> String # showList :: [StringLiteral] -> ShowS #
Pretty StringLiteral Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: StringLiteral -> Doc Source #

data BaseUnitDeclaration Source #

Constructors

BaseUnitDeclaration

Instances

Instances details

Eq BaseUnitDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: BaseUnitDeclaration -> BaseUnitDeclaration -> Bool # (/=) :: BaseUnitDeclaration -> BaseUnitDeclaration -> Bool #
Show BaseUnitDeclaration Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> BaseUnitDeclaration -> ShowS # show :: BaseUnitDeclaration -> String # showList :: [BaseUnitDeclaration] -> ShowS #
Pretty BaseUnitDeclaration Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: BaseUnitDeclaration -> Doc Source #

data BasicCharacter Source #

Constructors

BasicCharacter

Instances

Instances details

Eq BasicCharacter Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: BasicCharacter -> BasicCharacter -> Bool # (/=) :: BasicCharacter -> BasicCharacter -> Bool #
Show BasicCharacter Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> BasicCharacter -> ShowS # show :: BasicCharacter -> String # showList :: [BasicCharacter] -> ShowS #
Pretty BasicCharacter Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: BasicCharacter -> Doc Source #

data BasicGraphicCharacter Source #

Constructors

BasicGraphicCharacter

Instances

Instances details

Eq BasicGraphicCharacter Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: BasicGraphicCharacter -> BasicGraphicCharacter -> Bool # (/=) :: BasicGraphicCharacter -> BasicGraphicCharacter -> Bool #
Show BasicGraphicCharacter Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> BasicGraphicCharacter -> ShowS # show :: BasicGraphicCharacter -> String # showList :: [BasicGraphicCharacter] -> ShowS #
Pretty BasicGraphicCharacter Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: BasicGraphicCharacter -> Doc Source #

data BasicIdentifier Source #

Constructors

BasicIdentifier

Instances

Instances details

Eq BasicIdentifier Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: BasicIdentifier -> BasicIdentifier -> Bool # (/=) :: BasicIdentifier -> BasicIdentifier -> Bool #
Show BasicIdentifier Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> BasicIdentifier -> ShowS # show :: BasicIdentifier -> String # showList :: [BasicIdentifier] -> ShowS #
Pretty BasicIdentifier Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: BasicIdentifier -> Doc Source #

data ExtendedIdentifier Source #

Constructors

ExtendedIdentifier

Instances

Instances details

Eq ExtendedIdentifier Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: ExtendedIdentifier -> ExtendedIdentifier -> Bool # (/=) :: ExtendedIdentifier -> ExtendedIdentifier -> Bool #
Show ExtendedIdentifier Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> ExtendedIdentifier -> ShowS # show :: ExtendedIdentifier -> String # showList :: [ExtendedIdentifier] -> ShowS #
Pretty ExtendedIdentifier Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: ExtendedIdentifier -> Doc Source #

data GraphicCharacter Source #

Constructors

GraphicCharacter

Instances

Instances details

Eq GraphicCharacter Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: GraphicCharacter -> GraphicCharacter -> Bool # (/=) :: GraphicCharacter -> GraphicCharacter -> Bool #
Show GraphicCharacter Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> GraphicCharacter -> ShowS # show :: GraphicCharacter -> String # showList :: [GraphicCharacter] -> ShowS #
Pretty GraphicCharacter Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: GraphicCharacter -> Doc Source #

data Letter Source #

Constructors

Letter

Instances

Instances details

Eq Letter Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: Letter -> Letter -> Bool # (/=) :: Letter -> Letter -> Bool #
Show Letter Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> Letter -> ShowS # show :: Letter -> String # showList :: [Letter] -> ShowS #
Pretty Letter Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: Letter -> Doc Source #

data LetterOrDigit Source #

Constructors

LetterOrDigit

Instances

Instances details

Eq LetterOrDigit Source #
Instance details Defined in Language.VHDL.Syntax Methods (==) :: LetterOrDigit -> LetterOrDigit -> Bool # (/=) :: LetterOrDigit -> LetterOrDigit -> Bool #
Show LetterOrDigit Source #
Instance details Defined in Language.VHDL.Syntax Methods showsPrec :: Int -> LetterOrDigit -> ShowS # show :: LetterOrDigit -> String # showList :: [LetterOrDigit] -> ShowS #
Pretty LetterOrDigit Source #
Instance details Defined in Language.VHDL.Pretty Methods pp :: LetterOrDigit -> Doc Source #

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

BDISubprogDecl SubprogramDeclaration
BDISubprogBody SubprogramBody
BDIType TypeDeclaration
BDISubtype SubtypeDeclaration
BDIConstant ConstantDeclaration
BDISignal SignalDeclaration
BDIShared VariableDeclaration
BDIFile FileDeclaration
BDIAlias AliasDeclaration
BDIComp ComponentDeclaration
BDIAttrDecl AttributeDeclaration
BDIAttrSpec AttributeSpecification
BDIConfigSpec ConfigurationSpecification
BDIDisconSpec DisconnectionSpecification
BDIUseClause UseClause
BDIGroupTemp GroupTemplateDeclaration
BDIGroup GroupDeclaration

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

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

PBDISubprogDecl SubprogramDeclaration
PBDISubprogBody SubprogramBody
PBDIType TypeDeclaration
PBDISubtype SubtypeDeclaration
PBDIConstant ConstantDeclaration
PBDIShared VariableDeclaration
PBDIFile FileDeclaration
PBDIAlias AliasDeclaration
PBDIUseClause UseClause
PBDIGroupTemp GroupTemplateDeclaration
PBDIGroup GroupDeclaration

DType TypeDeclaration
DSubtype SubtypeDeclaration
DObject ObjectDeclaration
DAlias AliasDeclaration
DComponent ComponentDeclaration
DAttribute AttributeDeclaration
DGroupTemplate GroupTemplateDeclaration
DGroup GroupDeclaration
DEntity EntityDeclaration
DConfiguration ConfigurationDeclaration
DSubprogram SubprogramDeclaration
DPackage PackageDeclaration

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

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

PDISubprogDecl SubprogramDeclaration
PDISubprogBody SubprogramBody
PDIType TypeDeclaration
PDISubtype SubtypeDeclaration
PDIConstant ConstantDeclaration
PDIVariable VariableDeclaration
PDIFile FileDeclaration
PDIAlias AliasDeclaration
PDIAttrDecl AttributeDeclaration
PDIAttrSpec AttributeSpecification
PDIUseClause UseClause