vstd::viewTrait DeepView
Source pub trait DeepView {
type V;
// Required method
spec fn deep_view(&self) -> Self::V;
}
{
match self {
Cow::Borrowed(borrowed) => borrowed.deep_view(),
Cow::Owned(owned) => owned.deep_view(),
}
}
{
match self {
Cow::Borrowed(borrowed) => borrowed.deep_view(),
Cow::Owned(owned) => owned.deep_view(),
}
}
{
match self {
Cow::Borrowed(borrowed) => borrowed.deep_view(),
Cow::Owned(owned) => owned.deep_view(),
}
}
{ hash_map_deep_view_impl(*self) }
{
match self {
Some(t) => Some(t.deep_view()),
None => None,
}
}
{
let v = self.view();
Seq::new(v.len(), |i: int| v[i].deep_view())
}
{
let v = self.view();
Seq::new(v.len(), |i: int| v[i].deep_view())
}
{
let v = self.view();
Seq::new(v.len(), |i: int| v[i].deep_view())
}
{
let v = self.view();
Seq::new(v.len(), |i: int| v[i].deep_view())
}