Data.TypedEncoding.Instances.Restriction.D76

"r-UNICODE.D76" restricts Unicode characters by excluding the range U+D800 to U+DFFF.

This is important because the commonly used Text type from text package replaces chars that are in range U+D800 to U+DFFF (inclusive).

Note, there is 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 there is no IsSuperset "r-UNICODE.D76" "r-ByteRep", "r-UNICODE.D76" acts as a guard to what can go into Text and this prevents some unwanted conversions.

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