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