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

Implementations on Foreign Types

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, Int<'st>> for i64

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>

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, const M: usize> IntoWithStorage<'st, BitVec<'st, M>> for [bool; M]

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

Implementors

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>>

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>>