pub struct BitWidth<C: Context + 'static> {
pub width: u64,
/* private fields */
}
Expand description
A bit width from the LAVA API
Fields§
§width: u64
Trait Implementations§
Source§impl<'r, 'a, C, A> AsForeignKeyWithContext<'a, 'r, A> for BitWidth<C>
impl<'r, 'a, C, A> AsForeignKeyWithContext<'a, 'r, A> for BitWidth<C>
type CellReducer = SerializerCellReducer<'a, Serializer<A>>
fn get_cell_reducer(access: A, key: &'a str) -> Self::CellReducer
Source§impl<C: Context + 'static> Contextual for BitWidth<C>
impl<C: Context + 'static> Contextual for BitWidth<C>
Source§impl<'f, C, A> FilterableWithContext<'f, A> for BitWidth<C>
impl<'f, C, A> FilterableWithContext<'f, A> for BitWidth<C>
Source§impl<'r, C, A> IntoRowWithContext<'r, A> for BitWidth<C>
impl<'r, C, A> IntoRowWithContext<'r, A> for BitWidth<C>
type Serializer = Serializer<A>
Source§fn get_serializer(access: A) -> Self::Serializer
fn get_serializer(access: A) -> Self::Serializer
accessor
is some context valueSource§impl<BoulderExtraGenericParam, C> MiniBuildableWithPersianRug<BitWidth<C>, C> for Arc<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniBuildableWithPersianRug<BitWidth<C>, C>,
Builder<BoulderExtraGenericParam, C>: MiniBuilderWithPersianRug<C, Result = BoulderExtraGenericParam>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
impl<BoulderExtraGenericParam, C> MiniBuildableWithPersianRug<BitWidth<C>, C> for Arc<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniBuildableWithPersianRug<BitWidth<C>, C>,
Builder<BoulderExtraGenericParam, C>: MiniBuilderWithPersianRug<C, Result = BoulderExtraGenericParam>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
Source§impl<BoulderExtraGenericParam, C> MiniBuildableWithPersianRug<BitWidth<C>, C> for Cell<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniBuildableWithPersianRug<BitWidth<C>, C>,
Builder<BoulderExtraGenericParam, C>: MiniBuilderWithPersianRug<C, Result = BoulderExtraGenericParam>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
impl<BoulderExtraGenericParam, C> MiniBuildableWithPersianRug<BitWidth<C>, C> for Cell<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniBuildableWithPersianRug<BitWidth<C>, C>,
Builder<BoulderExtraGenericParam, C>: MiniBuilderWithPersianRug<C, Result = BoulderExtraGenericParam>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
Source§impl<BoulderExtraGenericParam, C> MiniBuildableWithPersianRug<BitWidth<C>, C> for Mutex<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniBuildableWithPersianRug<BitWidth<C>, C>,
Builder<BoulderExtraGenericParam, C>: MiniBuilderWithPersianRug<C, Result = BoulderExtraGenericParam>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
impl<BoulderExtraGenericParam, C> MiniBuildableWithPersianRug<BitWidth<C>, C> for Mutex<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniBuildableWithPersianRug<BitWidth<C>, C>,
Builder<BoulderExtraGenericParam, C>: MiniBuilderWithPersianRug<C, Result = BoulderExtraGenericParam>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
Source§impl<BoulderExtraGenericParam, C> MiniBuildableWithPersianRug<BitWidth<C>, C> for Option<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniBuildableWithPersianRug<BitWidth<C>, C>,
Builder<BoulderExtraGenericParam, C>: MiniBuilderWithPersianRug<C, Result = BoulderExtraGenericParam>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
impl<BoulderExtraGenericParam, C> MiniBuildableWithPersianRug<BitWidth<C>, C> for Option<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniBuildableWithPersianRug<BitWidth<C>, C>,
Builder<BoulderExtraGenericParam, C>: MiniBuilderWithPersianRug<C, Result = BoulderExtraGenericParam>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
Source§impl<BoulderExtraGenericParam, C> MiniBuildableWithPersianRug<BitWidth<C>, C> for Proxy<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniBuildableWithPersianRug<BitWidth<C>, C> + Contextual<Context = C>,
Builder<BoulderExtraGenericParam, C>: MiniBuilderWithPersianRug<C, Result = BoulderExtraGenericParam>,
C: Context + Owner<BitWidth<C>> + Owner<BoulderExtraGenericParam> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
impl<BoulderExtraGenericParam, C> MiniBuildableWithPersianRug<BitWidth<C>, C> for Proxy<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniBuildableWithPersianRug<BitWidth<C>, C> + Contextual<Context = C>,
Builder<BoulderExtraGenericParam, C>: MiniBuilderWithPersianRug<C, Result = BoulderExtraGenericParam>,
C: Context + Owner<BitWidth<C>> + Owner<BoulderExtraGenericParam> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
Source§impl<BoulderExtraGenericParam, C> MiniBuildableWithPersianRug<BitWidth<C>, C> for Rc<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniBuildableWithPersianRug<BitWidth<C>, C>,
Builder<BoulderExtraGenericParam, C>: MiniBuilderWithPersianRug<C, Result = BoulderExtraGenericParam>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
impl<BoulderExtraGenericParam, C> MiniBuildableWithPersianRug<BitWidth<C>, C> for Rc<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniBuildableWithPersianRug<BitWidth<C>, C>,
Builder<BoulderExtraGenericParam, C>: MiniBuilderWithPersianRug<C, Result = BoulderExtraGenericParam>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
Source§impl<BoulderExtraGenericParam, C> MiniBuildableWithPersianRug<BitWidth<C>, C> for RefCell<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniBuildableWithPersianRug<BitWidth<C>, C>,
Builder<BoulderExtraGenericParam, C>: MiniBuilderWithPersianRug<C, Result = BoulderExtraGenericParam>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
impl<BoulderExtraGenericParam, C> MiniBuildableWithPersianRug<BitWidth<C>, C> for RefCell<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniBuildableWithPersianRug<BitWidth<C>, C>,
Builder<BoulderExtraGenericParam, C>: MiniBuilderWithPersianRug<C, Result = BoulderExtraGenericParam>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
Source§impl<BoulderExtraGenericParam, C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for Arc<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniGeneratableWithPersianRug<BitWidth<C>, C>,
Generator<Arc<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>: MiniGeneratorWithPersianRug<C, Output = Arc<BoulderExtraGenericParam>>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
impl<BoulderExtraGenericParam, C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for Arc<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniGeneratableWithPersianRug<BitWidth<C>, C>,
Generator<Arc<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>: MiniGeneratorWithPersianRug<C, Output = Arc<BoulderExtraGenericParam>>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
type Generator = Generator<Arc<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>
fn mini_generator() -> Self::Generator
Source§impl<C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for BitWidth<C>
impl<C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for BitWidth<C>
type Generator = Generator<BitWidth<C>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>
fn mini_generator() -> Self::Generator
Source§impl<BoulderExtraGenericParam, C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for Cell<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniGeneratableWithPersianRug<BitWidth<C>, C>,
Generator<Cell<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>: MiniGeneratorWithPersianRug<C, Output = Cell<BoulderExtraGenericParam>>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
impl<BoulderExtraGenericParam, C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for Cell<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniGeneratableWithPersianRug<BitWidth<C>, C>,
Generator<Cell<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>: MiniGeneratorWithPersianRug<C, Output = Cell<BoulderExtraGenericParam>>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
type Generator = Generator<Cell<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>
fn mini_generator() -> Self::Generator
Source§impl<BoulderExtraGenericParam, C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for Mutex<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniGeneratableWithPersianRug<BitWidth<C>, C>,
Generator<Mutex<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>: MiniGeneratorWithPersianRug<C, Output = Mutex<BoulderExtraGenericParam>>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
impl<BoulderExtraGenericParam, C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for Mutex<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniGeneratableWithPersianRug<BitWidth<C>, C>,
Generator<Mutex<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>: MiniGeneratorWithPersianRug<C, Output = Mutex<BoulderExtraGenericParam>>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
type Generator = Generator<Mutex<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>
fn mini_generator() -> Self::Generator
Source§impl<BoulderExtraGenericParam, C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for Option<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniGeneratableWithPersianRug<BitWidth<C>, C>,
Generator<Option<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>: MiniGeneratorWithPersianRug<C, Output = Option<BoulderExtraGenericParam>>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
impl<BoulderExtraGenericParam, C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for Option<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniGeneratableWithPersianRug<BitWidth<C>, C>,
Generator<Option<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>: MiniGeneratorWithPersianRug<C, Output = Option<BoulderExtraGenericParam>>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
type Generator = Generator<Option<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>
fn mini_generator() -> Self::Generator
Source§impl<BoulderExtraGenericParam, C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for Proxy<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniGeneratableWithPersianRug<BitWidth<C>, C> + Contextual<Context = C>,
Generator<Proxy<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>: MiniGeneratorWithPersianRug<C, Output = Proxy<BoulderExtraGenericParam>>,
C: Context + Owner<BitWidth<C>> + Owner<BoulderExtraGenericParam> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
impl<BoulderExtraGenericParam, C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for Proxy<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniGeneratableWithPersianRug<BitWidth<C>, C> + Contextual<Context = C>,
Generator<Proxy<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>: MiniGeneratorWithPersianRug<C, Output = Proxy<BoulderExtraGenericParam>>,
C: Context + Owner<BitWidth<C>> + Owner<BoulderExtraGenericParam> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
type Generator = Generator<Proxy<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>
fn mini_generator() -> Self::Generator
Source§impl<BoulderExtraGenericParam, C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for Rc<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniGeneratableWithPersianRug<BitWidth<C>, C>,
Generator<Rc<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>: MiniGeneratorWithPersianRug<C, Output = Rc<BoulderExtraGenericParam>>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
impl<BoulderExtraGenericParam, C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for Rc<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniGeneratableWithPersianRug<BitWidth<C>, C>,
Generator<Rc<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>: MiniGeneratorWithPersianRug<C, Output = Rc<BoulderExtraGenericParam>>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
type Generator = Generator<Rc<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>
fn mini_generator() -> Self::Generator
Source§impl<BoulderExtraGenericParam, C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for RefCell<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniGeneratableWithPersianRug<BitWidth<C>, C>,
Generator<RefCell<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>: MiniGeneratorWithPersianRug<C, Output = RefCell<BoulderExtraGenericParam>>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
impl<BoulderExtraGenericParam, C> MiniGeneratableWithPersianRug<BitWidth<C>, C> for RefCell<BoulderExtraGenericParam>where
BoulderExtraGenericParam: MiniGeneratableWithPersianRug<BitWidth<C>, C>,
Generator<RefCell<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>: MiniGeneratorWithPersianRug<C, Output = RefCell<BoulderExtraGenericParam>>,
C: Context + Owner<BitWidth<C>> + Context + 'static,
BitWidth<C>: Contextual<Context = C>,
type Generator = Generator<RefCell<BoulderExtraGenericParam>, C, GeneratorToGeneratorWithPersianRugWrapper<PhantomData<C>>, GeneratorToGeneratorWithPersianRugWrapper<u64>>
fn mini_generator() -> Self::Generator
Source§impl Owner<BitWidth<State>> for State
impl Owner<BitWidth<State>> for State
Source§fn add(&mut self, what: BitWidth<State>) -> Proxy<BitWidth<State>>
fn add(&mut self, what: BitWidth<State>) -> Proxy<BitWidth<State>>
Insert the given value, obtaining a
Proxy
for it.Source§fn get(&self, what: &Proxy<BitWidth<State>>) -> &BitWidth<State>
fn get(&self, what: &Proxy<BitWidth<State>>) -> &BitWidth<State>
Get a shared reference to a value from a
Proxy
for it.Source§fn get_mut(&mut self, what: &Proxy<BitWidth<State>>) -> &mut BitWidth<State>
fn get_mut(&mut self, what: &Proxy<BitWidth<State>>) -> &mut BitWidth<State>
Get an exclusive reference to a value from a
Proxy
for it.Source§fn get_iter(&self) -> TableIterator<'_, BitWidth<State>>
fn get_iter(&self) -> TableIterator<'_, BitWidth<State>>
Iterate over shared references to the stored values.
Source§fn get_iter_mut(&mut self) -> TableMutIterator<'_, BitWidth<State>>
fn get_iter_mut(&mut self) -> TableMutIterator<'_, BitWidth<State>>
Iterate over exclusive references to the stored values.
Source§fn get_proxy_iter(&self) -> TableProxyIterator<'_, BitWidth<State>>
fn get_proxy_iter(&self) -> TableProxyIterator<'_, BitWidth<State>>
Iterate over shared references to
Proxy
objects for the
stored values.Auto Trait Implementations§
impl<C> Freeze for BitWidth<C>
impl<C> RefUnwindSafe for BitWidth<C>where
C: RefUnwindSafe,
impl<C> Send for BitWidth<C>where
C: Send,
impl<C> Sync for BitWidth<C>where
C: Sync,
impl<C> Unpin for BitWidth<C>where
C: Unpin,
impl<C> UnwindSafe for BitWidth<C>where
C: UnwindSafe,
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