module Binrep.Type.Text.Encoding.Utf32 where

import Binrep.Type.Text.Internal
import Binrep.Type.Common ( Endianness(..) )

import Refined
import Data.Typeable ( Typeable )

import Data.Text.Encoding qualified as Text
import Data.Text ( Text )

data Utf32 (end :: Endianness)

instance Encode (Utf32 'BE) where encode' = Text.encodeUtf32BE
instance Encode (Utf32 'LE) where encode' = Text.encodeUtf32LE

instance Decode (Utf32 'BE) where decode = decodeText show $ wrapUnsafeDecoder Text.decodeUtf32BE
instance Decode (Utf32 'LE) where decode = decodeText show $ wrapUnsafeDecoder Text.decodeUtf32LE

-- | Any 'Text' value is always valid UTF-32.
instance Typeable end => Predicate (Utf32 end) Text where validate _ _ = success