language-bluespec-0.1: An implementation of the Bluespec Haskell AST
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Bluespec.Classic.AST.Pragma

Documentation

data Pragma Source #

Constructors

Pproperties Id [PProp] 
Pnoinline [Id] 

Instances

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

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

data PProp Source #

Instances

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

data RulePragma Source #

Instances

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

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

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

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

data IfcPragma Source #

Instances

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