Enum scryer_prolog::instructions::Instruction
source · pub enum Instruction {
Show 658 variants
GetConstant(Level, HeapCellValue, RegType),
GetList(Level, RegType),
GetPartialString(Level, Atom, RegType, bool),
GetStructure(Level, Atom, usize, RegType),
GetVariable(RegType, usize),
GetValue(RegType, usize),
UnifyConstant(HeapCellValue),
UnifyLocalValue(RegType),
UnifyVariable(RegType),
UnifyValue(RegType),
UnifyVoid(usize),
PutConstant(Level, HeapCellValue, RegType),
PutList(Level, RegType),
PutPartialString(Level, Atom, RegType, bool),
PutStructure(Atom, usize, RegType),
PutUnsafeValue(usize, usize),
PutValue(RegType, usize),
PutVariable(RegType, usize),
SetConstant(HeapCellValue),
SetLocalValue(RegType),
SetVariable(RegType),
SetValue(RegType),
SetVoid(usize),
Cut(RegType),
CutPrev(RegType),
GetLevel(RegType),
GetPrevLevel(RegType),
GetCutPoint(RegType),
NeckCut,
DynamicElse(usize, Death, NextOrFail),
DynamicInternalElse(usize, Death, NextOrFail),
DefaultRetryMeElse(usize),
DefaultTrustMe(usize),
RetryMeElse(usize),
TrustMe(usize),
TryMeElse(usize),
Add(ArithmeticTerm, ArithmeticTerm, usize),
Sub(ArithmeticTerm, ArithmeticTerm, usize),
Mul(ArithmeticTerm, ArithmeticTerm, usize),
Pow(ArithmeticTerm, ArithmeticTerm, usize),
IntPow(ArithmeticTerm, ArithmeticTerm, usize),
IDiv(ArithmeticTerm, ArithmeticTerm, usize),
Max(ArithmeticTerm, ArithmeticTerm, usize),
Min(ArithmeticTerm, ArithmeticTerm, usize),
IntFloorDiv(ArithmeticTerm, ArithmeticTerm, usize),
RDiv(ArithmeticTerm, ArithmeticTerm, usize),
Div(ArithmeticTerm, ArithmeticTerm, usize),
Shl(ArithmeticTerm, ArithmeticTerm, usize),
Shr(ArithmeticTerm, ArithmeticTerm, usize),
Xor(ArithmeticTerm, ArithmeticTerm, usize),
And(ArithmeticTerm, ArithmeticTerm, usize),
Or(ArithmeticTerm, ArithmeticTerm, usize),
Mod(ArithmeticTerm, ArithmeticTerm, usize),
Rem(ArithmeticTerm, ArithmeticTerm, usize),
Gcd(ArithmeticTerm, ArithmeticTerm, usize),
Sign(ArithmeticTerm, usize),
Cos(ArithmeticTerm, usize),
Sin(ArithmeticTerm, usize),
Tan(ArithmeticTerm, usize),
Log(ArithmeticTerm, usize),
Exp(ArithmeticTerm, usize),
ACos(ArithmeticTerm, usize),
ASin(ArithmeticTerm, usize),
ATan(ArithmeticTerm, usize),
ATan2(ArithmeticTerm, ArithmeticTerm, usize),
Sqrt(ArithmeticTerm, usize),
Abs(ArithmeticTerm, usize),
Float(ArithmeticTerm, usize),
Truncate(ArithmeticTerm, usize),
Round(ArithmeticTerm, usize),
Ceiling(ArithmeticTerm, usize),
Floor(ArithmeticTerm, usize),
FloatFractionalPart(ArithmeticTerm, usize),
FloatIntegerPart(ArithmeticTerm, usize),
Neg(ArithmeticTerm, usize),
Plus(ArithmeticTerm, usize),
BitwiseComplement(ArithmeticTerm, usize),
Allocate(usize),
Deallocate,
JmpByCall(usize),
RevJmpBy(usize),
Proceed,
IndexingCode(Vec<IndexingLine>),
BreakFromDispatchLoop,
InstallVerifyAttr,
VerifyAttrInterrupt(usize),
CallAcyclicTerm,
ExecuteAcyclicTerm,
DefaultCallAcyclicTerm,
DefaultExecuteAcyclicTerm,
CallArg,
ExecuteArg,
DefaultCallArg,
DefaultExecuteArg,
CallCompare,
ExecuteCompare,
DefaultCallCompare,
DefaultExecuteCompare,
CallTermLessThan,
ExecuteTermLessThan,
DefaultCallTermLessThan,
DefaultExecuteTermLessThan,
CallTermLessThanOrEqual,
ExecuteTermLessThanOrEqual,
DefaultCallTermLessThanOrEqual,
DefaultExecuteTermLessThanOrEqual,
CallTermGreaterThanOrEqual,
ExecuteTermGreaterThanOrEqual,
DefaultCallTermGreaterThanOrEqual,
DefaultExecuteTermGreaterThanOrEqual,
CallTermGreaterThan,
ExecuteTermGreaterThan,
DefaultCallTermGreaterThan,
DefaultExecuteTermGreaterThan,
CallTermEqual,
ExecuteTermEqual,
DefaultCallTermEqual,
DefaultExecuteTermEqual,
CallTermNotEqual,
ExecuteTermNotEqual,
DefaultCallTermNotEqual,
DefaultExecuteTermNotEqual,
CallCopyTerm,
ExecuteCopyTerm,
DefaultCallCopyTerm,
DefaultExecuteCopyTerm,
CallFunctor,
ExecuteFunctor,
DefaultCallFunctor,
DefaultExecuteFunctor,
CallGround,
ExecuteGround,
DefaultCallGround,
DefaultExecuteGround,
CallIs(RegType, ArithmeticTerm),
ExecuteIs(RegType, ArithmeticTerm),
DefaultCallIs(RegType, ArithmeticTerm),
DefaultExecuteIs(RegType, ArithmeticTerm),
CallGetNumber(ArithmeticTerm),
ExecuteGetNumber(ArithmeticTerm),
DefaultCallGetNumber(ArithmeticTerm),
DefaultExecuteGetNumber(ArithmeticTerm),
CallKeySort,
ExecuteKeySort,
DefaultCallKeySort,
DefaultExecuteKeySort,
CallSort,
ExecuteSort,
DefaultCallSort,
DefaultExecuteSort,
CallN(usize),
ExecuteN(usize),
DefaultCallN(usize),
DefaultExecuteN(usize),
CallNumberGreaterThan(ArithmeticTerm, ArithmeticTerm),
ExecuteNumberGreaterThan(ArithmeticTerm, ArithmeticTerm),
DefaultCallNumberGreaterThan(ArithmeticTerm, ArithmeticTerm),
DefaultExecuteNumberGreaterThan(ArithmeticTerm, ArithmeticTerm),
CallNumberLessThan(ArithmeticTerm, ArithmeticTerm),
ExecuteNumberLessThan(ArithmeticTerm, ArithmeticTerm),
DefaultCallNumberLessThan(ArithmeticTerm, ArithmeticTerm),
DefaultExecuteNumberLessThan(ArithmeticTerm, ArithmeticTerm),
CallNumberGreaterThanOrEqual(ArithmeticTerm, ArithmeticTerm),
ExecuteNumberGreaterThanOrEqual(ArithmeticTerm, ArithmeticTerm),
DefaultCallNumberGreaterThanOrEqual(ArithmeticTerm, ArithmeticTerm),
DefaultExecuteNumberGreaterThanOrEqual(ArithmeticTerm, ArithmeticTerm),
CallNumberLessThanOrEqual(ArithmeticTerm, ArithmeticTerm),
ExecuteNumberLessThanOrEqual(ArithmeticTerm, ArithmeticTerm),
DefaultCallNumberLessThanOrEqual(ArithmeticTerm, ArithmeticTerm),
DefaultExecuteNumberLessThanOrEqual(ArithmeticTerm, ArithmeticTerm),
CallNumberNotEqual(ArithmeticTerm, ArithmeticTerm),
ExecuteNumberNotEqual(ArithmeticTerm, ArithmeticTerm),
DefaultCallNumberNotEqual(ArithmeticTerm, ArithmeticTerm),
DefaultExecuteNumberNotEqual(ArithmeticTerm, ArithmeticTerm),
CallNumberEqual(ArithmeticTerm, ArithmeticTerm),
ExecuteNumberEqual(ArithmeticTerm, ArithmeticTerm),
DefaultCallNumberEqual(ArithmeticTerm, ArithmeticTerm),
DefaultExecuteNumberEqual(ArithmeticTerm, ArithmeticTerm),
CallIsAtom(RegType),
ExecuteIsAtom(RegType),
CallIsAtomic(RegType),
ExecuteIsAtomic(RegType),
CallIsCompound(RegType),
ExecuteIsCompound(RegType),
CallIsInteger(RegType),
ExecuteIsInteger(RegType),
CallIsNumber(RegType),
ExecuteIsNumber(RegType),
CallIsRational(RegType),
ExecuteIsRational(RegType),
CallIsFloat(RegType),
ExecuteIsFloat(RegType),
CallIsNonVar(RegType),
ExecuteIsNonVar(RegType),
CallIsVar(RegType),
ExecuteIsVar(RegType),
CallNamed(usize, Atom, CodeIndex),
ExecuteNamed(usize, Atom, CodeIndex),
DefaultCallNamed(usize, Atom, CodeIndex),
DefaultExecuteNamed(usize, Atom, CodeIndex),
CallAtomChars,
ExecuteAtomChars,
CallAtomCodes,
ExecuteAtomCodes,
CallAtomLength,
ExecuteAtomLength,
CallBindFromRegister,
ExecuteBindFromRegister,
CallContinuation,
ExecuteContinuation,
CallCharCode,
ExecuteCharCode,
CallCharType,
ExecuteCharType,
CallCharsToNumber,
ExecuteCharsToNumber,
CallCodesToNumber,
ExecuteCodesToNumber,
CallCopyTermWithoutAttrVars,
ExecuteCopyTermWithoutAttrVars,
CallCheckCutPoint,
ExecuteCheckCutPoint,
CallClose,
ExecuteClose,
CallCopyToLiftedHeap,
ExecuteCopyToLiftedHeap,
CallCreatePartialString,
ExecuteCreatePartialString,
CallCurrentHostname,
ExecuteCurrentHostname,
CallCurrentInput,
ExecuteCurrentInput,
CallCurrentOutput,
ExecuteCurrentOutput,
CallDirectoryFiles,
ExecuteDirectoryFiles,
CallFileSize,
ExecuteFileSize,
CallFileExists,
ExecuteFileExists,
CallDirectoryExists,
ExecuteDirectoryExists,
CallDirectorySeparator,
ExecuteDirectorySeparator,
CallMakeDirectory,
ExecuteMakeDirectory,
CallMakeDirectoryPath,
ExecuteMakeDirectoryPath,
CallDeleteFile,
ExecuteDeleteFile,
CallRenameFile,
ExecuteRenameFile,
CallFileCopy,
ExecuteFileCopy,
CallWorkingDirectory,
ExecuteWorkingDirectory,
CallDeleteDirectory,
ExecuteDeleteDirectory,
CallPathCanonical,
ExecutePathCanonical,
CallFileTime,
ExecuteFileTime,
CallDynamicModuleResolution(usize),
ExecuteDynamicModuleResolution(usize),
CallPrepareCallClause(usize),
ExecutePrepareCallClause(usize),
CallFetchGlobalVar,
ExecuteFetchGlobalVar,
CallFirstStream,
ExecuteFirstStream,
CallFlushOutput,
ExecuteFlushOutput,
CallGetByte,
ExecuteGetByte,
CallGetChar,
ExecuteGetChar,
CallGetNChars,
ExecuteGetNChars,
CallGetCode,
ExecuteGetCode,
CallGetSingleChar,
ExecuteGetSingleChar,
CallTruncateIfNoLiftedHeapGrowthDiff,
ExecuteTruncateIfNoLiftedHeapGrowthDiff,
CallTruncateIfNoLiftedHeapGrowth,
ExecuteTruncateIfNoLiftedHeapGrowth,
CallGetAttributedVariableList,
ExecuteGetAttributedVariableList,
CallGetAttrVarQueueDelimiter,
ExecuteGetAttrVarQueueDelimiter,
CallGetAttrVarQueueBeyond,
ExecuteGetAttrVarQueueBeyond,
CallGetBValue,
ExecuteGetBValue,
CallGetContinuationChunk,
ExecuteGetContinuationChunk,
CallGetNextOpDBRef,
ExecuteGetNextOpDBRef,
CallLookupDBRef,
ExecuteLookupDBRef,
CallIsPartialString,
ExecuteIsPartialString,
CallHalt,
ExecuteHalt,
CallGetLiftedHeapFromOffset,
ExecuteGetLiftedHeapFromOffset,
CallGetLiftedHeapFromOffsetDiff,
ExecuteGetLiftedHeapFromOffsetDiff,
CallGetSCCCleaner,
ExecuteGetSCCCleaner,
CallHeadIsDynamic,
ExecuteHeadIsDynamic,
CallInstallSCCCleaner,
ExecuteInstallSCCCleaner,
CallInstallInferenceCounter,
ExecuteInstallInferenceCounter,
CallInferenceCount,
ExecuteInferenceCount,
CallLiftedHeapLength,
ExecuteLiftedHeapLength,
CallLoadLibraryAsStream,
ExecuteLoadLibraryAsStream,
CallModuleExists,
ExecuteModuleExists,
CallNextEP,
ExecuteNextEP,
CallNoSuchPredicate,
ExecuteNoSuchPredicate,
CallNumberToChars,
ExecuteNumberToChars,
CallNumberToCodes,
ExecuteNumberToCodes,
CallOpDeclaration,
ExecuteOpDeclaration,
CallOpen,
ExecuteOpen,
CallSetStreamOptions,
ExecuteSetStreamOptions,
CallNextStream,
ExecuteNextStream,
CallPartialStringTail,
ExecutePartialStringTail,
CallPeekByte,
ExecutePeekByte,
CallPeekChar,
ExecutePeekChar,
CallPeekCode,
ExecutePeekCode,
CallPointsToContinuationResetMarker,
ExecutePointsToContinuationResetMarker,
CallPutByte,
ExecutePutByte,
CallPutChar,
ExecutePutChar,
CallPutChars,
ExecutePutChars,
CallPutCode,
ExecutePutCode,
CallReadQueryTerm,
ExecuteReadQueryTerm,
CallReadTerm,
ExecuteReadTerm,
CallRedoAttrVarBinding,
ExecuteRedoAttrVarBinding,
CallRemoveCallPolicyCheck,
ExecuteRemoveCallPolicyCheck,
CallRemoveInferenceCounter,
ExecuteRemoveInferenceCounter,
CallResetContinuationMarker,
ExecuteResetContinuationMarker,
CallRestoreCutPolicy,
ExecuteRestoreCutPolicy,
CallSetCutPoint(RegType),
ExecuteSetCutPoint(RegType),
CallSetInput,
ExecuteSetInput,
CallSetOutput,
ExecuteSetOutput,
CallStoreBacktrackableGlobalVar,
ExecuteStoreBacktrackableGlobalVar,
CallStoreGlobalVar,
ExecuteStoreGlobalVar,
CallStreamProperty,
ExecuteStreamProperty,
CallSetStreamPosition,
ExecuteSetStreamPosition,
CallInferenceLevel,
ExecuteInferenceLevel,
CallCleanUpBlock,
ExecuteCleanUpBlock,
CallFail,
ExecuteFail,
CallGetBall,
ExecuteGetBall,
CallGetCurrentBlock,
ExecuteGetCurrentBlock,
CallGetCurrentSCCBlock,
ExecuteGetCurrentSCCBlock,
CallGetCutPoint,
ExecuteGetCutPoint,
CallGetDoubleQuotes,
ExecuteGetDoubleQuotes,
CallGetUnknown,
ExecuteGetUnknown,
CallInstallNewBlock,
ExecuteInstallNewBlock,
CallMaybe,
ExecuteMaybe,
CallCurrentTime,
ExecuteCurrentTime,
CallQuotedToken,
ExecuteQuotedToken,
CallReadFromChars,
ExecuteReadFromChars,
CallReadTermFromChars,
ExecuteReadTermFromChars,
CallResetBlock,
ExecuteResetBlock,
CallResetSCCBlock,
ExecuteResetSCCBlock,
CallReturnFromVerifyAttr,
ExecuteReturnFromVerifyAttr,
CallSetBall,
ExecuteSetBall,
CallPushBallStack,
ExecutePushBallStack,
CallPopBallStack,
ExecutePopBallStack,
CallPopFromBallStack,
ExecutePopFromBallStack,
CallSetCutPointByDefault(RegType),
ExecuteSetCutPointByDefault(RegType),
CallSetDoubleQuotes,
ExecuteSetDoubleQuotes,
CallSetUnknown,
ExecuteSetUnknown,
CallSetSeed,
ExecuteSetSeed,
CallSkipMaxList,
ExecuteSkipMaxList,
CallSleep,
ExecuteSleep,
CallSocketClientOpen,
ExecuteSocketClientOpen,
CallSocketServerOpen,
ExecuteSocketServerOpen,
CallSocketServerAccept,
ExecuteSocketServerAccept,
CallSocketServerClose,
ExecuteSocketServerClose,
CallTLSAcceptClient,
ExecuteTLSAcceptClient,
CallTLSClientConnect,
ExecuteTLSClientConnect,
CallSucceed,
ExecuteSucceed,
CallTermAttributedVariables,
ExecuteTermAttributedVariables,
CallTermVariables,
ExecuteTermVariables,
CallTermVariablesUnderMaxDepth,
ExecuteTermVariablesUnderMaxDepth,
CallTruncateLiftedHeapTo,
ExecuteTruncateLiftedHeapTo,
CallUnifyWithOccursCheck,
ExecuteUnifyWithOccursCheck,
CallUnwindEnvironments,
ExecuteUnwindEnvironments,
CallUnwindStack,
ExecuteUnwindStack,
CallWAMInstructions,
ExecuteWAMInstructions,
CallInlinedInstructions,
ExecuteInlinedInstructions,
CallWriteTerm,
ExecuteWriteTerm,
CallWriteTermToChars,
ExecuteWriteTermToChars,
CallScryerPrologVersion,
ExecuteScryerPrologVersion,
CallCryptoRandomByte,
ExecuteCryptoRandomByte,
CallCryptoDataHash,
ExecuteCryptoDataHash,
CallCryptoHMAC,
ExecuteCryptoHMAC,
CallCryptoDataHKDF,
ExecuteCryptoDataHKDF,
CallCryptoPasswordHash,
ExecuteCryptoPasswordHash,
CallCryptoCurveScalarMult,
ExecuteCryptoCurveScalarMult,
CallCurve25519ScalarMult,
ExecuteCurve25519ScalarMult,
CallCryptoDataEncrypt,
ExecuteCryptoDataEncrypt,
CallCryptoDataDecrypt,
ExecuteCryptoDataDecrypt,
CallEd25519SignRaw,
ExecuteEd25519SignRaw,
CallEd25519VerifyRaw,
ExecuteEd25519VerifyRaw,
CallEd25519SeedToPublicKey,
ExecuteEd25519SeedToPublicKey,
CallFirstNonOctet,
ExecuteFirstNonOctet,
CallLoadHTML,
ExecuteLoadHTML,
CallLoadXML,
ExecuteLoadXML,
CallGetEnv,
ExecuteGetEnv,
CallSetEnv,
ExecuteSetEnv,
CallUnsetEnv,
ExecuteUnsetEnv,
CallShell,
ExecuteShell,
CallPID,
ExecutePID,
CallCharsBase64,
ExecuteCharsBase64,
CallDevourWhitespace,
ExecuteDevourWhitespace,
CallIsSTOEnabled,
ExecuteIsSTOEnabled,
CallSetSTOAsUnify,
ExecuteSetSTOAsUnify,
CallSetNSTOAsUnify,
ExecuteSetNSTOAsUnify,
CallSetSTOWithErrorAsUnify,
ExecuteSetSTOWithErrorAsUnify,
CallHomeDirectory,
ExecuteHomeDirectory,
CallDebugHook,
ExecuteDebugHook,
CallPopCount,
ExecutePopCount,
CallCpuNow,
ExecuteCpuNow,
CallDeterministicLengthRundown,
ExecuteDeterministicLengthRundown,
CallHttpOpen,
ExecuteHttpOpen,
CallHttpListen,
ExecuteHttpListen,
CallHttpAccept,
ExecuteHttpAccept,
CallHttpAnswer,
ExecuteHttpAnswer,
CallLoadForeignLib,
ExecuteLoadForeignLib,
CallForeignCall,
ExecuteForeignCall,
CallDefineForeignStruct,
ExecuteDefineForeignStruct,
CallJsEval,
ExecuteJsEval,
CallPredicateDefined,
ExecutePredicateDefined,
CallStripModule,
ExecuteStripModule,
CallCompileInlineOrExpandedGoal,
ExecuteCompileInlineOrExpandedGoal,
CallFastCallN(usize),
ExecuteFastCallN(usize),
CallIsExpandedOrInlined,
ExecuteIsExpandedOrInlined,
CallGetClauseP,
ExecuteGetClauseP,
CallInvokeClauseAtP,
ExecuteInvokeClauseAtP,
CallGetFromAttributedVarList,
ExecuteGetFromAttributedVarList,
CallPutToAttributedVarList,
ExecutePutToAttributedVarList,
CallDeleteFromAttributedVarList,
ExecuteDeleteFromAttributedVarList,
CallDeleteAllAttributesFromVar,
ExecuteDeleteAllAttributesFromVar,
CallUnattributedVar,
ExecuteUnattributedVar,
CallGetDBRefs,
ExecuteGetDBRefs,
CallKeySortWithConstantVarOrdering,
ExecuteKeySortWithConstantVarOrdering,
CallInferenceLimitExceeded,
ExecuteInferenceLimitExceeded,
CallArgv,
ExecuteArgv,
CallAddDiscontiguousPredicate,
ExecuteAddDiscontiguousPredicate,
CallAddDynamicPredicate,
ExecuteAddDynamicPredicate,
CallAddMultifilePredicate,
ExecuteAddMultifilePredicate,
CallAddGoalExpansionClause,
ExecuteAddGoalExpansionClause,
CallAddTermExpansionClause,
ExecuteAddTermExpansionClause,
CallAddInSituFilenameModule,
ExecuteAddInSituFilenameModule,
CallClauseToEvacuable,
ExecuteClauseToEvacuable,
CallScopedClauseToEvacuable,
ExecuteScopedClauseToEvacuable,
CallConcludeLoad,
ExecuteConcludeLoad,
CallDeclareModule,
ExecuteDeclareModule,
CallLoadCompiledLibrary,
ExecuteLoadCompiledLibrary,
CallLoadContextSource,
ExecuteLoadContextSource,
CallLoadContextFile,
ExecuteLoadContextFile,
CallLoadContextDirectory,
ExecuteLoadContextDirectory,
CallLoadContextModule,
ExecuteLoadContextModule,
CallLoadContextStream,
ExecuteLoadContextStream,
CallPopLoadContext,
ExecutePopLoadContext,
CallPopLoadStatePayload,
ExecutePopLoadStatePayload,
CallPushLoadStatePayload,
ExecutePushLoadStatePayload,
CallPushLoadContext,
ExecutePushLoadContext,
CallUseModule,
ExecuteUseModule,
CallBuiltInProperty,
ExecuteBuiltInProperty,
CallMetaPredicateProperty,
ExecuteMetaPredicateProperty,
CallMultifileProperty,
ExecuteMultifileProperty,
CallDiscontiguousProperty,
ExecuteDiscontiguousProperty,
CallDynamicProperty,
ExecuteDynamicProperty,
CallAbolishClause,
ExecuteAbolishClause,
CallAsserta,
ExecuteAsserta,
CallAssertz,
ExecuteAssertz,
CallRetract,
ExecuteRetract,
CallIsConsistentWithTermQueue,
ExecuteIsConsistentWithTermQueue,
CallFlushTermQueue,
ExecuteFlushTermQueue,
CallRemoveModuleExports,
ExecuteRemoveModuleExports,
CallAddNonCountedBacktracking,
ExecuteAddNonCountedBacktracking,
}
Variants§
GetConstant(Level, HeapCellValue, RegType)
GetList(Level, RegType)
GetPartialString(Level, Atom, RegType, bool)
GetStructure(Level, Atom, usize, RegType)
GetVariable(RegType, usize)
GetValue(RegType, usize)
UnifyConstant(HeapCellValue)
UnifyLocalValue(RegType)
UnifyVariable(RegType)
UnifyValue(RegType)
UnifyVoid(usize)
PutConstant(Level, HeapCellValue, RegType)
PutList(Level, RegType)
PutPartialString(Level, Atom, RegType, bool)
PutStructure(Atom, usize, RegType)
PutUnsafeValue(usize, usize)
PutValue(RegType, usize)
PutVariable(RegType, usize)
SetConstant(HeapCellValue)
SetLocalValue(RegType)
SetVariable(RegType)
SetValue(RegType)
SetVoid(usize)
Cut(RegType)
CutPrev(RegType)
GetLevel(RegType)
GetPrevLevel(RegType)
GetCutPoint(RegType)
NeckCut
DynamicElse(usize, Death, NextOrFail)
DynamicInternalElse(usize, Death, NextOrFail)
DefaultRetryMeElse(usize)
DefaultTrustMe(usize)
RetryMeElse(usize)
TrustMe(usize)
TryMeElse(usize)
Add(ArithmeticTerm, ArithmeticTerm, usize)
Sub(ArithmeticTerm, ArithmeticTerm, usize)
Mul(ArithmeticTerm, ArithmeticTerm, usize)
Pow(ArithmeticTerm, ArithmeticTerm, usize)
IntPow(ArithmeticTerm, ArithmeticTerm, usize)
IDiv(ArithmeticTerm, ArithmeticTerm, usize)
Max(ArithmeticTerm, ArithmeticTerm, usize)
Min(ArithmeticTerm, ArithmeticTerm, usize)
IntFloorDiv(ArithmeticTerm, ArithmeticTerm, usize)
RDiv(ArithmeticTerm, ArithmeticTerm, usize)
Div(ArithmeticTerm, ArithmeticTerm, usize)
Shl(ArithmeticTerm, ArithmeticTerm, usize)
Shr(ArithmeticTerm, ArithmeticTerm, usize)
Xor(ArithmeticTerm, ArithmeticTerm, usize)
And(ArithmeticTerm, ArithmeticTerm, usize)
Or(ArithmeticTerm, ArithmeticTerm, usize)
Mod(ArithmeticTerm, ArithmeticTerm, usize)
Rem(ArithmeticTerm, ArithmeticTerm, usize)
Gcd(ArithmeticTerm, ArithmeticTerm, usize)
Sign(ArithmeticTerm, usize)
Cos(ArithmeticTerm, usize)
Sin(ArithmeticTerm, usize)
Tan(ArithmeticTerm, usize)
Log(ArithmeticTerm, usize)
Exp(ArithmeticTerm, usize)
ACos(ArithmeticTerm, usize)
ASin(ArithmeticTerm, usize)
ATan(ArithmeticTerm, usize)
ATan2(ArithmeticTerm, ArithmeticTerm, usize)
Sqrt(ArithmeticTerm, usize)
Abs(ArithmeticTerm, usize)
Float(ArithmeticTerm, usize)
Truncate(ArithmeticTerm, usize)
Round(ArithmeticTerm, usize)
Ceiling(ArithmeticTerm, usize)
Floor(ArithmeticTerm, usize)
FloatFractionalPart(ArithmeticTerm, usize)
FloatIntegerPart(ArithmeticTerm, usize)
Neg(ArithmeticTerm, usize)
Plus(ArithmeticTerm, usize)
BitwiseComplement(ArithmeticTerm, usize)
Allocate(usize)
Deallocate
JmpByCall(usize)
RevJmpBy(usize)
Proceed
IndexingCode(Vec<IndexingLine>)
BreakFromDispatchLoop
InstallVerifyAttr
VerifyAttrInterrupt(usize)
CallAcyclicTerm
ExecuteAcyclicTerm
DefaultCallAcyclicTerm
DefaultExecuteAcyclicTerm
CallArg
ExecuteArg
DefaultCallArg
DefaultExecuteArg
CallCompare
ExecuteCompare
DefaultCallCompare
DefaultExecuteCompare
CallTermLessThan
ExecuteTermLessThan
DefaultCallTermLessThan
DefaultExecuteTermLessThan
CallTermLessThanOrEqual
ExecuteTermLessThanOrEqual
DefaultCallTermLessThanOrEqual
DefaultExecuteTermLessThanOrEqual
CallTermGreaterThanOrEqual
ExecuteTermGreaterThanOrEqual
DefaultCallTermGreaterThanOrEqual
DefaultExecuteTermGreaterThanOrEqual
CallTermGreaterThan
ExecuteTermGreaterThan
DefaultCallTermGreaterThan
DefaultExecuteTermGreaterThan
CallTermEqual
ExecuteTermEqual
DefaultCallTermEqual
DefaultExecuteTermEqual
CallTermNotEqual
ExecuteTermNotEqual
DefaultCallTermNotEqual
DefaultExecuteTermNotEqual
CallCopyTerm
ExecuteCopyTerm
DefaultCallCopyTerm
DefaultExecuteCopyTerm
CallFunctor
ExecuteFunctor
DefaultCallFunctor
DefaultExecuteFunctor
CallGround
ExecuteGround
DefaultCallGround
DefaultExecuteGround
CallIs(RegType, ArithmeticTerm)
ExecuteIs(RegType, ArithmeticTerm)
DefaultCallIs(RegType, ArithmeticTerm)
DefaultExecuteIs(RegType, ArithmeticTerm)
CallGetNumber(ArithmeticTerm)
ExecuteGetNumber(ArithmeticTerm)
DefaultCallGetNumber(ArithmeticTerm)
DefaultExecuteGetNumber(ArithmeticTerm)
CallKeySort
ExecuteKeySort
DefaultCallKeySort
DefaultExecuteKeySort
CallSort
ExecuteSort
DefaultCallSort
DefaultExecuteSort
CallN(usize)
ExecuteN(usize)
DefaultCallN(usize)
DefaultExecuteN(usize)
CallNumberGreaterThan(ArithmeticTerm, ArithmeticTerm)
ExecuteNumberGreaterThan(ArithmeticTerm, ArithmeticTerm)
DefaultCallNumberGreaterThan(ArithmeticTerm, ArithmeticTerm)
DefaultExecuteNumberGreaterThan(ArithmeticTerm, ArithmeticTerm)
CallNumberLessThan(ArithmeticTerm, ArithmeticTerm)
ExecuteNumberLessThan(ArithmeticTerm, ArithmeticTerm)
DefaultCallNumberLessThan(ArithmeticTerm, ArithmeticTerm)
DefaultExecuteNumberLessThan(ArithmeticTerm, ArithmeticTerm)
CallNumberGreaterThanOrEqual(ArithmeticTerm, ArithmeticTerm)
ExecuteNumberGreaterThanOrEqual(ArithmeticTerm, ArithmeticTerm)
DefaultCallNumberGreaterThanOrEqual(ArithmeticTerm, ArithmeticTerm)
DefaultExecuteNumberGreaterThanOrEqual(ArithmeticTerm, ArithmeticTerm)
CallNumberLessThanOrEqual(ArithmeticTerm, ArithmeticTerm)
ExecuteNumberLessThanOrEqual(ArithmeticTerm, ArithmeticTerm)
DefaultCallNumberLessThanOrEqual(ArithmeticTerm, ArithmeticTerm)
DefaultExecuteNumberLessThanOrEqual(ArithmeticTerm, ArithmeticTerm)
CallNumberNotEqual(ArithmeticTerm, ArithmeticTerm)
ExecuteNumberNotEqual(ArithmeticTerm, ArithmeticTerm)
DefaultCallNumberNotEqual(ArithmeticTerm, ArithmeticTerm)
DefaultExecuteNumberNotEqual(ArithmeticTerm, ArithmeticTerm)
CallNumberEqual(ArithmeticTerm, ArithmeticTerm)
ExecuteNumberEqual(ArithmeticTerm, ArithmeticTerm)
DefaultCallNumberEqual(ArithmeticTerm, ArithmeticTerm)
DefaultExecuteNumberEqual(ArithmeticTerm, ArithmeticTerm)
CallIsAtom(RegType)
ExecuteIsAtom(RegType)
CallIsAtomic(RegType)
ExecuteIsAtomic(RegType)
CallIsCompound(RegType)
ExecuteIsCompound(RegType)
CallIsInteger(RegType)
ExecuteIsInteger(RegType)
CallIsNumber(RegType)
ExecuteIsNumber(RegType)
CallIsRational(RegType)
ExecuteIsRational(RegType)
CallIsFloat(RegType)
ExecuteIsFloat(RegType)
CallIsNonVar(RegType)
ExecuteIsNonVar(RegType)
CallIsVar(RegType)
ExecuteIsVar(RegType)
CallNamed(usize, Atom, CodeIndex)
ExecuteNamed(usize, Atom, CodeIndex)
DefaultCallNamed(usize, Atom, CodeIndex)
DefaultExecuteNamed(usize, Atom, CodeIndex)
CallAtomChars
ExecuteAtomChars
CallAtomCodes
ExecuteAtomCodes
CallAtomLength
ExecuteAtomLength
CallBindFromRegister
ExecuteBindFromRegister
CallContinuation
ExecuteContinuation
CallCharCode
ExecuteCharCode
CallCharType
ExecuteCharType
CallCharsToNumber
ExecuteCharsToNumber
CallCodesToNumber
ExecuteCodesToNumber
CallCopyTermWithoutAttrVars
ExecuteCopyTermWithoutAttrVars
CallCheckCutPoint
ExecuteCheckCutPoint
CallClose
ExecuteClose
CallCopyToLiftedHeap
ExecuteCopyToLiftedHeap
CallCreatePartialString
ExecuteCreatePartialString
CallCurrentHostname
ExecuteCurrentHostname
CallCurrentInput
ExecuteCurrentInput
CallCurrentOutput
ExecuteCurrentOutput
CallDirectoryFiles
ExecuteDirectoryFiles
CallFileSize
ExecuteFileSize
CallFileExists
ExecuteFileExists
CallDirectoryExists
ExecuteDirectoryExists
CallDirectorySeparator
ExecuteDirectorySeparator
CallMakeDirectory
ExecuteMakeDirectory
CallMakeDirectoryPath
ExecuteMakeDirectoryPath
CallDeleteFile
ExecuteDeleteFile
CallRenameFile
ExecuteRenameFile
CallFileCopy
ExecuteFileCopy
CallWorkingDirectory
ExecuteWorkingDirectory
CallDeleteDirectory
ExecuteDeleteDirectory
CallPathCanonical
ExecutePathCanonical
CallFileTime
ExecuteFileTime
CallDynamicModuleResolution(usize)
ExecuteDynamicModuleResolution(usize)
CallPrepareCallClause(usize)
ExecutePrepareCallClause(usize)
CallFetchGlobalVar
ExecuteFetchGlobalVar
CallFirstStream
ExecuteFirstStream
CallFlushOutput
ExecuteFlushOutput
CallGetByte
ExecuteGetByte
CallGetChar
ExecuteGetChar
CallGetNChars
ExecuteGetNChars
CallGetCode
ExecuteGetCode
CallGetSingleChar
ExecuteGetSingleChar
CallTruncateIfNoLiftedHeapGrowthDiff
ExecuteTruncateIfNoLiftedHeapGrowthDiff
CallTruncateIfNoLiftedHeapGrowth
ExecuteTruncateIfNoLiftedHeapGrowth
CallGetAttributedVariableList
ExecuteGetAttributedVariableList
CallGetAttrVarQueueDelimiter
ExecuteGetAttrVarQueueDelimiter
CallGetAttrVarQueueBeyond
ExecuteGetAttrVarQueueBeyond
CallGetBValue
ExecuteGetBValue
CallGetContinuationChunk
ExecuteGetContinuationChunk
CallGetNextOpDBRef
ExecuteGetNextOpDBRef
CallLookupDBRef
ExecuteLookupDBRef
CallIsPartialString
ExecuteIsPartialString
CallHalt
ExecuteHalt
CallGetLiftedHeapFromOffset
ExecuteGetLiftedHeapFromOffset
CallGetLiftedHeapFromOffsetDiff
ExecuteGetLiftedHeapFromOffsetDiff
CallGetSCCCleaner
ExecuteGetSCCCleaner
CallHeadIsDynamic
ExecuteHeadIsDynamic
CallInstallSCCCleaner
ExecuteInstallSCCCleaner
CallInstallInferenceCounter
ExecuteInstallInferenceCounter
CallInferenceCount
ExecuteInferenceCount
CallLiftedHeapLength
ExecuteLiftedHeapLength
CallLoadLibraryAsStream
ExecuteLoadLibraryAsStream
CallModuleExists
ExecuteModuleExists
CallNextEP
ExecuteNextEP
CallNoSuchPredicate
ExecuteNoSuchPredicate
CallNumberToChars
ExecuteNumberToChars
CallNumberToCodes
ExecuteNumberToCodes
CallOpDeclaration
ExecuteOpDeclaration
CallOpen
ExecuteOpen
CallSetStreamOptions
ExecuteSetStreamOptions
CallNextStream
ExecuteNextStream
CallPartialStringTail
ExecutePartialStringTail
CallPeekByte
ExecutePeekByte
CallPeekChar
ExecutePeekChar
CallPeekCode
ExecutePeekCode
CallPointsToContinuationResetMarker
ExecutePointsToContinuationResetMarker
CallPutByte
ExecutePutByte
CallPutChar
ExecutePutChar
CallPutChars
ExecutePutChars
CallPutCode
ExecutePutCode
CallReadQueryTerm
ExecuteReadQueryTerm
CallReadTerm
ExecuteReadTerm
CallRedoAttrVarBinding
ExecuteRedoAttrVarBinding
CallRemoveCallPolicyCheck
ExecuteRemoveCallPolicyCheck
CallRemoveInferenceCounter
ExecuteRemoveInferenceCounter
CallResetContinuationMarker
ExecuteResetContinuationMarker
CallRestoreCutPolicy
ExecuteRestoreCutPolicy
CallSetCutPoint(RegType)
ExecuteSetCutPoint(RegType)
CallSetInput
ExecuteSetInput
CallSetOutput
ExecuteSetOutput
CallStoreBacktrackableGlobalVar
ExecuteStoreBacktrackableGlobalVar
CallStoreGlobalVar
ExecuteStoreGlobalVar
CallStreamProperty
ExecuteStreamProperty
CallSetStreamPosition
ExecuteSetStreamPosition
CallInferenceLevel
ExecuteInferenceLevel
CallCleanUpBlock
ExecuteCleanUpBlock
CallFail
ExecuteFail
CallGetBall
ExecuteGetBall
CallGetCurrentBlock
ExecuteGetCurrentBlock
CallGetCurrentSCCBlock
ExecuteGetCurrentSCCBlock
CallGetCutPoint
ExecuteGetCutPoint
CallGetDoubleQuotes
ExecuteGetDoubleQuotes
CallGetUnknown
ExecuteGetUnknown
CallInstallNewBlock
ExecuteInstallNewBlock
CallMaybe
ExecuteMaybe
CallCurrentTime
ExecuteCurrentTime
CallQuotedToken
ExecuteQuotedToken
CallReadFromChars
ExecuteReadFromChars
CallReadTermFromChars
ExecuteReadTermFromChars
CallResetBlock
ExecuteResetBlock
CallResetSCCBlock
ExecuteResetSCCBlock
CallReturnFromVerifyAttr
ExecuteReturnFromVerifyAttr
CallSetBall
ExecuteSetBall
CallPushBallStack
ExecutePushBallStack
CallPopBallStack
ExecutePopBallStack
CallPopFromBallStack
ExecutePopFromBallStack
CallSetCutPointByDefault(RegType)
ExecuteSetCutPointByDefault(RegType)
CallSetDoubleQuotes
ExecuteSetDoubleQuotes
CallSetUnknown
ExecuteSetUnknown
CallSetSeed
ExecuteSetSeed
CallSkipMaxList
ExecuteSkipMaxList
CallSleep
ExecuteSleep
CallSocketClientOpen
ExecuteSocketClientOpen
CallSocketServerOpen
ExecuteSocketServerOpen
CallSocketServerAccept
ExecuteSocketServerAccept
CallSocketServerClose
ExecuteSocketServerClose
CallTLSAcceptClient
ExecuteTLSAcceptClient
CallTLSClientConnect
ExecuteTLSClientConnect
CallSucceed
ExecuteSucceed
CallTermAttributedVariables
ExecuteTermAttributedVariables
CallTermVariables
ExecuteTermVariables
CallTermVariablesUnderMaxDepth
ExecuteTermVariablesUnderMaxDepth
CallTruncateLiftedHeapTo
ExecuteTruncateLiftedHeapTo
CallUnifyWithOccursCheck
ExecuteUnifyWithOccursCheck
CallUnwindEnvironments
ExecuteUnwindEnvironments
CallUnwindStack
ExecuteUnwindStack
CallWAMInstructions
ExecuteWAMInstructions
CallInlinedInstructions
ExecuteInlinedInstructions
CallWriteTerm
ExecuteWriteTerm
CallWriteTermToChars
ExecuteWriteTermToChars
CallScryerPrologVersion
ExecuteScryerPrologVersion
CallCryptoRandomByte
ExecuteCryptoRandomByte
CallCryptoDataHash
ExecuteCryptoDataHash
CallCryptoHMAC
ExecuteCryptoHMAC
CallCryptoDataHKDF
ExecuteCryptoDataHKDF
CallCryptoPasswordHash
ExecuteCryptoPasswordHash
CallCryptoCurveScalarMult
ExecuteCryptoCurveScalarMult
CallCurve25519ScalarMult
ExecuteCurve25519ScalarMult
CallCryptoDataEncrypt
ExecuteCryptoDataEncrypt
CallCryptoDataDecrypt
ExecuteCryptoDataDecrypt
CallEd25519SignRaw
ExecuteEd25519SignRaw
CallEd25519VerifyRaw
ExecuteEd25519VerifyRaw
CallEd25519SeedToPublicKey
ExecuteEd25519SeedToPublicKey
CallFirstNonOctet
ExecuteFirstNonOctet
CallLoadHTML
ExecuteLoadHTML
CallLoadXML
ExecuteLoadXML
CallGetEnv
ExecuteGetEnv
CallSetEnv
ExecuteSetEnv
CallUnsetEnv
ExecuteUnsetEnv
CallShell
ExecuteShell
CallPID
ExecutePID
CallCharsBase64
ExecuteCharsBase64
CallDevourWhitespace
ExecuteDevourWhitespace
CallIsSTOEnabled
ExecuteIsSTOEnabled
CallSetSTOAsUnify
ExecuteSetSTOAsUnify
CallSetNSTOAsUnify
ExecuteSetNSTOAsUnify
CallSetSTOWithErrorAsUnify
ExecuteSetSTOWithErrorAsUnify
CallHomeDirectory
ExecuteHomeDirectory
CallDebugHook
ExecuteDebugHook
CallPopCount
ExecutePopCount
CallCpuNow
ExecuteCpuNow
CallDeterministicLengthRundown
ExecuteDeterministicLengthRundown
CallHttpOpen
ExecuteHttpOpen
CallHttpListen
ExecuteHttpListen
CallHttpAccept
ExecuteHttpAccept
CallHttpAnswer
ExecuteHttpAnswer
CallLoadForeignLib
ExecuteLoadForeignLib
CallForeignCall
ExecuteForeignCall
CallDefineForeignStruct
ExecuteDefineForeignStruct
CallJsEval
ExecuteJsEval
CallPredicateDefined
ExecutePredicateDefined
CallStripModule
ExecuteStripModule
CallCompileInlineOrExpandedGoal
ExecuteCompileInlineOrExpandedGoal
CallFastCallN(usize)
ExecuteFastCallN(usize)
CallIsExpandedOrInlined
ExecuteIsExpandedOrInlined
CallGetClauseP
ExecuteGetClauseP
CallInvokeClauseAtP
ExecuteInvokeClauseAtP
CallGetFromAttributedVarList
ExecuteGetFromAttributedVarList
CallPutToAttributedVarList
ExecutePutToAttributedVarList
CallDeleteFromAttributedVarList
ExecuteDeleteFromAttributedVarList
CallDeleteAllAttributesFromVar
ExecuteDeleteAllAttributesFromVar
CallUnattributedVar
ExecuteUnattributedVar
CallGetDBRefs
ExecuteGetDBRefs
CallKeySortWithConstantVarOrdering
ExecuteKeySortWithConstantVarOrdering
CallInferenceLimitExceeded
ExecuteInferenceLimitExceeded
CallArgv
ExecuteArgv
CallAddDiscontiguousPredicate
ExecuteAddDiscontiguousPredicate
CallAddDynamicPredicate
ExecuteAddDynamicPredicate
CallAddMultifilePredicate
ExecuteAddMultifilePredicate
CallAddGoalExpansionClause
ExecuteAddGoalExpansionClause
CallAddTermExpansionClause
ExecuteAddTermExpansionClause
CallAddInSituFilenameModule
ExecuteAddInSituFilenameModule
CallClauseToEvacuable
ExecuteClauseToEvacuable
CallScopedClauseToEvacuable
ExecuteScopedClauseToEvacuable
CallConcludeLoad
ExecuteConcludeLoad
CallDeclareModule
ExecuteDeclareModule
CallLoadCompiledLibrary
ExecuteLoadCompiledLibrary
CallLoadContextSource
ExecuteLoadContextSource
CallLoadContextFile
ExecuteLoadContextFile
CallLoadContextDirectory
ExecuteLoadContextDirectory
CallLoadContextModule
ExecuteLoadContextModule
CallLoadContextStream
ExecuteLoadContextStream
CallPopLoadContext
ExecutePopLoadContext
CallPopLoadStatePayload
ExecutePopLoadStatePayload
CallPushLoadStatePayload
ExecutePushLoadStatePayload
CallPushLoadContext
ExecutePushLoadContext
CallUseModule
ExecuteUseModule
CallBuiltInProperty
ExecuteBuiltInProperty
CallMetaPredicateProperty
ExecuteMetaPredicateProperty
CallMultifileProperty
ExecuteMultifileProperty
CallDiscontiguousProperty
ExecuteDiscontiguousProperty
CallDynamicProperty
ExecuteDynamicProperty
CallAbolishClause
ExecuteAbolishClause
CallAsserta
ExecuteAsserta
CallAssertz
ExecuteAssertz
CallRetract
ExecuteRetract
CallIsConsistentWithTermQueue
ExecuteIsConsistentWithTermQueue
CallFlushTermQueue
ExecuteFlushTermQueue
CallRemoveModuleExports
ExecuteRemoveModuleExports
CallAddNonCountedBacktracking
ExecuteAddNonCountedBacktracking
Implementations§
source§impl Instruction
impl Instruction
pub fn registers(&self) -> Vec<RegType>
pub fn to_indexing_line_mut(&mut self) -> Option<&mut Vec<IndexingLine>>
pub fn to_indexing_line(&self) -> Option<&Vec<IndexingLine>>
pub fn is_head_instr(&self) -> bool
pub fn enqueue_functors( &self, h: usize, arena: &mut Arena, functors: &mut Vec<MachineStub> )
source§impl Instruction
impl Instruction
pub fn to_name_and_arity(&self) -> (Atom, usize)
pub fn to_default(self) -> Instruction
pub fn to_execute(self) -> Instruction
pub fn is_execute(&self) -> bool
pub fn is_ctrl_instr(&self) -> bool
pub fn is_query_instr(&self) -> bool
Trait Implementations§
source§impl Clone for Instruction
impl Clone for Instruction
source§fn clone(&self) -> Instruction
fn clone(&self) -> Instruction
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreAuto Trait Implementations§
impl RefUnwindSafe for Instruction
impl !Send for Instruction
impl !Sync for Instruction
impl Unpin for Instruction
impl UnwindSafe for Instruction
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Conv for T
impl<T> Conv for T
§impl<T> FmtForward for T
impl<T> FmtForward for T
§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
Causes
self
to use its Binary
implementation when Debug
-formatted.§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
Causes
self
to use its Display
implementation when
Debug
-formatted.§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
Causes
self
to use its LowerExp
implementation when
Debug
-formatted.§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
Causes
self
to use its LowerHex
implementation when
Debug
-formatted.§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
Causes
self
to use its Octal
implementation when Debug
-formatted.§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
Causes
self
to use its Pointer
implementation when
Debug
-formatted.§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
Causes
self
to use its UpperExp
implementation when
Debug
-formatted.§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
Causes
self
to use its UpperHex
implementation when
Debug
-formatted.§fn fmt_list(self) -> FmtList<Self>where
&'a Self: for<'a> IntoIterator,
fn fmt_list(self) -> FmtList<Self>where
&'a Self: for<'a> IntoIterator,
Formats each item in a sequence. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
Pipes by value. This is generally the method you want to use. Read more
§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
Borrows
self
and passes that borrow into the pipe function. Read more§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
Mutably borrows
self
and passes that borrow into the pipe function. Read more§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R ) -> R
§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
Borrows
self
, then passes self.as_ref()
into the pipe function.§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
Mutably borrows
self
, then passes self.as_mut()
into the pipe
function.§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
Borrows
self
, then passes self.deref()
into the pipe function.§impl<T> Tap for T
impl<T> Tap for T
§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Immutable access to the
Borrow<B>
of a value. Read more§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
Mutable access to the
BorrowMut<B>
of a value. Read more§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
Immutable access to the
AsRef<R>
view of a value. Read more§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
Mutable access to the
AsMut<R>
view of a value. Read more§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Immutable access to the
Deref::Target
of a value. Read more§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Mutable access to the
Deref::Target
of a value. Read more§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
Calls
.tap()
only in debug builds, and is erased in release builds.§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
Calls
.tap_mut()
only in debug builds, and is erased in release
builds.§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
Calls
.tap_borrow()
only in debug builds, and is erased in release
builds.§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
Calls
.tap_borrow_mut()
only in debug builds, and is erased in release
builds.§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
Calls
.tap_ref()
only in debug builds, and is erased in release
builds.§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
Calls
.tap_ref_mut()
only in debug builds, and is erased in release
builds.§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
Calls
.tap_deref()
only in debug builds, and is erased in release
builds.