Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
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 getPosition :: Pragma -> Position Source # | |
Pretty Pragma Source # | |
Defined in Language.Bluespec.Classic.AST.Pragma pPrintPrec :: PrettyLevel -> Rational -> Pragma -> Doc # pPrintList :: PrettyLevel -> [Pragma] -> Doc # |
data RulePragma Source #
RPfireWhenEnabled | |
RPnoImplicitConditions | |
RPaggressiveImplicitConditions | |
RPconservativeImplicitConditions | |
RPnoWarn | |
RPwarnAllConflicts | |
RPcanScheduleFirst | |
RPclockCrossingRule | |
RPdoc String | |
RPhide |
Instances
Show RulePragma Source # | |
Defined in Language.Bluespec.Classic.AST.Pragma showsPrec :: Int -> RulePragma -> ShowS # show :: RulePragma -> String # showList :: [RulePragma] -> ShowS # | |
Eq RulePragma Source # | |
Defined in Language.Bluespec.Classic.AST.Pragma (==) :: RulePragma -> RulePragma -> Bool # (/=) :: RulePragma -> RulePragma -> Bool # | |
Ord RulePragma Source # | |
Defined in Language.Bluespec.Classic.AST.Pragma 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 pPrintPrec :: PrettyLevel -> Rational -> RulePragma -> Doc # pPrint :: RulePragma -> Doc # pPrintList :: PrettyLevel -> [RulePragma] -> Doc # |
data SchedulePragma id_t Source #
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 #
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 pPrintPrec :: PrettyLevel -> Rational -> IfcPragma -> Doc # pPrintList :: PrettyLevel -> [IfcPragma] -> Doc # |