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

Language.Bluespec.Classic.AST.Id

Documentation

data Id Source #

Instances

Instances details
Show Id Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Id

Methods

showsPrec :: Int -> Id -> ShowS

show :: Id -> String

showList :: [Id] -> ShowS

Eq Id Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Id

Methods

(==) :: Id -> Id -> Bool

(/=) :: Id -> Id -> Bool

Ord Id Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Id

Methods

compare :: Id -> Id -> Ordering

(<) :: Id -> Id -> Bool

(<=) :: Id -> Id -> Bool

(>) :: Id -> Id -> Bool

(>=) :: Id -> Id -> Bool

max :: Id -> Id -> Id

min :: Id -> Id -> Id

HasPosition Id Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Id

Pretty Id Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Id

Methods

pPrintPrec :: PrettyLevel -> Rational -> Id -> Doc

pPrint :: Id -> Doc

pPrintList :: PrettyLevel -> [Id] -> Doc

enumId :: String -> Position -> Int -> Id Source #

getIdBaseString :: Id -> String Source #

getIdQualString :: Id -> String Source #

getIdString :: Id -> String Source #

ppConId :: PDetail -> Id -> Doc Source #

ppId :: PDetail -> Id -> Doc Source #

ppVarId :: PDetail -> Id -> Doc Source #

qualEq :: Id -> Id -> Bool Source #

data IdProp Source #

Instances

Instances details
Show IdProp Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Id

Methods

showsPrec :: Int -> IdProp -> ShowS

show :: IdProp -> String

showList :: [IdProp] -> ShowS

Eq IdProp Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Id

Methods

(==) :: IdProp -> IdProp -> Bool

(/=) :: IdProp -> IdProp -> Bool

Ord IdProp Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Id

Methods

compare :: IdProp -> IdProp -> Ordering

(<) :: IdProp -> IdProp -> Bool

(<=) :: IdProp -> IdProp -> Bool

(>) :: IdProp -> IdProp -> Bool

(>=) :: IdProp -> IdProp -> Bool

max :: IdProp -> IdProp -> IdProp

min :: IdProp -> IdProp -> IdProp

Pretty IdProp Source # 
Instance details

Defined in Language.Bluespec.Classic.AST.Id

Methods

pPrintPrec :: PrettyLevel -> Rational -> IdProp -> Doc

pPrint :: IdProp -> Doc

pPrintList :: PrettyLevel -> [IdProp] -> Doc

type Longname = [Id] Source #