blob: 95cbe91b91793f6a619961d2f34d7cf43d5ce737 (
plain)
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
64
65
66
67
68
69
70
71
|
(.using
[library
[lux {"-" local}
["@" target]
[abstract
[apply {"+" Apply}]
["[0]" functor {"+" Functor}]
["[0]" monad {"+" Monad do}]]]])
(type: .public (Reader r a)
(-> r a))
(def: .public read
(All (_ r) (Reader r r))
(function (_ env) env))
(def: .public (local change proc)
(All (_ r a) (-> (-> r r) (Reader r a) (Reader r a)))
(|>> change proc))
(def: .public (result env proc)
(All (_ r a) (-> r (Reader r a) a))
(proc env))
(implementation: .public functor
(All (_ r) (Functor (Reader r)))
(def: (each f fa)
(function (_ env)
(f (fa env)))))
(implementation: .public apply
(All (_ r) (Apply (Reader r)))
(def: functor ..functor)
(def: (on fa ff)
(function (_ env)
((ff env) (fa env)))))
(implementation: .public monad
(All (_ r) (Monad (Reader r)))
(def: functor ..functor)
(def: (in x)
(function (_ env) x))
(def: (conjoint mma)
(function (_ env)
(mma env env))))
(implementation: .public (with monad)
(All (_ !) (-> (Monad !) (All (_ e) (Monad (All (_ a) (Reader e (! a)))))))
(def: functor
(functor.composite ..functor (the monad.functor monad)))
(def: in
(|>> (# monad in)
(# ..monad in)))
(def: (conjoint eMeMa)
(function (_ env)
(do monad
[eMa (result env eMeMa)]
(result env eMa)))))
(def: .public lifted
(All (_ ! e a) (-> (! a) (Reader e (! a))))
(# ..monad in))
|