summaryrefslogtreecommitdiffstats
path: root/src/program.rs
diff options
context:
space:
mode:
authorLibravatar Héctor Ramón Jiménez <hector@hecrj.dev>2024-03-17 14:16:38 +0100
committerLibravatar Héctor Ramón Jiménez <hector@hecrj.dev>2024-03-17 14:19:12 +0100
commit54f44754eb216d4b2c08cd2a7c3582f1dc295205 (patch)
tree9f4a999ad92c62a1cf4df4559ff320fda83577c1 /src/program.rs
parent7e1ef7d150aa3d4d05942eea2706348f20d61d64 (diff)
downloadiced-54f44754eb216d4b2c08cd2a7c3582f1dc295205.tar.gz
iced-54f44754eb216d4b2c08cd2a7c3582f1dc295205.tar.bz2
iced-54f44754eb216d4b2c08cd2a7c3582f1dc295205.zip
Move `Program` to `application` module
Diffstat (limited to 'src/program.rs')
-rw-r--r--src/program.rs820
1 files changed, 0 insertions, 820 deletions
diff --git a/src/program.rs b/src/program.rs
deleted file mode 100644
index b379dccf..00000000
--- a/src/program.rs
+++ /dev/null
@@ -1,820 +0,0 @@
-//! Create iced applications out of simple functions.
-//!
-//! You can use this API to create and run iced applications
-//! step by step—without coupling your logic to a trait
-//! or a specific type.
-//!
-//! This API is meant to be a more convenient—although less
-//! powerful—alternative to the [`Application`] traits.
-//!
-//! [`Sandbox`]: crate::Sandbox
-//!
-//! # Example
-//! ```no_run
-//! use iced::widget::{button, column, text, Column};
-//! use iced::Theme;
-//!
-//! pub fn main() -> iced::Result {
-//! iced::application("A counter", update, view)
-//! .theme(|_| Theme::Dark)
-//! .centered()
-//! .run()
-//! }
-//!
-//! #[derive(Debug, Clone)]
-//! enum Message {
-//! Increment,
-//! }
-//!
-//! fn update(value: &mut u64, message: Message) {
-//! match message {
-//! Message::Increment => *value += 1,
-//! }
-//! }
-//!
-//! fn view(value: &u64) -> Column<Message> {
-//! column![
-//! text(value),
-//! button("+").on_press(Message::Increment),
-//! ]
-//! }
-//! ```
-use crate::application::{self, Application};
-use crate::executor::{self, Executor};
-use crate::window;
-use crate::{Command, Element, Font, Result, Settings, Subscription};
-
-use std::borrow::Cow;
-
-/// Creates an iced [`Program`] given its title, update, and view logic.
-///
-/// # Example
-/// ```no_run
-/// use iced::widget::{button, column, text, Column};
-///
-/// pub fn main() -> iced::Result {
-/// iced::application("A counter", update, view).run()
-/// }
-///
-/// #[derive(Debug, Clone)]
-/// enum Message {
-/// Increment,
-/// }
-///
-/// fn update(value: &mut u64, message: Message) {
-/// match message {
-/// Message::Increment => *value += 1,
-/// }
-/// }
-///
-/// fn view(value: &u64) -> Column<Message> {
-/// column![
-/// text(value),
-/// button("+").on_press(Message::Increment),
-/// ]
-/// }
-/// ```
-pub fn application<State, Message>(
- title: impl Title<State>,
- update: impl Update<State, Message>,
- view: impl for<'a> self::View<'a, State, Message>,
-) -> Program<
- impl Definition<State = State, Message = Message, Theme = crate::Theme>,
->
-where
- State: Default + 'static,
- Message: Send + std::fmt::Debug,
-{
- use std::marker::PhantomData;
-
- struct Application<State, Message, Update, View> {
- update: Update,
- view: View,
- _state: PhantomData<State>,
- _message: PhantomData<Message>,
- }
-
- impl<State, Message, Update, View> Definition
- for Application<State, Message, Update, View>
- where
- State: Default,
- Message: Send + std::fmt::Debug,
- Update: self::Update<State, Message>,
- View: for<'a> self::View<'a, State, Message>,
- {
- type State = State;
- type Message = Message;
- type Theme = crate::Theme;
- type Executor = executor::Default;
-
- fn build(&self) -> (Self::State, Command<Self::Message>) {
- (Self::State::default(), Command::none())
- }
-
- fn update(
- &self,
- state: &mut Self::State,
- message: Self::Message,
- ) -> Command<Self::Message> {
- self.update.update(state, message).into()
- }
-
- fn view<'a>(
- &self,
- state: &'a Self::State,
- ) -> Element<'a, Self::Message, Self::Theme> {
- self.view.view(state).into()
- }
- }
-
- Program {
- raw: Application {
- update,
- view,
- _state: PhantomData,
- _message: PhantomData,
- },
- settings: Settings::default(),
- }
- .title(title)
-}
-
-/// A fully functioning and configured iced application.
-///
-/// It can be [`run`]!
-///
-/// Create one with the [`application`] helper.
-///
-/// [`run`]: Program::run
-/// [`application`]: self::application()
-#[derive(Debug)]
-pub struct Program<P: Definition> {
- raw: P,
- settings: Settings,
-}
-
-impl<P: Definition> Program<P> {
- /// Runs the [`Program`].
- pub fn run(self) -> Result
- where
- Self: 'static,
- {
- struct Instance<P: Definition> {
- program: P,
- state: P::State,
- }
-
- impl<P: Definition> Application for Instance<P> {
- type Message = P::Message;
- type Theme = P::Theme;
- type Flags = P;
- type Executor = P::Executor;
-
- fn new(program: Self::Flags) -> (Self, Command<Self::Message>) {
- let (state, command) = P::build(&program);
-
- (Self { program, state }, command)
- }
-
- fn title(&self) -> String {
- self.program.title(&self.state)
- }
-
- fn update(
- &mut self,
- message: Self::Message,
- ) -> Command<Self::Message> {
- self.program.update(&mut self.state, message)
- }
-
- fn view(
- &self,
- ) -> crate::Element<'_, Self::Message, Self::Theme, crate::Renderer>
- {
- self.program.view(&self.state)
- }
-
- fn subscription(&self) -> Subscription<Self::Message> {
- self.program.subscription(&self.state)
- }
-
- fn theme(&self) -> Self::Theme {
- self.program.theme(&self.state)
- }
-
- fn style(&self, theme: &Self::Theme) -> application::Appearance {
- self.program.style(&self.state, theme)
- }
- }
-
- let Self { raw, settings } = self;
-
- Instance::run(Settings {
- flags: raw,
- id: settings.id,
- window: settings.window,
- fonts: settings.fonts,
- default_font: settings.default_font,
- default_text_size: settings.default_text_size,
- antialiasing: settings.antialiasing,
- })
- }
-
- /// Sets the [`Settings`] that will be used to run the [`Program`].
- pub fn settings(self, settings: Settings) -> Self {
- Self { settings, ..self }
- }
-
- /// Sets the [`Settings::antialiasing`] of the [`Program`].
- pub fn antialiasing(self, antialiasing: bool) -> Self {
- Self {
- settings: Settings {
- antialiasing,
- ..self.settings
- },
- ..self
- }
- }
-
- /// Sets the default [`Font`] of the [`Program`].
- pub fn default_font(self, default_font: Font) -> Self {
- Self {
- settings: Settings {
- default_font,
- ..self.settings
- },
- ..self
- }
- }
-
- /// Adds a font to the list of fonts that will be loaded at the start of the [`Program`].
- pub fn font(mut self, font: impl Into<Cow<'static, [u8]>>) -> Self {
- self.settings.fonts.push(font.into());
- self
- }
-
- /// Sets the [`window::Settings::position`] to [`window::Position::Centered`] in the [`Program`].
- pub fn centered(self) -> Self {
- Self {
- settings: Settings {
- window: window::Settings {
- position: window::Position::Centered,
- ..self.settings.window
- },
- ..self.settings
- },
- ..self
- }
- }
-
- /// Sets the [`window::Settings::exit_on_close_request`] of the [`Program`].
- pub fn exit_on_close_request(self, exit_on_close_request: bool) -> Self {
- Self {
- settings: Settings {
- window: window::Settings {
- exit_on_close_request,
- ..self.settings.window
- },
- ..self.settings
- },
- ..self
- }
- }
-
- /// Sets the [`window::Settings::transparent`] of the [`Program`].
- pub fn transparent(self, transparent: bool) -> Self {
- Self {
- settings: Settings {
- window: window::Settings {
- transparent,
- ..self.settings.window
- },
- ..self.settings
- },
- ..self
- }
- }
-
- /// Sets the [`Title`] of the [`Program`].
- pub(crate) fn title(
- self,
- title: impl Title<P::State>,
- ) -> Program<
- impl Definition<State = P::State, Message = P::Message, Theme = P::Theme>,
- > {
- Program {
- raw: with_title(self.raw, title),
- settings: self.settings,
- }
- }
-
- /// Runs the [`Command`] produced by the closure at startup.
- pub fn load(
- self,
- f: impl Fn() -> Command<P::Message>,
- ) -> Program<
- impl Definition<State = P::State, Message = P::Message, Theme = P::Theme>,
- > {
- Program {
- raw: with_load(self.raw, f),
- settings: self.settings,
- }
- }
-
- /// Sets the subscription logic of the [`Program`].
- pub fn subscription(
- self,
- f: impl Fn(&P::State) -> Subscription<P::Message>,
- ) -> Program<
- impl Definition<State = P::State, Message = P::Message, Theme = P::Theme>,
- > {
- Program {
- raw: with_subscription(self.raw, f),
- settings: self.settings,
- }
- }
-
- /// Sets the theme logic of the [`Program`].
- pub fn theme(
- self,
- f: impl Fn(&P::State) -> P::Theme,
- ) -> Program<
- impl Definition<State = P::State, Message = P::Message, Theme = P::Theme>,
- > {
- Program {
- raw: with_theme(self.raw, f),
- settings: self.settings,
- }
- }
-
- /// Sets the style logic of the [`Program`].
- pub fn style(
- self,
- f: impl Fn(&P::State, &P::Theme) -> application::Appearance,
- ) -> Program<
- impl Definition<State = P::State, Message = P::Message, Theme = P::Theme>,
- > {
- Program {
- raw: with_style(self.raw, f),
- settings: self.settings,
- }
- }
-}
-
-/// The internal definition of a [`Program`].
-///
-/// You should not need to implement this trait directly. Instead, use the
-/// helper functions available in the [`program`] module and the [`Program`] struct.
-///
-/// [`program`]: crate::program
-#[allow(missing_docs)]
-pub trait Definition: Sized {
- /// The state of the program.
- type State;
-
- /// The message of the program.
- type Message: Send + std::fmt::Debug;
-
- /// The theme of the program.
- type Theme: Default + application::DefaultStyle;
-
- /// The executor of the program.
- type Executor: Executor;
-
- fn build(&self) -> (Self::State, Command<Self::Message>);
-
- fn update(
- &self,
- state: &mut Self::State,
- message: Self::Message,
- ) -> Command<Self::Message>;
-
- fn view<'a>(
- &self,
- state: &'a Self::State,
- ) -> Element<'a, Self::Message, Self::Theme>;
-
- fn title(&self, _state: &Self::State) -> String {
- String::from("A cool iced application!")
- }
-
- fn subscription(
- &self,
- _state: &Self::State,
- ) -> Subscription<Self::Message> {
- Subscription::none()
- }
-
- fn theme(&self, _state: &Self::State) -> Self::Theme {
- Self::Theme::default()
- }
-
- fn style(
- &self,
- _state: &Self::State,
- theme: &Self::Theme,
- ) -> application::Appearance {
- application::DefaultStyle::default_style(theme)
- }
-}
-
-fn with_title<P: Definition>(
- program: P,
- title: impl Title<P::State>,
-) -> impl Definition<State = P::State, Message = P::Message, Theme = P::Theme> {
- struct WithTitle<P, Title> {
- program: P,
- title: Title,
- }
-
- impl<P, Title> Definition for WithTitle<P, Title>
- where
- P: Definition,
- Title: self::Title<P::State>,
- {
- type State = P::State;
- type Message = P::Message;
- type Theme = P::Theme;
- type Executor = P::Executor;
-
- fn build(&self) -> (Self::State, Command<Self::Message>) {
- self.program.build()
- }
-
- fn title(&self, state: &Self::State) -> String {
- self.title.title(state)
- }
-
- fn update(
- &self,
- state: &mut Self::State,
- message: Self::Message,
- ) -> Command<Self::Message> {
- self.program.update(state, message)
- }
-
- fn view<'a>(
- &self,
- state: &'a Self::State,
- ) -> Element<'a, Self::Message, Self::Theme> {
- self.program.view(state)
- }
-
- fn theme(&self, state: &Self::State) -> Self::Theme {
- self.program.theme(state)
- }
-
- fn subscription(
- &self,
- state: &Self::State,
- ) -> Subscription<Self::Message> {
- self.program.subscription(state)
- }
-
- fn style(
- &self,
- state: &Self::State,
- theme: &Self::Theme,
- ) -> application::Appearance {
- self.program.style(state, theme)
- }
- }
-
- WithTitle { program, title }
-}
-
-fn with_load<P: Definition>(
- program: P,
- f: impl Fn() -> Command<P::Message>,
-) -> impl Definition<State = P::State, Message = P::Message, Theme = P::Theme> {
- struct WithLoad<P, F> {
- program: P,
- load: F,
- }
-
- impl<P: Definition, F> Definition for WithLoad<P, F>
- where
- F: Fn() -> Command<P::Message>,
- {
- type State = P::State;
- type Message = P::Message;
- type Theme = P::Theme;
- type Executor = executor::Default;
-
- fn build(&self) -> (Self::State, Command<Self::Message>) {
- let (state, command) = self.program.build();
-
- (state, Command::batch([command, (self.load)()]))
- }
-
- fn update(
- &self,
- state: &mut Self::State,
- message: Self::Message,
- ) -> Command<Self::Message> {
- self.program.update(state, message)
- }
-
- fn view<'a>(
- &self,
- state: &'a Self::State,
- ) -> Element<'a, Self::Message, Self::Theme> {
- self.program.view(state)
- }
-
- fn title(&self, state: &Self::State) -> String {
- self.program.title(state)
- }
-
- fn subscription(
- &self,
- state: &Self::State,
- ) -> Subscription<Self::Message> {
- self.program.subscription(state)
- }
-
- fn theme(&self, state: &Self::State) -> Self::Theme {
- self.program.theme(state)
- }
-
- fn style(
- &self,
- state: &Self::State,
- theme: &Self::Theme,
- ) -> application::Appearance {
- self.program.style(state, theme)
- }
- }
-
- WithLoad { program, load: f }
-}
-
-fn with_subscription<P: Definition>(
- program: P,
- f: impl Fn(&P::State) -> Subscription<P::Message>,
-) -> impl Definition<State = P::State, Message = P::Message, Theme = P::Theme> {
- struct WithSubscription<P, F> {
- program: P,
- subscription: F,
- }
-
- impl<P: Definition, F> Definition for WithSubscription<P, F>
- where
- F: Fn(&P::State) -> Subscription<P::Message>,
- {
- type State = P::State;
- type Message = P::Message;
- type Theme = P::Theme;
- type Executor = executor::Default;
-
- fn subscription(
- &self,
- state: &Self::State,
- ) -> Subscription<Self::Message> {
- (self.subscription)(state)
- }
-
- fn build(&self) -> (Self::State, Command<Self::Message>) {
- self.program.build()
- }
-
- fn update(
- &self,
- state: &mut Self::State,
- message: Self::Message,
- ) -> Command<Self::Message> {
- self.program.update(state, message)
- }
-
- fn view<'a>(
- &self,
- state: &'a Self::State,
- ) -> Element<'a, Self::Message, Self::Theme> {
- self.program.view(state)
- }
-
- fn title(&self, state: &Self::State) -> String {
- self.program.title(state)
- }
-
- fn theme(&self, state: &Self::State) -> Self::Theme {
- self.program.theme(state)
- }
-
- fn style(
- &self,
- state: &Self::State,
- theme: &Self::Theme,
- ) -> application::Appearance {
- self.program.style(state, theme)
- }
- }
-
- WithSubscription {
- program,
- subscription: f,
- }
-}
-
-fn with_theme<P: Definition>(
- program: P,
- f: impl Fn(&P::State) -> P::Theme,
-) -> impl Definition<State = P::State, Message = P::Message, Theme = P::Theme> {
- struct WithTheme<P, F> {
- program: P,
- theme: F,
- }
-
- impl<P: Definition, F> Definition for WithTheme<P, F>
- where
- F: Fn(&P::State) -> P::Theme,
- {
- type State = P::State;
- type Message = P::Message;
- type Theme = P::Theme;
- type Executor = P::Executor;
-
- fn theme(&self, state: &Self::State) -> Self::Theme {
- (self.theme)(state)
- }
-
- fn build(&self) -> (Self::State, Command<Self::Message>) {
- self.program.build()
- }
-
- fn title(&self, state: &Self::State) -> String {
- self.program.title(state)
- }
-
- fn update(
- &self,
- state: &mut Self::State,
- message: Self::Message,
- ) -> Command<Self::Message> {
- self.program.update(state, message)
- }
-
- fn view<'a>(
- &self,
- state: &'a Self::State,
- ) -> Element<'a, Self::Message, Self::Theme> {
- self.program.view(state)
- }
-
- fn subscription(
- &self,
- state: &Self::State,
- ) -> Subscription<Self::Message> {
- self.program.subscription(state)
- }
-
- fn style(
- &self,
- state: &Self::State,
- theme: &Self::Theme,
- ) -> application::Appearance {
- self.program.style(state, theme)
- }
- }
-
- WithTheme { program, theme: f }
-}
-
-fn with_style<P: Definition>(
- program: P,
- f: impl Fn(&P::State, &P::Theme) -> application::Appearance,
-) -> impl Definition<State = P::State, Message = P::Message, Theme = P::Theme> {
- struct WithStyle<P, F> {
- program: P,
- style: F,
- }
-
- impl<P: Definition, F> Definition for WithStyle<P, F>
- where
- F: Fn(&P::State, &P::Theme) -> application::Appearance,
- {
- type State = P::State;
- type Message = P::Message;
- type Theme = P::Theme;
- type Executor = P::Executor;
-
- fn style(
- &self,
- state: &Self::State,
- theme: &Self::Theme,
- ) -> application::Appearance {
- (self.style)(state, theme)
- }
-
- fn build(&self) -> (Self::State, Command<Self::Message>) {
- self.program.build()
- }
-
- fn title(&self, state: &Self::State) -> String {
- self.program.title(state)
- }
-
- fn update(
- &self,
- state: &mut Self::State,
- message: Self::Message,
- ) -> Command<Self::Message> {
- self.program.update(state, message)
- }
-
- fn view<'a>(
- &self,
- state: &'a Self::State,
- ) -> Element<'a, Self::Message, Self::Theme> {
- self.program.view(state)
- }
-
- fn subscription(
- &self,
- state: &Self::State,
- ) -> Subscription<Self::Message> {
- self.program.subscription(state)
- }
-
- fn theme(&self, state: &Self::State) -> Self::Theme {
- self.program.theme(state)
- }
- }
-
- WithStyle { program, style: f }
-}
-
-/// The title logic of some [`Program`].
-///
-/// This trait is implemented both for `&static str` and
-/// any closure `Fn(&State) -> String`.
-pub trait Title<State> {
- /// Produces the title of the [`Program`].
- fn title(&self, state: &State) -> String;
-}
-
-impl<State> Title<State> for &'static str {
- fn title(&self, _state: &State) -> String {
- self.to_string()
- }
-}
-
-impl<T, State> Title<State> for T
-where
- T: Fn(&State) -> String,
-{
- fn title(&self, state: &State) -> String {
- self(state)
- }
-}
-
-/// The update logic of some [`Program`].
-///
-/// This trait allows [`application`] to take any closure that
-/// returns any `Into<Command<Message>>`.
-///
-/// [`application`]: self::application()
-pub trait Update<State, Message> {
- /// Processes the message and updates the state of the [`Program`].
- fn update(
- &self,
- state: &mut State,
- message: Message,
- ) -> impl Into<Command<Message>>;
-}
-
-impl<T, State, Message, C> Update<State, Message> for T
-where
- T: Fn(&mut State, Message) -> C,
- C: Into<Command<Message>>,
-{
- fn update(
- &self,
- state: &mut State,
- message: Message,
- ) -> impl Into<Command<Message>> {
- self(state, message)
- }
-}
-
-/// The view logic of some [`Program`].
-///
-/// This trait allows [`application`] to take any closure that
-/// returns any `Into<Element<'_, Message>>`.
-///
-/// [`application`]: self::application()
-pub trait View<'a, State, Message> {
- /// Produces the widget of the [`Program`].
- fn view(&self, state: &'a State) -> impl Into<Element<'a, Message>>;
-}
-
-impl<'a, T, State, Message, Widget> View<'a, State, Message> for T
-where
- T: Fn(&'a State) -> Widget,
- State: 'static,
- Widget: Into<Element<'a, Message>>,
-{
- fn view(&self, state: &'a State) -> impl Into<Element<'a, Message>> {
- self(state)
- }
-}