Struct Attempt
pub struct Attempt {Show 14 fields
pub start_time: NaiveDateTime,
pub end_time: NaiveDateTime,
pub updt: Option<NaiveDateTime>,
pub ver: Option<i32>,
pub uuid: Uuid,
pub rstatus: Option<RStatus>,
pub test_task: Uuid,
pub user_t: Uuid,
pub user_role: Uuid,
pub updu: Option<Uuid>,
pub answers: Option<Json<Vec<AnswerGroup>>>,
pub status: Option<AttemptStatus>,
pub paused: bool,
pub section_questions: Vec<Uuid>,
}
Fields§
§start_time: NaiveDateTime
§end_time: NaiveDateTime
§updt: Option<NaiveDateTime>
§ver: Option<i32>
§uuid: Uuid
§rstatus: Option<RStatus>
§test_task: Uuid
§user_t: Uuid
§user_role: Uuid
§updu: Option<Uuid>
§answers: Option<Json<Vec<AnswerGroup>>>
§status: Option<AttemptStatus>
§paused: bool
§section_questions: Vec<Uuid>
Implementations§
§impl Attempt
impl Attempt
pub fn from_request(a: &AttemptRequest) -> Attempt
pub fn to_response(&self) -> AttemptResponse
pub fn to_response_with_markings( &self, markings: Vec<Marking>, ) -> AttemptResponse
pub fn to_response_list(attempts: Vec<Attempt>) -> Vec<AttemptResponse>
Trait Implementations§
§impl<'update> AsChangeset for &'update Attempt
impl<'update> AsChangeset for &'update Attempt
§type Changeset = <(Eq<start_time, <&'update NaiveDateTime as AsExpression<<start_time as Expression>::SqlType>>::Expression>, Eq<end_time, <&'update NaiveDateTime as AsExpression<<end_time as Expression>::SqlType>>::Expression>, Option<Eq<updt, <&'update NaiveDateTime as AsExpression<<updt as Expression>::SqlType>>::Expression>>, Option<Eq<ver, <&'update i32 as AsExpression<<ver as Expression>::SqlType>>::Expression>>, Option<Eq<rstatus, <&'update RStatus as AsExpression<<rstatus as Expression>::SqlType>>::Expression>>, Eq<test_task, <&'update Uuid as AsExpression<<test_task as Expression>::SqlType>>::Expression>, Eq<user_t, <&'update Uuid as AsExpression<<user_t as Expression>::SqlType>>::Expression>, Eq<user_role, <&'update Uuid as AsExpression<<user_role as Expression>::SqlType>>::Expression>, Option<Eq<updu, <&'update Uuid as AsExpression<<updu as Expression>::SqlType>>::Expression>>, Option<Eq<answers, <&'update Json<Vec<AnswerGroup>> as AsExpression<<answers as Expression>::SqlType>>::Expression>>, Option<Eq<status, <&'update AttemptStatus as AsExpression<<status as Expression>::SqlType>>::Expression>>, Eq<paused, <&'update bool as AsExpression<<paused as Expression>::SqlType>>::Expression>, Eq<section_questions, <&'update Vec<Uuid> as AsExpression<<section_questions as Expression>::SqlType>>::Expression>) as AsChangeset>::Changeset
type Changeset = <(Eq<start_time, <&'update NaiveDateTime as AsExpression<<start_time as Expression>::SqlType>>::Expression>, Eq<end_time, <&'update NaiveDateTime as AsExpression<<end_time as Expression>::SqlType>>::Expression>, Option<Eq<updt, <&'update NaiveDateTime as AsExpression<<updt as Expression>::SqlType>>::Expression>>, Option<Eq<ver, <&'update i32 as AsExpression<<ver as Expression>::SqlType>>::Expression>>, Option<Eq<rstatus, <&'update RStatus as AsExpression<<rstatus as Expression>::SqlType>>::Expression>>, Eq<test_task, <&'update Uuid as AsExpression<<test_task as Expression>::SqlType>>::Expression>, Eq<user_t, <&'update Uuid as AsExpression<<user_t as Expression>::SqlType>>::Expression>, Eq<user_role, <&'update Uuid as AsExpression<<user_role as Expression>::SqlType>>::Expression>, Option<Eq<updu, <&'update Uuid as AsExpression<<updu as Expression>::SqlType>>::Expression>>, Option<Eq<answers, <&'update Json<Vec<AnswerGroup>> as AsExpression<<answers as Expression>::SqlType>>::Expression>>, Option<Eq<status, <&'update AttemptStatus as AsExpression<<status as Expression>::SqlType>>::Expression>>, Eq<paused, <&'update bool as AsExpression<<paused as Expression>::SqlType>>::Expression>, Eq<section_questions, <&'update Vec<Uuid> as AsExpression<<section_questions as Expression>::SqlType>>::Expression>) as AsChangeset>::Changeset
The update statement this type represents
§fn as_changeset(self) -> Self::Changeset
fn as_changeset(self) -> Self::Changeset
Convert
self
into the actual update statement being executed§impl<'update> AsChangeset for Attempt
impl<'update> AsChangeset for Attempt
§type Changeset = <(Eq<start_time, <NaiveDateTime as AsExpression<<start_time as Expression>::SqlType>>::Expression>, Eq<end_time, <NaiveDateTime as AsExpression<<end_time as Expression>::SqlType>>::Expression>, Option<Eq<updt, <NaiveDateTime as AsExpression<<updt as Expression>::SqlType>>::Expression>>, Option<Eq<ver, <i32 as AsExpression<<ver as Expression>::SqlType>>::Expression>>, Option<Eq<rstatus, <RStatus as AsExpression<<rstatus as Expression>::SqlType>>::Expression>>, Eq<test_task, <Uuid as AsExpression<<test_task as Expression>::SqlType>>::Expression>, Eq<user_t, <Uuid as AsExpression<<user_t as Expression>::SqlType>>::Expression>, Eq<user_role, <Uuid as AsExpression<<user_role as Expression>::SqlType>>::Expression>, Option<Eq<updu, <Uuid as AsExpression<<updu as Expression>::SqlType>>::Expression>>, Option<Eq<answers, <Json<Vec<AnswerGroup>> as AsExpression<<answers as Expression>::SqlType>>::Expression>>, Option<Eq<status, <AttemptStatus as AsExpression<<status as Expression>::SqlType>>::Expression>>, Eq<paused, <bool as AsExpression<<paused as Expression>::SqlType>>::Expression>, Eq<section_questions, <Vec<Uuid> as AsExpression<<section_questions as Expression>::SqlType>>::Expression>) as AsChangeset>::Changeset
type Changeset = <(Eq<start_time, <NaiveDateTime as AsExpression<<start_time as Expression>::SqlType>>::Expression>, Eq<end_time, <NaiveDateTime as AsExpression<<end_time as Expression>::SqlType>>::Expression>, Option<Eq<updt, <NaiveDateTime as AsExpression<<updt as Expression>::SqlType>>::Expression>>, Option<Eq<ver, <i32 as AsExpression<<ver as Expression>::SqlType>>::Expression>>, Option<Eq<rstatus, <RStatus as AsExpression<<rstatus as Expression>::SqlType>>::Expression>>, Eq<test_task, <Uuid as AsExpression<<test_task as Expression>::SqlType>>::Expression>, Eq<user_t, <Uuid as AsExpression<<user_t as Expression>::SqlType>>::Expression>, Eq<user_role, <Uuid as AsExpression<<user_role as Expression>::SqlType>>::Expression>, Option<Eq<updu, <Uuid as AsExpression<<updu as Expression>::SqlType>>::Expression>>, Option<Eq<answers, <Json<Vec<AnswerGroup>> as AsExpression<<answers as Expression>::SqlType>>::Expression>>, Option<Eq<status, <AttemptStatus as AsExpression<<status as Expression>::SqlType>>::Expression>>, Eq<paused, <bool as AsExpression<<paused as Expression>::SqlType>>::Expression>, Eq<section_questions, <Vec<Uuid> as AsExpression<<section_questions as Expression>::SqlType>>::Expression>) as AsChangeset>::Changeset
The update statement this type represents
§fn as_changeset(self) -> Self::Changeset
fn as_changeset(self) -> Self::Changeset
Convert
self
into the actual update statement being executed§impl<'de> Deserialize<'de> for Attempt
impl<'de> Deserialize<'de> for Attempt
§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
§impl<'ident> Identifiable for &'ident Attempt
impl<'ident> Identifiable for &'ident Attempt
§impl<'insert> Insertable<table> for &'insert Attempt
impl<'insert> Insertable<table> for &'insert Attempt
§type Values = <(Option<Eq<start_time, <&'insert NaiveDateTime as AsExpression<<start_time as Expression>::SqlType>>::Expression>>, Option<Eq<end_time, <&'insert NaiveDateTime as AsExpression<<end_time as Expression>::SqlType>>::Expression>>, Option<Eq<updt, <&'insert NaiveDateTime as AsExpression<<updt as Expression>::SqlType>>::Expression>>, Option<Eq<ver, <&'insert i32 as AsExpression<<ver as Expression>::SqlType>>::Expression>>, Option<Eq<uuid, <&'insert Uuid as AsExpression<<uuid as Expression>::SqlType>>::Expression>>, Option<Eq<rstatus, <&'insert RStatus as AsExpression<<rstatus as Expression>::SqlType>>::Expression>>, Option<Eq<test_task, <&'insert Uuid as AsExpression<<test_task as Expression>::SqlType>>::Expression>>, Option<Eq<user_t, <&'insert Uuid as AsExpression<<user_t as Expression>::SqlType>>::Expression>>, Option<Eq<user_role, <&'insert Uuid as AsExpression<<user_role as Expression>::SqlType>>::Expression>>, Option<Eq<updu, <&'insert Uuid as AsExpression<<updu as Expression>::SqlType>>::Expression>>, Option<Eq<answers, <&'insert Json<Vec<AnswerGroup>> as AsExpression<<answers as Expression>::SqlType>>::Expression>>, Option<Eq<status, <&'insert AttemptStatus as AsExpression<<status as Expression>::SqlType>>::Expression>>, Option<Eq<paused, <&'insert bool as AsExpression<<paused as Expression>::SqlType>>::Expression>>, Option<Eq<section_questions, <&'insert Vec<Uuid> as AsExpression<<section_questions as Expression>::SqlType>>::Expression>>) as Insertable<table>>::Values
type Values = <(Option<Eq<start_time, <&'insert NaiveDateTime as AsExpression<<start_time as Expression>::SqlType>>::Expression>>, Option<Eq<end_time, <&'insert NaiveDateTime as AsExpression<<end_time as Expression>::SqlType>>::Expression>>, Option<Eq<updt, <&'insert NaiveDateTime as AsExpression<<updt as Expression>::SqlType>>::Expression>>, Option<Eq<ver, <&'insert i32 as AsExpression<<ver as Expression>::SqlType>>::Expression>>, Option<Eq<uuid, <&'insert Uuid as AsExpression<<uuid as Expression>::SqlType>>::Expression>>, Option<Eq<rstatus, <&'insert RStatus as AsExpression<<rstatus as Expression>::SqlType>>::Expression>>, Option<Eq<test_task, <&'insert Uuid as AsExpression<<test_task as Expression>::SqlType>>::Expression>>, Option<Eq<user_t, <&'insert Uuid as AsExpression<<user_t as Expression>::SqlType>>::Expression>>, Option<Eq<user_role, <&'insert Uuid as AsExpression<<user_role as Expression>::SqlType>>::Expression>>, Option<Eq<updu, <&'insert Uuid as AsExpression<<updu as Expression>::SqlType>>::Expression>>, Option<Eq<answers, <&'insert Json<Vec<AnswerGroup>> as AsExpression<<answers as Expression>::SqlType>>::Expression>>, Option<Eq<status, <&'insert AttemptStatus as AsExpression<<status as Expression>::SqlType>>::Expression>>, Option<Eq<paused, <&'insert bool as AsExpression<<paused as Expression>::SqlType>>::Expression>>, Option<Eq<section_questions, <&'insert Vec<Uuid> as AsExpression<<section_questions as Expression>::SqlType>>::Expression>>) as Insertable<table>>::Values
The
VALUES
clause to insert these records Read moreSource§fn insert_into(self, table: T) -> InsertStatement<T, Self::Values>where
Self: Sized,
fn insert_into(self, table: T) -> InsertStatement<T, Self::Values>where
Self: Sized,
Insert
self
into a given table. Read more§impl<'insert> Insertable<table> for Attempt
impl<'insert> Insertable<table> for Attempt
§type Values = <(Option<Eq<start_time, <NaiveDateTime as AsExpression<<start_time as Expression>::SqlType>>::Expression>>, Option<Eq<end_time, <NaiveDateTime as AsExpression<<end_time as Expression>::SqlType>>::Expression>>, Option<Eq<updt, <NaiveDateTime as AsExpression<<updt as Expression>::SqlType>>::Expression>>, Option<Eq<ver, <i32 as AsExpression<<ver as Expression>::SqlType>>::Expression>>, Option<Eq<uuid, <Uuid as AsExpression<<uuid as Expression>::SqlType>>::Expression>>, Option<Eq<rstatus, <RStatus as AsExpression<<rstatus as Expression>::SqlType>>::Expression>>, Option<Eq<test_task, <Uuid as AsExpression<<test_task as Expression>::SqlType>>::Expression>>, Option<Eq<user_t, <Uuid as AsExpression<<user_t as Expression>::SqlType>>::Expression>>, Option<Eq<user_role, <Uuid as AsExpression<<user_role as Expression>::SqlType>>::Expression>>, Option<Eq<updu, <Uuid as AsExpression<<updu as Expression>::SqlType>>::Expression>>, Option<Eq<answers, <Json<Vec<AnswerGroup>> as AsExpression<<answers as Expression>::SqlType>>::Expression>>, Option<Eq<status, <AttemptStatus as AsExpression<<status as Expression>::SqlType>>::Expression>>, Option<Eq<paused, <bool as AsExpression<<paused as Expression>::SqlType>>::Expression>>, Option<Eq<section_questions, <Vec<Uuid> as AsExpression<<section_questions as Expression>::SqlType>>::Expression>>) as Insertable<table>>::Values
type Values = <(Option<Eq<start_time, <NaiveDateTime as AsExpression<<start_time as Expression>::SqlType>>::Expression>>, Option<Eq<end_time, <NaiveDateTime as AsExpression<<end_time as Expression>::SqlType>>::Expression>>, Option<Eq<updt, <NaiveDateTime as AsExpression<<updt as Expression>::SqlType>>::Expression>>, Option<Eq<ver, <i32 as AsExpression<<ver as Expression>::SqlType>>::Expression>>, Option<Eq<uuid, <Uuid as AsExpression<<uuid as Expression>::SqlType>>::Expression>>, Option<Eq<rstatus, <RStatus as AsExpression<<rstatus as Expression>::SqlType>>::Expression>>, Option<Eq<test_task, <Uuid as AsExpression<<test_task as Expression>::SqlType>>::Expression>>, Option<Eq<user_t, <Uuid as AsExpression<<user_t as Expression>::SqlType>>::Expression>>, Option<Eq<user_role, <Uuid as AsExpression<<user_role as Expression>::SqlType>>::Expression>>, Option<Eq<updu, <Uuid as AsExpression<<updu as Expression>::SqlType>>::Expression>>, Option<Eq<answers, <Json<Vec<AnswerGroup>> as AsExpression<<answers as Expression>::SqlType>>::Expression>>, Option<Eq<status, <AttemptStatus as AsExpression<<status as Expression>::SqlType>>::Expression>>, Option<Eq<paused, <bool as AsExpression<<paused as Expression>::SqlType>>::Expression>>, Option<Eq<section_questions, <Vec<Uuid> as AsExpression<<section_questions as Expression>::SqlType>>::Expression>>) as Insertable<table>>::Values
The
VALUES
clause to insert these records Read moreSource§fn insert_into(self, table: T) -> InsertStatement<T, Self::Values>where
Self: Sized,
fn insert_into(self, table: T) -> InsertStatement<T, Self::Values>where
Self: Sized,
Insert
self
into a given table. Read more§impl MetaFields for Attempt
impl MetaFields for Attempt
fn update_fields(&mut self, user_id: Uuid)
fn init_fields(&mut self, user_id: Uuid)
§impl<__DB: Backend, __ST> Queryable<__ST, __DB> for Attemptwhere
(NaiveDateTime, NaiveDateTime, Option<NaiveDateTime>, Option<i32>, Uuid, Option<RStatus>, Uuid, Uuid, Uuid, Option<Uuid>, Option<Json<Vec<AnswerGroup>>>, Option<AttemptStatus>, bool, Vec<Uuid>): Queryable<__ST, __DB>,
impl<__DB: Backend, __ST> Queryable<__ST, __DB> for Attemptwhere
(NaiveDateTime, NaiveDateTime, Option<NaiveDateTime>, Option<i32>, Uuid, Option<RStatus>, Uuid, Uuid, Uuid, Option<Uuid>, Option<Json<Vec<AnswerGroup>>>, Option<AttemptStatus>, bool, Vec<Uuid>): Queryable<__ST, __DB>,
§impl<__DB: Backend> QueryableByName<__DB> for Attemptwhere
NaiveDateTime: FromSql<SqlTypeOf<start_time>, __DB> + FromSql<SqlTypeOf<end_time>, __DB>,
Option<NaiveDateTime>: FromSql<SqlTypeOf<updt>, __DB>,
Option<i32>: FromSql<SqlTypeOf<ver>, __DB>,
Uuid: FromSql<SqlTypeOf<uuid>, __DB> + FromSql<SqlTypeOf<test_task>, __DB> + FromSql<SqlTypeOf<user_t>, __DB> + FromSql<SqlTypeOf<user_role>, __DB>,
Option<RStatus>: FromSql<SqlTypeOf<rstatus>, __DB>,
Option<Uuid>: FromSql<SqlTypeOf<updu>, __DB>,
Option<Json<Vec<AnswerGroup>>>: FromSql<SqlTypeOf<answers>, __DB>,
Option<AttemptStatus>: FromSql<SqlTypeOf<status>, __DB>,
bool: FromSql<SqlTypeOf<paused>, __DB>,
Vec<Uuid>: FromSql<SqlTypeOf<section_questions>, __DB>,
impl<__DB: Backend> QueryableByName<__DB> for Attemptwhere
NaiveDateTime: FromSql<SqlTypeOf<start_time>, __DB> + FromSql<SqlTypeOf<end_time>, __DB>,
Option<NaiveDateTime>: FromSql<SqlTypeOf<updt>, __DB>,
Option<i32>: FromSql<SqlTypeOf<ver>, __DB>,
Uuid: FromSql<SqlTypeOf<uuid>, __DB> + FromSql<SqlTypeOf<test_task>, __DB> + FromSql<SqlTypeOf<user_t>, __DB> + FromSql<SqlTypeOf<user_role>, __DB>,
Option<RStatus>: FromSql<SqlTypeOf<rstatus>, __DB>,
Option<Uuid>: FromSql<SqlTypeOf<updu>, __DB>,
Option<Json<Vec<AnswerGroup>>>: FromSql<SqlTypeOf<answers>, __DB>,
Option<AttemptStatus>: FromSql<SqlTypeOf<status>, __DB>,
bool: FromSql<SqlTypeOf<paused>, __DB>,
Vec<Uuid>: FromSql<SqlTypeOf<section_questions>, __DB>,
impl StructuralPartialEq for Attempt
impl<'insert> UndecoratedInsertRecord<table> for Attempt
Auto Trait Implementations§
impl Freeze for Attempt
impl RefUnwindSafe for Attempt
impl Send for Attempt
impl Sync for Attempt
impl Unpin for Attempt
impl UnwindSafe for Attempt
Blanket Implementations§
Source§impl<Src, Scheme> ApproxFrom<Src, Scheme> for Srcwhere
Scheme: ApproxScheme,
impl<Src, Scheme> ApproxFrom<Src, Scheme> for Srcwhere
Scheme: ApproxScheme,
Source§fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>
fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>
Convert the given value into an approximately equivalent representation.
Source§impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Srcwhere
Dst: ApproxFrom<Src, Scheme>,
Scheme: ApproxScheme,
impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Srcwhere
Dst: ApproxFrom<Src, Scheme>,
Scheme: ApproxScheme,
Source§type Err = <Dst as ApproxFrom<Src, Scheme>>::Err
type Err = <Dst as ApproxFrom<Src, Scheme>>::Err
The error type produced by a failed conversion.
Source§fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>
fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>
Convert the subject into an approximately equivalent representation.
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<T, Dst> ConvAsUtil<Dst> for T
impl<T, Dst> ConvAsUtil<Dst> for T
Source§impl<T> ConvUtil for T
impl<T> ConvUtil for T
Source§fn approx_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
fn approx_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
Approximate the subject to a given type with the default scheme.
Source§fn approx_as_by<Dst, Scheme>(self) -> Result<Dst, Self::Err>
fn approx_as_by<Dst, Scheme>(self) -> Result<Dst, Self::Err>
Approximate the subject to a given type with a specific scheme.
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> IntoSql for T
impl<T> IntoSql for T
Source§fn into_sql<T>(self) -> Self::Expressionwhere
Self: Sized + AsExpression<T>,
fn into_sql<T>(self) -> Self::Expressionwhere
Self: Sized + AsExpression<T>,
Convert
self
to an expression for Diesel’s query builder. Read moreSource§fn as_sql<'a, T>(&'a self) -> <&'a Self as AsExpression<T>>::Expressionwhere
&'a Self: AsExpression<T>,
fn as_sql<'a, T>(&'a self) -> <&'a Self as AsExpression<T>>::Expressionwhere
&'a Self: AsExpression<T>,
Convert
&self
to an expression for Diesel’s query builder. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
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.