Struct ProofPanelProps 

pub struct ProofPanelProps {
    pub proof_text: String,
    pub status: ProofStatus,
    pub hint: Option<String>,
    pub on_tactic: EventHandler<Tactic>,
}

Properties for the ProofPanel component.

Fields

proof_text: String

The derivation tree as a formatted string (use DerivationTree::display_tree())

status: ProofStatus

Current proof status

hint: Option<String>

Optional Socratic hint

on_tactic: EventHandler<Tactic>

Callback when a tactic button is clicked

Implementations

impl ProofPanelProps

pub fn builder() -> ProofPanelPropsBuilder<((), (), (), ())>

Create a builder for building ProofPanelProps. On the builder, call .proof_text(...), .status(...), .hint(...)(optional), .on_tactic(...) to set the values of the fields. Finally, call .build() to create the instance of ProofPanelProps.

Trait Implementations

impl Clone for ProofPanelProps

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl PartialEq for ProofPanelProps

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Properties for ProofPanelProps

where Self: Clone,

type Builder = ProofPanelPropsBuilder<((), (), (), ())>

The type of the builder for this component. Used to create “in-progress” versions of the props.

fn builder() -> Self::Builder

Create a builder for this component.

fn memoize(&mut self, new: &Self) -> bool

Make the old props equal to the new props. Return if the props were equal and should be memoized.

fn into_vcomponent<M>( self, render_fn: impl ComponentFunction<Self, M>, ) -> VComponent

where M: 'static,

Create a component from the props.