Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- 1.1 Entiity Declarations
- 1.2 Arcitecture bodies
- 1.3 Configuration declarations
- 2.1 Subprogram declarations
- 2.2 Subprogram bodies
- 2.3 Subprogram overloading
- 2.4 Resolution functions
- 2.5 Package declarations
- 2.6 Package bodies
- 2.7 Conformance rules
- 3.1 Scalar types
- 3.2 Composite types
- 3.3 Access types
- 3.4 File types
- 3.5 Protected types
- 4.1 Type declarations
- 4.2 Subtype declarations
- 4.3 Objects
- 4.4 Attribute declarations
- 4.5 Component declarations
- 4.6 Group template declarations
- 4.7 Group declarations
- 5.1 Attribute specification
- 5.2 Configuration specification
- 5.3 Disconnection specification
- 6.1 Names
- 6.2 Simple names
- 6.3 Selected names
- 6.4 Indexed names
- 6.5 Slice names
- 6.6 Attribute names
- 7.1 Rules for expressions
- 7.2 Operators
- 7.3 Operands
- 7.4 Static expressions
- 7.5 Universal expressions
- 8.1 Wait statement
- 8.2 Assertion statement
- 8.3 Report statement
- 8.4 Signal assignment statement
- 8.5 Variable assignment statement
- 8.6 Procedure call statement
- 8.7 If statement
- 8.8 Case statement
- 8.9 Loop statement
- 8.10 Next statement
- 8.11 Exit statement
- 8.12 Return statement
- 8.13 Null statement
- 9.1 Block statement
- 9.2 Process statement
- 9.3 Concurrent procedure call statements
- 9.4 Concurrent assertion statements
- 9.5 Concurrent signal assignment statements
- 9.6 Component instantiation statements
- 9.7 Generate statements
Synopsis
- data EntityDeclaration = EntityDeclaration {}
- data EntityHeader = EntityHeader {}
- data GenericClause = GenericClause GenericList
- data PortClause = PortClause PortList
- type GenericList = InterfaceList
- type PortList = InterfaceList
- type EntityDeclarativePart = [EntityDeclarativeItem]
- data EntityDeclarativeItem
- = EDISubprogDecl SubprogramDeclaration
- | EDISubprogBody SubprogramBody
- | EDIType TypeDeclaration
- | EDISubtype SubtypeDeclaration
- | EDIConstant ConstantDeclaration
- | EDISignal SignalDeclaration
- | EDIShared VariableDeclaration
- | EDIFile FileDeclaration
- | EDIAlias AliasDeclaration
- | EDIAttrDecl AttributeDeclaration
- | EDIAttrSpec AttributeSpecification
- | EDIDiscSpec DisconnectionSpecification
- | EDIUseClause UseClause
- | EDIGroupTemp GroupTemplateDeclaration
- | EDIGroup GroupDeclaration
- type EntityStatementPart = [EntityStatement]
- data EntityStatement
- data ArchitectureBody = ArchitectureBody {}
- type ArchitectureDeclarativePart = [BlockDeclarativeItem]
- data BlockDeclarativeItem
- = BDISubprogDecl SubprogramDeclaration
- | BDISubprogBody SubprogramBody
- | BDIType TypeDeclaration
- | BDISubtype SubtypeDeclaration
- | BDIConstant ConstantDeclaration
- | BDISignal SignalDeclaration
- | BDIShared VariableDeclaration
- | BDIFile FileDeclaration
- | BDIAlias AliasDeclaration
- | BDIComp ComponentDeclaration
- | BDIAttrDecl AttributeDeclaration
- | BDIAttrSpec AttributeSpecification
- | BDIConfigSpec ConfigurationSpecification
- | BDIDisconSpec DisconnectionSpecification
- | BDIUseClause UseClause
- | BDIGroupTemp GroupTemplateDeclaration
- | BDIGroup GroupDeclaration
- type ArchitectureStatementPart = [ConcurrentStatement]
- data ConfigurationDeclaration = ConfigurationDeclaration {}
- type ConfigurationDeclarativePart = [ConfigurationDeclarativeItem]
- data ConfigurationDeclarativeItem
- data BlockConfiguration = BlockConfiguration {}
- data BlockSpecification
- data IndexSpecification
- data ConfigurationItem
- data ComponentConfiguration = ComponentConfiguration {}
- newtype SubprogramDeclaration = SubprogramDeclaration SubprogramSpecification
- data SubprogramSpecification
- data Designator
- type OperatorSymbol = StringLiteral
- type FormalParameterList = InterfaceList
- data SubprogramBody = SubprogramBody {}
- type SubprogramDeclarativePart = [SubprogramDeclarativeItem]
- data SubprogramDeclarativeItem
- = SDISubprogDecl SubprogramDeclaration
- | SDISubprogBody SubprogramBody
- | SDIType TypeDeclaration
- | SDISubtype SubtypeDeclaration
- | SDIConstant ConstantDeclaration
- | SDIVariable VariableDeclaration
- | SDIFile FileDeclaration
- | SDIAlias AliasDeclaration
- | SDIAttrDecl AttributeDeclaration
- | SDIAttrSepc AttributeSpecification
- | SDIUseClause UseClause
- | SDIGroupTemp GroupTemplateDeclaration
- | SDIGroup GroupDeclaration
- type SubprogramStatementPart = [SequentialStatement]
- data SubprogramKind
- data Signature = Signature (Maybe (Maybe [TypeMark], Maybe TypeMark))
- data PackageDeclaration = PackageDeclaration {}
- type PackageDeclarativePart = [PackageDeclarativeItem]
- data PackageDeclarativeItem
- = PHDISubprogDecl SubprogramDeclaration
- | PHDISubprogBody SubprogramBody
- | PHDIType TypeDeclaration
- | PHDISubtype SubtypeDeclaration
- | PHDIConstant ConstantDeclaration
- | PHDISignal SignalDeclaration
- | PHDIShared VariableDeclaration
- | PHDIFile FileDeclaration
- | PHDIAlias AliasDeclaration
- | PHDIComp ComponentDeclaration
- | PHDIAttrDecl AttributeDeclaration
- | PHDIAttrSpec AttributeSpecification
- | PHDIDiscSpec DisconnectionSpecification
- | PHDIUseClause UseClause
- | PHDIGroupTemp GroupTemplateDeclaration
- | PHDIGroup GroupDeclaration
- data PackageBody = PackageBody {}
- type PackageBodyDeclarativePart = [PackageBodyDeclarativeItem]
- data PackageBodyDeclarativeItem
- = PBDISubprogDecl SubprogramDeclaration
- | PBDISubprogBody SubprogramBody
- | PBDIType TypeDeclaration
- | PBDISubtype SubtypeDeclaration
- | PBDIConstant ConstantDeclaration
- | PBDIShared VariableDeclaration
- | PBDIFile FileDeclaration
- | PBDIAlias AliasDeclaration
- | PBDIUseClause UseClause
- | PBDIGroupTemp GroupTemplateDeclaration
- | PBDIGroup GroupDeclaration
- data ScalarTypeDefinition
- data RangeConstraint = RangeConstraint Range
- data Range
- data Direction
- data EnumerationTypeDefinition = EnumerationTypeDefinition [EnumerationLiteral]
- data EnumerationLiteral
- type IntegerTypeDefinition = RangeConstraint
- data PhysicalTypeDefinition = PhysicalTypeDefinition {}
- type PrimaryUnitDeclaration = Identifier
- data SecondaryUnitDeclaration = SecondaryUnitDeclaration Identifier PhysicalLiteral
- data PhysicalLiteral = PhysicalLiteral {}
- type FloatingTypeDefinition = RangeConstraint
- data CompositeTypeDefinition
- data ArrayTypeDefinition
- data UnconstrainedArrayDefinition = UnconstrainedArrayDefinition {}
- data ConstrainedArrayDefinition = ConstrainedArrayDefinition {}
- data IndexSubtypeDefinition = IndexSubtypeDefinition TypeMark
- data IndexConstraint = IndexConstraint [DiscreteRange]
- data DiscreteRange
- data RecordTypeDefinition = RecordTypeDefinition {}
- data ElementDeclaration = ElementDeclaration {}
- type IdentifierList = [Identifier]
- type ElementSubtypeDefinition = SubtypeIndication
- data AccessTypeDefinition = AccessTypeDefinition SubtypeIndication
- data IncompleteTypeDeclaration = IncompleteTypeDeclaration Identifier
- data FileTypeDefinition = FileTypeDefinition TypeMark
- data Declaration
- = DType TypeDeclaration
- | DSubtype SubtypeDeclaration
- | DObject ObjectDeclaration
- | DAlias AliasDeclaration
- | DComponent ComponentDeclaration
- | DAttribute AttributeDeclaration
- | DGroupTemplate GroupTemplateDeclaration
- | DGroup GroupDeclaration
- | DEntity EntityDeclaration
- | DConfiguration ConfigurationDeclaration
- | DSubprogram SubprogramDeclaration
- | DPackage PackageDeclaration
- data TypeDeclaration
- data FullTypeDeclaration = FullTypeDeclaration {}
- data TypeDefinition
- data SubtypeDeclaration = SubtypeDeclaration {}
- data SubtypeIndication = SubtypeIndication {}
- data TypeMark
- data Constraint
- data ObjectDeclaration
- data ConstantDeclaration = ConstantDeclaration {}
- data SignalDeclaration = SignalDeclaration {}
- data SignalKind
- data VariableDeclaration = VariableDeclaration {}
- data FileDeclaration = FileDeclaration {}
- data FileOpenInformation = FileOpenInformation {}
- type FileLogicalName = Expression
- data InterfaceDeclaration
- data Mode
- data InterfaceList = InterfaceList [InterfaceElement]
- type InterfaceElement = InterfaceDeclaration
- data AssociationElement = AssociationElement {}
- data AssociationList = AssociationList [AssociationElement]
- data FormalDesignator
- data FormalPart
- data ActualDesignator
- data ActualPart
- data AliasDeclaration = AliasDeclaration {}
- data AliasDesignator
- data AttributeDeclaration = AttributeDeclaration {}
- data ComponentDeclaration = ComponentDeclaration {}
- data GroupTemplateDeclaration = GroupTemplateDeclaration {}
- type EntityClassEntryList = [EntityClassEntry]
- data EntityClassEntry = EntityClassEntry {}
- data GroupDeclaration = GroupDeclaration {}
- type GroupConstituentList = [GroupConstituent]
- data GroupConstituent
- data AttributeSpecification = AttributeSpecification {}
- data EntitySpecification = EntitySpecification {}
- data EntityClass
- data EntityNameList
- data EntityDesignator = EntityDesignator {}
- data EntityTag
- data ConfigurationSpecification = ConfigurationSpecification {}
- data ComponentSpecification = ComponentSpecification {}
- data InstantiationList
- data BindingIndication = BindingIndication {}
- data EntityAspect
- data GenericMapAspect = GenericMapAspect AssociationList
- data PortMapAspect = PortMapAspect AssociationList
- data DisconnectionSpecification = DisconnectionSpecification {}
- data GuardedSignalSpecification = GuardedSignalSpecification {}
- data SignalList
- data Name
- data Prefix
- type SimpleName = Identifier
- data SelectedName = SelectedName {}
- data Suffix
- data IndexedName = IndexedName {}
- data SliceName = SliceName {}
- data AttributeName = AttributeName {}
- type AttributeDesignator = SimpleName
- data Expression
- data Relation = Relation {}
- data ShiftExpression = ShiftExpression {}
- data SimpleExpression = SimpleExpression {
- sexp_sign :: Maybe Sign
- sexp_term :: Term
- sexp_adding :: [(AddingOperator, Term)]
- data Term = Term {}
- data Factor
- data Primary
- data LogicalOperator
- data RelationalOperator
- data ShiftOperator
- data AddingOperator
- data Sign
- data MultiplyingOperator
- data MiscellaneousOperator
- data Literal
- data NumericLiteral
- data Aggregate = Aggregate {}
- data ElementAssociation = ElementAssociation {}
- data Choices = Choices [Choice]
- data Choice
- data FunctionCall = FunctionCall {}
- type ActualParameterPart = AssociationList
- data QualifiedExpression
- data TypeConversion = TypeConversion {}
- data Allocator
- type SequenceOfStatements = [SequentialStatement]
- data SequentialStatement
- = SWait WaitStatement
- | SAssert AssertionStatement
- | SReport ReportStatement
- | SSignalAss SignalAssignmentStatement
- | SVarAss VariableAssignmentStatement
- | SProc ProcedureCallStatement
- | SIf IfStatement
- | SCase CaseStatement
- | SLoop LoopStatement
- | SNext NextStatement
- | SExit ExitStatement
- | SReturn ReturnStatement
- | SNull NullStatement
- data WaitStatement = WaitStatement (Maybe Label) (Maybe SensitivityClause) (Maybe ConditionClause) (Maybe TimeoutClause)
- data SensitivityClause = SensitivityClause SensitivityList
- data SensitivityList = SensitivityList [Name]
- data ConditionClause = ConditionClause Condition
- type Condition = Expression
- data TimeoutClause = TimeoutClause Expression
- data AssertionStatement = AssertionStatement (Maybe Label) Assertion
- data Assertion = Assertion Condition (Maybe Expression) (Maybe Expression)
- data ReportStatement = ReportStatement (Maybe Label) Expression (Maybe Expression)
- data SignalAssignmentStatement = SignalAssignmentStatement (Maybe Label) Target (Maybe DelayMechanism) Waveform
- data DelayMechanism
- data Target
- data Waveform
- data WaveformElement
- data VariableAssignmentStatement = VariableAssignmentStatement (Maybe Label) Target Expression
- data ProcedureCallStatement = ProcedureCallStatement (Maybe Label) ProcedureCall
- data ProcedureCall = ProcedureCall Name (Maybe ActualParameterPart)
- data IfStatement = IfStatement {}
- data CaseStatement = CaseStatement {}
- data CaseStatementAlternative = CaseStatementAlternative Choices SequenceOfStatements
- data LoopStatement = LoopStatement {}
- data IterationScheme
- data ParameterSpecification = ParameterSpecification {}
- data NextStatement = NextStatement {}
- data ExitStatement = ExitStatement {}
- data ReturnStatement = ReturnStatement {}
- data NullStatement = NullStatement {
- null_label :: Maybe Label
- data ConcurrentStatement
- data BlockStatement = BlockStatement {}
- data BlockHeader = BlockHeader {}
- type BlockDeclarativePart = [BlockDeclarativeItem]
- type BlockStatementPart = [ConcurrentStatement]
- data ProcessStatement = ProcessStatement {}
- type ProcessDeclarativePart = [ProcessDeclarativeItem]
- data ProcessDeclarativeItem
- = PDISubprogDecl SubprogramDeclaration
- | PDISubprogBody SubprogramBody
- | PDIType TypeDeclaration
- | PDISubtype SubtypeDeclaration
- | PDIConstant ConstantDeclaration
- | PDIVariable VariableDeclaration
- | PDIFile FileDeclaration
- | PDIAlias AliasDeclaration
- | PDIAttrDecl AttributeDeclaration
- | PDIAttrSpec AttributeSpecification
- | PDIUseClause UseClause
- type ProcessStatementPart = [SequentialStatement]
- data ConcurrentProcedureCallStatement = ConcurrentProcedureCallStatement {}
- data ConcurrentAssertionStatement = ConcurrentAssertionStatement {}
- data ConcurrentSignalAssignmentStatement
- data Options = Options {}
- data ConditionalSignalAssignment = ConditionalSignalAssignment {}
- data ConditionalWaveforms = ConditionalWaveforms {}
- data SelectedSignalAssignment = SelectedSignalAssignment {}
- data SelectedWaveforms = SelectedWaveforms {}
- data ComponentInstantiationStatement = ComponentInstantiationStatement {}
- data InstantiatedUnit
- data GenerateStatement = GenerateStatement {}
- data GenerationScheme
- type Label = Identifier
- data UseClause = UseClause [SelectedName]
- data DesignFile = DesignFile [DesignUnit]
- data DesignUnit = DesignUnit ContextClause LibraryUnit
- data LibraryUnit
- data PrimaryUnit
- data SecondaryUnit
- data LibraryClause = LibraryClause LogicalNameList
- data LogicalNameList = LogicalNameList [LogicalName]
- type LogicalName = Identifier
- data ContextClause = ContextClause [ContextItem]
- data ContextItem
- data AbstractLiteral
- data DecimalLiteral = DecimalLiteral {}
- data Exponent
- data BasedLiteral = BasedLiteral {}
- type Base = Integer
- type BasedInteger = Integer
- type ExtendedDigit = Char
- data BitStringLiteral = BitStringLiteral {}
- data BitValue = BitValue [ExtendedDigit]
- data BaseSpecifier
- 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 #
Instances
Eq EntityDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: EntityDeclaration -> EntityDeclaration -> Bool # (/=) :: EntityDeclaration -> EntityDeclaration -> Bool # | |
Show EntityDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> EntityDeclaration -> ShowS # show :: EntityDeclaration -> String # showList :: [EntityDeclaration] -> ShowS # | |
Pretty EntityDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: EntityDeclaration -> Doc Source # |
1.1.1 Entity haeder
data EntityHeader Source #
Instances
Eq EntityHeader Source # | |
Defined in Language.VHDL.Syntax (==) :: EntityHeader -> EntityHeader -> Bool # (/=) :: EntityHeader -> EntityHeader -> Bool # | |
Show EntityHeader Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> EntityHeader -> ShowS # show :: EntityHeader -> String # showList :: [EntityHeader] -> ShowS # | |
Pretty EntityHeader Source # | |
Defined in Language.VHDL.Pretty pp :: EntityHeader -> Doc Source # |
data GenericClause Source #
Instances
Eq GenericClause Source # | |
Defined in Language.VHDL.Syntax (==) :: GenericClause -> GenericClause -> Bool # (/=) :: GenericClause -> GenericClause -> Bool # | |
Show GenericClause Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> GenericClause -> ShowS # show :: GenericClause -> String # showList :: [GenericClause] -> ShowS # | |
Pretty GenericClause Source # | |
Defined in Language.VHDL.Pretty pp :: GenericClause -> Doc Source # |
data PortClause Source #
Instances
Eq PortClause Source # | |
Defined in Language.VHDL.Syntax (==) :: PortClause -> PortClause -> Bool # (/=) :: PortClause -> PortClause -> Bool # | |
Show PortClause Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> PortClause -> ShowS # show :: PortClause -> String # showList :: [PortClause] -> ShowS # | |
Pretty PortClause Source # | |
Defined in Language.VHDL.Pretty 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
data EntityDeclarativeItem Source #
Instances
Eq EntityDeclarativeItem Source # | |
Defined in Language.VHDL.Syntax (==) :: EntityDeclarativeItem -> EntityDeclarativeItem -> Bool # (/=) :: EntityDeclarativeItem -> EntityDeclarativeItem -> Bool # | |
Show EntityDeclarativeItem Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> EntityDeclarativeItem -> ShowS # show :: EntityDeclarativeItem -> String # showList :: [EntityDeclarativeItem] -> ShowS # | |
Pretty EntityDeclarativeItem Source # | |
Defined in Language.VHDL.Pretty pp :: EntityDeclarativeItem -> Doc Source # |
1.1.3 Entity statement part
type EntityStatementPart = [EntityStatement] Source #
data EntityStatement Source #
ESConcAssert ConcurrentAssertionStatement | |
ESPassiveConc ConcurrentProcedureCallStatement | |
ESPassiveProc ProcessStatement |
Instances
Eq EntityStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: EntityStatement -> EntityStatement -> Bool # (/=) :: EntityStatement -> EntityStatement -> Bool # | |
Show EntityStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> EntityStatement -> ShowS # show :: EntityStatement -> String # showList :: [EntityStatement] -> ShowS # | |
Pretty EntityStatement Source # | |
Defined in Language.VHDL.Pretty pp :: EntityStatement -> Doc Source # |
1.2 Arcitecture bodies
data ArchitectureBody Source #
Instances
Eq ArchitectureBody Source # | |
Defined in Language.VHDL.Syntax (==) :: ArchitectureBody -> ArchitectureBody -> Bool # (/=) :: ArchitectureBody -> ArchitectureBody -> Bool # | |
Show ArchitectureBody Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ArchitectureBody -> ShowS # show :: ArchitectureBody -> String # showList :: [ArchitectureBody] -> ShowS # | |
Pretty ArchitectureBody Source # | |
Defined in Language.VHDL.Pretty pp :: ArchitectureBody -> Doc Source # |
1.2.1 Architecture declarative part
data BlockDeclarativeItem Source #
Instances
Eq BlockDeclarativeItem Source # | |
Defined in Language.VHDL.Syntax (==) :: BlockDeclarativeItem -> BlockDeclarativeItem -> Bool # (/=) :: BlockDeclarativeItem -> BlockDeclarativeItem -> Bool # | |
Show BlockDeclarativeItem Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> BlockDeclarativeItem -> ShowS # show :: BlockDeclarativeItem -> String # showList :: [BlockDeclarativeItem] -> ShowS # | |
Pretty BlockDeclarativeItem Source # | |
Defined in Language.VHDL.Pretty pp :: BlockDeclarativeItem -> Doc Source # |
1.2.2 Architecture statement part
1.3 Configuration declarations
data ConfigurationDeclaration Source #
Instances
Eq ConfigurationDeclaration Source # | |
Defined in Language.VHDL.Syntax | |
Show ConfigurationDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ConfigurationDeclaration -> ShowS # show :: ConfigurationDeclaration -> String # showList :: [ConfigurationDeclaration] -> ShowS # | |
Pretty ConfigurationDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: ConfigurationDeclaration -> Doc Source # |
data ConfigurationDeclarativeItem Source #
Instances
Eq ConfigurationDeclarativeItem Source # | |
Defined in Language.VHDL.Syntax | |
Show ConfigurationDeclarativeItem Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ConfigurationDeclarativeItem -> ShowS # show :: ConfigurationDeclarativeItem -> String # showList :: [ConfigurationDeclarativeItem] -> ShowS # | |
Pretty ConfigurationDeclarativeItem Source # | |
Defined in Language.VHDL.Pretty pp :: ConfigurationDeclarativeItem -> Doc Source # |
1.3.1 Block configuration
data BlockConfiguration Source #
Instances
Eq BlockConfiguration Source # | |
Defined in Language.VHDL.Syntax (==) :: BlockConfiguration -> BlockConfiguration -> Bool # (/=) :: BlockConfiguration -> BlockConfiguration -> Bool # | |
Show BlockConfiguration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> BlockConfiguration -> ShowS # show :: BlockConfiguration -> String # showList :: [BlockConfiguration] -> ShowS # | |
Pretty BlockConfiguration Source # | |
Defined in Language.VHDL.Pretty pp :: BlockConfiguration -> Doc Source # |
data BlockSpecification Source #
Instances
Eq BlockSpecification Source # | |
Defined in Language.VHDL.Syntax (==) :: BlockSpecification -> BlockSpecification -> Bool # (/=) :: BlockSpecification -> BlockSpecification -> Bool # | |
Show BlockSpecification Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> BlockSpecification -> ShowS # show :: BlockSpecification -> String # showList :: [BlockSpecification] -> ShowS # | |
Pretty BlockSpecification Source # | |
Defined in Language.VHDL.Pretty pp :: BlockSpecification -> Doc Source # |
data IndexSpecification Source #
Instances
Eq IndexSpecification Source # | |
Defined in Language.VHDL.Syntax (==) :: IndexSpecification -> IndexSpecification -> Bool # (/=) :: IndexSpecification -> IndexSpecification -> Bool # | |
Show IndexSpecification Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> IndexSpecification -> ShowS # show :: IndexSpecification -> String # showList :: [IndexSpecification] -> ShowS # | |
Pretty IndexSpecification Source # | |
Defined in Language.VHDL.Pretty pp :: IndexSpecification -> Doc Source # |
data ConfigurationItem Source #
Instances
Eq ConfigurationItem Source # | |
Defined in Language.VHDL.Syntax (==) :: ConfigurationItem -> ConfigurationItem -> Bool # (/=) :: ConfigurationItem -> ConfigurationItem -> Bool # | |
Show ConfigurationItem Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ConfigurationItem -> ShowS # show :: ConfigurationItem -> String # showList :: [ConfigurationItem] -> ShowS # | |
Pretty ConfigurationItem Source # | |
Defined in Language.VHDL.Pretty pp :: ConfigurationItem -> Doc Source # |
1.3.2 Component configuration
data ComponentConfiguration Source #
Instances
Eq ComponentConfiguration Source # | |
Defined in Language.VHDL.Syntax | |
Show ComponentConfiguration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ComponentConfiguration -> ShowS # show :: ComponentConfiguration -> String # showList :: [ComponentConfiguration] -> ShowS # | |
Pretty ComponentConfiguration Source # | |
Defined in Language.VHDL.Pretty pp :: ComponentConfiguration -> Doc Source # |
2.1 Subprogram declarations
newtype SubprogramDeclaration Source #
Instances
Eq SubprogramDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: SubprogramDeclaration -> SubprogramDeclaration -> Bool # (/=) :: SubprogramDeclaration -> SubprogramDeclaration -> Bool # | |
Show SubprogramDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SubprogramDeclaration -> ShowS # show :: SubprogramDeclaration -> String # showList :: [SubprogramDeclaration] -> ShowS # | |
Pretty SubprogramDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: SubprogramDeclaration -> Doc Source # |
data SubprogramSpecification Source #
Instances
Eq SubprogramSpecification Source # | |
Defined in Language.VHDL.Syntax | |
Show SubprogramSpecification Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SubprogramSpecification -> ShowS # show :: SubprogramSpecification -> String # showList :: [SubprogramSpecification] -> ShowS # | |
Pretty SubprogramSpecification Source # | |
Defined in Language.VHDL.Pretty pp :: SubprogramSpecification -> Doc Source # |
data Designator Source #
Instances
Eq Designator Source # | |
Defined in Language.VHDL.Syntax (==) :: Designator -> Designator -> Bool # (/=) :: Designator -> Designator -> Bool # | |
Show Designator Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> Designator -> ShowS # show :: Designator -> String # showList :: [Designator] -> ShowS # | |
Pretty Designator Source # | |
Defined in Language.VHDL.Pretty 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 #
Instances
Eq SubprogramBody Source # | |
Defined in Language.VHDL.Syntax (==) :: SubprogramBody -> SubprogramBody -> Bool # (/=) :: SubprogramBody -> SubprogramBody -> Bool # | |
Show SubprogramBody Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SubprogramBody -> ShowS # show :: SubprogramBody -> String # showList :: [SubprogramBody] -> ShowS # | |
Pretty SubprogramBody Source # | |
Defined in Language.VHDL.Pretty pp :: SubprogramBody -> Doc Source # |
data SubprogramDeclarativeItem Source #
Instances
Eq SubprogramDeclarativeItem Source # | |
Defined in Language.VHDL.Syntax | |
Show SubprogramDeclarativeItem Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SubprogramDeclarativeItem -> ShowS # show :: SubprogramDeclarativeItem -> String # showList :: [SubprogramDeclarativeItem] -> ShowS # | |
Pretty SubprogramDeclarativeItem Source # | |
Defined in Language.VHDL.Pretty pp :: SubprogramDeclarativeItem -> Doc Source # |
data SubprogramKind Source #
Instances
Eq SubprogramKind Source # | |
Defined in Language.VHDL.Syntax (==) :: SubprogramKind -> SubprogramKind -> Bool # (/=) :: SubprogramKind -> SubprogramKind -> Bool # | |
Show SubprogramKind Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SubprogramKind -> ShowS # show :: SubprogramKind -> String # showList :: [SubprogramKind] -> ShowS # | |
Pretty SubprogramKind Source # | |
Defined in Language.VHDL.Pretty pp :: SubprogramKind -> Doc Source # |
2.3 Subprogram overloading
2.3.1 Operator overloading
2.3.2 Signatures
2.4 Resolution functions
2.5 Package declarations
data PackageDeclaration Source #
Instances
Eq PackageDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: PackageDeclaration -> PackageDeclaration -> Bool # (/=) :: PackageDeclaration -> PackageDeclaration -> Bool # | |
Show PackageDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> PackageDeclaration -> ShowS # show :: PackageDeclaration -> String # showList :: [PackageDeclaration] -> ShowS # | |
Pretty PackageDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: PackageDeclaration -> Doc Source # |
data PackageDeclarativeItem Source #
Instances
Eq PackageDeclarativeItem Source # | |
Defined in Language.VHDL.Syntax | |
Show PackageDeclarativeItem Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> PackageDeclarativeItem -> ShowS # show :: PackageDeclarativeItem -> String # showList :: [PackageDeclarativeItem] -> ShowS # | |
Pretty PackageDeclarativeItem Source # | |
Defined in Language.VHDL.Pretty pp :: PackageDeclarativeItem -> Doc Source # |
2.6 Package bodies
data PackageBody Source #
Instances
Eq PackageBody Source # | |
Defined in Language.VHDL.Syntax (==) :: PackageBody -> PackageBody -> Bool # (/=) :: PackageBody -> PackageBody -> Bool # | |
Show PackageBody Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> PackageBody -> ShowS # show :: PackageBody -> String # showList :: [PackageBody] -> ShowS # | |
Pretty PackageBody Source # | |
Defined in Language.VHDL.Pretty pp :: PackageBody -> Doc Source # |
data PackageBodyDeclarativeItem Source #
Instances
Eq PackageBodyDeclarativeItem Source # | |
Defined in Language.VHDL.Syntax | |
Show PackageBodyDeclarativeItem Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> PackageBodyDeclarativeItem -> ShowS # show :: PackageBodyDeclarativeItem -> String # showList :: [PackageBodyDeclarativeItem] -> ShowS # | |
Pretty PackageBodyDeclarativeItem Source # | |
Defined in Language.VHDL.Pretty pp :: PackageBodyDeclarativeItem -> Doc Source # |
2.7 Conformance rules
3.1 Scalar types
data ScalarTypeDefinition Source #
ScalarEnum EnumerationTypeDefinition | |
ScalarInt IntegerTypeDefinition | |
ScalarFloat FloatingTypeDefinition | |
ScalarPhys PhysicalTypeDefinition |
Instances
Eq ScalarTypeDefinition Source # | |
Defined in Language.VHDL.Syntax (==) :: ScalarTypeDefinition -> ScalarTypeDefinition -> Bool # (/=) :: ScalarTypeDefinition -> ScalarTypeDefinition -> Bool # | |
Show ScalarTypeDefinition Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ScalarTypeDefinition -> ShowS # show :: ScalarTypeDefinition -> String # showList :: [ScalarTypeDefinition] -> ShowS # | |
Pretty ScalarTypeDefinition Source # | |
Defined in Language.VHDL.Pretty pp :: ScalarTypeDefinition -> Doc Source # |
data RangeConstraint Source #
Instances
Eq RangeConstraint Source # | |
Defined in Language.VHDL.Syntax (==) :: RangeConstraint -> RangeConstraint -> Bool # (/=) :: RangeConstraint -> RangeConstraint -> Bool # | |
Show RangeConstraint Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> RangeConstraint -> ShowS # show :: RangeConstraint -> String # showList :: [RangeConstraint] -> ShowS # | |
Pretty RangeConstraint Source # | |
Defined in Language.VHDL.Pretty pp :: RangeConstraint -> Doc Source # |
3.1.1 Enumeration types
data EnumerationTypeDefinition Source #
Instances
Eq EnumerationTypeDefinition Source # | |
Defined in Language.VHDL.Syntax | |
Show EnumerationTypeDefinition Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> EnumerationTypeDefinition -> ShowS # show :: EnumerationTypeDefinition -> String # showList :: [EnumerationTypeDefinition] -> ShowS # | |
Pretty EnumerationTypeDefinition Source # | |
Defined in Language.VHDL.Pretty pp :: EnumerationTypeDefinition -> Doc Source # |
data EnumerationLiteral Source #
Instances
Eq EnumerationLiteral Source # | |
Defined in Language.VHDL.Syntax (==) :: EnumerationLiteral -> EnumerationLiteral -> Bool # (/=) :: EnumerationLiteral -> EnumerationLiteral -> Bool # | |
Show EnumerationLiteral Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> EnumerationLiteral -> ShowS # show :: EnumerationLiteral -> String # showList :: [EnumerationLiteral] -> ShowS # | |
Pretty EnumerationLiteral Source # | |
Defined in Language.VHDL.Pretty pp :: EnumerationLiteral -> Doc Source # |
3.1.1.1 Predefined enumeration types
3.1.2 Integer types
3.1.2.1 Predefined integer types
3.1.3 Physical types
data PhysicalTypeDefinition Source #
Instances
Eq PhysicalTypeDefinition Source # | |
Defined in Language.VHDL.Syntax | |
Show PhysicalTypeDefinition Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> PhysicalTypeDefinition -> ShowS # show :: PhysicalTypeDefinition -> String # showList :: [PhysicalTypeDefinition] -> ShowS # | |
Pretty PhysicalTypeDefinition Source # | |
Defined in Language.VHDL.Pretty pp :: PhysicalTypeDefinition -> Doc Source # |
type PrimaryUnitDeclaration = Identifier Source #
data SecondaryUnitDeclaration Source #
Instances
Eq SecondaryUnitDeclaration Source # | |
Defined in Language.VHDL.Syntax | |
Show SecondaryUnitDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SecondaryUnitDeclaration -> ShowS # show :: SecondaryUnitDeclaration -> String # showList :: [SecondaryUnitDeclaration] -> ShowS # | |
Pretty SecondaryUnitDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: SecondaryUnitDeclaration -> Doc Source # |
data PhysicalLiteral Source #
Instances
Eq PhysicalLiteral Source # | |
Defined in Language.VHDL.Syntax (==) :: PhysicalLiteral -> PhysicalLiteral -> Bool # (/=) :: PhysicalLiteral -> PhysicalLiteral -> Bool # | |
Show PhysicalLiteral Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> PhysicalLiteral -> ShowS # show :: PhysicalLiteral -> String # showList :: [PhysicalLiteral] -> ShowS # | |
Pretty PhysicalLiteral Source # | |
Defined in Language.VHDL.Pretty pp :: PhysicalLiteral -> Doc Source # |
3.1.3.1 Predefined physical types
3.1.4 Floating point types
3.1.4.1 Predefined floating point types
3.2 Composite types
data CompositeTypeDefinition Source #
Instances
Eq CompositeTypeDefinition Source # | |
Defined in Language.VHDL.Syntax | |
Show CompositeTypeDefinition Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> CompositeTypeDefinition -> ShowS # show :: CompositeTypeDefinition -> String # showList :: [CompositeTypeDefinition] -> ShowS # | |
Pretty CompositeTypeDefinition Source # | |
Defined in Language.VHDL.Pretty pp :: CompositeTypeDefinition -> Doc Source # |
3.2.1 Array types
data ArrayTypeDefinition Source #
Instances
Eq ArrayTypeDefinition Source # | |
Defined in Language.VHDL.Syntax (==) :: ArrayTypeDefinition -> ArrayTypeDefinition -> Bool # (/=) :: ArrayTypeDefinition -> ArrayTypeDefinition -> Bool # | |
Show ArrayTypeDefinition Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ArrayTypeDefinition -> ShowS # show :: ArrayTypeDefinition -> String # showList :: [ArrayTypeDefinition] -> ShowS # | |
Pretty ArrayTypeDefinition Source # | |
Defined in Language.VHDL.Pretty pp :: ArrayTypeDefinition -> Doc Source # |
data UnconstrainedArrayDefinition Source #
Instances
Eq UnconstrainedArrayDefinition Source # | |
Defined in Language.VHDL.Syntax | |
Show UnconstrainedArrayDefinition Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> UnconstrainedArrayDefinition -> ShowS # show :: UnconstrainedArrayDefinition -> String # showList :: [UnconstrainedArrayDefinition] -> ShowS # | |
Pretty UnconstrainedArrayDefinition Source # | |
Defined in Language.VHDL.Pretty pp :: UnconstrainedArrayDefinition -> Doc Source # |
data ConstrainedArrayDefinition Source #
Instances
Eq ConstrainedArrayDefinition Source # | |
Defined in Language.VHDL.Syntax | |
Show ConstrainedArrayDefinition Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ConstrainedArrayDefinition -> ShowS # show :: ConstrainedArrayDefinition -> String # showList :: [ConstrainedArrayDefinition] -> ShowS # | |
Pretty ConstrainedArrayDefinition Source # | |
Defined in Language.VHDL.Pretty pp :: ConstrainedArrayDefinition -> Doc Source # |
data IndexSubtypeDefinition Source #
Instances
Eq IndexSubtypeDefinition Source # | |
Defined in Language.VHDL.Syntax | |
Show IndexSubtypeDefinition Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> IndexSubtypeDefinition -> ShowS # show :: IndexSubtypeDefinition -> String # showList :: [IndexSubtypeDefinition] -> ShowS # | |
Pretty IndexSubtypeDefinition Source # | |
Defined in Language.VHDL.Pretty pp :: IndexSubtypeDefinition -> Doc Source # |
data IndexConstraint Source #
Instances
Eq IndexConstraint Source # | |
Defined in Language.VHDL.Syntax (==) :: IndexConstraint -> IndexConstraint -> Bool # (/=) :: IndexConstraint -> IndexConstraint -> Bool # | |
Show IndexConstraint Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> IndexConstraint -> ShowS # show :: IndexConstraint -> String # showList :: [IndexConstraint] -> ShowS # | |
Pretty IndexConstraint Source # | |
Defined in Language.VHDL.Pretty pp :: IndexConstraint -> Doc Source # |
data DiscreteRange Source #
Instances
Eq DiscreteRange Source # | |
Defined in Language.VHDL.Syntax (==) :: DiscreteRange -> DiscreteRange -> Bool # (/=) :: DiscreteRange -> DiscreteRange -> Bool # | |
Show DiscreteRange Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> DiscreteRange -> ShowS # show :: DiscreteRange -> String # showList :: [DiscreteRange] -> ShowS # | |
Pretty DiscreteRange Source # | |
Defined in Language.VHDL.Pretty 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 #
Instances
Eq RecordTypeDefinition Source # | |
Defined in Language.VHDL.Syntax (==) :: RecordTypeDefinition -> RecordTypeDefinition -> Bool # (/=) :: RecordTypeDefinition -> RecordTypeDefinition -> Bool # | |
Show RecordTypeDefinition Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> RecordTypeDefinition -> ShowS # show :: RecordTypeDefinition -> String # showList :: [RecordTypeDefinition] -> ShowS # | |
Pretty RecordTypeDefinition Source # | |
Defined in Language.VHDL.Pretty pp :: RecordTypeDefinition -> Doc Source # |
data ElementDeclaration Source #
Instances
Eq ElementDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: ElementDeclaration -> ElementDeclaration -> Bool # (/=) :: ElementDeclaration -> ElementDeclaration -> Bool # | |
Show ElementDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ElementDeclaration -> ShowS # show :: ElementDeclaration -> String # showList :: [ElementDeclaration] -> ShowS # | |
Pretty ElementDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: ElementDeclaration -> Doc Source # |
type IdentifierList = [Identifier] Source #
3.3 Access types
data AccessTypeDefinition Source #
Instances
Eq AccessTypeDefinition Source # | |
Defined in Language.VHDL.Syntax (==) :: AccessTypeDefinition -> AccessTypeDefinition -> Bool # (/=) :: AccessTypeDefinition -> AccessTypeDefinition -> Bool # | |
Show AccessTypeDefinition Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> AccessTypeDefinition -> ShowS # show :: AccessTypeDefinition -> String # showList :: [AccessTypeDefinition] -> ShowS # | |
Pretty AccessTypeDefinition Source # | |
Defined in Language.VHDL.Pretty pp :: AccessTypeDefinition -> Doc Source # |
3.3.1 Incomplete type declarations
data IncompleteTypeDeclaration Source #
Instances
Eq IncompleteTypeDeclaration Source # | |
Defined in Language.VHDL.Syntax | |
Show IncompleteTypeDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> IncompleteTypeDeclaration -> ShowS # show :: IncompleteTypeDeclaration -> String # showList :: [IncompleteTypeDeclaration] -> ShowS # | |
Pretty IncompleteTypeDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: IncompleteTypeDeclaration -> Doc Source # |
3.3.2 Allocation and deallocation of objects
3.4 File types
data FileTypeDefinition Source #
Instances
Eq FileTypeDefinition Source # | |
Defined in Language.VHDL.Syntax (==) :: FileTypeDefinition -> FileTypeDefinition -> Bool # (/=) :: FileTypeDefinition -> FileTypeDefinition -> Bool # | |
Show FileTypeDefinition Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> FileTypeDefinition -> ShowS # show :: FileTypeDefinition -> String # showList :: [FileTypeDefinition] -> ShowS # | |
Pretty FileTypeDefinition Source # | |
Defined in Language.VHDL.Pretty pp :: FileTypeDefinition -> Doc Source # |
3.4.1 File operations
3.5 Protected types
data Declaration Source #
Instances
Eq Declaration Source # | |
Defined in Language.VHDL.Syntax (==) :: Declaration -> Declaration -> Bool # (/=) :: Declaration -> Declaration -> Bool # | |
Show Declaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> Declaration -> ShowS # show :: Declaration -> String # showList :: [Declaration] -> ShowS # | |
Pretty Declaration Source # | |
Defined in Language.VHDL.Pretty pp :: Declaration -> Doc Source # |
4.1 Type declarations
data TypeDeclaration Source #
Instances
Eq TypeDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: TypeDeclaration -> TypeDeclaration -> Bool # (/=) :: TypeDeclaration -> TypeDeclaration -> Bool # | |
Show TypeDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> TypeDeclaration -> ShowS # show :: TypeDeclaration -> String # showList :: [TypeDeclaration] -> ShowS # | |
Pretty TypeDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: TypeDeclaration -> Doc Source # |
data FullTypeDeclaration Source #
Instances
Eq FullTypeDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: FullTypeDeclaration -> FullTypeDeclaration -> Bool # (/=) :: FullTypeDeclaration -> FullTypeDeclaration -> Bool # | |
Show FullTypeDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> FullTypeDeclaration -> ShowS # show :: FullTypeDeclaration -> String # showList :: [FullTypeDeclaration] -> ShowS # | |
Pretty FullTypeDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: FullTypeDeclaration -> Doc Source # |
data TypeDefinition Source #
TDScalar ScalarTypeDefinition | |
TDComposite CompositeTypeDefinition | |
TDAccess AccessTypeDefinition | |
TDFile FileTypeDefinition |
Instances
Eq TypeDefinition Source # | |
Defined in Language.VHDL.Syntax (==) :: TypeDefinition -> TypeDefinition -> Bool # (/=) :: TypeDefinition -> TypeDefinition -> Bool # | |
Show TypeDefinition Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> TypeDefinition -> ShowS # show :: TypeDefinition -> String # showList :: [TypeDefinition] -> ShowS # | |
Pretty TypeDefinition Source # | |
Defined in Language.VHDL.Pretty pp :: TypeDefinition -> Doc Source # |
4.2 Subtype declarations
data SubtypeDeclaration Source #
Instances
Eq SubtypeDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: SubtypeDeclaration -> SubtypeDeclaration -> Bool # (/=) :: SubtypeDeclaration -> SubtypeDeclaration -> Bool # | |
Show SubtypeDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SubtypeDeclaration -> ShowS # show :: SubtypeDeclaration -> String # showList :: [SubtypeDeclaration] -> ShowS # | |
Pretty SubtypeDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: SubtypeDeclaration -> Doc Source # |
data SubtypeIndication Source #
Instances
Eq SubtypeIndication Source # | |
Defined in Language.VHDL.Syntax (==) :: SubtypeIndication -> SubtypeIndication -> Bool # (/=) :: SubtypeIndication -> SubtypeIndication -> Bool # | |
Show SubtypeIndication Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SubtypeIndication -> ShowS # show :: SubtypeIndication -> String # showList :: [SubtypeIndication] -> ShowS # | |
Pretty SubtypeIndication Source # | |
Defined in Language.VHDL.Pretty pp :: SubtypeIndication -> Doc Source # |
data Constraint Source #
Instances
Eq Constraint Source # | |
Defined in Language.VHDL.Syntax (==) :: Constraint -> Constraint -> Bool # (/=) :: Constraint -> Constraint -> Bool # | |
Show Constraint Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String # showList :: [Constraint] -> ShowS # | |
Pretty Constraint Source # | |
Defined in Language.VHDL.Pretty pp :: Constraint -> Doc Source # |
4.3 Objects
4.3.1 Object declarations
data ObjectDeclaration Source #
ObjConst ConstantDeclaration | |
ObjSig SignalDeclaration | |
ObjVar VariableDeclaration | |
ObjFile FileDeclaration |
Instances
Eq ObjectDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: ObjectDeclaration -> ObjectDeclaration -> Bool # (/=) :: ObjectDeclaration -> ObjectDeclaration -> Bool # | |
Show ObjectDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ObjectDeclaration -> ShowS # show :: ObjectDeclaration -> String # showList :: [ObjectDeclaration] -> ShowS # | |
Pretty ObjectDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: ObjectDeclaration -> Doc Source # |
4.3.1.1 Constant declarations
data ConstantDeclaration Source #
Instances
Eq ConstantDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: ConstantDeclaration -> ConstantDeclaration -> Bool # (/=) :: ConstantDeclaration -> ConstantDeclaration -> Bool # | |
Show ConstantDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ConstantDeclaration -> ShowS # show :: ConstantDeclaration -> String # showList :: [ConstantDeclaration] -> ShowS # | |
Pretty ConstantDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: ConstantDeclaration -> Doc Source # |
4.3.1.2 Signal declarations
data SignalDeclaration Source #
Instances
Eq SignalDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: SignalDeclaration -> SignalDeclaration -> Bool # (/=) :: SignalDeclaration -> SignalDeclaration -> Bool # | |
Show SignalDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SignalDeclaration -> ShowS # show :: SignalDeclaration -> String # showList :: [SignalDeclaration] -> ShowS # | |
Pretty SignalDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: SignalDeclaration -> Doc Source # |
data SignalKind Source #
Instances
Eq SignalKind Source # | |
Defined in Language.VHDL.Syntax (==) :: SignalKind -> SignalKind -> Bool # (/=) :: SignalKind -> SignalKind -> Bool # | |
Show SignalKind Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SignalKind -> ShowS # show :: SignalKind -> String # showList :: [SignalKind] -> ShowS # | |
Pretty SignalKind Source # | |
Defined in Language.VHDL.Pretty pp :: SignalKind -> Doc Source # |
4.3.1.3 Variable declarations
data VariableDeclaration Source #
Instances
Eq VariableDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: VariableDeclaration -> VariableDeclaration -> Bool # (/=) :: VariableDeclaration -> VariableDeclaration -> Bool # | |
Show VariableDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> VariableDeclaration -> ShowS # show :: VariableDeclaration -> String # showList :: [VariableDeclaration] -> ShowS # | |
Pretty VariableDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: VariableDeclaration -> Doc Source # |
4.3.1.4 File declarations
data FileDeclaration Source #
Instances
Eq FileDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: FileDeclaration -> FileDeclaration -> Bool # (/=) :: FileDeclaration -> FileDeclaration -> Bool # | |
Show FileDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> FileDeclaration -> ShowS # show :: FileDeclaration -> String # showList :: [FileDeclaration] -> ShowS # | |
Pretty FileDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: FileDeclaration -> Doc Source # |
data FileOpenInformation Source #
Instances
Eq FileOpenInformation Source # | |
Defined in Language.VHDL.Syntax (==) :: FileOpenInformation -> FileOpenInformation -> Bool # (/=) :: FileOpenInformation -> FileOpenInformation -> Bool # | |
Show FileOpenInformation Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> FileOpenInformation -> ShowS # show :: FileOpenInformation -> String # showList :: [FileOpenInformation] -> ShowS # | |
Pretty FileOpenInformation Source # | |
Defined in Language.VHDL.Pretty pp :: FileOpenInformation -> Doc Source # |
type FileLogicalName = Expression Source #
4.3.2 Interface declarations
data InterfaceDeclaration Source #
InterfaceConstantDeclaration | |
InterfaceSignalDeclaration | |
InterfaceVariableDeclaration | |
InterfaceFileDeclaration | |
Instances
Eq InterfaceDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: InterfaceDeclaration -> InterfaceDeclaration -> Bool # (/=) :: InterfaceDeclaration -> InterfaceDeclaration -> Bool # | |
Show InterfaceDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> InterfaceDeclaration -> ShowS # show :: InterfaceDeclaration -> String # showList :: [InterfaceDeclaration] -> ShowS # | |
Pretty InterfaceDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: InterfaceDeclaration -> Doc Source # |
4.3.2.1 Interface lists
data InterfaceList Source #
Instances
Eq InterfaceList Source # | |
Defined in Language.VHDL.Syntax (==) :: InterfaceList -> InterfaceList -> Bool # (/=) :: InterfaceList -> InterfaceList -> Bool # | |
Show InterfaceList Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> InterfaceList -> ShowS # show :: InterfaceList -> String # showList :: [InterfaceList] -> ShowS # | |
Pretty InterfaceList Source # | |
Defined in Language.VHDL.Pretty pp :: InterfaceList -> Doc Source # |
4.3.2.2 Association lists
data AssociationElement Source #
Instances
Eq AssociationElement Source # | |
Defined in Language.VHDL.Syntax (==) :: AssociationElement -> AssociationElement -> Bool # (/=) :: AssociationElement -> AssociationElement -> Bool # | |
Show AssociationElement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> AssociationElement -> ShowS # show :: AssociationElement -> String # showList :: [AssociationElement] -> ShowS # | |
Pretty AssociationElement Source # | |
Defined in Language.VHDL.Pretty pp :: AssociationElement -> Doc Source # |
data AssociationList Source #
Instances
Eq AssociationList Source # | |
Defined in Language.VHDL.Syntax (==) :: AssociationList -> AssociationList -> Bool # (/=) :: AssociationList -> AssociationList -> Bool # | |
Show AssociationList Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> AssociationList -> ShowS # show :: AssociationList -> String # showList :: [AssociationList] -> ShowS # | |
Pretty AssociationList Source # | |
Defined in Language.VHDL.Pretty pp :: AssociationList -> Doc Source # |
data FormalDesignator Source #
Instances
Eq FormalDesignator Source # | |
Defined in Language.VHDL.Syntax (==) :: FormalDesignator -> FormalDesignator -> Bool # (/=) :: FormalDesignator -> FormalDesignator -> Bool # | |
Show FormalDesignator Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> FormalDesignator -> ShowS # show :: FormalDesignator -> String # showList :: [FormalDesignator] -> ShowS # | |
Pretty FormalDesignator Source # | |
Defined in Language.VHDL.Pretty pp :: FormalDesignator -> Doc Source # |
data FormalPart Source #
Instances
Eq FormalPart Source # | |
Defined in Language.VHDL.Syntax (==) :: FormalPart -> FormalPart -> Bool # (/=) :: FormalPart -> FormalPart -> Bool # | |
Show FormalPart Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> FormalPart -> ShowS # show :: FormalPart -> String # showList :: [FormalPart] -> ShowS # | |
Pretty FormalPart Source # | |
Defined in Language.VHDL.Pretty pp :: FormalPart -> Doc Source # |
data ActualDesignator Source #
Instances
Eq ActualDesignator Source # | |
Defined in Language.VHDL.Syntax (==) :: ActualDesignator -> ActualDesignator -> Bool # (/=) :: ActualDesignator -> ActualDesignator -> Bool # | |
Show ActualDesignator Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ActualDesignator -> ShowS # show :: ActualDesignator -> String # showList :: [ActualDesignator] -> ShowS # | |
Pretty ActualDesignator Source # | |
Defined in Language.VHDL.Pretty pp :: ActualDesignator -> Doc Source # |
data ActualPart Source #
Instances
Eq ActualPart Source # | |
Defined in Language.VHDL.Syntax (==) :: ActualPart -> ActualPart -> Bool # (/=) :: ActualPart -> ActualPart -> Bool # | |
Show ActualPart Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ActualPart -> ShowS # show :: ActualPart -> String # showList :: [ActualPart] -> ShowS # | |
Pretty ActualPart Source # | |
Defined in Language.VHDL.Pretty pp :: ActualPart -> Doc Source # |
4.3.3 Alias declarations
data AliasDeclaration Source #
Instances
Eq AliasDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: AliasDeclaration -> AliasDeclaration -> Bool # (/=) :: AliasDeclaration -> AliasDeclaration -> Bool # | |
Show AliasDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> AliasDeclaration -> ShowS # show :: AliasDeclaration -> String # showList :: [AliasDeclaration] -> ShowS # | |
Pretty AliasDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: AliasDeclaration -> Doc Source # |
data AliasDesignator Source #
Instances
Eq AliasDesignator Source # | |
Defined in Language.VHDL.Syntax (==) :: AliasDesignator -> AliasDesignator -> Bool # (/=) :: AliasDesignator -> AliasDesignator -> Bool # | |
Show AliasDesignator Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> AliasDesignator -> ShowS # show :: AliasDesignator -> String # showList :: [AliasDesignator] -> ShowS # | |
Pretty AliasDesignator Source # | |
Defined in Language.VHDL.Pretty pp :: AliasDesignator -> Doc Source # |
4.3.3.1 Object aliases
4.3.3.2 Nonobject aliases
4.4 Attribute declarations
data AttributeDeclaration Source #
Instances
Eq AttributeDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: AttributeDeclaration -> AttributeDeclaration -> Bool # (/=) :: AttributeDeclaration -> AttributeDeclaration -> Bool # | |
Show AttributeDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> AttributeDeclaration -> ShowS # show :: AttributeDeclaration -> String # showList :: [AttributeDeclaration] -> ShowS # | |
Pretty AttributeDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: AttributeDeclaration -> Doc Source # |
4.5 Component declarations
data ComponentDeclaration Source #
Instances
Eq ComponentDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: ComponentDeclaration -> ComponentDeclaration -> Bool # (/=) :: ComponentDeclaration -> ComponentDeclaration -> Bool # | |
Show ComponentDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ComponentDeclaration -> ShowS # show :: ComponentDeclaration -> String # showList :: [ComponentDeclaration] -> ShowS # | |
Pretty ComponentDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: ComponentDeclaration -> Doc Source # |
4.6 Group template declarations
data GroupTemplateDeclaration Source #
Instances
Eq GroupTemplateDeclaration Source # | |
Defined in Language.VHDL.Syntax | |
Show GroupTemplateDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> GroupTemplateDeclaration -> ShowS # show :: GroupTemplateDeclaration -> String # showList :: [GroupTemplateDeclaration] -> ShowS # | |
Pretty GroupTemplateDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: GroupTemplateDeclaration -> Doc Source # |
type EntityClassEntryList = [EntityClassEntry] Source #
data EntityClassEntry Source #
Instances
Eq EntityClassEntry Source # | |
Defined in Language.VHDL.Syntax (==) :: EntityClassEntry -> EntityClassEntry -> Bool # (/=) :: EntityClassEntry -> EntityClassEntry -> Bool # | |
Show EntityClassEntry Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> EntityClassEntry -> ShowS # show :: EntityClassEntry -> String # showList :: [EntityClassEntry] -> ShowS # | |
Pretty EntityClassEntry Source # | |
Defined in Language.VHDL.Pretty pp :: EntityClassEntry -> Doc Source # |
4.7 Group declarations
data GroupDeclaration Source #
Instances
Eq GroupDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: GroupDeclaration -> GroupDeclaration -> Bool # (/=) :: GroupDeclaration -> GroupDeclaration -> Bool # | |
Show GroupDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> GroupDeclaration -> ShowS # show :: GroupDeclaration -> String # showList :: [GroupDeclaration] -> ShowS # | |
Pretty GroupDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: GroupDeclaration -> Doc Source # |
type GroupConstituentList = [GroupConstituent] Source #
data GroupConstituent Source #
Instances
Eq GroupConstituent Source # | |
Defined in Language.VHDL.Syntax (==) :: GroupConstituent -> GroupConstituent -> Bool # (/=) :: GroupConstituent -> GroupConstituent -> Bool # | |
Show GroupConstituent Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> GroupConstituent -> ShowS # show :: GroupConstituent -> String # showList :: [GroupConstituent] -> ShowS # | |
Pretty GroupConstituent Source # | |
Defined in Language.VHDL.Pretty pp :: GroupConstituent -> Doc Source # |
5.1 Attribute specification
data AttributeSpecification Source #
Instances
Eq AttributeSpecification Source # | |
Defined in Language.VHDL.Syntax | |
Show AttributeSpecification Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> AttributeSpecification -> ShowS # show :: AttributeSpecification -> String # showList :: [AttributeSpecification] -> ShowS # | |
Pretty AttributeSpecification Source # | |
Defined in Language.VHDL.Pretty pp :: AttributeSpecification -> Doc Source # |
data EntitySpecification Source #
Instances
Eq EntitySpecification Source # | |
Defined in Language.VHDL.Syntax (==) :: EntitySpecification -> EntitySpecification -> Bool # (/=) :: EntitySpecification -> EntitySpecification -> Bool # | |
Show EntitySpecification Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> EntitySpecification -> ShowS # show :: EntitySpecification -> String # showList :: [EntitySpecification] -> ShowS # | |
Pretty EntitySpecification Source # | |
Defined in Language.VHDL.Pretty pp :: EntitySpecification -> Doc Source # |
data EntityClass Source #
ENTITY | |
ARCHITECTURE | |
CONFIGURATION | |
PROCEDURE | |
FUNCTION | |
PACKAGE | |
TYPE | |
SUBTYPE | |
CONSTANT | |
SIGNAL | |
VARIABLE | |
COMPONENT | |
LABEL | |
LITERAL | |
UNITS | |
GROUP | |
FILE |
Instances
Eq EntityClass Source # | |
Defined in Language.VHDL.Syntax (==) :: EntityClass -> EntityClass -> Bool # (/=) :: EntityClass -> EntityClass -> Bool # | |
Show EntityClass Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> EntityClass -> ShowS # show :: EntityClass -> String # showList :: [EntityClass] -> ShowS # | |
Pretty EntityClass Source # | |
Defined in Language.VHDL.Pretty pp :: EntityClass -> Doc Source # |
data EntityNameList Source #
Instances
Eq EntityNameList Source # | |
Defined in Language.VHDL.Syntax (==) :: EntityNameList -> EntityNameList -> Bool # (/=) :: EntityNameList -> EntityNameList -> Bool # | |
Show EntityNameList Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> EntityNameList -> ShowS # show :: EntityNameList -> String # showList :: [EntityNameList] -> ShowS # | |
Pretty EntityNameList Source # | |
Defined in Language.VHDL.Pretty pp :: EntityNameList -> Doc Source # |
data EntityDesignator Source #
Instances
Eq EntityDesignator Source # | |
Defined in Language.VHDL.Syntax (==) :: EntityDesignator -> EntityDesignator -> Bool # (/=) :: EntityDesignator -> EntityDesignator -> Bool # | |
Show EntityDesignator Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> EntityDesignator -> ShowS # show :: EntityDesignator -> String # showList :: [EntityDesignator] -> ShowS # | |
Pretty EntityDesignator Source # | |
Defined in Language.VHDL.Pretty pp :: EntityDesignator -> Doc Source # |
5.2 Configuration specification
data ConfigurationSpecification Source #
Instances
Eq ConfigurationSpecification Source # | |
Defined in Language.VHDL.Syntax | |
Show ConfigurationSpecification Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ConfigurationSpecification -> ShowS # show :: ConfigurationSpecification -> String # showList :: [ConfigurationSpecification] -> ShowS # | |
Pretty ConfigurationSpecification Source # | |
Defined in Language.VHDL.Pretty pp :: ConfigurationSpecification -> Doc Source # |
data ComponentSpecification Source #
Instances
Eq ComponentSpecification Source # | |
Defined in Language.VHDL.Syntax | |
Show ComponentSpecification Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ComponentSpecification -> ShowS # show :: ComponentSpecification -> String # showList :: [ComponentSpecification] -> ShowS # | |
Pretty ComponentSpecification Source # | |
Defined in Language.VHDL.Pretty pp :: ComponentSpecification -> Doc Source # |
data InstantiationList Source #
Instances
Eq InstantiationList Source # | |
Defined in Language.VHDL.Syntax (==) :: InstantiationList -> InstantiationList -> Bool # (/=) :: InstantiationList -> InstantiationList -> Bool # | |
Show InstantiationList Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> InstantiationList -> ShowS # show :: InstantiationList -> String # showList :: [InstantiationList] -> ShowS # | |
Pretty InstantiationList Source # | |
Defined in Language.VHDL.Pretty pp :: InstantiationList -> Doc Source # |
5.2.1 Binding indication
data BindingIndication Source #
Instances
Eq BindingIndication Source # | |
Defined in Language.VHDL.Syntax (==) :: BindingIndication -> BindingIndication -> Bool # (/=) :: BindingIndication -> BindingIndication -> Bool # | |
Show BindingIndication Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> BindingIndication -> ShowS # show :: BindingIndication -> String # showList :: [BindingIndication] -> ShowS # | |
Pretty BindingIndication Source # | |
Defined in Language.VHDL.Pretty pp :: BindingIndication -> Doc Source # |
5.2.1.1 Entity aspect
data EntityAspect Source #
Instances
Eq EntityAspect Source # | |
Defined in Language.VHDL.Syntax (==) :: EntityAspect -> EntityAspect -> Bool # (/=) :: EntityAspect -> EntityAspect -> Bool # | |
Show EntityAspect Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> EntityAspect -> ShowS # show :: EntityAspect -> String # showList :: [EntityAspect] -> ShowS # | |
Pretty EntityAspect Source # | |
Defined in Language.VHDL.Pretty pp :: EntityAspect -> Doc Source # |
5.2.1.2 Generic map and port map aspects
data GenericMapAspect Source #
Instances
Eq GenericMapAspect Source # | |
Defined in Language.VHDL.Syntax (==) :: GenericMapAspect -> GenericMapAspect -> Bool # (/=) :: GenericMapAspect -> GenericMapAspect -> Bool # | |
Show GenericMapAspect Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> GenericMapAspect -> ShowS # show :: GenericMapAspect -> String # showList :: [GenericMapAspect] -> ShowS # | |
Pretty GenericMapAspect Source # | |
Defined in Language.VHDL.Pretty pp :: GenericMapAspect -> Doc Source # |
data PortMapAspect Source #
Instances
Eq PortMapAspect Source # | |
Defined in Language.VHDL.Syntax (==) :: PortMapAspect -> PortMapAspect -> Bool # (/=) :: PortMapAspect -> PortMapAspect -> Bool # | |
Show PortMapAspect Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> PortMapAspect -> ShowS # show :: PortMapAspect -> String # showList :: [PortMapAspect] -> ShowS # | |
Pretty PortMapAspect Source # | |
Defined in Language.VHDL.Pretty pp :: PortMapAspect -> Doc Source # |
5.2.2 Default binding indication
5.3 Disconnection specification
data DisconnectionSpecification Source #
Instances
Eq DisconnectionSpecification Source # | |
Defined in Language.VHDL.Syntax | |
Show DisconnectionSpecification Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> DisconnectionSpecification -> ShowS # show :: DisconnectionSpecification -> String # showList :: [DisconnectionSpecification] -> ShowS # | |
Pretty DisconnectionSpecification Source # | |
Defined in Language.VHDL.Pretty pp :: DisconnectionSpecification -> Doc Source # |
data GuardedSignalSpecification Source #
Instances
Eq GuardedSignalSpecification Source # | |
Defined in Language.VHDL.Syntax | |
Show GuardedSignalSpecification Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> GuardedSignalSpecification -> ShowS # show :: GuardedSignalSpecification -> String # showList :: [GuardedSignalSpecification] -> ShowS # | |
Pretty GuardedSignalSpecification Source # | |
Defined in Language.VHDL.Pretty pp :: GuardedSignalSpecification -> Doc Source # |
data SignalList Source #
Instances
Eq SignalList Source # | |
Defined in Language.VHDL.Syntax (==) :: SignalList -> SignalList -> Bool # (/=) :: SignalList -> SignalList -> Bool # | |
Show SignalList Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SignalList -> ShowS # show :: SignalList -> String # showList :: [SignalList] -> ShowS # | |
Pretty SignalList Source # | |
Defined in Language.VHDL.Pretty pp :: SignalList -> Doc Source # |
6.1 Names
NSimple SimpleName | |
NOp OperatorSymbol | |
NSelect SelectedName | |
NIndex IndexedName | |
NSlice SliceName | |
NAttr AttributeName |
6.2 Simple names
type SimpleName = Identifier Source #
6.3 Selected names
data SelectedName Source #
Instances
Eq SelectedName Source # | |
Defined in Language.VHDL.Syntax (==) :: SelectedName -> SelectedName -> Bool # (/=) :: SelectedName -> SelectedName -> Bool # | |
Show SelectedName Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SelectedName -> ShowS # show :: SelectedName -> String # showList :: [SelectedName] -> ShowS # | |
Pretty SelectedName Source # | |
Defined in Language.VHDL.Pretty pp :: SelectedName -> Doc Source # |
6.4 Indexed names
data IndexedName Source #
Instances
Eq IndexedName Source # | |
Defined in Language.VHDL.Syntax (==) :: IndexedName -> IndexedName -> Bool # (/=) :: IndexedName -> IndexedName -> Bool # | |
Show IndexedName Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> IndexedName -> ShowS # show :: IndexedName -> String # showList :: [IndexedName] -> ShowS # | |
Pretty IndexedName Source # | |
Defined in Language.VHDL.Pretty pp :: IndexedName -> Doc Source # |
6.5 Slice names
6.6 Attribute names
data AttributeName Source #
Instances
Eq AttributeName Source # | |
Defined in Language.VHDL.Syntax (==) :: AttributeName -> AttributeName -> Bool # (/=) :: AttributeName -> AttributeName -> Bool # | |
Show AttributeName Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> AttributeName -> ShowS # show :: AttributeName -> String # showList :: [AttributeName] -> ShowS # | |
Pretty AttributeName Source # | |
Defined in Language.VHDL.Pretty pp :: AttributeName -> Doc Source # |
type AttributeDesignator = SimpleName Source #
7.1 Rules for expressions
data Expression Source #
EAnd [Relation] | |
EOr [Relation] | |
EXor [Relation] | |
ENand Relation (Maybe Relation) | |
ENor Relation (Maybe Relation) | |
EXnor [Relation] |
Instances
Eq Expression Source # | |
Defined in Language.VHDL.Syntax (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool # | |
Show Expression Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS # | |
Pretty Expression Source # | |
Defined in Language.VHDL.Pretty pp :: Expression -> Doc Source # |
data ShiftExpression Source #
Instances
Eq ShiftExpression Source # | |
Defined in Language.VHDL.Syntax (==) :: ShiftExpression -> ShiftExpression -> Bool # (/=) :: ShiftExpression -> ShiftExpression -> Bool # | |
Show ShiftExpression Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ShiftExpression -> ShowS # show :: ShiftExpression -> String # showList :: [ShiftExpression] -> ShowS # | |
Pretty ShiftExpression Source # | |
Defined in Language.VHDL.Pretty pp :: ShiftExpression -> Doc Source # |
data SimpleExpression Source #
SimpleExpression | |
|
Instances
Eq SimpleExpression Source # | |
Defined in Language.VHDL.Syntax (==) :: SimpleExpression -> SimpleExpression -> Bool # (/=) :: SimpleExpression -> SimpleExpression -> Bool # | |
Show SimpleExpression Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SimpleExpression -> ShowS # show :: SimpleExpression -> String # showList :: [SimpleExpression] -> ShowS # | |
Pretty SimpleExpression Source # | |
Defined in Language.VHDL.Pretty pp :: SimpleExpression -> Doc Source # |
Term | |
|
PrimName Name | |
PrimLit Literal | |
PrimAgg Aggregate | |
PrimFun FunctionCall | |
PrimQual QualifiedExpression | |
PrimTCon TypeConversion | |
PrimAlloc Allocator | |
PrimExp Expression |
7.2 Operators
data LogicalOperator Source #
Instances
Eq LogicalOperator Source # | |
Defined in Language.VHDL.Syntax (==) :: LogicalOperator -> LogicalOperator -> Bool # (/=) :: LogicalOperator -> LogicalOperator -> Bool # | |
Show LogicalOperator Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> LogicalOperator -> ShowS # show :: LogicalOperator -> String # showList :: [LogicalOperator] -> ShowS # | |
Pretty LogicalOperator Source # | |
Defined in Language.VHDL.Pretty pp :: LogicalOperator -> Doc Source # |
data RelationalOperator Source #
Instances
Eq RelationalOperator Source # | |
Defined in Language.VHDL.Syntax (==) :: RelationalOperator -> RelationalOperator -> Bool # (/=) :: RelationalOperator -> RelationalOperator -> Bool # | |
Show RelationalOperator Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> RelationalOperator -> ShowS # show :: RelationalOperator -> String # showList :: [RelationalOperator] -> ShowS # | |
Pretty RelationalOperator Source # | |
Defined in Language.VHDL.Pretty pp :: RelationalOperator -> Doc Source # |
data ShiftOperator Source #
Instances
Eq ShiftOperator Source # | |
Defined in Language.VHDL.Syntax (==) :: ShiftOperator -> ShiftOperator -> Bool # (/=) :: ShiftOperator -> ShiftOperator -> Bool # | |
Show ShiftOperator Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ShiftOperator -> ShowS # show :: ShiftOperator -> String # showList :: [ShiftOperator] -> ShowS # | |
Pretty ShiftOperator Source # | |
Defined in Language.VHDL.Pretty pp :: ShiftOperator -> Doc Source # |
data AddingOperator Source #
Instances
Eq AddingOperator Source # | |
Defined in Language.VHDL.Syntax (==) :: AddingOperator -> AddingOperator -> Bool # (/=) :: AddingOperator -> AddingOperator -> Bool # | |
Show AddingOperator Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> AddingOperator -> ShowS # show :: AddingOperator -> String # showList :: [AddingOperator] -> ShowS # | |
Pretty AddingOperator Source # | |
Defined in Language.VHDL.Pretty pp :: AddingOperator -> Doc Source # |
data MultiplyingOperator Source #
Instances
Eq MultiplyingOperator Source # | |
Defined in Language.VHDL.Syntax (==) :: MultiplyingOperator -> MultiplyingOperator -> Bool # (/=) :: MultiplyingOperator -> MultiplyingOperator -> Bool # | |
Show MultiplyingOperator Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> MultiplyingOperator -> ShowS # show :: MultiplyingOperator -> String # showList :: [MultiplyingOperator] -> ShowS # | |
Pretty MultiplyingOperator Source # | |
Defined in Language.VHDL.Pretty pp :: MultiplyingOperator -> Doc Source # |
data MiscellaneousOperator Source #
Instances
Eq MiscellaneousOperator Source # | |
Defined in Language.VHDL.Syntax (==) :: MiscellaneousOperator -> MiscellaneousOperator -> Bool # (/=) :: MiscellaneousOperator -> MiscellaneousOperator -> Bool # | |
Show MiscellaneousOperator Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> MiscellaneousOperator -> ShowS # show :: MiscellaneousOperator -> String # showList :: [MiscellaneousOperator] -> ShowS # | |
Pretty MiscellaneousOperator Source # | |
Defined in Language.VHDL.Pretty 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
LitNum NumericLiteral | |
LitEnum EnumerationLiteral | |
LitString StringLiteral | |
LitBitString BitStringLiteral | |
LitNull |
data NumericLiteral Source #
Instances
Eq NumericLiteral Source # | |
Defined in Language.VHDL.Syntax (==) :: NumericLiteral -> NumericLiteral -> Bool # (/=) :: NumericLiteral -> NumericLiteral -> Bool # | |
Show NumericLiteral Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> NumericLiteral -> ShowS # show :: NumericLiteral -> String # showList :: [NumericLiteral] -> ShowS # | |
Pretty NumericLiteral Source # | |
Defined in Language.VHDL.Pretty pp :: NumericLiteral -> Doc Source # |
7.3.2 Aggregates
data ElementAssociation Source #
Instances
Eq ElementAssociation Source # | |
Defined in Language.VHDL.Syntax (==) :: ElementAssociation -> ElementAssociation -> Bool # (/=) :: ElementAssociation -> ElementAssociation -> Bool # | |
Show ElementAssociation Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ElementAssociation -> ShowS # show :: ElementAssociation -> String # showList :: [ElementAssociation] -> ShowS # | |
Pretty ElementAssociation Source # | |
Defined in Language.VHDL.Pretty pp :: ElementAssociation -> Doc Source # |
7.3.2.1 Record aggregates
7.3.2.2 Array aggregates
7.3.3 Function calls
data FunctionCall Source #
Instances
Eq FunctionCall Source # | |
Defined in Language.VHDL.Syntax (==) :: FunctionCall -> FunctionCall -> Bool # (/=) :: FunctionCall -> FunctionCall -> Bool # | |
Show FunctionCall Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> FunctionCall -> ShowS # show :: FunctionCall -> String # showList :: [FunctionCall] -> ShowS # | |
Pretty FunctionCall Source # | |
Defined in Language.VHDL.Pretty pp :: FunctionCall -> Doc Source # |
7.3.4 Qualified expressions
data QualifiedExpression Source #
Instances
Eq QualifiedExpression Source # | |
Defined in Language.VHDL.Syntax (==) :: QualifiedExpression -> QualifiedExpression -> Bool # (/=) :: QualifiedExpression -> QualifiedExpression -> Bool # | |
Show QualifiedExpression Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> QualifiedExpression -> ShowS # show :: QualifiedExpression -> String # showList :: [QualifiedExpression] -> ShowS # | |
Pretty QualifiedExpression Source # | |
Defined in Language.VHDL.Pretty pp :: QualifiedExpression -> Doc Source # |
7.3.5 Type conversions
data TypeConversion Source #
Instances
Eq TypeConversion Source # | |
Defined in Language.VHDL.Syntax (==) :: TypeConversion -> TypeConversion -> Bool # (/=) :: TypeConversion -> TypeConversion -> Bool # | |
Show TypeConversion Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> TypeConversion -> ShowS # show :: TypeConversion -> String # showList :: [TypeConversion] -> ShowS # | |
Pretty TypeConversion Source # | |
Defined in Language.VHDL.Pretty pp :: TypeConversion -> Doc Source # |
7.3.6 Allocators
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
Eq SequentialStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: SequentialStatement -> SequentialStatement -> Bool # (/=) :: SequentialStatement -> SequentialStatement -> Bool # | |
Show SequentialStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SequentialStatement -> ShowS # show :: SequentialStatement -> String # showList :: [SequentialStatement] -> ShowS # | |
Pretty SequentialStatement Source # | |
Defined in Language.VHDL.Pretty pp :: SequentialStatement -> Doc Source # |
8.1 Wait statement
data WaitStatement Source #
Instances
Eq WaitStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: WaitStatement -> WaitStatement -> Bool # (/=) :: WaitStatement -> WaitStatement -> Bool # | |
Show WaitStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> WaitStatement -> ShowS # show :: WaitStatement -> String # showList :: [WaitStatement] -> ShowS # | |
Pretty WaitStatement Source # | |
Defined in Language.VHDL.Pretty pp :: WaitStatement -> Doc Source # |
data SensitivityClause Source #
Instances
Eq SensitivityClause Source # | |
Defined in Language.VHDL.Syntax (==) :: SensitivityClause -> SensitivityClause -> Bool # (/=) :: SensitivityClause -> SensitivityClause -> Bool # | |
Show SensitivityClause Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SensitivityClause -> ShowS # show :: SensitivityClause -> String # showList :: [SensitivityClause] -> ShowS # | |
Pretty SensitivityClause Source # | |
Defined in Language.VHDL.Pretty pp :: SensitivityClause -> Doc Source # |
data SensitivityList Source #
Instances
Eq SensitivityList Source # | |
Defined in Language.VHDL.Syntax (==) :: SensitivityList -> SensitivityList -> Bool # (/=) :: SensitivityList -> SensitivityList -> Bool # | |
Show SensitivityList Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SensitivityList -> ShowS # show :: SensitivityList -> String # showList :: [SensitivityList] -> ShowS # | |
Pretty SensitivityList Source # | |
Defined in Language.VHDL.Pretty pp :: SensitivityList -> Doc Source # |
data ConditionClause Source #
Instances
Eq ConditionClause Source # | |
Defined in Language.VHDL.Syntax (==) :: ConditionClause -> ConditionClause -> Bool # (/=) :: ConditionClause -> ConditionClause -> Bool # | |
Show ConditionClause Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ConditionClause -> ShowS # show :: ConditionClause -> String # showList :: [ConditionClause] -> ShowS # | |
Pretty ConditionClause Source # | |
Defined in Language.VHDL.Pretty pp :: ConditionClause -> Doc Source # |
type Condition = Expression Source #
data TimeoutClause Source #
Instances
Eq TimeoutClause Source # | |
Defined in Language.VHDL.Syntax (==) :: TimeoutClause -> TimeoutClause -> Bool # (/=) :: TimeoutClause -> TimeoutClause -> Bool # | |
Show TimeoutClause Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> TimeoutClause -> ShowS # show :: TimeoutClause -> String # showList :: [TimeoutClause] -> ShowS # | |
Pretty TimeoutClause Source # | |
Defined in Language.VHDL.Pretty pp :: TimeoutClause -> Doc Source # |
8.2 Assertion statement
data AssertionStatement Source #
Instances
Eq AssertionStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: AssertionStatement -> AssertionStatement -> Bool # (/=) :: AssertionStatement -> AssertionStatement -> Bool # | |
Show AssertionStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> AssertionStatement -> ShowS # show :: AssertionStatement -> String # showList :: [AssertionStatement] -> ShowS # | |
Pretty AssertionStatement Source # | |
Defined in Language.VHDL.Pretty pp :: AssertionStatement -> Doc Source # |
8.3 Report statement
data ReportStatement Source #
Instances
Eq ReportStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: ReportStatement -> ReportStatement -> Bool # (/=) :: ReportStatement -> ReportStatement -> Bool # | |
Show ReportStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ReportStatement -> ShowS # show :: ReportStatement -> String # showList :: [ReportStatement] -> ShowS # | |
Pretty ReportStatement Source # | |
Defined in Language.VHDL.Pretty pp :: ReportStatement -> Doc Source # |
8.4 Signal assignment statement
data SignalAssignmentStatement Source #
Instances
Eq SignalAssignmentStatement Source # | |
Defined in Language.VHDL.Syntax | |
Show SignalAssignmentStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SignalAssignmentStatement -> ShowS # show :: SignalAssignmentStatement -> String # showList :: [SignalAssignmentStatement] -> ShowS # | |
Pretty SignalAssignmentStatement Source # | |
Defined in Language.VHDL.Pretty pp :: SignalAssignmentStatement -> Doc Source # |
data DelayMechanism Source #
Instances
Eq DelayMechanism Source # | |
Defined in Language.VHDL.Syntax (==) :: DelayMechanism -> DelayMechanism -> Bool # (/=) :: DelayMechanism -> DelayMechanism -> Bool # | |
Show DelayMechanism Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> DelayMechanism -> ShowS # show :: DelayMechanism -> String # showList :: [DelayMechanism] -> ShowS # | |
Pretty DelayMechanism Source # | |
Defined in Language.VHDL.Pretty pp :: DelayMechanism -> Doc Source # |
8.4.1 Updating a projected output waveform
data WaveformElement Source #
Instances
Eq WaveformElement Source # | |
Defined in Language.VHDL.Syntax (==) :: WaveformElement -> WaveformElement -> Bool # (/=) :: WaveformElement -> WaveformElement -> Bool # | |
Show WaveformElement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> WaveformElement -> ShowS # show :: WaveformElement -> String # showList :: [WaveformElement] -> ShowS # | |
Pretty WaveformElement Source # | |
Defined in Language.VHDL.Pretty pp :: WaveformElement -> Doc Source # |
8.5 Variable assignment statement
data VariableAssignmentStatement Source #
Instances
Eq VariableAssignmentStatement Source # | |
Defined in Language.VHDL.Syntax | |
Show VariableAssignmentStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> VariableAssignmentStatement -> ShowS # show :: VariableAssignmentStatement -> String # showList :: [VariableAssignmentStatement] -> ShowS # | |
Pretty VariableAssignmentStatement Source # | |
Defined in Language.VHDL.Pretty pp :: VariableAssignmentStatement -> Doc Source # |
8.5.1 Array variable assignments
8.6 Procedure call statement
data ProcedureCallStatement Source #
Instances
Eq ProcedureCallStatement Source # | |
Defined in Language.VHDL.Syntax | |
Show ProcedureCallStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ProcedureCallStatement -> ShowS # show :: ProcedureCallStatement -> String # showList :: [ProcedureCallStatement] -> ShowS # | |
Pretty ProcedureCallStatement Source # | |
Defined in Language.VHDL.Pretty pp :: ProcedureCallStatement -> Doc Source # |
data ProcedureCall Source #
Instances
Eq ProcedureCall Source # | |
Defined in Language.VHDL.Syntax (==) :: ProcedureCall -> ProcedureCall -> Bool # (/=) :: ProcedureCall -> ProcedureCall -> Bool # | |
Show ProcedureCall Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ProcedureCall -> ShowS # show :: ProcedureCall -> String # showList :: [ProcedureCall] -> ShowS # | |
Pretty ProcedureCall Source # | |
Defined in Language.VHDL.Pretty pp :: ProcedureCall -> Doc Source # |
8.7 If statement
data IfStatement Source #
IfStatement | |
|
Instances
Eq IfStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: IfStatement -> IfStatement -> Bool # (/=) :: IfStatement -> IfStatement -> Bool # | |
Show IfStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> IfStatement -> ShowS # show :: IfStatement -> String # showList :: [IfStatement] -> ShowS # | |
Pretty IfStatement Source # | |
Defined in Language.VHDL.Pretty pp :: IfStatement -> Doc Source # |
8.8 Case statement
data CaseStatement Source #
Instances
Eq CaseStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: CaseStatement -> CaseStatement -> Bool # (/=) :: CaseStatement -> CaseStatement -> Bool # | |
Show CaseStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> CaseStatement -> ShowS # show :: CaseStatement -> String # showList :: [CaseStatement] -> ShowS # | |
Pretty CaseStatement Source # | |
Defined in Language.VHDL.Pretty pp :: CaseStatement -> Doc Source # |
data CaseStatementAlternative Source #
Instances
Eq CaseStatementAlternative Source # | |
Defined in Language.VHDL.Syntax | |
Show CaseStatementAlternative Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> CaseStatementAlternative -> ShowS # show :: CaseStatementAlternative -> String # showList :: [CaseStatementAlternative] -> ShowS # | |
Pretty CaseStatementAlternative Source # | |
Defined in Language.VHDL.Pretty pp :: CaseStatementAlternative -> Doc Source # |
8.9 Loop statement
data LoopStatement Source #
Instances
Eq LoopStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: LoopStatement -> LoopStatement -> Bool # (/=) :: LoopStatement -> LoopStatement -> Bool # | |
Show LoopStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> LoopStatement -> ShowS # show :: LoopStatement -> String # showList :: [LoopStatement] -> ShowS # | |
Pretty LoopStatement Source # | |
Defined in Language.VHDL.Pretty pp :: LoopStatement -> Doc Source # |
data IterationScheme Source #
Instances
Eq IterationScheme Source # | |
Defined in Language.VHDL.Syntax (==) :: IterationScheme -> IterationScheme -> Bool # (/=) :: IterationScheme -> IterationScheme -> Bool # | |
Show IterationScheme Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> IterationScheme -> ShowS # show :: IterationScheme -> String # showList :: [IterationScheme] -> ShowS # | |
Pretty IterationScheme Source # | |
Defined in Language.VHDL.Pretty pp :: IterationScheme -> Doc Source # |
data ParameterSpecification Source #
Instances
Eq ParameterSpecification Source # | |
Defined in Language.VHDL.Syntax | |
Show ParameterSpecification Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ParameterSpecification -> ShowS # show :: ParameterSpecification -> String # showList :: [ParameterSpecification] -> ShowS # | |
Pretty ParameterSpecification Source # | |
Defined in Language.VHDL.Pretty pp :: ParameterSpecification -> Doc Source # |
8.10 Next statement
data NextStatement Source #
Instances
Eq NextStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: NextStatement -> NextStatement -> Bool # (/=) :: NextStatement -> NextStatement -> Bool # | |
Show NextStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> NextStatement -> ShowS # show :: NextStatement -> String # showList :: [NextStatement] -> ShowS # | |
Pretty NextStatement Source # | |
Defined in Language.VHDL.Pretty pp :: NextStatement -> Doc Source # |
8.11 Exit statement
data ExitStatement Source #
Instances
Eq ExitStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: ExitStatement -> ExitStatement -> Bool # (/=) :: ExitStatement -> ExitStatement -> Bool # | |
Show ExitStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ExitStatement -> ShowS # show :: ExitStatement -> String # showList :: [ExitStatement] -> ShowS # | |
Pretty ExitStatement Source # | |
Defined in Language.VHDL.Pretty pp :: ExitStatement -> Doc Source # |
8.12 Return statement
data ReturnStatement Source #
Instances
Eq ReturnStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: ReturnStatement -> ReturnStatement -> Bool # (/=) :: ReturnStatement -> ReturnStatement -> Bool # | |
Show ReturnStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ReturnStatement -> ShowS # show :: ReturnStatement -> String # showList :: [ReturnStatement] -> ShowS # | |
Pretty ReturnStatement Source # | |
Defined in Language.VHDL.Pretty pp :: ReturnStatement -> Doc Source # |
8.13 Null statement
data NullStatement Source #
Instances
Eq NullStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: NullStatement -> NullStatement -> Bool # (/=) :: NullStatement -> NullStatement -> Bool # | |
Show NullStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> NullStatement -> ShowS # show :: NullStatement -> String # showList :: [NullStatement] -> ShowS # | |
Pretty NullStatement Source # | |
Defined in Language.VHDL.Pretty pp :: NullStatement -> Doc Source # |
data ConcurrentStatement Source #
Instances
Eq ConcurrentStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: ConcurrentStatement -> ConcurrentStatement -> Bool # (/=) :: ConcurrentStatement -> ConcurrentStatement -> Bool # | |
Show ConcurrentStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ConcurrentStatement -> ShowS # show :: ConcurrentStatement -> String # showList :: [ConcurrentStatement] -> ShowS # | |
Pretty ConcurrentStatement Source # | |
Defined in Language.VHDL.Pretty pp :: ConcurrentStatement -> Doc Source # |
9.1 Block statement
data BlockStatement Source #
Instances
Eq BlockStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: BlockStatement -> BlockStatement -> Bool # (/=) :: BlockStatement -> BlockStatement -> Bool # | |
Show BlockStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> BlockStatement -> ShowS # show :: BlockStatement -> String # showList :: [BlockStatement] -> ShowS # | |
Pretty BlockStatement Source # | |
Defined in Language.VHDL.Pretty pp :: BlockStatement -> Doc Source # |
data BlockHeader Source #
Instances
Eq BlockHeader Source # | |
Defined in Language.VHDL.Syntax (==) :: BlockHeader -> BlockHeader -> Bool # (/=) :: BlockHeader -> BlockHeader -> Bool # | |
Show BlockHeader Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> BlockHeader -> ShowS # show :: BlockHeader -> String # showList :: [BlockHeader] -> ShowS # | |
Pretty BlockHeader Source # | |
Defined in Language.VHDL.Pretty pp :: BlockHeader -> Doc Source # |
type BlockDeclarativePart = [BlockDeclarativeItem] Source #
type BlockStatementPart = [ConcurrentStatement] Source #
9.2 Process statement
data ProcessStatement Source #
Instances
Eq ProcessStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: ProcessStatement -> ProcessStatement -> Bool # (/=) :: ProcessStatement -> ProcessStatement -> Bool # | |
Show ProcessStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ProcessStatement -> ShowS # show :: ProcessStatement -> String # showList :: [ProcessStatement] -> ShowS # | |
Pretty ProcessStatement Source # | |
Defined in Language.VHDL.Pretty pp :: ProcessStatement -> Doc Source # |
data ProcessDeclarativeItem Source #
Instances
Eq ProcessDeclarativeItem Source # | |
Defined in Language.VHDL.Syntax | |
Show ProcessDeclarativeItem Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ProcessDeclarativeItem -> ShowS # show :: ProcessDeclarativeItem -> String # showList :: [ProcessDeclarativeItem] -> ShowS # | |
Pretty ProcessDeclarativeItem Source # | |
Defined in Language.VHDL.Pretty pp :: ProcessDeclarativeItem -> Doc Source # |
type ProcessStatementPart = [SequentialStatement] Source #
9.3 Concurrent procedure call statements
data ConcurrentProcedureCallStatement Source #
Instances
9.4 Concurrent assertion statements
data ConcurrentAssertionStatement Source #
ConcurrentAssertionStatement | |
|
Instances
Eq ConcurrentAssertionStatement Source # | |
Defined in Language.VHDL.Syntax | |
Show ConcurrentAssertionStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ConcurrentAssertionStatement -> ShowS # show :: ConcurrentAssertionStatement -> String # showList :: [ConcurrentAssertionStatement] -> ShowS # | |
Pretty ConcurrentAssertionStatement Source # | |
Defined in Language.VHDL.Pretty pp :: ConcurrentAssertionStatement -> Doc Source # |
9.5 Concurrent signal assignment statements
data ConcurrentSignalAssignmentStatement Source #
Instances
9.5.1 Conditional signal assignments
data ConditionalSignalAssignment Source #
Instances
Eq ConditionalSignalAssignment Source # | |
Defined in Language.VHDL.Syntax | |
Show ConditionalSignalAssignment Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ConditionalSignalAssignment -> ShowS # show :: ConditionalSignalAssignment -> String # showList :: [ConditionalSignalAssignment] -> ShowS # | |
Pretty ConditionalSignalAssignment Source # | |
Defined in Language.VHDL.Pretty pp :: ConditionalSignalAssignment -> Doc Source # |
data ConditionalWaveforms Source #
Instances
Eq ConditionalWaveforms Source # | |
Defined in Language.VHDL.Syntax (==) :: ConditionalWaveforms -> ConditionalWaveforms -> Bool # (/=) :: ConditionalWaveforms -> ConditionalWaveforms -> Bool # | |
Show ConditionalWaveforms Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ConditionalWaveforms -> ShowS # show :: ConditionalWaveforms -> String # showList :: [ConditionalWaveforms] -> ShowS # | |
Pretty ConditionalWaveforms Source # | |
Defined in Language.VHDL.Pretty pp :: ConditionalWaveforms -> Doc Source # |
9.5.2 Selected signal assignments
data SelectedSignalAssignment Source #
Instances
Eq SelectedSignalAssignment Source # | |
Defined in Language.VHDL.Syntax | |
Show SelectedSignalAssignment Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SelectedSignalAssignment -> ShowS # show :: SelectedSignalAssignment -> String # showList :: [SelectedSignalAssignment] -> ShowS # | |
Pretty SelectedSignalAssignment Source # | |
Defined in Language.VHDL.Pretty pp :: SelectedSignalAssignment -> Doc Source # |
data SelectedWaveforms Source #
Instances
Eq SelectedWaveforms Source # | |
Defined in Language.VHDL.Syntax (==) :: SelectedWaveforms -> SelectedWaveforms -> Bool # (/=) :: SelectedWaveforms -> SelectedWaveforms -> Bool # | |
Show SelectedWaveforms Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SelectedWaveforms -> ShowS # show :: SelectedWaveforms -> String # showList :: [SelectedWaveforms] -> ShowS # | |
Pretty SelectedWaveforms Source # | |
Defined in Language.VHDL.Pretty pp :: SelectedWaveforms -> Doc Source # |
9.6 Component instantiation statements
data ComponentInstantiationStatement Source #
Instances
data InstantiatedUnit Source #
Instances
Eq InstantiatedUnit Source # | |
Defined in Language.VHDL.Syntax (==) :: InstantiatedUnit -> InstantiatedUnit -> Bool # (/=) :: InstantiatedUnit -> InstantiatedUnit -> Bool # | |
Show InstantiatedUnit Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> InstantiatedUnit -> ShowS # show :: InstantiatedUnit -> String # showList :: [InstantiatedUnit] -> ShowS # | |
Pretty InstantiatedUnit Source # | |
Defined in Language.VHDL.Pretty 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 #
Instances
Eq GenerateStatement Source # | |
Defined in Language.VHDL.Syntax (==) :: GenerateStatement -> GenerateStatement -> Bool # (/=) :: GenerateStatement -> GenerateStatement -> Bool # | |
Show GenerateStatement Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> GenerateStatement -> ShowS # show :: GenerateStatement -> String # showList :: [GenerateStatement] -> ShowS # | |
Pretty GenerateStatement Source # | |
Defined in Language.VHDL.Pretty pp :: GenerateStatement -> Doc Source # |
data GenerationScheme Source #
Instances
Eq GenerationScheme Source # | |
Defined in Language.VHDL.Syntax (==) :: GenerationScheme -> GenerationScheme -> Bool # (/=) :: GenerationScheme -> GenerationScheme -> Bool # | |
Show GenerationScheme Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> GenerationScheme -> ShowS # show :: GenerationScheme -> String # showList :: [GenerationScheme] -> ShowS # | |
Pretty GenerationScheme Source # | |
Defined in Language.VHDL.Pretty pp :: GenerationScheme -> Doc Source # |
type Label = Identifier Source #
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
data DesignFile Source #
Instances
Eq DesignFile Source # | |
Defined in Language.VHDL.Syntax (==) :: DesignFile -> DesignFile -> Bool # (/=) :: DesignFile -> DesignFile -> Bool # | |
Show DesignFile Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> DesignFile -> ShowS # show :: DesignFile -> String # showList :: [DesignFile] -> ShowS # | |
Pretty DesignFile Source # | |
Defined in Language.VHDL.Pretty pp :: DesignFile -> Doc Source # |
data DesignUnit Source #
Instances
Eq DesignUnit Source # | |
Defined in Language.VHDL.Syntax (==) :: DesignUnit -> DesignUnit -> Bool # (/=) :: DesignUnit -> DesignUnit -> Bool # | |
Show DesignUnit Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> DesignUnit -> ShowS # show :: DesignUnit -> String # showList :: [DesignUnit] -> ShowS # | |
Pretty DesignUnit Source # | |
Defined in Language.VHDL.Pretty pp :: DesignUnit -> Doc Source # |
data LibraryUnit Source #
Instances
Eq LibraryUnit Source # | |
Defined in Language.VHDL.Syntax (==) :: LibraryUnit -> LibraryUnit -> Bool # (/=) :: LibraryUnit -> LibraryUnit -> Bool # | |
Show LibraryUnit Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> LibraryUnit -> ShowS # show :: LibraryUnit -> String # showList :: [LibraryUnit] -> ShowS # | |
Pretty LibraryUnit Source # | |
Defined in Language.VHDL.Pretty pp :: LibraryUnit -> Doc Source # |
data PrimaryUnit Source #
PrimaryEntity EntityDeclaration | |
PrimaryConfig ConfigurationDeclaration | |
PrimaryPackage PackageDeclaration |
Instances
Eq PrimaryUnit Source # | |
Defined in Language.VHDL.Syntax (==) :: PrimaryUnit -> PrimaryUnit -> Bool # (/=) :: PrimaryUnit -> PrimaryUnit -> Bool # | |
Show PrimaryUnit Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> PrimaryUnit -> ShowS # show :: PrimaryUnit -> String # showList :: [PrimaryUnit] -> ShowS # | |
Pretty PrimaryUnit Source # | |
Defined in Language.VHDL.Pretty pp :: PrimaryUnit -> Doc Source # |
data SecondaryUnit Source #
Instances
Eq SecondaryUnit Source # | |
Defined in Language.VHDL.Syntax (==) :: SecondaryUnit -> SecondaryUnit -> Bool # (/=) :: SecondaryUnit -> SecondaryUnit -> Bool # | |
Show SecondaryUnit Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> SecondaryUnit -> ShowS # show :: SecondaryUnit -> String # showList :: [SecondaryUnit] -> ShowS # | |
Pretty SecondaryUnit Source # | |
Defined in Language.VHDL.Pretty pp :: SecondaryUnit -> Doc Source # |
11.2 Design libraries
data LibraryClause Source #
Instances
Eq LibraryClause Source # | |
Defined in Language.VHDL.Syntax (==) :: LibraryClause -> LibraryClause -> Bool # (/=) :: LibraryClause -> LibraryClause -> Bool # | |
Show LibraryClause Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> LibraryClause -> ShowS # show :: LibraryClause -> String # showList :: [LibraryClause] -> ShowS # | |
Pretty LibraryClause Source # | |
Defined in Language.VHDL.Pretty pp :: LibraryClause -> Doc Source # |
data LogicalNameList Source #
Instances
Eq LogicalNameList Source # | |
Defined in Language.VHDL.Syntax (==) :: LogicalNameList -> LogicalNameList -> Bool # (/=) :: LogicalNameList -> LogicalNameList -> Bool # | |
Show LogicalNameList Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> LogicalNameList -> ShowS # show :: LogicalNameList -> String # showList :: [LogicalNameList] -> ShowS # | |
Pretty LogicalNameList Source # | |
Defined in Language.VHDL.Pretty pp :: LogicalNameList -> Doc Source # |
type LogicalName = Identifier Source #
11.3 Context clauses
data ContextClause Source #
Instances
Eq ContextClause Source # | |
Defined in Language.VHDL.Syntax (==) :: ContextClause -> ContextClause -> Bool # (/=) :: ContextClause -> ContextClause -> Bool # | |
Show ContextClause Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ContextClause -> ShowS # show :: ContextClause -> String # showList :: [ContextClause] -> ShowS # | |
Pretty ContextClause Source # | |
Defined in Language.VHDL.Pretty pp :: ContextClause -> Doc Source # |
data ContextItem Source #
Instances
Eq ContextItem Source # | |
Defined in Language.VHDL.Syntax (==) :: ContextItem -> ContextItem -> Bool # (/=) :: ContextItem -> ContextItem -> Bool # | |
Show ContextItem Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ContextItem -> ShowS # show :: ContextItem -> String # showList :: [ContextItem] -> ShowS # | |
Pretty ContextItem Source # | |
Defined in Language.VHDL.Pretty pp :: ContextItem -> Doc Source # |
11.3 Order of analysis
13.4
data AbstractLiteral Source #
Instances
Eq AbstractLiteral Source # | |
Defined in Language.VHDL.Syntax (==) :: AbstractLiteral -> AbstractLiteral -> Bool # (/=) :: AbstractLiteral -> AbstractLiteral -> Bool # | |
Show AbstractLiteral Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> AbstractLiteral -> ShowS # show :: AbstractLiteral -> String # showList :: [AbstractLiteral] -> ShowS # | |
Pretty AbstractLiteral Source # | |
Defined in Language.VHDL.Pretty pp :: AbstractLiteral -> Doc Source # |
13.4.1
data DecimalLiteral Source #
Instances
Eq DecimalLiteral Source # | |
Defined in Language.VHDL.Syntax (==) :: DecimalLiteral -> DecimalLiteral -> Bool # (/=) :: DecimalLiteral -> DecimalLiteral -> Bool # | |
Show DecimalLiteral Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> DecimalLiteral -> ShowS # show :: DecimalLiteral -> String # showList :: [DecimalLiteral] -> ShowS # | |
Pretty DecimalLiteral Source # | |
Defined in Language.VHDL.Pretty pp :: DecimalLiteral -> Doc Source # |
13.4.2
data BasedLiteral Source #
Instances
Eq BasedLiteral Source # | |
Defined in Language.VHDL.Syntax (==) :: BasedLiteral -> BasedLiteral -> Bool # (/=) :: BasedLiteral -> BasedLiteral -> Bool # | |
Show BasedLiteral Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> BasedLiteral -> ShowS # show :: BasedLiteral -> String # showList :: [BasedLiteral] -> ShowS # | |
Pretty BasedLiteral Source # | |
Defined in Language.VHDL.Pretty pp :: BasedLiteral -> Doc Source # |
type BasedInteger = Integer Source #
type ExtendedDigit = Char Source #
13.7 Bit string literals
data BitStringLiteral Source #
Instances
Eq BitStringLiteral Source # | |
Defined in Language.VHDL.Syntax (==) :: BitStringLiteral -> BitStringLiteral -> Bool # (/=) :: BitStringLiteral -> BitStringLiteral -> Bool # | |
Show BitStringLiteral Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> BitStringLiteral -> ShowS # show :: BitStringLiteral -> String # showList :: [BitStringLiteral] -> ShowS # | |
Pretty BitStringLiteral Source # | |
Defined in Language.VHDL.Pretty pp :: BitStringLiteral -> Doc Source # |
data BaseSpecifier Source #
Instances
Eq BaseSpecifier Source # | |
Defined in Language.VHDL.Syntax (==) :: BaseSpecifier -> BaseSpecifier -> Bool # (/=) :: BaseSpecifier -> BaseSpecifier -> Bool # | |
Show BaseSpecifier Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> BaseSpecifier -> ShowS # show :: BaseSpecifier -> String # showList :: [BaseSpecifier] -> ShowS # | |
Pretty BaseSpecifier Source # | |
Defined in Language.VHDL.Pretty pp :: BaseSpecifier -> Doc Source # |
data Identifier Source #
Instances
Eq Identifier Source # | |
Defined in Language.VHDL.Syntax (==) :: Identifier -> Identifier -> Bool # (/=) :: Identifier -> Identifier -> Bool # | |
Show Identifier Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> Identifier -> ShowS # show :: Identifier -> String # showList :: [Identifier] -> ShowS # | |
Pretty Identifier Source # | |
Defined in Language.VHDL.Pretty pp :: Identifier -> Doc Source # |
data CharacterLiteral Source #
Instances
Eq CharacterLiteral Source # | |
Defined in Language.VHDL.Syntax (==) :: CharacterLiteral -> CharacterLiteral -> Bool # (/=) :: CharacterLiteral -> CharacterLiteral -> Bool # | |
Show CharacterLiteral Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> CharacterLiteral -> ShowS # show :: CharacterLiteral -> String # showList :: [CharacterLiteral] -> ShowS # | |
Pretty CharacterLiteral Source # | |
Defined in Language.VHDL.Pretty pp :: CharacterLiteral -> Doc Source # |
data StringLiteral Source #
Instances
Eq StringLiteral Source # | |
Defined in Language.VHDL.Syntax (==) :: StringLiteral -> StringLiteral -> Bool # (/=) :: StringLiteral -> StringLiteral -> Bool # | |
Show StringLiteral Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> StringLiteral -> ShowS # show :: StringLiteral -> String # showList :: [StringLiteral] -> ShowS # | |
Pretty StringLiteral Source # | |
Defined in Language.VHDL.Pretty pp :: StringLiteral -> Doc Source # |
data BaseUnitDeclaration Source #
Instances
Eq BaseUnitDeclaration Source # | |
Defined in Language.VHDL.Syntax (==) :: BaseUnitDeclaration -> BaseUnitDeclaration -> Bool # (/=) :: BaseUnitDeclaration -> BaseUnitDeclaration -> Bool # | |
Show BaseUnitDeclaration Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> BaseUnitDeclaration -> ShowS # show :: BaseUnitDeclaration -> String # showList :: [BaseUnitDeclaration] -> ShowS # | |
Pretty BaseUnitDeclaration Source # | |
Defined in Language.VHDL.Pretty pp :: BaseUnitDeclaration -> Doc Source # |
data BasicCharacter Source #
Instances
Eq BasicCharacter Source # | |
Defined in Language.VHDL.Syntax (==) :: BasicCharacter -> BasicCharacter -> Bool # (/=) :: BasicCharacter -> BasicCharacter -> Bool # | |
Show BasicCharacter Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> BasicCharacter -> ShowS # show :: BasicCharacter -> String # showList :: [BasicCharacter] -> ShowS # | |
Pretty BasicCharacter Source # | |
Defined in Language.VHDL.Pretty pp :: BasicCharacter -> Doc Source # |
data BasicGraphicCharacter Source #
Instances
Eq BasicGraphicCharacter Source # | |
Defined in Language.VHDL.Syntax (==) :: BasicGraphicCharacter -> BasicGraphicCharacter -> Bool # (/=) :: BasicGraphicCharacter -> BasicGraphicCharacter -> Bool # | |
Show BasicGraphicCharacter Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> BasicGraphicCharacter -> ShowS # show :: BasicGraphicCharacter -> String # showList :: [BasicGraphicCharacter] -> ShowS # | |
Pretty BasicGraphicCharacter Source # | |
Defined in Language.VHDL.Pretty pp :: BasicGraphicCharacter -> Doc Source # |
data BasicIdentifier Source #
Instances
Eq BasicIdentifier Source # | |
Defined in Language.VHDL.Syntax (==) :: BasicIdentifier -> BasicIdentifier -> Bool # (/=) :: BasicIdentifier -> BasicIdentifier -> Bool # | |
Show BasicIdentifier Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> BasicIdentifier -> ShowS # show :: BasicIdentifier -> String # showList :: [BasicIdentifier] -> ShowS # | |
Pretty BasicIdentifier Source # | |
Defined in Language.VHDL.Pretty pp :: BasicIdentifier -> Doc Source # |
data ExtendedIdentifier Source #
Instances
Eq ExtendedIdentifier Source # | |
Defined in Language.VHDL.Syntax (==) :: ExtendedIdentifier -> ExtendedIdentifier -> Bool # (/=) :: ExtendedIdentifier -> ExtendedIdentifier -> Bool # | |
Show ExtendedIdentifier Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> ExtendedIdentifier -> ShowS # show :: ExtendedIdentifier -> String # showList :: [ExtendedIdentifier] -> ShowS # | |
Pretty ExtendedIdentifier Source # | |
Defined in Language.VHDL.Pretty pp :: ExtendedIdentifier -> Doc Source # |
data GraphicCharacter Source #
Instances
Eq GraphicCharacter Source # | |
Defined in Language.VHDL.Syntax (==) :: GraphicCharacter -> GraphicCharacter -> Bool # (/=) :: GraphicCharacter -> GraphicCharacter -> Bool # | |
Show GraphicCharacter Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> GraphicCharacter -> ShowS # show :: GraphicCharacter -> String # showList :: [GraphicCharacter] -> ShowS # | |
Pretty GraphicCharacter Source # | |
Defined in Language.VHDL.Pretty pp :: GraphicCharacter -> Doc Source # |
data LetterOrDigit Source #
Instances
Eq LetterOrDigit Source # | |
Defined in Language.VHDL.Syntax (==) :: LetterOrDigit -> LetterOrDigit -> Bool # (/=) :: LetterOrDigit -> LetterOrDigit -> Bool # | |
Show LetterOrDigit Source # | |
Defined in Language.VHDL.Syntax showsPrec :: Int -> LetterOrDigit -> ShowS # show :: LetterOrDigit -> String # showList :: [LetterOrDigit] -> ShowS # | |
Pretty LetterOrDigit Source # | |
Defined in Language.VHDL.Pretty pp :: LetterOrDigit -> Doc Source # |