String encodings.
const Encoding._internal(String this.name);
static final Encoding ASCII = const Encoding._internal("ASCII");
static final Encoding ISO_8859_1 = const Encoding._internal("ISO-8859-1");
static final Encoding UTF_8 = const Encoding._internal("UTF-8");
final String name;