Language.Bluespec.Classic.AST.Pragma

Documentation

data Pragma

Constructors

Pproperties Id [PProp]

Pnoinline [Id]

Instances

Show Pragma

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

showsPrec :: Int -> Pragma -> ShowS

show :: Pragma -> String

showList :: [Pragma] -> ShowS

Eq Pragma

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

(==) :: Pragma -> Pragma -> Bool

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

Ord Pragma

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

compare :: Pragma -> Pragma -> Ordering

(<) :: Pragma -> Pragma -> Bool

(<=) :: Pragma -> Pragma -> Bool

(>) :: Pragma -> Pragma -> Bool

(>=) :: Pragma -> Pragma -> Bool

max :: Pragma -> Pragma -> Pragma

min :: Pragma -> Pragma -> Pragma

HasPosition Pragma

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

getPosition :: Pragma -> Position

Pretty Pragma

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

pPrintPrec :: PrettyLevel -> Rational -> Pragma -> Doc

pPrint :: Pragma -> Doc

pPrintList :: PrettyLevel -> [Pragma] -> Doc

data PProp

Constructors

PPverilog

PPforeignImport Id

PPalwaysReady [Longname]

PPalwaysEnabled [Longname]

PPenabledWhenReady [Longname]

PPscanInsert Integer

PPbitBlast

PPCLK String

PPGATE String

PPRSTN String

PPclock_osc [(Id, String)]

PPclock_gate [(Id, String)]

PPgate_inhigh [Id]

PPgate_unused [Id]

PPreset_port [(Id, String)]

PParg_param [(Id, String)]

PParg_port [(Id, String)]

PParg_clocked_by [(Id, String)]

PParg_reset_by [(Id, String)]

PPoptions [String]

PPgate_input_clocks [Id]

PPmethod_scheduling (MethodConflictInfo Longname)

PPdoc String

PPperf_spec [[Id]]

PPclock_family [Id]

PPclock_ancestors [[Id]]

PPparam [Id]

PPinst_name Id

PPinst_hide

PPinst_hide_all

PPdeprecate String

Instances

Show PProp

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

showsPrec :: Int -> PProp -> ShowS

show :: PProp -> String

showList :: [PProp] -> ShowS

Eq PProp

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

(==) :: PProp -> PProp -> Bool

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

Ord PProp

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

compare :: PProp -> PProp -> Ordering

(<) :: PProp -> PProp -> Bool

(<=) :: PProp -> PProp -> Bool

(>) :: PProp -> PProp -> Bool

(>=) :: PProp -> PProp -> Bool

max :: PProp -> PProp -> PProp

min :: PProp -> PProp -> PProp

Pretty PProp

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

pPrintPrec :: PrettyLevel -> Rational -> PProp -> Doc

pPrint :: PProp -> Doc

pPrintList :: PrettyLevel -> [PProp] -> Doc

data RulePragma

Constructors

RPfireWhenEnabled

RPnoImplicitConditions

RPaggressiveImplicitConditions

RPconservativeImplicitConditions

RPnoWarn

RPwarnAllConflicts

RPcanScheduleFirst

RPclockCrossingRule

RPdoc String

RPhide

Instances

Show RulePragma

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

showsPrec :: Int -> RulePragma -> ShowS

show :: RulePragma -> String

showList :: [RulePragma] -> ShowS

Eq RulePragma

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

(==) :: RulePragma -> RulePragma -> Bool

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

Ord RulePragma

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

compare :: RulePragma -> RulePragma -> Ordering

(<) :: RulePragma -> RulePragma -> Bool

(<=) :: RulePragma -> RulePragma -> Bool

(>) :: RulePragma -> RulePragma -> Bool

(>=) :: RulePragma -> RulePragma -> Bool

max :: RulePragma -> RulePragma -> RulePragma

min :: RulePragma -> RulePragma -> RulePragma

Pretty RulePragma

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

pPrintPrec :: PrettyLevel -> Rational -> RulePragma -> Doc

pPrint :: RulePragma -> Doc

pPrintList :: PrettyLevel -> [RulePragma] -> Doc

data SchedulePragma id_t

Constructors

SPUrgency [id_t]

SPExecutionOrder [id_t]

SPMutuallyExclusive [[id_t]]

SPConflictFree [[id_t]]

SPPreempt [id_t] [id_t]

SPSchedule (MethodConflictInfo id_t)

Instances

Show id_t => Show (SchedulePragma id_t)

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

showsPrec :: Int -> SchedulePragma id_t -> ShowS

show :: SchedulePragma id_t -> String

showList :: [SchedulePragma id_t] -> ShowS

Eq id_t => Eq (SchedulePragma id_t)

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

(==) :: SchedulePragma id_t -> SchedulePragma id_t -> Bool

(/=) :: SchedulePragma id_t -> SchedulePragma id_t -> Bool

Ord id_t => Ord (SchedulePragma id_t)

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

compare :: SchedulePragma id_t -> SchedulePragma id_t -> Ordering

(<) :: SchedulePragma id_t -> SchedulePragma id_t -> Bool

(<=) :: SchedulePragma id_t -> SchedulePragma id_t -> Bool

(>) :: SchedulePragma id_t -> SchedulePragma id_t -> Bool

(>=) :: SchedulePragma id_t -> SchedulePragma id_t -> Bool

max :: SchedulePragma id_t -> SchedulePragma id_t -> SchedulePragma id_t

min :: SchedulePragma id_t -> SchedulePragma id_t -> SchedulePragma id_t

(Pretty t, Ord t) => Pretty (SchedulePragma t)

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

pPrintPrec :: PrettyLevel -> Rational -> SchedulePragma t -> Doc

pPrint :: SchedulePragma t -> Doc

pPrintList :: PrettyLevel -> [SchedulePragma t] -> Doc

type CSchedulePragma = SchedulePragma Longname

data IfcPragma

Constructors

PIArgNames [Id]

PIPrefixStr String

PIResultName String

PIRdySignalName String

PIEnSignalName String

PIAlwaysRdy

PIAlwaysEnabled

Instances

Show IfcPragma

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

showsPrec :: Int -> IfcPragma -> ShowS

show :: IfcPragma -> String

showList :: [IfcPragma] -> ShowS

Eq IfcPragma

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

(==) :: IfcPragma -> IfcPragma -> Bool

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

Ord IfcPragma

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

compare :: IfcPragma -> IfcPragma -> Ordering

(<) :: IfcPragma -> IfcPragma -> Bool

(<=) :: IfcPragma -> IfcPragma -> Bool

(>) :: IfcPragma -> IfcPragma -> Bool

(>=) :: IfcPragma -> IfcPragma -> Bool

max :: IfcPragma -> IfcPragma -> IfcPragma

min :: IfcPragma -> IfcPragma -> IfcPragma

Pretty IfcPragma

Defined in Language.Bluespec.Classic.AST.Pragma

Methods

pPrintPrec :: PrettyLevel -> Rational -> IfcPragma -> Doc

pPrint :: IfcPragma -> Doc

pPrintList :: PrettyLevel -> [IfcPragma] -> Doc

ppPProp :: PDetail -> PProp -> Doc