language-bluespec-0.1: An implementation of the Bluespec Haskell AST
Safe HaskellSafe-Inferred
LanguageHaskell2010

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 #

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

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

data VFieldInfo Source #

Constructors

Method 

Fields

Clock 

Fields

Reset 

Fields

Inout 

Fields

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

HasPosition VFieldInfo Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.VModInfo

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 VInputGatePort = Either Bool VName Source #

data VClockInfo Source #

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

HasPosition VClockInfo Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.VModInfo

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 

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

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