witch/source/library/Witch/Encoding.hs

{-# LANGUAGE DataKinds #-}

module Witch.Encoding where

import qualified Data.Tagged as Tagged

-- | <https://en.wikipedia.org/wiki/ISO/IEC_8859-1>
type ISO_8859_1 = Tagged.Tagged "ISO-8859-1"

-- | <https://en.wikipedia.org/wiki/UTF-8>
type UTF_8 = Tagged.Tagged "UTF-8"
Add a type alias for the UTF-8 encoding 2022-10-07 16:39:29 +03:00			`{-# LANGUAGE DataKinds #-}`

			`module Witch.Encoding where`

			`import qualified Data.Tagged as Tagged`

Add ISO-8859-1 encoding 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"`

Add a type alias for the UTF-8 encoding 2022-10-07 16:39:29 +03:00			`-- \| <https://en.wikipedia.org/wiki/UTF-8>`
			`type UTF_8 = Tagged.Tagged "UTF-8"`