id_effect_logger 0.4.0

Effect-logging service (forwards to tracing) for effect! / AsyncEffect programs
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

//! Mix `~` effect steps with ordinary Rust control flow inside `effect!`.
//!
//! Run: `devenv shell -- cargo run -p id_effect_logger --example macro_block_tail`

use ::id_effect::{Effect, Env, caps, effect, provide, run_with, succeed};
use id_effect_logger::{EffectLogger, EffectLoggerError, EffectLoggerLive};

fn main() {
  tracing_subscriber::fmt()
    .with_env_filter(tracing_subscriber::EnvFilter::new("info"))
    .init();

  let program: Effect<i32, EffectLoggerError, caps!(EffectLogger)> = effect!(|r| {
    let logger = *~EffectLogger;
    let seed = ~succeed::<i32, EffectLoggerError, Env>(6);
    if seed > 0 {
      ~logger.info::<caps!(EffectLogger)>("seed is positive");
      seed * 2
    } else {
      0
    }
  });

  let n = run_with([provide!(EffectLoggerLive)], program).expect("run");
  assert_eq!(n, 12);
  println!("macro_block_tail ok: {n}");
}