Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Bluespec.Classic.AST.VModInfo

Documentation

newtype VName Source #

Constructors

VName String

Instances

Instances details

Show VName Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods showsPrec :: Int -> VName -> ShowS # show :: VName -> String # showList :: [VName] -> ShowS #
Eq VName Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods (==) :: VName -> VName -> Bool # (/=) :: VName -> VName -> Bool #
Ord VName Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods compare :: VName -> VName -> Ordering # (<) :: VName -> VName -> Bool # (<=) :: VName -> VName -> Bool # (>) :: VName -> VName -> Bool # (>=) :: VName -> VName -> Bool # max :: VName -> VName -> VName # min :: VName -> VName -> VName #
Pretty VName Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods pPrintPrec :: PrettyLevel -> Rational -> VName -> Doc # pPrint :: VName -> Doc # pPrintList :: PrettyLevel -> [VName] -> Doc #

newtype VPathInfo Source #

Constructors

VPathInfo [(VName, VName)]

Instances

Instances details

Show VPathInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods showsPrec :: Int -> VPathInfo -> ShowS # show :: VPathInfo -> String # showList :: [VPathInfo] -> ShowS #
Eq VPathInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods (==) :: VPathInfo -> VPathInfo -> Bool # (/=) :: VPathInfo -> VPathInfo -> Bool #
Ord VPathInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods compare :: VPathInfo -> VPathInfo -> Ordering # (<) :: VPathInfo -> VPathInfo -> Bool # (<=) :: VPathInfo -> VPathInfo -> Bool # (>) :: VPathInfo -> VPathInfo -> Bool # (>=) :: VPathInfo -> VPathInfo -> Bool # max :: VPathInfo -> VPathInfo -> VPathInfo # min :: VPathInfo -> VPathInfo -> VPathInfo #
Pretty VPathInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods pPrintPrec :: PrettyLevel -> Rational -> VPathInfo -> Doc # pPrint :: VPathInfo -> Doc # pPrintList :: PrettyLevel -> [VPathInfo] -> Doc #

data VeriPortProp Source #

Constructors

VPreg
VPconst
VPinhigh
VPouthigh
VPclock
VPclockgate
VPreset
VPinout
VPunused

Instances

Instances details

Show VeriPortProp Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods showsPrec :: Int -> VeriPortProp -> ShowS # show :: VeriPortProp -> String # showList :: [VeriPortProp] -> ShowS #
Eq VeriPortProp Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods (==) :: VeriPortProp -> VeriPortProp -> Bool # (/=) :: VeriPortProp -> VeriPortProp -> Bool #
Ord VeriPortProp Source #
Instance details 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 #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods pPrintPrec :: PrettyLevel -> Rational -> VeriPortProp -> Doc # pPrint :: VeriPortProp -> Doc # pPrintList :: PrettyLevel -> [VeriPortProp] -> Doc #

data VArgInfo Source #

Constructors

Param VName
Port VPort (Maybe Id) (Maybe Id)
ClockArg Id
ResetArg Id
InoutArg VName (Maybe Id) (Maybe Id)

Instances

Instances details

Show VArgInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods showsPrec :: Int -> VArgInfo -> ShowS # show :: VArgInfo -> String # showList :: [VArgInfo] -> ShowS #
Eq VArgInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods (==) :: VArgInfo -> VArgInfo -> Bool # (/=) :: VArgInfo -> VArgInfo -> Bool #
Ord VArgInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods compare :: VArgInfo -> VArgInfo -> Ordering # (<) :: VArgInfo -> VArgInfo -> Bool # (<=) :: VArgInfo -> VArgInfo -> Bool # (>) :: VArgInfo -> VArgInfo -> Bool # (>=) :: VArgInfo -> VArgInfo -> Bool # max :: VArgInfo -> VArgInfo -> VArgInfo # min :: VArgInfo -> VArgInfo -> VArgInfo #
Pretty VArgInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods pPrintPrec :: PrettyLevel -> Rational -> VArgInfo -> Doc # pPrint :: VArgInfo -> Doc # pPrintList :: PrettyLevel -> [VArgInfo] -> Doc #

type VPort = (VName, [VeriPortProp]) Source #

type VSchedInfo = SchedInfo Id Source #

data VFieldInfo Source #

Constructors

Method
Fields vf_name :: Id vf_clock :: Maybe Id vf_reset :: Maybe Id vf_mult :: Integer vf_inputs :: [VPort] vf_output :: Maybe VPort vf_enable :: Maybe VPort
Clock
Fields vf_name :: Id
Reset
Fields vf_name :: Id
Inout
Fields vf_name :: Id vf_inout :: VName vf_clock :: Maybe Id vf_reset :: Maybe Id

Instances

Instances details

Show VFieldInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods showsPrec :: Int -> VFieldInfo -> ShowS # show :: VFieldInfo -> String # showList :: [VFieldInfo] -> ShowS #
Eq VFieldInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods (==) :: VFieldInfo -> VFieldInfo -> Bool # (/=) :: VFieldInfo -> VFieldInfo -> Bool #
Ord VFieldInfo Source #
Instance details 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 #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods getPosition :: VFieldInfo -> Position Source #
Pretty VFieldInfo Source #
Instance details 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 VOscPort = VName Source #

type VInputGatePort = Either Bool VName Source #

type VOutputGatePort = Maybe VPort Source #

data VClockInfo Source #

Constructors

ClockInfo
Fields input_clocks :: [InputClockInf] output_clocks :: [OutputClockInf] ancestorClocks :: [(Id, Id)] siblingClocks :: [(Id, Id)]

Instances

Instances details

Show VClockInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods showsPrec :: Int -> VClockInfo -> ShowS # show :: VClockInfo -> String # showList :: [VClockInfo] -> ShowS #
Eq VClockInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods (==) :: VClockInfo -> VClockInfo -> Bool # (/=) :: VClockInfo -> VClockInfo -> Bool #
Ord VClockInfo Source #
Instance details 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 #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods getPosition :: VClockInfo -> Position Source #
Pretty VClockInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods pPrintPrec :: PrettyLevel -> Rational -> VClockInfo -> Doc # pPrint :: VClockInfo -> Doc # pPrintList :: PrettyLevel -> [VClockInfo] -> Doc #

type ResetInf = (Id, (Maybe VName, Maybe Id)) Source #

data VResetInfo Source #

Constructors

ResetInfo
Fields input_resets :: [ResetInf] output_resets :: [ResetInf]

Instances

Instances details

Show VResetInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods showsPrec :: Int -> VResetInfo -> ShowS # show :: VResetInfo -> String # showList :: [VResetInfo] -> ShowS #
Eq VResetInfo Source #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods (==) :: VResetInfo -> VResetInfo -> Bool # (/=) :: VResetInfo -> VResetInfo -> Bool #
Ord VResetInfo Source #
Instance details 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 #
Instance details Defined in Language.Bluespec.Classic.AST.VModInfo Methods pPrintPrec :: PrettyLevel -> Rational -> VResetInfo -> Doc # pPrint :: VResetInfo -> Doc # pPrintList :: PrettyLevel -> [VResetInfo] -> Doc #