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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
use core::marker::PhantomData;
use super::IOLike;
use crate::prelude::*;
#[must_use = "IO is not evaluated until `IOLike.exec` invoked"]
pub struct Map<F, X, A, IOX>(F, IOX, PhantomData<(X, A)>);
impl<F, X, A, IOX> core::fmt::Debug for Map<F, X, A, IOX>
where F: core::fmt::Debug,
IOX: core::fmt::Debug
{
fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
f.debug_tuple("Map")
.field(&self.0)
.field(&self.1)
.field(&"PhantomData")
.finish()
}
}
impl<F, X, A, IOX> Clone for Map<F, X, A, IOX>
where F: Clone,
IOX: Clone
{
fn clone(&self) -> Self {
Self(self.0.clone(), self.1.clone(), PhantomData)
}
}
impl<F, X, A, IOA> Copy for Map<F, X, A, IOA>
where F: Copy,
IOA: Copy
{
}
impl<F, X, A, IOA> Map<F, X, A, IOA> {
pub fn new(f: F, ioa: IOA) -> Self {
Self(f, ioa, PhantomData)
}
}
impl<F, X, A, IOX> Equiv for Map<F, X, A, IOX>
where F: F1Once<X>,
IOX: Equiv<To = IO<X>>
{
type To = IO<F::Ret>;
}
impl<F, X, A, IOX> IOLike<F::Ret> for Map<F, X, A, IOX>
where F: F1Once<X, Ret = A>,
IOX: IOLike<X>
{
fn exec(self) -> F::Ret {
self.0.call1(self.1.exec())
}
}