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

Methods

getPosition :: Id -> Position Source #

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 #

addIdProp :: Id -> IdProp -> Id Source #

addIdProps :: Id -> [IdProp] -> Id Source #

createPositionString :: Position -> String Source #

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

getIdBase :: Id -> FString Source #

getIdBaseString :: Id -> String Source #

getIdPosition :: Id -> Position Source #

getIdProps :: Id -> [IdProp] Source #

getIdQual :: Id -> FString Source #

getIdQualString :: Id -> String Source #

getIdString :: Id -> String Source #

mkId :: Position -> FString -> Id Source #

mkQId :: Position -> FString -> FString -> Id Source #

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

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

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

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

setBadId :: Id -> Id Source #

setIdProps :: Id -> [IdProp] -> Id Source #

data IdProp Source #

Constructors

IdPCanFire 
IdPWillFire 
IdPProbe 
IdPInternal 
IdPReady 
IdPGeneratedIfc 
IdPMeth 
IdPCommutativeTCon 
IdP_enable 
IdP_keep 
IdP_keepEvenUnused 
IdPRule 
IdPSplitRule 
IdPDict 
IdPRenaming 
IdP_suffixed 
IdP_SuffixCount Integer 
IdP_bad_name 
IdP_from_rhs 
IdP_signed 
IdP_NakedInst 
IdPDisplayName FString 
IdP_hide 
IdP_hide_all 
IdP_TypeJoin Id Id 
IdPMethodPredicate 
IdPInlinedPositions [Position] 
IdPParserGenerated 

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 #