1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
// use core::marker::PhantomData;
// use crate::{action::Action, el::El, event::Event, render::Renderer};
// pub trait App<'a> {
// type State;
// type Message;
// type R: Renderer;
// type E: Event;
// type S;
// fn update(&self, state: &mut Self::State, message: Self::Message) -> impl Into<Action>;
// fn view(
// &self,
// state: &'a Self::State,
// ) -> impl Into<El<'a, Self::Message, Self::R, Self::E, Self::S>>;
// }
// pub fn app<'a, State, Message, R: Renderer, E: Event, S>(
// update: impl Fn(&mut State, Message) -> Action,
// view: impl Fn(&State),
// ) -> impl App<'a> {
// struct Instance<State, Message, R: Renderer, E: Event, S, U, V> {
// update: U,
// view: V,
// _state: PhantomData<State>,
// _message: PhantomData<Message>,
// _r: PhantomData<R>,
// _e: PhantomData<E>,
// _s: PhantomData<S>,
// }
// impl<'a, State, Message, R, E, S, U, V> App<'a> for Instance<State, Message, R, E, S, U, V>
// where
// R: Renderer,
// E: Event,
// U: Fn(&mut State, Message),
// V: Fn(&State) -> Into<El<'a, Self::Message, Self::R, Self::E, Self::S>>,
// {
// type State = State;
// type Message = Message;
// type R = R;
// type E = E;
// type S = S;
// fn update(&self, state: &mut Self::State, message: Self::Message) -> impl Into<Action> {
// (self.update)(state, message)
// }
// fn view(
// &self,
// state: &'a Self::State,
// ) -> impl Into<El<'a, Self::Message, Self::R, Self::E, Self::S>> {
// (self.view)(state)
// }
// }
// Instance {
// update,
// view,
// _state: PhantomData,
// _message: PhantomData,
// _r: PhantomData,
// _e: PhantomData,
// _s: PhantomData,
// }
// }