pub enum SystemClauseType {
Show 196 variants
AtomChars,
AtomCodes,
AtomLength,
BindFromRegister,
CallContinuation,
CharCode,
CharType,
CharsToNumber,
CodesToNumber,
CopyTermWithoutAttrVars,
CheckCutPoint,
Close,
CopyToLiftedHeap,
CreatePartialString,
CurrentHostname,
CurrentInput,
CurrentOutput,
DirectoryFiles,
FileSize,
FileExists,
DirectoryExists,
DirectorySeparator,
MakeDirectory,
MakeDirectoryPath,
DeleteFile,
RenameFile,
FileCopy,
WorkingDirectory,
DeleteDirectory,
PathCanonical,
FileTime,
DynamicModuleResolution(usize),
PrepareCallClause(usize),
FetchGlobalVar,
FirstStream,
FlushOutput,
GetByte,
GetChar,
GetNChars,
GetCode,
GetSingleChar,
TruncateIfNoLiftedHeapGrowthDiff,
TruncateIfNoLiftedHeapGrowth,
GetAttributedVariableList,
GetAttrVarQueueDelimiter,
GetAttrVarQueueBeyond,
GetBValue,
GetContinuationChunk,
GetNextOpDBRef,
LookupDBRef,
IsPartialString,
Halt,
GetLiftedHeapFromOffset,
GetLiftedHeapFromOffsetDiff,
GetSCCCleaner,
HeadIsDynamic,
InstallSCCCleaner,
InstallInferenceCounter,
InferenceCount,
LiftedHeapLength,
LoadLibraryAsStream,
ModuleExists,
NextEP,
NoSuchPredicate,
NumberToChars,
NumberToCodes,
OpDeclaration,
Open,
SetStreamOptions,
NextStream,
PartialStringTail,
PeekByte,
PeekChar,
PeekCode,
PointsToContinuationResetMarker,
PutByte,
PutChar,
PutChars,
PutCode,
ReadQueryTerm,
ReadTerm,
RedoAttrVarBinding,
RemoveCallPolicyCheck,
RemoveInferenceCounter,
ResetContinuationMarker,
RestoreCutPolicy,
SetCutPoint(RegType),
SetInput,
SetOutput,
StoreBacktrackableGlobalVar,
StoreGlobalVar,
StreamProperty,
SetStreamPosition,
InferenceLevel,
CleanUpBlock,
Fail,
GetBall,
GetCurrentBlock,
GetCurrentSCCBlock,
GetCutPoint,
GetDoubleQuotes,
GetUnknown,
InstallNewBlock,
Maybe,
CurrentTime,
QuotedToken,
ReadFromChars,
ReadTermFromChars,
ResetBlock,
ResetSCCBlock,
ReturnFromVerifyAttr,
SetBall,
PushBallStack,
PopBallStack,
PopFromBallStack,
SetCutPointByDefault(RegType),
SetDoubleQuotes,
SetUnknown,
SetSeed,
SkipMaxList,
Sleep,
SocketClientOpen,
SocketServerOpen,
SocketServerAccept,
SocketServerClose,
TLSAcceptClient,
TLSClientConnect,
Succeed,
TermAttributedVariables,
TermVariables,
TermVariablesUnderMaxDepth,
TruncateLiftedHeapTo,
UnifyWithOccursCheck,
UnwindEnvironments,
UnwindStack,
WAMInstructions,
InlinedInstructions,
WriteTerm,
WriteTermToChars,
ScryerPrologVersion,
CryptoRandomByte,
CryptoDataHash,
CryptoHMAC,
CryptoDataHKDF,
CryptoPasswordHash,
CryptoCurveScalarMult,
Curve25519ScalarMult,
CryptoDataEncrypt,
CryptoDataDecrypt,
Ed25519SignRaw,
Ed25519VerifyRaw,
Ed25519SeedToPublicKey,
FirstNonOctet,
LoadHTML,
LoadXML,
GetEnv,
SetEnv,
UnsetEnv,
Shell,
PID,
CharsBase64,
DevourWhitespace,
IsSTOEnabled,
SetSTOAsUnify,
SetNSTOAsUnify,
SetSTOWithErrorAsUnify,
HomeDirectory,
DebugHook,
PopCount,
CpuNow,
DeterministicLengthRundown,
HttpOpen,
HttpListen,
HttpAccept,
HttpAnswer,
LoadForeignLib,
ForeignCall,
DefineForeignStruct,
JsEval,
PredicateDefined,
StripModule,
CompileInlineOrExpandedGoal,
FastCallN(usize),
IsExpandedOrInlined,
GetClauseP,
InvokeClauseAtP,
GetFromAttributedVarList,
PutToAttributedVarList,
DeleteFromAttributedVarList,
DeleteAllAttributesFromVar,
UnattributedVar,
GetDBRefs,
KeySortWithConstantVarOrdering,
InferenceLimitExceeded,
Argv,
REPL(REPLCodePtr),
}
Variants§
AtomChars
AtomCodes
AtomLength
BindFromRegister
CallContinuation
CharCode
CharType
CharsToNumber
CodesToNumber
CopyTermWithoutAttrVars
CheckCutPoint
Close
CopyToLiftedHeap
CreatePartialString
CurrentHostname
CurrentInput
CurrentOutput
DirectoryFiles
FileSize
FileExists
DirectoryExists
DirectorySeparator
MakeDirectory
MakeDirectoryPath
DeleteFile
RenameFile
FileCopy
WorkingDirectory
DeleteDirectory
PathCanonical
FileTime
DynamicModuleResolution(usize)
PrepareCallClause(usize)
FetchGlobalVar
FirstStream
FlushOutput
GetByte
GetChar
GetNChars
GetCode
GetSingleChar
TruncateIfNoLiftedHeapGrowthDiff
TruncateIfNoLiftedHeapGrowth
GetAttributedVariableList
GetAttrVarQueueDelimiter
GetAttrVarQueueBeyond
GetBValue
GetContinuationChunk
GetNextOpDBRef
LookupDBRef
IsPartialString
Halt
GetLiftedHeapFromOffset
GetLiftedHeapFromOffsetDiff
GetSCCCleaner
HeadIsDynamic
InstallSCCCleaner
InstallInferenceCounter
InferenceCount
LiftedHeapLength
LoadLibraryAsStream
ModuleExists
NextEP
NoSuchPredicate
NumberToChars
NumberToCodes
OpDeclaration
Open
SetStreamOptions
NextStream
PartialStringTail
PeekByte
PeekChar
PeekCode
PointsToContinuationResetMarker
PutByte
PutChar
PutChars
PutCode
ReadQueryTerm
ReadTerm
RedoAttrVarBinding
RemoveCallPolicyCheck
RemoveInferenceCounter
ResetContinuationMarker
RestoreCutPolicy
SetCutPoint(RegType)
SetInput
SetOutput
StoreBacktrackableGlobalVar
StoreGlobalVar
StreamProperty
SetStreamPosition
InferenceLevel
CleanUpBlock
Fail
GetBall
GetCurrentBlock
GetCurrentSCCBlock
GetCutPoint
GetDoubleQuotes
GetUnknown
InstallNewBlock
Maybe
CurrentTime
QuotedToken
ReadFromChars
ReadTermFromChars
ResetBlock
ResetSCCBlock
ReturnFromVerifyAttr
SetBall
PushBallStack
PopBallStack
PopFromBallStack
SetCutPointByDefault(RegType)
SetDoubleQuotes
SetUnknown
SetSeed
SkipMaxList
Sleep
SocketClientOpen
SocketServerOpen
SocketServerAccept
SocketServerClose
TLSAcceptClient
TLSClientConnect
Succeed
TermAttributedVariables
TermVariables
TermVariablesUnderMaxDepth
TruncateLiftedHeapTo
UnifyWithOccursCheck
UnwindEnvironments
UnwindStack
WAMInstructions
InlinedInstructions
WriteTerm
WriteTermToChars
ScryerPrologVersion
CryptoRandomByte
CryptoDataHash
CryptoHMAC
CryptoDataHKDF
CryptoPasswordHash
CryptoCurveScalarMult
Curve25519ScalarMult
CryptoDataEncrypt
CryptoDataDecrypt
Ed25519SignRaw
Ed25519VerifyRaw
Ed25519SeedToPublicKey
FirstNonOctet
LoadHTML
LoadXML
GetEnv
SetEnv
UnsetEnv
Shell
PID
CharsBase64
DevourWhitespace
IsSTOEnabled
SetSTOAsUnify
SetNSTOAsUnify
SetSTOWithErrorAsUnify
HomeDirectory
DebugHook
PopCount
CpuNow
DeterministicLengthRundown
HttpOpen
HttpListen
HttpAccept
HttpAnswer
LoadForeignLib
ForeignCall
DefineForeignStruct
JsEval
PredicateDefined
StripModule
CompileInlineOrExpandedGoal
FastCallN(usize)
IsExpandedOrInlined
GetClauseP
InvokeClauseAtP
GetFromAttributedVarList
PutToAttributedVarList
DeleteFromAttributedVarList
DeleteAllAttributesFromVar
UnattributedVar
GetDBRefs
KeySortWithConstantVarOrdering
InferenceLimitExceeded
Argv
REPL(REPLCodePtr)
Trait Implementations§
source§impl Clone for SystemClauseType
impl Clone for SystemClauseType
source§fn clone(&self) -> SystemClauseType
fn clone(&self) -> SystemClauseType
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 SystemClauseType
impl Send for SystemClauseType
impl Sync for SystemClauseType
impl Unpin for SystemClauseType
impl UnwindSafe for SystemClauseType
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.