Trait sallyport::guest::alloc::Commit

pub trait Commit {
    type Item;

    fn commit(self, com: &impl Committer) -> Self::Item;
}

Something that can be committed in commit phase.

Required Associated Types

type Item

Required Methods

fn commit(self, com: &impl Committer) -> Self::Item

Implementations on Foreign Types

impl<T: Commit> Commit for Option<T>

type Item = Option<<T as Commit>::Item>

fn commit(self, com: &impl Committer) -> Self::Item

impl Commit for ()

type Item = ()

fn commit(self, _: &impl Committer)

impl<A: Commit> Commit for (A,)

type Item = (<A as Commit>::Item,)

fn commit(self, com: &impl Committer) -> Self::Item

impl<A: Commit, B: Commit> Commit for (A, B)

type Item = (<A as Commit>::Item, <B as Commit>::Item)

fn commit(self, com: &impl Committer) -> Self::Item

impl<A: Commit, B: Commit, C: Commit> Commit for (A, B, C)

type Item = (<A as Commit>::Item, <B as Commit>::Item, <C as Commit>::Item)

fn commit(self, com: &impl Committer) -> Self::Item

impl<A: Commit, B: Commit, C: Commit, D: Commit> Commit for (A, B, C, D)

type Item = (<A as Commit>::Item, <B as Commit>::Item, <C as Commit>::Item, <D as Commit>::Item)

fn commit(self, com: &impl Committer) -> Self::Item

Implementors

impl<'a> Commit for StagedGetSgxQuote<'a>

type Item = Output<'a, [u8], &'a mut [u8]>

impl<'a> Commit for sallyport::guest::call::gdbcall::types::StagedBytesInput<'a>

type Item = usize

impl<'a> Commit for StagedNanosleep<'a>

type Item = Option<Output<'a, timespec, &'a mut timespec>>

impl<'a> Commit for StagedSendto<'a>

type Item = usize

impl<'a> Commit for StagedSetsockopt<'a>

type Item = ()

impl<'a> Commit for sallyport::guest::call::syscall::types::StagedBytesInput<'a>

type Item = usize

impl<'a> Commit for StagedSockaddrOutput<'a>

type Item = CommittedSockaddrOutput<'a>

impl<'a, K, T> Commit for StagedMaybeAlloc<'a, K, T> where
    K: Kind,
    T: Call<'a, Alloc<K>>, 

type Item = CommittedMaybeAlloc<'a, K, T>

impl<'a, K, T> Commit for StagedCall<'a, K, T> where
    K: Kind,
    T: Alloc<'a, K>, 

type Item = CommittedCall<'a, K, T>

impl<'a, T: Alloc<'a>> Commit for sallyport::guest::call::enarxcall::types::StagedAlloc<'a, T>

type Item = CommittedAlloc<'a, T>

impl<'a, T: Alloc<'a>> Commit for sallyport::guest::call::gdbcall::types::StagedAlloc<'a, T>

type Item = CommittedAlloc<'a, T>

impl<'a, T: Alloc<'a>> Commit for sallyport::guest::call::syscall::types::StagedAlloc<'a, T>

type Item = CommittedAlloc<'a, T>

impl<'a, T: Copy, U: Borrow<T>> Commit for Input<'a, T, U>

type Item = ()

impl<'a, T: Copy, U: BorrowMut<T>> Commit for InOut<'a, T, U>

type Item = Output<'a, T, U>

impl<'a, T: ?Sized + Copy, U: AsMut<[T]>> Commit for InOut<'a, [T], U>

type Item = Output<'a, [T], U>

impl<'a, T: ?Sized + Copy, U: AsRef<[T]>> Commit for Input<'a, [T], U>

type Item = ()

impl<'a, T: ?Sized> Commit for InOutRef<'a, T>

type Item = OutRef<'a, T>

impl<T: CommitPassthrough> Commit for T

type Item = T

impl<T: ?Sized, U> Commit for Output<'_, T, U>

type Item = Output<'_, T, U>