2022-10-07 16:39:29 +03:00
|
|
|
{-# LANGUAGE DataKinds #-}
|
|
|
|
|
|
|
|
|
|
module Witch.Encoding where
|
|
|
|
|
|
|
|
|
|
import qualified Data.Tagged as Tagged
|
|
|
|
|
|
2022-10-07 16:57:45 +03:00
|
|
|
-- | <https://en.wikipedia.org/wiki/ISO/IEC_8859-1>
|
|
|
|
|
type ISO_8859_1 = Tagged.Tagged "ISO-8859-1"
|
|
|
|
|
|
2022-10-07 16:39:29 +03:00
|
|
|
-- | <https://en.wikipedia.org/wiki/UTF-8>
|
|
|
|
|
type UTF_8 = Tagged.Tagged "UTF-8"
|
2022-10-07 22:48:04 +03:00
|
|
|
|
|
|
|
|
-- | <https://en.wikipedia.org/wiki/UTF-16>
|
|
|
|
|
type UTF_16LE = Tagged.Tagged "UTF-16LE"
|
2022-11-16 02:19:14 +03:00
|
|
|
|
|
|
|
|
-- | <https://en.wikipedia.org/wiki/UTF-16>
|
|
|
|
|
type UTF_16BE = Tagged.Tagged "UTF-16BE"
|
2022-11-16 02:35:16 +03:00
|
|
|
|
|
|
|
|
-- | <https://en.wikipedia.org/wiki/UTF-32>
|
|
|
|
|
type UTF_32LE = Tagged.Tagged "UTF-32LE"
|
