Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Show VPathInfo Source # | |
Eq VPathInfo Source # | |
Ord VPathInfo Source # | |
Defined in Language.Bluespec.Classic.AST.VModInfo | |
Pretty VPathInfo Source # | |
Defined in Language.Bluespec.Classic.AST.VModInfo pPrintPrec :: PrettyLevel -> Rational -> VPathInfo -> Doc # pPrintList :: PrettyLevel -> [VPathInfo] -> Doc # |
data VeriPortProp Source #
Instances
Param VName | |
Port VPort (Maybe Id) (Maybe Id) | |
ClockArg Id | |
ResetArg Id | |
InoutArg VName (Maybe Id) (Maybe Id) |
Instances
Show VArgInfo Source # | |
Eq VArgInfo Source # | |
Ord VArgInfo Source # | |
Defined in Language.Bluespec.Classic.AST.VModInfo | |
Pretty VArgInfo Source # | |
Defined in Language.Bluespec.Classic.AST.VModInfo pPrintPrec :: PrettyLevel -> Rational -> VArgInfo -> Doc # pPrintList :: PrettyLevel -> [VArgInfo] -> Doc # |
type VPort = (VName, [VeriPortProp]) Source #
type VSchedInfo = SchedInfo Id Source #
data VFieldInfo Source #
Instances
type InputClockInf = (Id, Maybe (VOscPort, VInputGatePort)) Source #
type OutputClockInf = (Id, Maybe (VOscPort, VOutputGatePort)) Source #
type VOutputGatePort = Maybe VPort Source #
data VClockInfo Source #
ClockInfo | |
|
Instances
data VResetInfo Source #
ResetInfo | |
|
Instances
Show VResetInfo Source # | |
Defined in Language.Bluespec.Classic.AST.VModInfo showsPrec :: Int -> VResetInfo -> ShowS # show :: VResetInfo -> String # showList :: [VResetInfo] -> ShowS # | |
Eq VResetInfo Source # | |
Defined in Language.Bluespec.Classic.AST.VModInfo (==) :: VResetInfo -> VResetInfo -> Bool # (/=) :: VResetInfo -> VResetInfo -> Bool # | |
Ord VResetInfo Source # | |
Defined in Language.Bluespec.Classic.AST.VModInfo compare :: VResetInfo -> VResetInfo -> Ordering # (<) :: VResetInfo -> VResetInfo -> Bool # (<=) :: VResetInfo -> VResetInfo -> Bool # (>) :: VResetInfo -> VResetInfo -> Bool # (>=) :: VResetInfo -> VResetInfo -> Bool # max :: VResetInfo -> VResetInfo -> VResetInfo # min :: VResetInfo -> VResetInfo -> VResetInfo # | |
Pretty VResetInfo Source # | |
Defined in Language.Bluespec.Classic.AST.VModInfo pPrintPrec :: PrettyLevel -> Rational -> VResetInfo -> Doc # pPrint :: VResetInfo -> Doc # pPrintList :: PrettyLevel -> [VResetInfo] -> Doc # |