]> gerrit.simantics Code Review - simantics/platform.git/blob - Charset.scl
fd881ac5bb2bacb551686be17c2d3778ecfd2822
[simantics/platform.git] / Charset.scl
1 import "Prelude"
2
3 importJava "java.nio.charset.Charset" where
4     data Charset
5
6     forName :: String -> Charset
7
8     name :: Charset -> String
9
10 instance Show Charset where
11     show charset = name charset
12
13 importJava "java.nio.charset.StandardCharsets" where
14     UTF_8 :: Charset