pub struct OutputContract {}Expand description
Generated from /opt/rustwide/workdir/prompts/branch_correct/30_output_contract.md; do not edit.
Implementations§
Trait Implementations§
Source§impl Clone for OutputContract
impl Clone for OutputContract
Source§impl Debug for OutputContract
impl Debug for OutputContract
Source§impl PromptSection for OutputContract
impl PromptSection for OutputContract
const ID: &'static str = "branch_correct/output_contract"
const VERSION: u32 = 1
const CONTENT_HASH: &'static str = "sha256:125525ad5b10ec4886026c42b3aab37fcd69a2aa93dccb5883a939910ebe9de3"
const REQUIRED: bool = true
const PRIORITY: u16 = 0
Source§fn render(&self) -> Result<RenderedSection>
fn render(&self) -> Result<RenderedSection>
Deterministic rendering of this section with its typed values.
Auto Trait Implementations§
impl Freeze for OutputContract
impl RefUnwindSafe for OutputContract
impl Send for OutputContract
impl Sync for OutputContract
impl Unpin for OutputContract
impl UnsafeUnpin for OutputContract
impl UnwindSafe for OutputContract
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.