Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Bluespec.Classic.AST.Pragma

Documentation

Constructors

Pproperties Id [PProp]
Pnoinline [Id]

Instances details

Show Pragma Source #
Instance details Defined in Language.Bluespec.Classic.AST.Pragma Methods showsPrec :: Int -> Pragma -> ShowS show :: Pragma -> String showList :: [Pragma] -> ShowS
Eq Pragma Source #
Instance details Defined in Language.Bluespec.Classic.AST.Pragma Methods (==) :: Pragma -> Pragma -> Bool (/=) :: Pragma -> Pragma -> Bool
Ord Pragma Source #
Instance details 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 Source #
Instance details Defined in Language.Bluespec.Classic.AST.Pragma Methods getPosition :: Pragma -> Position Source #
Pretty Pragma Source #
Instance details Defined in Language.Bluespec.Classic.AST.Pragma Methods pPrintPrec :: PrettyLevel -> Rational -> Pragma -> Doc pPrint :: 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

Instances details

Show PProp Source #
Instance details Defined in Language.Bluespec.Classic.AST.Pragma Methods showsPrec :: Int -> PProp -> ShowS show :: PProp -> String showList :: [PProp] -> ShowS
Eq PProp Source #
Instance details Defined in Language.Bluespec.Classic.AST.Pragma Methods (==) :: PProp -> PProp -> Bool (/=) :: PProp -> PProp -> Bool
Ord PProp Source #
Instance details 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 Source #
Instance details Defined in Language.Bluespec.Classic.AST.Pragma Methods pPrintPrec :: PrettyLevel -> Rational -> PProp -> Doc pPrint :: PProp -> Doc pPrintList :: PrettyLevel -> [PProp] -> Doc

Constructors

RPfireWhenEnabled
RPnoImplicitConditions
RPaggressiveImplicitConditions
RPconservativeImplicitConditions
RPnoWarn
RPwarnAllConflicts
RPcanScheduleFirst
RPclockCrossingRule
RPdoc String
RPhide

Instances details

Show RulePragma Source #
Instance details Defined in Language.Bluespec.Classic.AST.Pragma Methods showsPrec :: Int -> RulePragma -> ShowS show :: RulePragma -> String showList :: [RulePragma] -> ShowS
Eq RulePragma Source #
Instance details Defined in Language.Bluespec.Classic.AST.Pragma Methods (==) :: RulePragma -> RulePragma -> Bool (/=) :: RulePragma -> RulePragma -> Bool
Ord RulePragma Source #
Instance details 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 #
Instance details Defined in Language.Bluespec.Classic.AST.Pragma Methods pPrintPrec :: PrettyLevel -> Rational -> RulePragma -> Doc pPrint :: RulePragma -> Doc pPrintList :: PrettyLevel -> [RulePragma] -> Doc

Constructors

SPUrgency [id_t]
SPExecutionOrder [id_t]
SPMutuallyExclusive [[id_t]]
SPConflictFree [[id_t]]
SPPreempt [id_t] [id_t]
SPSchedule (MethodConflictInfo id_t)

Instances details

Show id_t => Show (SchedulePragma id_t) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Language.Bluespec.Classic.AST.Pragma Methods pPrintPrec :: PrettyLevel -> Rational -> SchedulePragma t -> Doc pPrint :: SchedulePragma t -> Doc pPrintList :: PrettyLevel -> [SchedulePragma t] -> Doc

Constructors

Instances details

Show IfcPragma Source #
Instance details Defined in Language.Bluespec.Classic.AST.Pragma Methods showsPrec :: Int -> IfcPragma -> ShowS show :: IfcPragma -> String showList :: [IfcPragma] -> ShowS
Eq IfcPragma Source #
Instance details Defined in Language.Bluespec.Classic.AST.Pragma Methods (==) :: IfcPragma -> IfcPragma -> Bool (/=) :: IfcPragma -> IfcPragma -> Bool
Ord IfcPragma Source #
Instance details 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 Source #
Instance details Defined in Language.Bluespec.Classic.AST.Pragma Methods pPrintPrec :: PrettyLevel -> Rational -> IfcPragma -> Doc pPrint :: IfcPragma -> Doc pPrintList :: PrettyLevel -> [IfcPragma] -> Doc