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