/extra/variants/variants-tests.factor

http://github.com/abeaumont/factor · Factor · 40 lines · 30 code · 9 blank · 1 comment · 0 complexity · 0d7371b2ede3bfba27a8a5ce289ff169 MD5 · raw file 

    

  1. ! (c)2009 Joe Groff bsd license
    2. 

  2. USING: kernel math tools.test variants slots ;
    3. 

  3. IN: variants.tests
    4. 

  4. 

  5. VARIANT: list
    6. 

  6.     nil
    7. 

  7.     cons: { { first object } { rest list } }
    8. 

  8.     ;
    9. 

  9. 

  10. [ t ] [ nil list? ] unit-test
    11. 

  11. [ t ] [ 1 nil <cons> list? ] unit-test
    12. 

  12. [ f ] [ 1 list? ] unit-test
    13. 

  13. 

  14. : list-length ( list -- length )
    15. 

  15.     {
    16. 

  16.         { nil  [ 0 ] }
    17. 

  17.         { cons [ nip list-length 1 + ] }
    18. 

  18.     } match ;
    19. 

  19. 

  20. [ 4 ]
    21. 

  21. [ 5 6 7 8 nil <cons> <cons> <cons> <cons> list-length ] unit-test
    22. 

  22. 

  23. [ nil t ] [ list initial-value ] unit-test
    24. 

  24. 

  25. VARIANT: list2 ;
    26. 

  26. VARIANT-MEMBER: list2 nil2
    27. 

  27. VARIANT-MEMBER: list2 cons2: { { first object } { rest list2 } }
    28. 

  28. 

  29. [ t ] [ nil2 list2? ] unit-test
    30. 

  30. [ t ] [ 1 nil2 <cons2> list2? ] unit-test
    31. 

  31. [ f ] [ 1 list2? ] unit-test
    32. 

  32. 

  33. : list2-length ( list2 -- length )
    34. 

  34.     {
    35. 

  35.         { nil2  [ 0 ] }
    36. 

  36.         { cons2 [ nip list2-length 1 + ] }
    37. 

  37.     } match ;
    38. 

  38. 

  39. [ 4 ]
    40. 

  40. [ 5 6 7 8 nil2 <cons2> <cons2> <cons2> <cons2> list2-length ] unit-test
    41.