effectful 0.3.0

Effect<A, E, R> (sync + async), context/layers, pipe — interpreter-style, no bundled executor
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//! Ex 020 — `Cons` / `Nil` heterogenous lists form environments.
use effectful::{Cons, Nil, Service, Tagged};

#[derive(Clone, Copy, Debug, Default, PartialEq, Eq, Hash, Service)]
struct AKey;
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq, Hash, Service)]
struct BKey;

fn main() {
  let row = Cons(
    Tagged::<AKey, _>::new(1_u8),
    Cons(Tagged::<BKey, _>::new(2_u16), Nil),
  );
  assert_eq!(row.0.value, 1);
  assert_eq!(row.1.0.value, 2);
  println!("020_cons_nil ok");
}