wip new type system and refactoring

- Result -> RTNode
- Stream -> Result
- ValueStream -> SigStream
- EventStream -> EvtStream

1 files changed, 0 insertions, 180 deletions

diff --git a/spec/value_spec.moon b/spec/value_spec.moon
deleted file mode 100644
index d81ed40..0000000
--- a/spec/value_spec.moon
+++ /dev/null
@@ -1,180 +0,0 @@
-import do_setup from require 'spec.test_setup'
-import ValueStream, Result, Scope, SimpleRegistry from require 'alv'
-import Op, Builtin from require 'alv.base'
-
-class TestOp extends Op
-  new: (...) => super ...
-
-class TestBuiltin extends Builtin
-  new: (...) =>
-
-setup do_setup
-
-describe 'ValueStream', ->
-  describe '.wrap', ->
-    it 'wraps numbers', ->
-      got = ValueStream.wrap 3
-      assert.is.equal 'num', got.type
-      assert.is.equal 3, got.value
-
-    it 'wraps strings', ->
-      got = ValueStream.wrap "im a happy string"
-      assert.is.equal 'str', got.type
-      assert.is.equal "im a happy string", got.value
-
-    it 'wraps Values', ->
-      pi = ValueStream 'num', 3.14
-      got = ValueStream.wrap pi
-
-      assert.is.equal pi, got
-
-    it 'wraps Opdefs', ->
-      got = ValueStream.wrap TestOp
-
-      assert.is.equal 'opdef', got.type
-      assert.is.equal TestOp, got.value
-
-    it 'wraps Bultins', ->
-      got = ValueStream.wrap TestBuiltin
-
-      assert.is.equal 'builtin', got.type
-      assert.is.equal TestBuiltin, got.value
-
-    it 'wraps Scopes', ->
-      sub = Scope!
-      got = ValueStream.wrap sub
-
-      assert.is.equal 'scope', got.type
-      assert.is.equal sub, got.value
-
-    it 'wraps tables', ->
-      pi = ValueStream 'num', 3.14
-      got = ValueStream.wrap { :pi }
-
-      assert.is.equal 'scope', got.type
-      assert.is.equal pi, (got.value\get 'pi')\const!
-
-  describe ':unwrap', ->
-    it 'returns the raw value!', ->
-      assert.is.equal 3.14, (ValueStream.num 3.14)\unwrap!
-      assert.is.equal 'hi', (ValueStream.str 'hi')\unwrap!
-      assert.is.equal 'hi', (ValueStream.sym 'hi')\unwrap!
-
-    test 'can assert the type', ->
-      assert.is.equal 3.14, (ValueStream.num 3.14)\unwrap 'num'
-      assert.is.equal 'hi', (ValueStream.str 'hi')\unwrap 'str'
-      assert.is.equal 'hi', (ValueStream.sym 'hi')\unwrap 'sym'
-      assert.has_error -> (ValueStream.num 3.14)\unwrap 'sym'
-      assert.has_error -> (ValueStream.str 'hi')\unwrap 'num'
-      assert.has_error -> (ValueStream.sym 'hi')\unwrap 'str'
-
-    test 'has __call shorthand', ->
-      assert.is.equal 3.14, (ValueStream.num 3.14)!
-      assert.is.equal 'hi', (ValueStream.str 'hi')!
-      assert.is.equal 'hi', (ValueStream.sym 'hi')!
-      assert.is.equal 3.14, (ValueStream.num 3.14) 'num'
-      assert.is.equal 'hi', (ValueStream.str 'hi') 'str'
-      assert.is.equal 'hi', (ValueStream.sym 'hi') 'sym'
-      assert.has_error -> (ValueStream.num 3.14) 'sym'
-      assert.has_error -> (ValueStream.str 'hi') 'num'
-      assert.has_error -> (ValueStream.sym 'hi') 'str'
-
-  describe 'overrides __eq', ->
-    it 'compares the type', ->
-      val = ValueStream 'num', 3
-      assert.is.equal (ValueStream.num 3), val
-      assert.not.equal (ValueStream.str '3'), val
-
-      val = ValueStream 'str', 'hello'
-      assert.is.equal (ValueStream.str 'hello'), val
-      assert.not.equal (ValueStream.sym 'hello'), val
-
-    it 'compares the value', ->
-      val = ValueStream 'num', 3
-      assert.is.equal (ValueStream.num 3), val
-      assert.not.equal (ValueStream.num 4), val
-
-  describe ':set', ->
-    it 'sets the value', ->
-      val = ValueStream 'num', 3
-      assert.is.equal (ValueStream.num 3), val
-
-      val\set 4
-      assert.is.equal (ValueStream.num 4), val
-      assert.not.equal (ValueStream.num 3), val
-
-    it 'marks the value dirty', ->
-      val = ValueStream 'num', 3
-      assert.is.false val\dirty!
-
-      val\set 4
-      assert.is.true val\dirty!
-
-  describe ':eval', ->
-    it 'turns numbers into consts', ->
-      assert_noop = (val) ->
-        assert.is.equal val, val\eval!\const!
-
-      assert_noop ValueStream.num 2
-      assert_noop ValueStream.str 'hello'
-
-    it 'looks up symbols in the scope', ->
-      scope = with Scope!
-        \set 'number', Result value: ValueStream.num 3
-        \set 'hello', Result value: ValueStream.str "world"
-        \set 'goodbye', Result value: ValueStream.sym "again"
-
-      assert_eval = (sym, val) ->
-        const = ValueStream.sym sym
-        assert.is.equal val, (const\eval scope)\const!
-
-      assert_eval 'number', ValueStream.num 3
-      assert_eval 'hello', ValueStream.str "world"
-      assert_eval 'goodbye', ValueStream.sym "again"
-
-  it ':clone sliterals as themselves', ->
-    assert_noop = (val) -> assert.is.equal val, val\clone!
-
-    assert_noop ValueStream.num 2
-    assert_noop ValueStream.str 'hello'
-    assert_noop ValueStream.sym 'world'
-
-  describe ':fork', ->
-    it 'is equal to the original', ->
-      a = ValueStream.num 2
-      b = ValueStream.str 'asdf'
-      c = with ValueStream '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 = ValueStream.num 3
-      b = with ValueStream '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!