pub struct RecordV {
pub fields0: Row<Ty0>,
pub env: Env,
pub fields1: Row<TyS>,
pub specializations: Dtry<TyV>,
}Expand description
The content of a record type value
Fields§
§fields0: Row<Ty0>The base type.
env: EnvThe closed-over environment.
fields1: Row<TyS>The total types for the fields.
These are ready to be evaluated in env.snoc(x) where x is a value of
type Ty0::Record(fields0).
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 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<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.