Data.TypedEncoding.Internal.Types.UncheckedEnc

Internal definition of types

Documentation

>>> :set -XOverloadedStrings -XMultiParamTypeClasses -XDataKinds -XAllowAmbiguousTypes
>>> import qualified Data.Text as T

UncheckedEnc for recreate, similar to CheckedEnc only not verified

data UncheckedEnc c str

Represents some encoded string where encoding was not validated.

Similar to CheckedEnc but unlike CheckedEnc it can contain payloads that have invalid encoding.

Constructors

MkUncheckedEnc [EncAnn] c str

Instances

(Eq c, Eq str) => Eq (UncheckedEnc c str)

Defined in Data.TypedEncoding.Internal.Types.UncheckedEnc

Methods

(==) :: UncheckedEnc c str -> UncheckedEnc c str -> Bool

(/=) :: UncheckedEnc c str -> UncheckedEnc c str -> Bool

(Show c, Show str) => Show (UncheckedEnc c str)

Defined in Data.TypedEncoding.Internal.Types.UncheckedEnc

Methods

showsPrec :: Int -> UncheckedEnc c str -> ShowS

show :: UncheckedEnc c str -> String

showList :: [UncheckedEnc c str] -> ShowS

(Show c, Displ str) => Displ (UncheckedEnc c str)

>>> displ $ MkUncheckedEnc ["TEST"] () ("hello" :: T.Text)
"MkUncheckedEnc [TEST] () (Text hello)"

Defined in Data.TypedEncoding.Internal.Types.UncheckedEnc

Methods

displ :: UncheckedEnc c str -> String

toUncheckedEnc :: [EncAnn] -> c -> str -> UncheckedEnc c str

getUncheckedEncAnn :: UncheckedEnc c str -> [EncAnn]

verifyAnn :: forall xs c str. SymbolList xs => UncheckedEnc c str -> Either String (UncheckedEnc c str)