AggrAdd.yqls 586 B

1234567891011121314151617181920
  1. (
  2. #comment
  3. (let config (DataSource 'config))
  4. (let res_sink (DataSink 'result))
  5. (let x (Int32 '34))
  6. (let y (Int32 '56))
  7. (let jx (Just x))
  8. (let jy (Just y))
  9. (let n (Nothing (TypeOf jx)))
  10. (let world (Write! world res_sink (Key) (AggrAdd x y) '('('type))))
  11. (let world (Write! world res_sink (Key) (AggrAdd jx jy) '('('type))))
  12. (let world (Write! world res_sink (Key) (AggrAdd jx n) '('('type))))
  13. (let world (Write! world res_sink (Key) (AggrAdd n jy) '('('type))))
  14. (let world (Write! world res_sink (Key) (AggrAdd n n) '('('type))))
  15. (let world (Commit! world res_sink))
  16. (return world)
  17. )