stream-contents is apparently way slow for decoders. Write decode out more directly as a read1/push loop so it's faster. encode isn't quite as bad, but we can still get a 25% speed improvement by writing to an appropriately sized byte-vector. |
||
|---|---|---|
| .. | ||
| 8-bit | ||
| ascii | ||
| big5 | ||
| binary | ||
| euc | ||
| euc-jp | ||
| euc-kr | ||
| gb18030 | ||
| iana | ||
| iso2022 | ||
| japanese | ||
| johab | ||
| shift-jis | ||
| strict | ||
| string | ||
| utf32 | ||