pub struct RecordV {
pub env: Env,
pub fields: Rc<Row<TyS>>,
pub specializations: Dtry<TyV>,
}Expand description
The content of a record type value.
Fields§
§env: EnvThe closed-over environment.
fields: Rc<Row<TyS>>The types for the fields.
specializations: Dtry<TyV>Specializations of the fields.
When we get to actually computing the type of fields, we will look here to see if they have been specialized.
Implementations§
Source§impl RecordV
impl RecordV
Sourcepub fn new(env: Env, fields: Row<TyS>, specializations: Dtry<TyV>) -> Self
pub fn new(env: Env, fields: Row<TyS>, specializations: Dtry<TyV>) -> Self
Construct a record type value.
Sourcepub fn add_specialization(
&self,
path: &[(FieldName, LabelSegment)],
ty: TyV,
) -> Self
pub fn add_specialization( &self, path: &[(FieldName, LabelSegment)], ty: TyV, ) -> Self
Add a specialization a path path to type ty.
Precondition: assumes that this produces a subtype.
Sourcepub fn specialize(&self, specializations: &Dtry<TyV>) -> Self
pub fn specialize(&self, specializations: &Dtry<TyV>) -> Self
Merge in the specializations in specializations.
Precondition: assumes that this produces a subtype.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for RecordV
impl RefUnwindSafe for RecordV
impl !Send for RecordV
impl !Sync for RecordV
impl Unpin for RecordV
impl UnwindSafe for RecordV
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<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 more§impl<T> Pointable for T
impl<T> Pointable for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§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 more§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).§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.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.