envision 0.17.0

A ratatui framework for collaborative TUI development with headless testing support
Documentation 
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

//! Compile-fail fixture: forgetting `.with_args(...)` for a non-`()` Args type.
//!
//! When `App::Args` is anything other than `()`, calling `.build()` directly
//! on `RuntimeBuilder` is unavailable: the `OptionalArgs` trait bound on
//! `RuntimeBuilder::build` is not satisfied. The user must call
//! `.with_args(...)` to obtain a `ConfiguredRuntimeBuilder`, whose `build`
//! is unconditionally available.

use envision::prelude::*;
use std::path::PathBuf;

struct ArgsApp;
#[derive(Clone, Default)]
struct ArgsState;
#[derive(Clone)]
enum ArgsMsg {}

#[derive(Clone)]
struct MyArgs {
    _path: PathBuf,
}

impl App for ArgsApp {
    type State = ArgsState;
    type Message = ArgsMsg;
    type Args = MyArgs;

    fn init(_args: MyArgs) -> (ArgsState, Command<ArgsMsg>) {
        (ArgsState, Command::none())
    }
    fn update(_: &mut ArgsState, _: ArgsMsg) -> Command<ArgsMsg> {
        Command::none()
    }
    fn view(_: &ArgsState, _: &mut ratatui::Frame) {}
}

fn main() {
    // Should fail to compile: A::Args = MyArgs is not OptionalArgs,
    // so RuntimeBuilder::build() is not in scope.
    let _ = Runtime::<ArgsApp, _>::virtual_builder(80, 24)
        .build()
        .unwrap();
}