Language.Bluespec.Classic.AST.Builtin.Ids

Documentation

mk_no :: FString -> Id

Identifier without a position

prelude_id :: Position -> FString -> Id

Identifier in the Standard Prelude, with a position

prelude_id_no :: FString -> Id

Identifier in the Standard Prelude, with no position

prelude_bsv_id :: Position -> FString -> Id

Identifier in the Standard Prelude, with a position

prelude_bsv_id_no :: FString -> Id

Identifier in the Standard Prelude, with no position

prop_prelude_id_no :: FString -> [IdProp] -> Id

Add id properties to an already existing identifier

idB :: Id

idR :: Id

idArrow :: Position -> Id

idPrimUnit :: Id

idBit :: Id

idInt :: Id

idUInt :: Id

idVReg :: Id

idReg :: Id

idRWire :: Id

idPulseWire :: Id

idFIFO :: Id

idFIFOF :: Id

idSend :: Id

id_notFull :: Id

id_notEmpty :: Id

idEnq :: Id

idDeq :: Id

idFirst :: Id

idInteger :: Id

idReal :: Id

idRealAt :: Position -> Id

idString :: Id

idChar :: Id

idHandle :: Id

idBufferMode :: Id

idNoBuffering :: Id

idLineBuffering :: Id

idBlockBuffering :: Id

idFmt :: Id

idPrimFmtConcat :: Id

idPrimPriMux :: Id

idFormat :: Id

idFShow :: Id

idfshow :: Id

idBool :: Id

idPrimFst :: Id

idPrimSnd :: Id

idPrimPair :: Id

idFalse :: Id

idTrue :: Id

idSizeOf :: Id

idTAdd :: Id

idTSub :: Id

idTMul :: Id

idTDiv :: Id

idTLog :: Id

idTExp :: Id

idTMax :: Id

idTMin :: Id

idAction :: Id

idPrimAction :: Id

idToPrimAction :: Id

idFromPrimAction :: Id

idFromActionValue_ :: Id

idToActionValue_ :: Id

idRules :: Id

idSchedPragma :: Id

idValueOf :: Id

idStringOf :: Id

idStringProxy :: Id

idPrimIndex :: Id

idPrimSelectable :: Id

idPrimUpdateable :: Id

idPrimWriteable :: Id

idChangeSpecialWires :: Position -> Id

idPrimSetSelPosition :: Id

idMaybe :: Id

idInvalid :: Id

idValid :: Id

idEmpty :: Id

idFile :: Id

idEither :: Id

idLeft :: Id

idRight :: Id

idActionValue :: Id

idAVValue :: Id

idAVAction :: Id

idActionValue_ :: Id

idAVValue_ :: Id

idAVAction_ :: Id

id__value :: Id

id__action :: Id

id__value_at :: Position -> Id

id__action_at :: Position -> Id

idComma :: Id

idPlus :: Id

idMinus :: Id

idPrelude :: Id

idPreludeBSV :: Id

idPreludePlus :: Id

idEq :: Id

idBits :: Id

idLiteral :: Id

idRealLiteral :: Id

idSizedLiteral :: Id

idStringLiteral :: Id

idPrimParam :: Id

idPrimPort :: Id

idBounded :: Id

idDefaultValue :: Id

id_defaultValue :: Id

idClsDeepSeqCond :: Id

idPrimDeepSeqCond :: Id

idPrimSeqCond :: Id

idUndefined :: Id

idEqual :: Id

idNotEqual :: Id

idPack :: Id

idUnpack :: Id

idFmap :: Id

idMaxBound :: Id

idMinBound :: Id

idBuildUndef :: Id

idMakeUndef :: Id

idRawUndef :: Id

idAdd :: Id

idMax :: Id

idMin :: Id

idLog :: Id

idMul :: Id

idDiv :: Id

idNumEq :: Id

idAnd :: Id

idNot :: Id

idPrimSplit :: Id

idPrimConcat :: Id

idPrimMul :: Id

idPrimQuot :: Id

idPrimRem :: Id

idPrimTrunc :: Id

idPrimOrd :: Id

idPrimChr :: Id

idLiftM :: Id

idPrimError :: Id

idGeneric :: Id

idFrom :: Id

idTo :: Id

idConc :: Id

idConcPrim :: Id

idConcPoly :: Id

idMeta :: Id

idMetaData :: Id

idStarArg :: Id

idNumArg :: Id

idStrArg :: Id

idConArg :: Id

idMetaConsNamed :: Id

idMetaConsAnon :: Id

idMetaField :: Id

idPolyWrapField :: Id

idLiftModule :: Id

Used by GenWrap for "polymorphic" modules

id_lam :: Position -> Id

id_if :: Position -> Id

id_read :: Position -> Id

id_write :: Position -> Id

idPreludeRead :: Id

idPreludeWrite :: Id

idAssign :: Id

idExtract :: Position -> Id

idFromInteger :: Position -> Id

idFromReal :: Position -> Id

idFromSizedInteger :: Position -> Id

idFromString :: Position -> Id

idPrimCharToString :: Position -> Id

idPrimToParam :: Position -> Id

idPrimToPort :: Position -> Id

id_case :: Position -> Id

idBind :: Position -> Id

idBind_ :: Position -> Id

idReturn :: Position -> Id

idMonad :: Position -> Id

idIsModule :: Id

idModule :: Id

idId :: Id

idPrimModule :: Position -> Id

idPrimStringConcat :: Id

idAddRules :: Position -> Id

idMkRegU :: Position -> Id

idTheResult :: Position -> Id

idF :: Position -> Id

idM :: Position -> Id

idC :: Position -> Id

idPrimSelectFn :: Position -> Id

idPrimUpdateFn :: Position -> Id

idPrimWriteFn :: Position -> Id

idPrimUpdateRangeFn :: Position -> Id

idSAction :: Position -> Id

idSActionValue :: Position -> Id

idStmtify :: Position -> Id

idCallServer :: Position -> Id

idSIf1 :: Position -> Id

idSIf2 :: Position -> Id

idSAbtIf1 :: Position -> Id

idSAbtIf2 :: Position -> Id

idSRepeat :: Position -> Id

idSWhile :: Position -> Id

idSFor :: Position -> Id

idSSeq :: Position -> Id

idSPar :: Position -> Id

idSLabel :: Position -> Id

idSJump :: Position -> Id

idSNamed :: Position -> Id

idS :: Position -> Id

idStmt :: Position -> Id

idSBreak :: Position -> Id

idSContinue :: Position -> Id

idSReturn :: Position -> Id

idCons :: Position -> Id

idConcat :: Position -> Id

idNil :: Position -> Id

idNothing :: Position -> Id

idSprime :: Position -> Id

idAsIfc :: Id

Used to prevent implicit read etc.

idAsReg :: Id

Used to prevent implicit read etc.

idName :: Id

idPrimGetName :: Id

idPrimGetNameAt :: Position -> Id

idPrimGetParamName :: Id

idPrimGetParamNameAt :: Position -> Id

idPrimJoinNamesAt :: Position -> Id

idPrimExtNameIdxAt :: Position -> Id

idSetStateNameAt :: Position -> Id

idGetModuleName :: Id

idForceIsModuleAt :: Position -> Id

Used to force the monad in a "module" expression to be a module, so that we fail fast for good error positions

idPosition :: Id

Use for communicating positions for errors, warnings and messages

idNoPosition :: Id

Use for communicating positions for errors, warnings and messages

idPrimGetEvalPosition :: Id

Use for communicating positions for errors, warnings and messages

idAttributes :: Id

Used to carry attributes

idSetStateAttribAt :: Position -> Id

idType :: Id

idTypeOf :: Id

idSavePortType :: Id

idPrintType :: Id

idPred :: Id

Abstract type for implicit conditions

idPrimBAnd :: Id

idPrimBOr :: Id

idPrimBNot :: Id

idPrimSL :: Id

idPrimSRL :: Id

idPrimInv :: Id

idPrimIf :: Id

idPrimCase :: Id

idPrimArrayDynSelect :: Id

idPrimBuildArray :: Id

idPrimWhen :: Id

idPrimSelect :: Id

idPrimSelectAt :: Position -> Id

idPrimZeroExt :: Id

idPrimSignExt :: Id

idPrimJoinRules :: Id

idPrimNoRules :: Id

idPrimRule :: Id

idPrimJoinActions :: Id

idPrimAddSchedPragmas :: Id

idPrimNoActions :: Id

idPrimNoExpIf :: Id

idPrimExpIf :: Id

idPrimNosplitDeep :: Id

idPrimSplitDeep :: Id

idSplitDeepAV :: Id

idNosplitDeepAV :: Id

idMfix :: Id

idStaticAssert :: Id

idDynamicAssert :: Id

idPrimFix :: Position -> Id

idContinuousAssert :: Id

id_staticAssert :: Id

id_dynamicAssert :: Id

id_continuousAssert :: Id

idClsUninitialized :: Id

idPrimUninitialized :: Id

idPrimUninitializedAt :: Position -> Id

idPrimMakeUninitialized :: Id

idPrimRawUninitialized :: Id

idPrimPoisonedDef :: Id

idStringAt :: Position -> Id

idFmtAt :: Position -> Id

idPrimStringConcatAt :: Position -> Id

idClock :: Id

Clock and reset identifiers

idClockOsc :: Id

Clock and reset identifiers

idClockGate :: Id

Clock and reset identifiers

idReset :: Id

Clock and reset identifiers

idInout :: Id

Clock and reset identifiers

idInout_ :: Id

Clock and reset identifiers

idPrimInoutCast :: Id

idPrimInoutUncast :: Id

idPrimInoutCast0 :: Id

idPrimInoutUncast0 :: Id

idExposeCurrentClock :: Id

idExposeCurrentReset :: Id

idNoClock :: Id

idNoReset :: Id

idPrimReplaceClockGate :: Id

idClk :: Id

idRst :: Id

idCLK :: Id

idCLK_GATE :: Id

idDefaultClock :: Id

idDefaultReset :: Id

idPrimSplitFst :: Id

idPrimSplitSnd :: Id

id_x :: Id

id_y :: Id

id_fun :: Id

id_forallb :: Id

tmpVarIds :: [Id]

tmpVarXIds :: [Id]

tmpVarYIds :: [Id]

tmpVarSIds :: [Id]

tmpTyNumIds :: [Id]

tmpTyVarIds :: [Id]

idPrimEQ :: Id

Used by iExpand

idPrimULE :: Id

Used by iExpand

idPrimULT :: Id

Used by iExpand

idPrimSLE :: Id

Used by iExpand

idPrimSLT :: Id

Used by iExpand

idPrimAdd :: Id

Used by iTransform

idPrimSub :: Id

Used by iTransform

idVRWireN :: Id

Used by AddCFWire

idVmkRWire1 :: Id

Used by AddCFWire

idWGet :: Id

Used by AddCFWire

idWSet :: Id

Used by AddCFWire

idWHas :: Id

Used by AddCFWire

idPrimConcatAt :: Position -> Id

idTrueAt :: Position -> Id

idAddRulesAt :: Position -> Id

idOrAt :: Position -> Id

idEqualAt :: Position -> Id

idNotEqualAt :: Position -> Id

idPrimUnitAt :: Position -> Id

idErrorAt :: Position -> Id

idNegateAt :: Position -> Id

idIdentityAt :: Position -> Id

idNotAt :: Position -> Id

idInvertAt :: Position -> Id

idPercentAt :: Position -> Id

idModuleAt :: Position -> Id

idIsModuleAt :: Position -> Id

idActionAt :: Position -> Id

idActionValueAt :: Position -> Id

idActionValue_At :: Position -> Id

idIntAt :: Position -> Id

idUnpackAt :: Position -> Id

idStarAt :: Position -> Id

idSlashAt :: Position -> Id

idStarStarAt :: Position -> Id

idPlusAt :: Position -> Id

idMinusAt :: Position -> Id

idLshAt :: Position -> Id

idRshAt :: Position -> Id

idLtAt :: Position -> Id

idGtAt :: Position -> Id

idLtEqAt :: Position -> Id

idGtEqAt :: Position -> Id

idAndAt :: Position -> Id

idBitAndAt :: Position -> Id

idBitOrAt :: Position -> Id

idCaretAt :: Position -> Id

idTildeCaretAt :: Position -> Id

idCaretTildeAt :: Position -> Id

idReduceAndAt :: Position -> Id

idReduceOrAt :: Position -> Id

idReduceXorAt :: Position -> Id

idReduceNandAt :: Position -> Id

idReduceNorAt :: Position -> Id

idReduceXnorAt :: Position -> Id

idRulesAt :: Position -> Id

idConstAllBitsSetAt :: Position -> Id

idConstAllBitsUnsetAt :: Position -> Id

idListAt :: Position -> Id

List declaration desugaring

idPrimArrayAt :: Position -> Id

idPrimArrayNewAt :: Position -> Id

idPrimArrayNewUAt :: Position -> Id

idPrimArrayLengthAt :: Position -> Id

idPrimArrayInitializeAt :: Position -> Id

idPrimArrayCheckAt :: Position -> Id

idList :: Id

List identifiers for catching type errors on lists

idListN :: Id

List identifiers for catching type errors on lists

idVector :: Id

List identifiers for catching type errors on lists

idToVector :: Id

List identifiers for catching type errors on lists

idToListN :: Id

List identifiers for catching type errors on lists

idPrimArray :: Id

List identifiers for catching type errors on lists

idFinish :: Id

idStop :: Id

idDisplay :: Id

idDisplayh :: Id

idDisplayb :: Id

idDisplayo :: Id

idWrite :: Id

idWriteh :: Id

idWriteb :: Id

idWriteo :: Id

idFDisplay :: Id

idFDisplayh :: Id

idFDisplayb :: Id

idFDisplayo :: Id

idFWrite :: Id

idFWriteh :: Id

idFWriteb :: Id

idFWriteo :: Id

idSWriteAV :: Id

idSWrite :: Id

idSWritehAV :: Id

idSWriteh :: Id

idSWritebAV :: Id

idSWriteb :: Id

idSWriteoAV :: Id

idSWriteo :: Id

idSFormatAV :: Id

idSFormat :: Id

idErrorTask :: Id

idWarnTask :: Id

idInfoTask :: Id

idFatalTask :: Id

idSVA :: Id

idSvaParam :: Id

idSvaBool :: Id

idSvaNumber :: Id

idSVAsampled :: Id

idSVArose :: Id

idSVAfell :: Id

idSVAstable :: Id

idSVApast :: Id

idSVAonehot :: Id

idSVAonehot0 :: Id

idSVAisunknown :: Id

idSVAcountones :: Id

idRandom :: Id

idDumpon :: Id

idDumpoff :: Id

idDumpvars :: Id

idDumpall :: Id

idDumplimit :: Id

idDumpflush :: Id

idDumpfile :: Id

idTime :: Id

idSTime :: Id

idFOpen :: Id

idFGetc :: Id

idUngetc :: Id

idFClose :: Id

idFFlush :: Id

idTestPlusargs :: Id

idRealToBits :: Id

idBitsToReal :: Id

taskIds :: [Id]

idSigned :: Position -> Id

idUnsigned :: Position -> Id

idBitwise :: Id

Classes hardcoded in the Prelude which were added for ContextErrors

idBitReduce :: Id

Classes hardcoded in the Prelude which were added for ContextErrors

idBitExtend :: Id

Classes hardcoded in the Prelude which were added for ContextErrors

idArith :: Id

Classes hardcoded in the Prelude which were added for ContextErrors

idOrd :: Id

Classes hardcoded in the Prelude which were added for ContextErrors

tupleIds :: [Id]

Names used for tuple fields internally?

idTuple2 :: Id

Names exposed to the BSV user

idTuple3 :: Id

Names exposed to the BSV user

idTuple4 :: Id

Names exposed to the BSV user

idTuple5 :: Id

Names exposed to the BSV user

idTuple6 :: Id

Names exposed to the BSV user

idTuple7 :: Id

Names exposed to the BSV user

idTuple8 :: Id

Names exposed to the BSV user

autoderivedClasses :: [Id]