pub struct FloatTy;Implementations§
Trait Implementations§
source§impl FloatLikeTy for FloatTy
impl FloatLikeTy for FloatTy
source§impl PartialEq for FloatTy
impl PartialEq for FloatTy
source§impl Print for FloatTy
impl Print for FloatTy
fn print(&self, __ctx: &Context, __state: &mut PrintState) -> PrintResult<()>
source§impl RunVerifiers for FloatTy
impl RunVerifiers for FloatTy
fn run_verifiers(&self, ctx: &Context) -> VerifyResult<()>
source§impl Ty for FloatTy
impl Ty for FloatTy
impl Eq for FloatTy
impl StructuralPartialEq for FloatTy
Auto Trait Implementations§
impl Freeze for FloatTy
impl RefUnwindSafe for FloatTy
impl Send for FloatTy
impl Sync for FloatTy
impl Unpin for FloatTy
impl UnwindSafe for FloatTy
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> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.