Text.SDF.V2p1.Parser.SDFTypes

type SdfString

type Qstring

type Number

type Rnumber

type Dnumber

type Tsvalue

type Identifier

data DelayFile

data SdfHeader

type SdfVersion

type DesignName

type Date

type Vendor

type ProgramName

type ProgramVersion

type HierarchyDivider

type Voltage

type Process

type Temperature

type TimeScale

data Cell

type Celltype

type CellInstance

type Instance

data Correlation

type CorrFactor

data TimingSpec

type DelSpec

type TcSpec

data Deltype

data InputOutputPath

data DelDef

data NetSpec

data TcDef

data TchkDef

data CnsDef

data PortTchk

type ConstraintPath

data PortSpec

data PortEdge

type EdgeIdentifier

type PortPath

type Port

type ScalarPort

type BusPort

data PortInstance

type Value

type Triple

type Rvalue

type Rtriple

type RvalueList

type ConditionalPortExpr

type SimpleExpression

type TimingCheckCondition

type ScalarConstant

type UnaryOperator

type InversionOperator

type BinaryOperator

type EqualityOperator