{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE FlexibleContexts #-}
module Data.TypedEncoding.Conv.Text where
import qualified Data.Text as T
import qualified Data.TypedEncoding.Common.Util.TypeLits as Knds
import Data.TypedEncoding.Instances.Support
pack :: (
Knds.UnSnoc xs ~ '(,) ys y
, Superset "r-UNICODE.D76" y
, encs ~ RemoveRs ys
, AllEncodeInto "r-UNICODE.D76" encs
) => Enc xs c String -> Enc xs c T.Text
pack :: Enc @[Symbol] xs c String -> Enc @[Symbol] xs c Text
pack = (String -> Text)
-> Enc @[Symbol] xs c String -> Enc @[Symbol] xs c Text
forall k s1 s2 (e :: k) c.
(s1 -> s2) -> Enc @k e c s1 -> Enc @k e c s2
unsafeChangePayload String -> Text
T.pack
pack1 :: (
Superset "r-UNICODE.D76" y
) => Enc '[y] c String -> Enc '[y] c T.Text
pack1 :: Enc @[Symbol] ((':) @Symbol y ('[] @Symbol)) c String
-> Enc @[Symbol] ((':) @Symbol y ('[] @Symbol)) c Text
pack1 = Enc @[Symbol] ((':) @Symbol y ('[] @Symbol)) c String
-> Enc @[Symbol] ((':) @Symbol y ('[] @Symbol)) c Text
forall (xs :: [Symbol]) (ys :: [Symbol]) (y :: Symbol)
(encs :: [Symbol]) c.
((UnSnoc @Symbol xs :: ([Symbol], Symbol))
~ ('(ys, y) :: ([Symbol], Symbol)),
Superset "r-UNICODE.D76" y,
(encs :: [Symbol]) ~ (RemoveRs ys :: [Symbol]),
AllEncodeInto "r-UNICODE.D76" encs) =>
Enc @[Symbol] xs c String -> Enc @[Symbol] xs c Text
pack
unpack :: (
Knds.UnSnoc xs ~ '(,) ys y
, Superset "r-UNICODE.D76" y
, encs ~ RemoveRs ys
, AllEncodeInto "r-UNICODE.D76" encs
) => Enc xs c T.Text -> Enc xs c String
unpack :: Enc @[Symbol] xs c Text -> Enc @[Symbol] xs c String
unpack = (Text -> String)
-> Enc @[Symbol] xs c Text -> Enc @[Symbol] xs c String
forall k s1 s2 (e :: k) c.
(s1 -> s2) -> Enc @k e c s1 -> Enc @k e c s2
unsafeChangePayload Text -> String
T.unpack
unpack1 :: (
Superset "r-UNICODE.D76" y
) => Enc '[y] c T.Text -> Enc '[y] c String
unpack1 :: Enc @[Symbol] ((':) @Symbol y ('[] @Symbol)) c Text
-> Enc @[Symbol] ((':) @Symbol y ('[] @Symbol)) c String
unpack1 = Enc @[Symbol] ((':) @Symbol y ('[] @Symbol)) c Text
-> Enc @[Symbol] ((':) @Symbol y ('[] @Symbol)) c String
forall (xs :: [Symbol]) (ys :: [Symbol]) (y :: Symbol)
(encs :: [Symbol]) c.
((UnSnoc @Symbol xs :: ([Symbol], Symbol))
~ ('(ys, y) :: ([Symbol], Symbol)),
Superset "r-UNICODE.D76" y,
(encs :: [Symbol]) ~ (RemoveRs ys :: [Symbol]),
AllEncodeInto "r-UNICODE.D76" encs) =>
Enc @[Symbol] xs c Text -> Enc @[Symbol] xs c String
unpack
utf8Promote :: Enc xs c T.Text -> Enc (Snoc xs "r-UTF8") c T.Text
utf8Promote :: Enc @[Symbol] xs c Text
-> Enc @[Symbol] (Snoc @Symbol xs "r-UTF8") c Text
utf8Promote = (Text -> Text)
-> Enc @[Symbol] xs c Text
-> Enc @[Symbol] (Snoc @Symbol xs "r-UTF8") c Text
forall k1 k2 s1 s2 (e1 :: k1) c (e2 :: k2).
(s1 -> s2) -> Enc @k1 e1 c s1 -> Enc @k2 e2 c s2
withUnsafeCoerce Text -> Text
forall a. a -> a
id
utf8Demote :: (UnSnoc xs ~ '(,) ys "r-UTF8") => Enc xs c T.Text -> Enc ys c T.Text
utf8Demote :: Enc @[Symbol] xs c Text -> Enc @[Symbol] ys c Text
utf8Demote = (Text -> Text)
-> Enc @[Symbol] xs c Text -> Enc @[Symbol] ys c Text
forall k1 k2 s1 s2 (e1 :: k1) c (e2 :: k2).
(s1 -> s2) -> Enc @k1 e1 c s1 -> Enc @k2 e2 c s2
withUnsafeCoerce Text -> Text
forall a. a -> a
id
d76Promote :: Enc xs c T.Text -> Enc (Snoc xs "r-UNICODE.D76") c T.Text
d76Promote :: Enc @[Symbol] xs c Text
-> Enc @[Symbol] (Snoc @Symbol xs "r-UNICODE.D76") c Text
d76Promote = (Text -> Text)
-> Enc @[Symbol] xs c Text
-> Enc @[Symbol] (Snoc @Symbol xs "r-UNICODE.D76") c Text
forall k1 k2 s1 s2 (e1 :: k1) c (e2 :: k2).
(s1 -> s2) -> Enc @k1 e1 c s1 -> Enc @k2 e2 c s2
withUnsafeCoerce Text -> Text
forall a. a -> a
id
d76Demote :: (UnSnoc xs ~ '(,) ys "r-UNICODE.D76") => Enc xs c T.Text -> Enc ys c T.Text
d76Demote :: Enc @[Symbol] xs c Text -> Enc @[Symbol] ys c Text
d76Demote = (Text -> Text)
-> Enc @[Symbol] xs c Text -> Enc @[Symbol] ys c Text
forall k1 k2 s1 s2 (e1 :: k1) c (e2 :: k2).
(s1 -> s2) -> Enc @k1 e1 c s1 -> Enc @k2 e2 c s2
withUnsafeCoerce Text -> Text
forall a. a -> a
id