pub struct LabDef<Input, EditSt, Output, Editor: Generate<Input> + Edit<Input, EditSt>, Archivist: ComputeDemand<Input, Output>> {
pub identity: Name,
pub url: Option<String>,
pub editor: PhantomData<Editor>,
pub archivist: PhantomData<Archivist>,
pub input: PhantomData<Input>,
pub editst: PhantomData<EditSt>,
pub output: PhantomData<Output>,
}Expand description
lab definition: generic notion of an incremental computation
that can be evaluated and tested. We instantiate this structure
once for each test in our test suite. We implement the LabDef
trait generically for this structure. See catalog module for
example instances.
Fields§
§identity: Name§url: Option<String>§editor: PhantomData<Editor>§archivist: PhantomData<Archivist>§input: PhantomData<Input>§editst: PhantomData<EditSt>§output: PhantomData<Output>Trait Implementations§
Source§impl<Input: Clone + Debug, EditSt, Output: Eq + Debug, Editor: 'static + Generate<Input> + Edit<Input, EditSt>, Archivist: 'static + ComputeDemand<Input, Output>> Lab for LabDef<Input, EditSt, Output, Editor, Archivist>
Lab experiment implementation: Implements the LabDef trait for any
LabArchivist instantiation.
impl<Input: Clone + Debug, EditSt, Output: Eq + Debug, Editor: 'static + Generate<Input> + Edit<Input, EditSt>, Archivist: 'static + ComputeDemand<Input, Output>> Lab for LabDef<Input, EditSt, Output, Editor, Archivist>
Lab experiment implementation: Implements the LabDef trait for any LabArchivist instantiation.
Auto Trait Implementations§
impl<Input, EditSt, Output, Editor, Archivist> Freeze for LabDef<Input, EditSt, Output, Editor, Archivist>
impl<Input, EditSt, Output, Editor, Archivist> RefUnwindSafe for LabDef<Input, EditSt, Output, Editor, Archivist>where
Editor: RefUnwindSafe,
Archivist: RefUnwindSafe,
Input: RefUnwindSafe,
EditSt: RefUnwindSafe,
Output: RefUnwindSafe,
impl<Input, EditSt, Output, Editor, Archivist> !Send for LabDef<Input, EditSt, Output, Editor, Archivist>
impl<Input, EditSt, Output, Editor, Archivist> !Sync for LabDef<Input, EditSt, Output, Editor, Archivist>
impl<Input, EditSt, Output, Editor, Archivist> Unpin for LabDef<Input, EditSt, Output, Editor, Archivist>
impl<Input, EditSt, Output, Editor, Archivist> UnwindSafe for LabDef<Input, EditSt, Output, Editor, Archivist>where
Editor: UnwindSafe,
Archivist: UnwindSafe,
Input: UnwindSafe,
EditSt: UnwindSafe,
Output: 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