Struct SetCommit &nbsp; Copy item path

impl<'a, S> SetCommit<'a, S, Placeholder>
where S: Set, SetCfg<S>: ConfigValue + Default,

pub fn new_placeholder(set: &'a mut S, info: SetCfg<S>) -> Self

pub fn set_pos_type_only<T>(self) -> SetCommit<'a, S, Pos<T>>
where T::Val: RawValParser, T: ErasedTy + Infer,

Set the infer type to Pos<T><T>.

pub fn set_pos_type<T>(self) -> SetCommit<'a, S, Pos<T>>
where T::Val: RawValParser + Clone, T: ErasedTy + Infer,

Set the infer type to Pos<T><T>, add default initializer and default storer.

The function will call add_default_initializer add add_default_storer.

pub fn set_main_type_only<T>(self) -> SetCommit<'a, S, Main<T>>
where T::Val: RawValParser, T: ErasedTy + Infer,

Set the infer type to Main<T><T>.

pub fn set_main_type<T>(self) -> SetCommit<'a, S, Main<T>>
where T::Val: RawValParser + Clone, T: ErasedTy + Infer,

Set the infer type to Main<T><T>, add default initializer and default storer.

The function will call add_default_initializer add add_default_storer.

pub fn set_any_type_only<T>(self) -> SetCommit<'a, S, AnyOpt<T>>
where T::Val: RawValParser, T: ErasedTy + Infer,

Set the infer type to AnyOpt<T><T>.

pub fn set_any_type<T>(self) -> SetCommit<'a, S, AnyOpt<T>>
where T::Val: RawValParser + Clone, T: ErasedTy + Infer,

Set the infer type to AnyOpt<T><T>, add default initializer and default storer.

The function will call add_default_initializer add add_default_storer.

impl<'a, S, U> SetCommit<'a, S, U>
where S: Set, U: Infer + 'static, U::Val: RawValParser, SetCfg<S>: ConfigValue + Default,

pub fn new(set: &'a mut S, info: SetCfg<S>) -> Self

pub fn set_infer<O>(self) -> SetCommit<'a, S, O>
where O: Infer + 'static, O::Val: RawValParser,

Set the infer type of option.

pub fn run(self) -> Result<Uid, Error>

Run the commit.

It create an option using given type Ctor. And add it to referenced Set, return the new option Uid.

impl<'a, S, U> SetCommit<'a, S, U>
where S: Set, U: Infer + 'static, U::Val: RawValParser, SetCfg<S>: ConfigValue + Default,

pub fn set_value_type_only<T: ErasedTy>(self) -> SetCommitWithValue<'a, S, U, T>

Set the value type of option(except for Cmd).

pub fn set_value_type<T: ErasedTy + RawValParser + Clone>( self, ) -> SetCommitWithValue<'a, S, U, T>

Set the value type of option, add default initializer and default storer.

The function will call add_default_initializer_t add add_default_storer_t.

pub fn set_validator_t<T: ErasedTy + RawValParser>( self, validator: ValValidator<T>, ) -> SetCommitWithValue<'a, S, U, T>

Set the option value validator.

pub fn set_value_t<T: ErasedTy + Clone>( self, value: T, ) -> SetCommitWithValue<'a, S, U, T>

Set the option default value.

pub fn set_values_t<T: ErasedTy + Clone>( self, value: Vec<T>, ) -> SetCommitWithValue<'a, S, U, T>

Set the option default value.

impl<S, U> SetCommit<'_, S, U>
where S: Set, U: Infer + 'static, U::Val: RawValParser, SetCfg<S>: ConfigValue + Default,

pub fn set_validator(self, validator: ValValidator<U::Val>) -> Self

Set the option value validator.

pub fn add_default_storer(self) -> Self

Add default storer of type U::Val.

impl<S, U> SetCommit<'_, S, U>
where S: Set, U: Infer + 'static, U::Val: Clone + RawValParser, SetCfg<S>: ConfigValue + Default,

pub fn set_value(self, value: U::Val) -> Self

Set the option default value.

pub fn set_values(self, value: Vec<U::Val>) -> Self

Set the option default value.

pub fn add_default_initializer(self) -> Self

Add a default initializer.

Trait Implementations§

impl<S, U> Commit<S> for SetCommit<'_, S, U>
where S: Set, U: Infer + 'static, U::Val: RawValParser, SetCfg<S>: ConfigValue + Default,

impl<S, U> Debug for SetCommit<'_, S, U>
where S: Set + Debug, U: Infer + 'static, U::Val: RawValParser, SetCfg<S>: ConfigValue + Default + Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

impl<S, U> Drop for SetCommit<'_, S, U>
where S: Set, U: Infer + 'static, U::Val: RawValParser, SetCfg<S>: ConfigValue + Default,

fn drop(&mut self)

Executes the destructor for this type. Read more

Auto Trait Implementations§

impl<'a, S, U> Freeze for SetCommit<'a, S, U>
where <<S as Set>::Ctor as Ctor>::Config: Sized + Freeze, ::Val: Sized,

impl<'a, S, U> RefUnwindSafe for SetCommit<'a, S, U>
where <<S as Set>::Ctor as Ctor>::Config: Sized + RefUnwindSafe, ::Val: Sized, U: RefUnwindSafe, S: RefUnwindSafe,

impl<'a, S, U> Send for SetCommit<'a, S, U>
where <<S as Set>::Ctor as Ctor>::Config: Sized + Send, ::Val: Sized, U: Send, S: Send,

impl<'a, S, U> Sync for SetCommit<'a, S, U>
where <<S as Set>::Ctor as Ctor>::Config: Sized + Sync, ::Val: Sized, U: Sync, S: Sync,

impl<'a, S, U> Unpin for SetCommit<'a, S, U>
where <<S as Set>::Ctor as Ctor>::Config: Sized + Unpin, ::Val: Sized, U: Unpin,

impl<'a, S, U> !UnwindSafe for SetCommit<'a, S, U>

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> ConstructIntoOp for T

fn into_box(self) -> WrappedTy<BoxedCtor<T>>

Return a type that wraps Ctor with Box.

§Example

    let re = b'+'
        .or(b'-')
        .then(u8::is_ascii_hexdigit)
        .then(u8::is_ascii_hexdigit.repeat_times::<3>())
        .pat()
        .map(|v: &[u8]| String::from_utf8(v.to_vec()).map_err(|_| Error::Uid(0)))
        .into_box();

    assert_eq!(BytesCtx::new(b"+AE00").ctor(&re)?, "+AE00");
    assert!(BytesCtx::new(b"-GH66").ctor(&re).is_err());
    assert_eq!(BytesCtx::new(b"-83FD").ctor(&re)?, "-83FD");
    Ok(())

fn into_rc(self) -> WrappedTy<Rc<T>>

Return a type that wrap Ctor with Rc.

§Example

    color_eyre::install()?;
    let year = char::is_ascii_digit.repeat_times::<4>();
    let num = char::is_ascii_digit.repeat_times::<2>();
    let date = year.sep_once("-", num.sep_once("-", num)).into_rc();
    let time = num.sep_once(":", num.sep_once(":", num));
    let datetime = date.clone().sep_once(" ", time);

    assert_eq!(
        CharsCtx::new("2024-01-08").ctor(&date)?,
        ("2024", ("01", "08"))
    );
    assert_eq!(
        CharsCtx::new("2024-01-08 10:01:13").ctor(&datetime)?,
        (("2024", ("01", "08")), ("10", ("01", "13")))
    );
    Ok(())

fn into_dyn<'a, 'b, C, M, O, H, A>( self, ) -> WrappedTy<DynamicBoxedCtor<'a, 'b, C, M, O, H, A>>
where C: Context<'a> + Match<C>, T: Ctor<'a, C, M, O, H, A> + 'b,

§Example 2

    color_eyre::install()?;
    let num = u8::is_ascii_digit
        .repeat_one()
        .map(|v: &[u8]| String::from_utf8(v.to_vec()).map_err(|_| Error::Uid(0)))
        .map(map::from_str::<usize>());
    let num = num.clone().sep_once(b",", num);
    let re = num.into_dyn();

    assert_eq!(BytesCtx::new(b"3,0").ctor(&re)?, (3, 0));
    assert_eq!(BytesCtx::new(b"2,1").ctor(&re)?, (2, 1));
    assert_eq!(BytesCtx::new(b"0,3").ctor(&re)?, (0, 3));
    Ok(())

fn into_arc(self) -> WrappedTy<Arc<T>>

fn into_cell(self) -> WrappedTy<Cell<T>>

fn into_refcell(self) -> WrappedTy<RefCell<T>>

fn into_mutex(self) -> WrappedTy<Mutex<T>>

fn into_dyn_sync<'a, 'b, C, M, O, H, A>( self, ) -> WrappedTy<DynamicBoxedCtorSync<'a, 'b, C, M, O, H, A>>
where C: Context<'a> + Match<C>, T: Ctor<'a, C, M, O, H, A> + Send + 'b,

fn into_dyn_arc<'a, 'b, C, M, O, H, A>( self, ) -> WrappedTy<DynamicArcCtor<'a, 'b, C, M, O, H, A>>
where C: Context<'a> + Match<C>, T: Ctor<'a, C, M, O, H, A> + 'b,

fn into_dyn_rc<'a, 'b, C, M, O, H, A>( self, ) -> WrappedTy<DynamicRcCtor<'a, 'b, C, M, O, H, A>>
where C: Context<'a> + Match<C>, T: Ctor<'a, C, M, O, H, A> + 'b,

impl<'a, C, T> DynamicCreateCtorThenHelper<'a, C> for T
where C: Context<'a> + Match<C>,

fn dyn_then_ctor<F>(self, func: F) -> DynamicCreateCtorThen<C, T, F>

Construct a new regex with Ctor implementation based on previous result.

§Example

    let num = u8::is_ascii_digit
        .repeat_one()
        .map(|v: &[u8]| String::from_utf8(v.to_vec()).map_err(|_| Error::Uid(0)))
        .map(map::from_str::<usize>());
    let num = num.clone().sep_once(b",", num);
    let re = num.dyn_then_ctor(|a: &(usize, usize)| {
        // leave the a's type empty cause rustc reject compile
        Ok(b'+'
            .repeat_range(a.0..a.0 + 1)
            .then(b'-'.repeat_range(a.1..a.1 + 1)))
    });

    assert_eq!(
        BytesCtx::new(b"3,0+++").ctor(&re)?,
        ((3, 0), ([43, 43, 43].as_slice(), [].as_slice()))
    );
    assert_eq!(
        BytesCtx::new(b"2,1++-").ctor(&re)?,
        ((2, 1), ([43, 43].as_slice(), [45].as_slice()))
    );
    assert_eq!(
        BytesCtx::new(b"0,3---").ctor(&re)?,
        ((0, 3), ([].as_slice(), [45, 45, 45].as_slice()))
    );
    Ok(())

impl<'a, C, T> DynamicCreateRegexThenHelper<'a, C> for T
where C: Context<'a> + Match<C>,

fn dyn_then_regex<F>(self, func: F) -> DynamicCreateRegexThen<C, T, F>

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T, U> Into for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> RegexIntoOp for T

fn into_box_regex(self) -> WrappedTy<BoxedRegex<T>>

fn into_rc_regex(self) -> WrappedTy<Rc<T>>

fn into_arc_regex(self) -> WrappedTy<Arc<T>>

fn into_cell_regex(self) -> WrappedTy<Cell<T>>

fn into_refcell_regex(self) -> WrappedTy<RefCell<T>>

fn into_mutex_regex(self) -> WrappedTy<Mutex<T>>

fn into_dyn_regex<'a, 'b, C>( self, ) -> WrappedTy<DynamicBoxedRegex<'b, C, <T as Regex<C>>::Ret>>
where C: Context<'a>, T: Regex<C> + 'b,

fn into_dyn_arc_regex<'a, 'b, C>( self, ) -> WrappedTy<DynamicArcRegex<'b, C, <T as Regex<C>>::Ret>>
where C: Context<'a>, T: Regex<C> + 'b,

fn into_dyn_rc_regex<'a, 'b, C>( self, ) -> WrappedTy<DynamicRcRegex<'b, C, <T as Regex<C>>::Ret>>
where C: Context<'a>, T: Regex<C> + 'b,

impl<T, U> TryFrom for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

impl<T, U> TryInto for T
where U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more

impl<T> ErasedTy for T
where T: Any + Debug + Sync + Send + 'static,