Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Language.Bluespec.Classic.AST.Pragma
Documentation
Constructors
Pproperties Id [PProp] | |
Pnoinline [Id] |
Instances
Show Pragma Source # | |
Eq Pragma Source # | |
Ord Pragma Source # | |
HasPosition Pragma Source # | |
Defined in Language.Bluespec.Classic.AST.Pragma Methods getPosition :: Pragma -> Position Source # | |
Pretty Pragma Source # | |
Defined in Language.Bluespec.Classic.AST.Pragma Methods pPrintPrec :: PrettyLevel -> Rational -> Pragma -> Doc pPrintList :: PrettyLevel -> [Pragma] -> Doc |
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 |
data RulePragma Source #
Constructors
RPfireWhenEnabled | |
RPnoImplicitConditions | |
RPaggressiveImplicitConditions | |
RPconservativeImplicitConditions | |
RPnoWarn | |
RPwarnAllConflicts | |
RPcanScheduleFirst | |
RPclockCrossingRule | |
RPdoc String | |
RPhide |
Instances
Show RulePragma Source # | |
Defined in Language.Bluespec.Classic.AST.Pragma Methods showsPrec :: Int -> RulePragma -> ShowS show :: RulePragma -> String showList :: [RulePragma] -> ShowS | |
Eq RulePragma Source # | |
Defined in Language.Bluespec.Classic.AST.Pragma | |
Ord RulePragma Source # | |
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 Source # | |
Defined in Language.Bluespec.Classic.AST.Pragma Methods pPrintPrec :: PrettyLevel -> Rational -> RulePragma -> Doc pPrint :: RulePragma -> Doc pPrintList :: PrettyLevel -> [RulePragma] -> Doc |
data SchedulePragma id_t Source #
Constructors
SPUrgency [id_t] | |
SPExecutionOrder [id_t] | |
SPMutuallyExclusive [[id_t]] | |
SPConflictFree [[id_t]] | |
SPPreempt [id_t] [id_t] | |
SPSchedule (MethodConflictInfo id_t) |
Instances
type CSchedulePragma = SchedulePragma Longname Source #
Constructors
PIArgNames [Id] | |
PIPrefixStr String | |
PIResultName String | |
PIRdySignalName String | |
PIEnSignalName String | |
PIAlwaysRdy | |
PIAlwaysEnabled |
Instances
Show IfcPragma Source # | |
Eq IfcPragma Source # | |
Ord IfcPragma Source # | |
Defined in Language.Bluespec.Classic.AST.Pragma | |
Pretty IfcPragma Source # | |
Defined in Language.Bluespec.Classic.AST.Pragma Methods pPrintPrec :: PrettyLevel -> Rational -> IfcPragma -> Doc pPrintList :: PrettyLevel -> [IfcPragma] -> Doc |