AggrMinMax.yqls 932 B

123456789101112131415161718192021222324252627
  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) (AggrMin x y) '('('type))))
  11. (let world (Write! world res_sink (Key) (AggrMin jx jy) '('('type))))
  12. (let world (Write! world res_sink (Key) (AggrMin jx n) '('('type))))
  13. (let world (Write! world res_sink (Key) (AggrMin n jy) '('('type))))
  14. (let world (Write! world res_sink (Key) (AggrMin n n) '('('type))))
  15. (let world (Write! world res_sink (Key) (AggrMax x y) '('('type))))
  16. (let world (Write! world res_sink (Key) (AggrMax jx jy) '('('type))))
  17. (let world (Write! world res_sink (Key) (AggrMax jx n) '('('type))))
  18. (let world (Write! world res_sink (Key) (AggrMax n jy) '('('type))))
  19. (let world (Write! world res_sink (Key) (AggrMax n n) '('('type))))
  20. (let world (Commit! world res_sink))
  21. (return world)
  22. )