Language.Bluespec.Classic.AST.SchedInfo

Documentation

data SchedInfo idtype

Constructors

SchedInfo

Fields

• methodConflictInfo :: MethodConflictInfo idtype
• rulesBetweenMethods :: [((idtype, idtype), [idtype])]
• rulesBeforeMethods :: [(idtype, [Either idtype idtype])]
• clockCrossingMethods :: [idtype]

Instances

Show idtype => Show (SchedInfo idtype)

Defined in Language.Bluespec.Classic.AST.SchedInfo

Methods

showsPrec :: Int -> SchedInfo idtype -> ShowS

show :: SchedInfo idtype -> String

showList :: [SchedInfo idtype] -> ShowS

Eq idtype => Eq (SchedInfo idtype)

Defined in Language.Bluespec.Classic.AST.SchedInfo

Methods

(==) :: SchedInfo idtype -> SchedInfo idtype -> Bool

(/=) :: SchedInfo idtype -> SchedInfo idtype -> Bool

Ord idtype => Ord (SchedInfo idtype)

Defined in Language.Bluespec.Classic.AST.SchedInfo

Methods

compare :: SchedInfo idtype -> SchedInfo idtype -> Ordering

(<) :: SchedInfo idtype -> SchedInfo idtype -> Bool

(<=) :: SchedInfo idtype -> SchedInfo idtype -> Bool

(>) :: SchedInfo idtype -> SchedInfo idtype -> Bool

(>=) :: SchedInfo idtype -> SchedInfo idtype -> Bool

max :: SchedInfo idtype -> SchedInfo idtype -> SchedInfo idtype

min :: SchedInfo idtype -> SchedInfo idtype -> SchedInfo idtype

(Pretty idtype, Ord idtype) => Pretty (SchedInfo idtype)

Defined in Language.Bluespec.Classic.AST.SchedInfo

Methods

pPrintPrec :: PrettyLevel -> Rational -> SchedInfo idtype -> Doc

pPrint :: SchedInfo idtype -> Doc

pPrintList :: PrettyLevel -> [SchedInfo idtype] -> Doc

data MethodConflictInfo idtype

Constructors

MethodConflictInfo

Fields

• sCF :: [(idtype, idtype)]
• sSB :: [(idtype, idtype)]
• sME :: [[idtype]]
• sP :: [(idtype, idtype)]
• sSBR :: [(idtype, idtype)]
• sC :: [(idtype, idtype)]
• sEXT :: [idtype]

Instances

Show idtype => Show (MethodConflictInfo idtype)

Defined in Language.Bluespec.Classic.AST.SchedInfo

Methods

showsPrec :: Int -> MethodConflictInfo idtype -> ShowS

show :: MethodConflictInfo idtype -> String

showList :: [MethodConflictInfo idtype] -> ShowS

Eq idtype => Eq (MethodConflictInfo idtype)

Defined in Language.Bluespec.Classic.AST.SchedInfo

Methods

(==) :: MethodConflictInfo idtype -> MethodConflictInfo idtype -> Bool

(/=) :: MethodConflictInfo idtype -> MethodConflictInfo idtype -> Bool

Ord idtype => Ord (MethodConflictInfo idtype)

Defined in Language.Bluespec.Classic.AST.SchedInfo

Methods

compare :: MethodConflictInfo idtype -> MethodConflictInfo idtype -> Ordering

(<) :: MethodConflictInfo idtype -> MethodConflictInfo idtype -> Bool

(<=) :: MethodConflictInfo idtype -> MethodConflictInfo idtype -> Bool

(>) :: MethodConflictInfo idtype -> MethodConflictInfo idtype -> Bool

(>=) :: MethodConflictInfo idtype -> MethodConflictInfo idtype -> Bool

max :: MethodConflictInfo idtype -> MethodConflictInfo idtype -> MethodConflictInfo idtype

min :: MethodConflictInfo idtype -> MethodConflictInfo idtype -> MethodConflictInfo idtype

(Pretty idtype, Ord idtype) => Pretty (MethodConflictInfo idtype)

Defined in Language.Bluespec.Classic.AST.SchedInfo

Methods

pPrintPrec :: PrettyLevel -> Rational -> MethodConflictInfo idtype -> Doc

pPrint :: MethodConflictInfo idtype -> Doc

pPrintList :: PrettyLevel -> [MethodConflictInfo idtype] -> Doc

makeMethodConflictDocs :: Ord idtype => (idtype -> Doc) -> (idtype -> String) -> String -> String -> MethodConflictInfo idtype -> [Doc]