Trait IntoWithStorage 

pub trait IntoWithStorage<'st, T> {
    // Required method
    fn into_with_storage(self, st: &'st Storage) -> T;
}

Construct a STerm with the presence of Storage

Required Methods

fn into_with_storage(self, st: &'st Storage) -> T

Construct a STerm with the presence of Storage

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<'st, const M: usize> IntoWithStorage<'st, BitVec<'st, M>> for [bool; M]

fn into_with_storage(self, st: &'st Storage) -> BitVec<'st, M>

impl<'st, const M: usize> IntoWithStorage<'st, BitVec<'st, M>> for i64

fn into_with_storage(self, st: &'st Storage) -> BitVec<'st, M>

impl<'st> IntoWithStorage<'st, &'st Term<'st>> for Term<'st>

fn into_with_storage(self, st: &'st Storage) -> &'st Term<'st>

impl<'st> IntoWithStorage<'st, Bool<'st>> for bool

fn into_with_storage(self, st: &'st Storage) -> Bool<'st>

impl<'st> IntoWithStorage<'st, FloatingPoint<'st, 8, 24>> for f32

fn into_with_storage(self, st: &'st Storage) -> Float32<'st>

impl<'st> IntoWithStorage<'st, FloatingPoint<'st, 11, 53>> for f64

fn into_with_storage(self, st: &'st Storage) -> Float64<'st>

impl<'st> IntoWithStorage<'st, Int<'st>> for i8

fn into_with_storage(self, st: &'st Storage) -> Int<'st>

impl<'st> IntoWithStorage<'st, Int<'st>> for i16

fn into_with_storage(self, st: &'st Storage) -> Int<'st>

impl<'st> IntoWithStorage<'st, Int<'st>> for i32

fn into_with_storage(self, st: &'st Storage) -> Int<'st>

impl<'st> IntoWithStorage<'st, Int<'st>> for i64

fn into_with_storage(self, st: &'st Storage) -> Int<'st>

impl<'st> IntoWithStorage<'st, Int<'st>> for i128

fn into_with_storage(self, st: &'st Storage) -> Int<'st>

impl<'st> IntoWithStorage<'st, Int<'st>> for isize

fn into_with_storage(self, st: &'st Storage) -> Int<'st>

impl<'st> IntoWithStorage<'st, Int<'st>> for u8

fn into_with_storage(self, st: &'st Storage) -> Int<'st>

impl<'st> IntoWithStorage<'st, Int<'st>> for u16

fn into_with_storage(self, st: &'st Storage) -> Int<'st>

impl<'st> IntoWithStorage<'st, Int<'st>> for u32

fn into_with_storage(self, st: &'st Storage) -> Int<'st>

impl<'st> IntoWithStorage<'st, Int<'st>> for u64

fn into_with_storage(self, st: &'st Storage) -> Int<'st>

impl<'st> IntoWithStorage<'st, Int<'st>> for u128

fn into_with_storage(self, st: &'st Storage) -> Int<'st>

impl<'st> IntoWithStorage<'st, Int<'st>> for usize

fn into_with_storage(self, st: &'st Storage) -> Int<'st>

impl<'st> IntoWithStorage<'st, Real<'st>> for f64

fn into_with_storage(self, st: &'st Storage) -> Real<'st>

impl<'st> IntoWithStorage<'st, Real<'st>> for i64

fn into_with_storage(self, st: &'st Storage) -> Real<'st>

Implementors

impl<'st, T> IntoWithStorage<'st, T> for T

impl<'st, X: Sorted<'st>, Y: Sorted<'st>> IntoWithStorage<'st, Array<'st, X, Y>> for Const<'st, Array<'st, X, Y>>

impl<'st> IntoWithStorage<'st, Bool<'st>> for Const<'st, Bool<'st>>

impl<'st> IntoWithStorage<'st, Int<'st>> for Const<'st, Int<'st>>

impl<'st> IntoWithStorage<'st, Real<'st>> for Const<'st, Real<'st>>