Data.TypedEncoding.Instances.Restriction.D76

Checks that satisfy D76 Unicode standard (text replaces chars that are in range U+D800 to U+DFFF inclusive)

Note, no IsSuperset "r-UNICODE.D76" "r-CHAR8" mapping even though the numeric range of D76 includes all CHAR8 bytes. This is more nominal decision that prevents certain unwanted conversions from being possible.

Similarly no IsSuperset "r-UNICODE.D76" "r-ByteRep", this annotation acts as a guard to what can go into Text.

Since: 0.4.0.0

Documentation

>>> :set -XDataKinds -XTypeApplications

newtype NonTextChar

Constructors

NonTextChar Char

Instances

Eq NonTextChar

Defined in Data.TypedEncoding.Instances.Restriction.D76

Methods

(==) :: NonTextChar -> NonTextChar -> Bool

(/=) :: NonTextChar -> NonTextChar -> Bool

Show NonTextChar

Defined in Data.TypedEncoding.Instances.Restriction.D76

Methods

showsPrec :: Int -> NonTextChar -> ShowS

show :: NonTextChar -> String

showList :: [NonTextChar] -> ShowS

Encoding "r-UNICODE.D76"

encD76Char :: Encoding (Either EncodeEx) "r-UNICODE.D76" "r-UNICODE.D76" c Char

encD76 :: Encoding (Either EncodeEx) "r-UNICODE.D76" "r-UNICODE.D76" c String

trustMe :: Applicative f => Encoding f "r-UNICODE.D76" "r-UNICODE.D76" c String

No-check version

Decoding "r-UNICODE.D76"

Implementation

nonTextChar :: Char -> Bool

encImpl :: String -> Either NonTextChar String

Orphan instances

(RecreateErr f, Applicative f) => Validate f "r-UNICODE.D76" "r-UNICODE.D76" () String

Methods

validation :: Validation f "r-UNICODE.D76" "r-UNICODE.D76" () String

Applicative f => Decode f "r-UNICODE.D76" "r-UNICODE.D76" c str

Methods

decoding :: Decoding f "r-UNICODE.D76" "r-UNICODE.D76" c str

Encode (Either EncodeEx) "r-UNICODE.D76" "r-UNICODE.D76" c String

Methods

encoding :: Encoding (Either EncodeEx) "r-UNICODE.D76" "r-UNICODE.D76" c String

Encode (Either EncodeEx) "r-UNICODE.D76" "r-UNICODE.D76" c Char

Methods

encoding :: Encoding (Either EncodeEx) "r-UNICODE.D76" "r-UNICODE.D76" c Char