Benchmarks results for using 'Write's when doing JSON String encoding.

gistfile1.txt

┌─(simon@bumped)-(~/repositories/git/github/meiersi/aeson/benchmarks)-(master ?)
└─╼ ./AesonEncodeOld 500 json-data/*.json                                                          
json-data/example.json:
  0.047853s
  10449 per second
json-data/integers.json:
  0.123015s
  4065 per second
json-data/jp100.json:
  0.937498s
  533 per second
json-data/jp10.json:
  0.14956s
  3343 per second
json-data/jp20.json:
  0.19184s
  2606 per second
json-data/jp50.json:
  0.469113s
  1066 per second
json-data/numbers.json:
  3.791164s
  132 per second
json-data/twitter100.json:
  0.938544s
  533 per second
json-data/twitter10.json:
  0.099102s
  5045 per second
json-data/twitter1.json:
  0.016776s
  29804 per second
json-data/twitter20.json:
  0.196943s
  2539 per second
json-data/twitter50.json:
  0.475136s
  1052 per second

┌─(simon@bumped)-(~/repositories/git/github/meiersi/aeson/benchmarks)-(master ?)
└─╼ ./AesonEncode 500 json-data/*.json                                                          
json-data/example.json:
  0.028794s
  17365 per second
json-data/integers.json:
  0.132792s
  3765 per second
json-data/jp100.json:
  0.650168s
  769 per second
json-data/jp10.json:
  0.105s
  4762 per second
json-data/jp20.json:
  0.135049s
  3702 per second
json-data/jp50.json:
  0.321364s
  1556 per second
json-data/numbers.json:
  3.767974s
  133 per second
json-data/twitter100.json:
  0.650183s
  769 per second
json-data/twitter10.json:
  0.069336s
  7211 per second
json-data/twitter1.json:
  0.01251s
  39968 per second
json-data/twitter20.json:
  0.138323s
  3615 per second
json-data/twitter50.json:
  0.32709s
  1529 per second