2023-09-22 14:33:51 +00:00
|
|
|
use crate::{
|
2023-11-18 06:32:55 +00:00
|
|
|
private::Sealed, AnyElement, AnyModel, AnyWeakModel, AppContext, AvailableSpace, BorrowWindow,
|
2023-11-22 18:19:43 +00:00
|
|
|
Bounds, Element, ElementId, Entity, EntityId, Flatten, FocusHandle, FocusableView, IntoElement,
|
|
|
|
LayoutId, Model, Pixels, Point, Render, Size, ViewContext, VisualContext, WeakModel,
|
2023-11-16 07:41:25 +00:00
|
|
|
WindowContext,
|
2023-10-26 16:17:45 +00:00
|
|
|
};
|
2023-10-26 17:41:42 +00:00
|
|
|
use anyhow::{Context, Result};
|
2023-11-01 18:31:23 +00:00
|
|
|
use std::{
|
2023-11-20 19:21:42 +00:00
|
|
|
any::TypeId,
|
2023-12-14 22:15:56 +00:00
|
|
|
fmt,
|
2023-11-02 08:41:49 +00:00
|
|
|
hash::{Hash, Hasher},
|
2023-11-01 18:31:23 +00:00
|
|
|
};
|
2023-09-22 14:33:51 +00:00
|
|
|
|
2023-10-30 19:36:48 +00:00
|
|
|
pub struct View<V> {
|
2023-11-19 03:05:47 +00:00
|
|
|
pub model: Model<V>,
|
2023-09-22 14:33:51 +00:00
|
|
|
}
|
|
|
|
|
2023-10-31 00:43:07 +00:00
|
|
|
impl<V> Sealed for View<V> {}
|
|
|
|
|
|
|
|
impl<V: 'static> Entity<V> for View<V> {
|
|
|
|
type Weak = WeakView<V>;
|
|
|
|
|
|
|
|
fn entity_id(&self) -> EntityId {
|
|
|
|
self.model.entity_id
|
|
|
|
}
|
|
|
|
|
|
|
|
fn downgrade(&self) -> Self::Weak {
|
2023-10-26 16:17:45 +00:00
|
|
|
WeakView {
|
2023-10-30 19:36:48 +00:00
|
|
|
model: self.model.downgrade(),
|
2023-10-26 16:17:45 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-10-31 00:43:07 +00:00
|
|
|
fn upgrade_from(weak: &Self::Weak) -> Option<Self>
|
|
|
|
where
|
|
|
|
Self: Sized,
|
|
|
|
{
|
|
|
|
let model = weak.model.upgrade()?;
|
|
|
|
Some(View { model })
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<V: 'static> View<V> {
|
|
|
|
/// Convert this strong view reference into a weak view reference.
|
|
|
|
pub fn downgrade(&self) -> WeakView<V> {
|
|
|
|
Entity::downgrade(self)
|
|
|
|
}
|
|
|
|
|
2023-10-26 17:41:42 +00:00
|
|
|
pub fn update<C, R>(
|
2023-10-26 16:17:45 +00:00
|
|
|
&self,
|
2023-10-26 17:41:42 +00:00
|
|
|
cx: &mut C,
|
2023-11-02 08:41:49 +00:00
|
|
|
f: impl FnOnce(&mut V, &mut ViewContext<'_, V>) -> R,
|
2023-10-26 17:41:42 +00:00
|
|
|
) -> C::Result<R>
|
|
|
|
where
|
|
|
|
C: VisualContext,
|
|
|
|
{
|
|
|
|
cx.update_view(self, f)
|
2023-10-26 16:17:45 +00:00
|
|
|
}
|
2023-10-30 22:19:40 +00:00
|
|
|
|
|
|
|
pub fn read<'a>(&self, cx: &'a AppContext) -> &'a V {
|
|
|
|
self.model.read(cx)
|
|
|
|
}
|
2023-11-15 17:45:51 +00:00
|
|
|
|
2023-11-20 19:21:42 +00:00
|
|
|
// pub fn render_with<E>(&self, component: E) -> RenderViewWith<E, V>
|
|
|
|
// where
|
|
|
|
// E: 'static + Element,
|
|
|
|
// {
|
|
|
|
// RenderViewWith {
|
|
|
|
// view: self.clone(),
|
|
|
|
// element: Some(component),
|
|
|
|
// }
|
|
|
|
// }
|
2023-11-16 00:36:43 +00:00
|
|
|
|
|
|
|
pub fn focus_handle(&self, cx: &AppContext) -> FocusHandle
|
|
|
|
where
|
|
|
|
V: FocusableView,
|
|
|
|
{
|
|
|
|
self.read(cx).focus_handle(cx)
|
|
|
|
}
|
2023-10-26 16:17:45 +00:00
|
|
|
}
|
|
|
|
|
2023-11-20 19:21:42 +00:00
|
|
|
impl<V: Render> Element for View<V> {
|
|
|
|
type State = Option<AnyElement>;
|
|
|
|
|
2023-12-31 15:33:40 +00:00
|
|
|
fn request_layout(
|
2023-11-20 19:21:42 +00:00
|
|
|
&mut self,
|
|
|
|
_state: Option<Self::State>,
|
|
|
|
cx: &mut WindowContext,
|
|
|
|
) -> (LayoutId, Self::State) {
|
2023-12-31 15:33:40 +00:00
|
|
|
let mut element = self.update(cx, |view, cx| view.render(cx).into_any_element());
|
2024-01-02 17:27:09 +00:00
|
|
|
let layout_id = element.request_layout(cx);
|
2023-11-20 23:00:47 +00:00
|
|
|
(layout_id, Some(element))
|
2023-11-20 19:21:42 +00:00
|
|
|
}
|
|
|
|
|
2023-12-14 22:15:18 +00:00
|
|
|
fn paint(&mut self, _: Bounds<Pixels>, element: &mut Self::State, cx: &mut WindowContext) {
|
2023-11-20 19:21:42 +00:00
|
|
|
element.take().unwrap().paint(cx);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-10-26 16:17:45 +00:00
|
|
|
impl<V> Clone for View<V> {
|
|
|
|
fn clone(&self) -> Self {
|
|
|
|
Self {
|
2023-10-30 19:36:48 +00:00
|
|
|
model: self.model.clone(),
|
2023-10-26 16:17:45 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-11-02 08:41:49 +00:00
|
|
|
impl<V> Hash for View<V> {
|
|
|
|
fn hash<H: Hasher>(&self, state: &mut H) {
|
|
|
|
self.model.hash(state);
|
2023-10-12 17:30:00 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-11-02 08:41:49 +00:00
|
|
|
impl<V> PartialEq for View<V> {
|
|
|
|
fn eq(&self, other: &Self) -> bool {
|
|
|
|
self.model == other.model
|
2023-10-11 17:40:42 +00:00
|
|
|
}
|
2023-11-02 08:41:49 +00:00
|
|
|
}
|
2023-10-11 17:40:42 +00:00
|
|
|
|
2023-11-02 08:41:49 +00:00
|
|
|
impl<V> Eq for View<V> {}
|
2023-10-18 12:12:50 +00:00
|
|
|
|
2023-10-26 16:17:45 +00:00
|
|
|
pub struct WeakView<V> {
|
2023-10-30 19:36:48 +00:00
|
|
|
pub(crate) model: WeakModel<V>,
|
2023-10-26 16:17:45 +00:00
|
|
|
}
|
|
|
|
|
2023-10-26 17:41:42 +00:00
|
|
|
impl<V: 'static> WeakView<V> {
|
2023-11-02 09:53:28 +00:00
|
|
|
pub fn entity_id(&self) -> EntityId {
|
|
|
|
self.model.entity_id
|
|
|
|
}
|
|
|
|
|
2023-10-26 16:17:45 +00:00
|
|
|
pub fn upgrade(&self) -> Option<View<V>> {
|
2023-10-31 00:43:07 +00:00
|
|
|
Entity::upgrade_from(self)
|
2023-09-22 14:33:51 +00:00
|
|
|
}
|
2023-10-26 17:41:42 +00:00
|
|
|
|
2023-11-02 08:41:49 +00:00
|
|
|
pub fn update<C, R>(
|
2023-10-26 17:41:42 +00:00
|
|
|
&self,
|
2023-11-02 08:41:49 +00:00
|
|
|
cx: &mut C,
|
|
|
|
f: impl FnOnce(&mut V, &mut ViewContext<'_, V>) -> R,
|
|
|
|
) -> Result<R>
|
|
|
|
where
|
|
|
|
C: VisualContext,
|
|
|
|
Result<C::Result<R>>: Flatten<R>,
|
|
|
|
{
|
2023-10-26 17:41:42 +00:00
|
|
|
let view = self.upgrade().context("error upgrading view")?;
|
2023-11-02 08:41:49 +00:00
|
|
|
Ok(view.update(cx, f)).flatten()
|
2023-10-26 17:41:42 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<V> Clone for WeakView<V> {
|
|
|
|
fn clone(&self) -> Self {
|
|
|
|
Self {
|
2023-10-30 19:36:48 +00:00
|
|
|
model: self.model.clone(),
|
2023-10-26 17:41:42 +00:00
|
|
|
}
|
|
|
|
}
|
2023-09-22 14:33:51 +00:00
|
|
|
}
|
|
|
|
|
2023-11-02 08:41:49 +00:00
|
|
|
impl<V> Hash for WeakView<V> {
|
|
|
|
fn hash<H: Hasher>(&self, state: &mut H) {
|
|
|
|
self.model.hash(state);
|
2023-10-12 17:30:00 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-11-02 08:41:49 +00:00
|
|
|
impl<V> PartialEq for WeakView<V> {
|
|
|
|
fn eq(&self, other: &Self) -> bool {
|
|
|
|
self.model == other.model
|
2023-10-18 12:12:50 +00:00
|
|
|
}
|
2023-09-22 14:33:51 +00:00
|
|
|
}
|
|
|
|
|
2023-11-02 08:41:49 +00:00
|
|
|
impl<V> Eq for WeakView<V> {}
|
2023-09-22 14:33:51 +00:00
|
|
|
|
2023-10-31 15:16:30 +00:00
|
|
|
#[derive(Clone, Debug)]
|
|
|
|
pub struct AnyView {
|
|
|
|
model: AnyModel,
|
2023-11-20 19:21:42 +00:00
|
|
|
layout: fn(&AnyView, &mut WindowContext) -> (LayoutId, AnyElement),
|
2023-12-14 22:15:18 +00:00
|
|
|
paint: fn(&AnyView, &mut AnyElement, &mut WindowContext),
|
2023-10-31 15:16:30 +00:00
|
|
|
}
|
2023-09-22 14:33:51 +00:00
|
|
|
|
2023-10-26 17:41:42 +00:00
|
|
|
impl AnyView {
|
2023-10-31 15:19:46 +00:00
|
|
|
pub fn downgrade(&self) -> AnyWeakView {
|
|
|
|
AnyWeakView {
|
|
|
|
model: self.model.downgrade(),
|
|
|
|
layout: self.layout,
|
|
|
|
paint: self.paint,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-10-31 15:16:30 +00:00
|
|
|
pub fn downcast<T: 'static>(self) -> Result<View<T>, Self> {
|
|
|
|
match self.model.downcast() {
|
|
|
|
Ok(model) => Ok(View { model }),
|
|
|
|
Err(model) => Err(Self {
|
|
|
|
model,
|
|
|
|
layout: self.layout,
|
|
|
|
paint: self.paint,
|
|
|
|
}),
|
|
|
|
}
|
2023-10-30 22:19:40 +00:00
|
|
|
}
|
|
|
|
|
2023-11-02 08:41:49 +00:00
|
|
|
pub fn entity_type(&self) -> TypeId {
|
2023-10-31 15:16:30 +00:00
|
|
|
self.model.entity_type
|
2023-10-30 22:19:40 +00:00
|
|
|
}
|
|
|
|
|
2023-11-17 20:23:12 +00:00
|
|
|
pub fn entity_id(&self) -> EntityId {
|
|
|
|
self.model.entity_id()
|
|
|
|
}
|
|
|
|
|
2023-11-15 19:41:09 +00:00
|
|
|
pub(crate) fn draw(
|
|
|
|
&self,
|
|
|
|
origin: Point<Pixels>,
|
|
|
|
available_space: Size<AvailableSpace>,
|
|
|
|
cx: &mut WindowContext,
|
|
|
|
) {
|
|
|
|
cx.with_absolute_element_offset(origin, |cx| {
|
2023-12-14 22:15:18 +00:00
|
|
|
let (layout_id, mut rendered_element) = (self.layout)(self, cx);
|
2023-11-30 16:12:40 +00:00
|
|
|
cx.compute_layout(layout_id, available_space);
|
2023-12-14 22:15:18 +00:00
|
|
|
(self.paint)(self, &mut rendered_element, cx);
|
2023-11-15 19:41:09 +00:00
|
|
|
})
|
2023-10-26 17:41:42 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-10-31 15:16:30 +00:00
|
|
|
impl<V: Render> From<View<V>> for AnyView {
|
|
|
|
fn from(value: View<V>) -> Self {
|
|
|
|
AnyView {
|
|
|
|
model: value.model.into_any(),
|
2023-11-03 10:36:18 +00:00
|
|
|
layout: any_view::layout::<V>,
|
2024-01-01 23:09:24 +00:00
|
|
|
paint: any_view::paint,
|
2023-10-31 15:16:30 +00:00
|
|
|
}
|
2023-10-12 17:30:00 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-11-20 02:32:31 +00:00
|
|
|
impl Element for AnyView {
|
2023-11-20 19:21:42 +00:00
|
|
|
type State = Option<AnyElement>;
|
2023-11-19 03:05:47 +00:00
|
|
|
|
2023-12-31 15:33:40 +00:00
|
|
|
fn request_layout(
|
2023-11-19 03:05:47 +00:00
|
|
|
&mut self,
|
|
|
|
_state: Option<Self::State>,
|
2023-11-20 19:21:42 +00:00
|
|
|
cx: &mut WindowContext,
|
2023-11-19 03:05:47 +00:00
|
|
|
) -> (LayoutId, Self::State) {
|
2023-11-20 19:21:42 +00:00
|
|
|
let (layout_id, state) = (self.layout)(self, cx);
|
|
|
|
(layout_id, Some(state))
|
2023-11-19 03:05:47 +00:00
|
|
|
}
|
|
|
|
|
2023-12-14 22:15:18 +00:00
|
|
|
fn paint(&mut self, _: Bounds<Pixels>, state: &mut Self::State, cx: &mut WindowContext) {
|
2023-11-30 17:11:39 +00:00
|
|
|
debug_assert!(
|
|
|
|
state.is_some(),
|
|
|
|
"state is None. Did you include an AnyView twice in the tree?"
|
|
|
|
);
|
2024-01-01 23:09:24 +00:00
|
|
|
(self.paint)(self, state.as_mut().unwrap(), cx)
|
2023-11-19 03:05:47 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-11-22 18:19:43 +00:00
|
|
|
impl<V: 'static + Render> IntoElement for View<V> {
|
2023-11-19 03:05:47 +00:00
|
|
|
type Element = View<V>;
|
2023-09-22 14:33:51 +00:00
|
|
|
|
2023-11-14 08:15:48 +00:00
|
|
|
fn element_id(&self) -> Option<ElementId> {
|
2023-11-22 01:11:38 +00:00
|
|
|
Some(ElementId::from_entity_id(self.model.entity_id))
|
2023-10-11 17:40:42 +00:00
|
|
|
}
|
|
|
|
|
2023-11-22 18:19:43 +00:00
|
|
|
fn into_element(self) -> Self::Element {
|
2023-11-19 03:05:47 +00:00
|
|
|
self
|
2023-09-22 14:33:51 +00:00
|
|
|
}
|
2023-11-19 03:05:47 +00:00
|
|
|
}
|
2023-09-22 14:33:51 +00:00
|
|
|
|
2023-11-22 18:19:43 +00:00
|
|
|
impl IntoElement for AnyView {
|
2023-11-19 03:05:47 +00:00
|
|
|
type Element = Self;
|
|
|
|
|
2023-11-19 04:51:47 +00:00
|
|
|
fn element_id(&self) -> Option<ElementId> {
|
2023-11-22 01:11:38 +00:00
|
|
|
Some(ElementId::from_entity_id(self.model.entity_id))
|
2023-11-19 04:51:47 +00:00
|
|
|
}
|
|
|
|
|
2023-11-22 18:19:43 +00:00
|
|
|
fn into_element(self) -> Self::Element {
|
2023-11-19 03:05:47 +00:00
|
|
|
self
|
2023-10-12 17:30:00 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-10-31 15:19:46 +00:00
|
|
|
pub struct AnyWeakView {
|
|
|
|
model: AnyWeakModel,
|
2023-11-20 19:21:42 +00:00
|
|
|
layout: fn(&AnyView, &mut WindowContext) -> (LayoutId, AnyElement),
|
2023-12-14 22:15:18 +00:00
|
|
|
paint: fn(&AnyView, &mut AnyElement, &mut WindowContext),
|
2023-10-31 15:19:46 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl AnyWeakView {
|
|
|
|
pub fn upgrade(&self) -> Option<AnyView> {
|
|
|
|
let model = self.model.upgrade()?;
|
|
|
|
Some(AnyView {
|
|
|
|
model,
|
|
|
|
layout: self.layout,
|
|
|
|
paint: self.paint,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-11-20 19:21:42 +00:00
|
|
|
impl<V: 'static + Render> From<WeakView<V>> for AnyWeakView {
|
2023-11-03 10:36:18 +00:00
|
|
|
fn from(view: WeakView<V>) -> Self {
|
|
|
|
Self {
|
|
|
|
model: view.model.into(),
|
|
|
|
layout: any_view::layout::<V>,
|
2024-01-01 23:09:24 +00:00
|
|
|
paint: any_view::paint,
|
2023-11-03 10:36:18 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-12-14 22:15:56 +00:00
|
|
|
impl PartialEq for AnyWeakView {
|
|
|
|
fn eq(&self, other: &Self) -> bool {
|
|
|
|
self.model == other.model
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl std::fmt::Debug for AnyWeakView {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
|
|
|
f.debug_struct("AnyWeakView")
|
|
|
|
.field("entity_id", &self.model.entity_id)
|
|
|
|
.finish_non_exhaustive()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-11-03 10:36:18 +00:00
|
|
|
mod any_view {
|
2023-12-31 15:33:40 +00:00
|
|
|
use crate::{AnyElement, AnyView, IntoElement, LayoutId, Render, WindowContext};
|
2023-11-03 10:36:18 +00:00
|
|
|
|
2023-11-20 19:21:42 +00:00
|
|
|
pub(crate) fn layout<V: 'static + Render>(
|
2023-11-03 10:36:18 +00:00
|
|
|
view: &AnyView,
|
|
|
|
cx: &mut WindowContext,
|
2023-11-20 19:21:42 +00:00
|
|
|
) -> (LayoutId, AnyElement) {
|
2023-11-22 01:11:38 +00:00
|
|
|
let view = view.clone().downcast::<V>().unwrap();
|
2023-12-31 15:33:40 +00:00
|
|
|
let mut element = view.update(cx, |view, cx| view.render(cx).into_any_element());
|
2024-01-02 17:27:09 +00:00
|
|
|
let layout_id = element.request_layout(cx);
|
2023-11-22 01:11:38 +00:00
|
|
|
(layout_id, element)
|
2023-11-03 10:36:18 +00:00
|
|
|
}
|
|
|
|
|
2024-01-01 23:09:24 +00:00
|
|
|
pub(crate) fn paint(_view: &AnyView, element: &mut AnyElement, cx: &mut WindowContext) {
|
2023-11-22 01:11:38 +00:00
|
|
|
element.paint(cx);
|
2023-11-03 10:36:18 +00:00
|
|
|
}
|
|
|
|
}
|