id_effect_platform 0.4.0

Platform capability traits (HTTP, FS, process) for id_effect — @effect/platform-style boundaries
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

//! GET a URL via [`id_effect_platform::http`] + Tokio (`id_effect::run_async`).

use id_effect::{Env, RunError, run_with};
use id_effect_platform::http::{HttpRequest, execute, provide_reqwest_http_client};

#[tokio::main]
async fn main() -> Result<(), id_effect_platform::error::HttpError> {
  let url = std::env::args()
    .nth(1)
    .unwrap_or_else(|| "https://example.com".to_string());
  let res = run_with(
    [provide_reqwest_http_client()],
    execute::<Env>(HttpRequest::get(url)),
  )
  .map_err(|e| match e {
    RunError::Effect(e) => e,
    e => panic!("run failed: {e}"),
  })?;
  println!("status={} bytes={}", res.status, res.body.len());
  Ok(())
}