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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
import do_setup from require 'spec.test_setup'
import SigStream, Constant, RTNode, Scope, SimpleRegistry, T from require 'alv'
import Op, Builtin from require 'alv.base'
setup do_setup
describe 'SigStream', ->
describe ':unwrap', ->
it 'returns the raw value!', ->
assert.is.equal 3.14, (SigStream T.num, 3.14)\unwrap!
assert.is.equal 'hi', (SigStream T.str, 'hi')\unwrap!
assert.is.equal 'hi', (SigStream T.sym, 'hi')\unwrap!
test 'can assert the type', ->
assert.is.equal 3.14, (SigStream T.num, 3.14)\unwrap T.num
assert.is.equal 'hi', (SigStream T.str, 'hi')\unwrap T.str
assert.is.equal 'hi', (SigStream T.sym, 'hi')\unwrap T.sym
assert.has_error -> (SigStream T.num, 3.14)\unwrap T.sym
assert.has_error -> (SigStream T.str, 'hi')\unwrap T.num
assert.has_error -> (SigStream T.sym, 'hi')\unwrap T.str
test 'has __call shorthand', ->
assert.is.equal 3.14, (SigStream T.num, 3.14)!
assert.is.equal 'hi', (SigStream T.str, 'hi')!
assert.is.equal 'hi', (SigStream T.sym, 'hi')!
assert.is.equal 3.14, (SigStream T.num, 3.14) T.num
assert.is.equal 'hi', (SigStream T.str, 'hi') T.str
assert.is.equal 'hi', (SigStream T.sym, 'hi') T.sym
assert.has_error -> (SigStream T.num, 3.14) T.sym
assert.has_error -> (SigStream T.str, 'hi') T.num
assert.has_error -> (SigStream T.sym, 'hi') T.str
describe 'overrides __eq', ->
it 'compares the type', ->
val = SigStream T.num, 3
assert.is.equal (SigStream T.num, 3), val
assert.not.equal (SigStream T.str, '3'), val
val = SigStream T.str, 'hello'
assert.is.equal (SigStream T.str, 'hello'), val
assert.not.equal (SigStream T.sym, 'hello'), val
it 'compares the value', ->
val = SigStream T.num, 3
assert.is.equal (SigStream T.num, 3), val
assert.not.equal (SigStream T.num, 4), val
it 'can be compared to a Constant', ->
val = SigStream T.num, 3
assert.is.equal (Constant.num 3), val
assert.not.equal (Constant.num 4), val
val = SigStream T.str, 'hello'
assert.is.equal (Constant.str 'hello'), val
assert.not.equal (Constant.sym 'hello'), val
describe ':set', ->
it 'sets the value', ->
val = SigStream T.num, 3
assert.is.equal (SigStream T.num, 3), val
val\set 4
assert.is.equal (SigStream T.num, 4), val
assert.not.equal (SigStream T.num, 3), val
it 'marks the value dirty', ->
val = SigStream T.num, 3
assert.is.false val\dirty!
val\set 4
assert.is.true val\dirty!
describe ':fork', ->
it 'is equal to the original', ->
a = SigStream T.num, 2
b = SigStream T.str, 'asdf'
c = with SigStream T.weird, {}, '(raw)'
\set {}
aa, bb, cc = a\fork!, b\fork!, c\fork!
assert.is.equal a, aa
assert.is.equal b, bb
assert.is.equal c, cc
assert.is.false aa\dirty!
assert.is.false bb\dirty!
assert.is.true cc\dirty!
assert.is.equal c.raw, cc.raw
it 'isolates the original from the fork', ->
a = SigStream T.num, 3
b = with SigStream T.weird, {}, '(raw)'
\set {}
aa, bb = a\fork!, b\fork!
bb\set {false}
assert.is.same {}, b!
assert.is.same {false}, bb!
assert.is.true b\dirty!
assert.is.true bb\dirty!
COPILOT\next_tick!
aa\set 4
assert.is.equal 3, a!
assert.is.equal 4, aa!
assert.is.false a\dirty!
assert.is.true aa\dirty!
|
