import "Prelude"

importJava "java.nio.charset.Charset" where
    data Charset

    forName :: String -> Charset

    name :: Charset -> String

instance Show Charset where
    show charset = name charset

importJava "java.nio.charset.StandardCharsets" where
    UTF_8 :: Charset