typed-encoding-0.4.0.0: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Instances.Restriction.D76

Contents

Description

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

Synopsis

Documentation

>>> :set -XDataKinds -XTypeApplications

Encoding "r-UNICODE.D76"

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

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

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

No-check version

Decoding "r-UNICODE.D76"

Implementation

Orphan instances

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

Methods

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

Applicative f => Decode f "r-UNICODE.D76" "r-UNICODE.D76" c str Source # 
Instance details

Methods

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

Encode (Either EncodeEx) "r-UNICODE.D76" "r-UNICODE.D76" c String Source # 
Instance details

Methods

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

Encode (Either EncodeEx) "r-UNICODE.D76" "r-UNICODE.D76" c Char Source # 
Instance details

Methods

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