pub struct LocyPredicateSurface;Expand description
Marker for the LocyPredicate surface. See NamedUniqueSurface.
Trait Implementations§
Source§impl Clone for LocyPredicateSurface
impl Clone for LocyPredicateSurface
Source§fn clone(&self) -> LocyPredicateSurface
fn clone(&self) -> LocyPredicateSurface
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for LocyPredicateSurface
Source§impl Debug for LocyPredicateSurface
impl Debug for LocyPredicateSurface
Source§impl NamedUniqueSurface for LocyPredicateSurface
impl NamedUniqueSurface for LocyPredicateSurface
Source§const KIND: SurfaceKind = SurfaceKind::LocyPredicate
const KIND: SurfaceKind = SurfaceKind::LocyPredicate
Surface discriminant for record keeping.
Source§type Sig = PredSignature
type Sig = PredSignature
The registered signature (e.g.
FnSignature, AggSignature); unit
when the surface carries no signature (e.g. LocyAggregate).Source§type Provider = dyn LocyPredicate
type Provider = dyn LocyPredicate
The trait-object provider type behind
Arc<dyn …>.Auto Trait Implementations§
impl Freeze for LocyPredicateSurface
impl RefUnwindSafe for LocyPredicateSurface
impl Send for LocyPredicateSurface
impl Sync for LocyPredicateSurface
impl Unpin for LocyPredicateSurface
impl UnsafeUnpin for LocyPredicateSurface
impl UnwindSafe for LocyPredicateSurface
Blanket Implementations§
impl<T> Allocation for T
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<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more