core/effects/effects-tests.factor

   1 USING: effects tools.test prettyprint accessors sequences ;
   2 IN: effects.tests
   3
   4 [ t ] [ 1 1 <effect> 2 2 <effect> effect<= ] unit-test
   5 [ f ] [ 1 0 <effect> 2 2 <effect> effect<= ] unit-test
   6 [ t ] [ 2 2 <effect> 2 2 <effect> effect<= ] unit-test
   7 [ f ] [ 3 3 <effect> 2 2 <effect> effect<= ] unit-test
   8 [ f ] [ 2 3 <effect> 2 2 <effect> effect<= ] unit-test
   9 [ 2 ] [ (( a b -- c )) in>> length ] unit-test
  10 [ 1 ] [ (( a b -- c )) out>> length ] unit-test
  11
  12 [ "(( object -- object ))" ] [ { f } { f } <effect> unparse ] unit-test
  13 [ "(( a b -- c d ))" ] [ { "a" "b" } { "c" "d" } <effect> unparse ] unit-test
  14 [ "(( -- c d ))" ] [ { } { "c" "d" } <effect> unparse ] unit-test
  15 [ "(( a b -- ))" ] [ { "a" "b" } { } <effect> unparse ] unit-test
  16 [ "(( -- ))" ] [ { } { } <effect> unparse ] unit-test
  17 [ "(( a b -- c ))" ] [ (( a b -- c )) unparse ] unit-test
  18
  19 [ { "x" "y" } ] [ { "y" "x" } (( a b -- b a )) shuffle ] unit-test
  20 [ { "y" "x" "y" } ] [ { "y" "x" } (( a b -- a b a )) shuffle ] unit-test
  21 [ { } ] [ { "y" "x" } (( a b -- )) shuffle ] unit-test
  22
  23 [ t ] [ (( -- )) (( -- )) compose-effects (( -- )) effect= ] unit-test
  24 [ t ] [ (( -- * )) (( -- )) compose-effects (( -- * )) effect= ] unit-test
  25 [ t ] [ (( -- )) (( -- * )) compose-effects (( -- * )) effect= ] unit-test