Data.TypedEncoding.Instances.Restriction.ByteRep

"r-ByteRep" represents Characters used for Byte representations.

It is common to use Char instead of Word8 when low level programming on ByteString.

This annotation represents such use of string characters.

Checks if all chars are < '256'

Currently, this should be not used as superset IsSuperset

It is subset of "r-CHAR8":

@Superset "r-CHAR8" ""r-ByteRep"

Currently, is (intentionally not decodable)

Since: 0.3.1.0

Documentation

>>> :set -XDataKinds -XTypeApplications

data CharOutOfRange

Constructors

CharOutOfRange Int Char

Instances

Eq CharOutOfRange

Defined in Data.TypedEncoding.Instances.Restriction.ByteRep

Methods

(==) :: CharOutOfRange -> CharOutOfRange -> Bool

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

Show CharOutOfRange

Defined in Data.TypedEncoding.Instances.Restriction.ByteRep

Methods

showsPrec :: Int -> CharOutOfRange -> ShowS

show :: CharOutOfRange -> String

showList :: [CharOutOfRange] -> ShowS

Encoding "r-ByteRep"

encByteChar :: Encoding (Either EncodeEx) "r-ByteRep" "r-ByteRep" c Char

encByteRepB :: Encoding (Either EncodeEx) "r-ByteRep" "r-ByteRep" c ByteString

encByteRepBL :: Encoding (Either EncodeEx) "r-ByteRep" "r-ByteRep" c ByteString

encByteRepS :: Encoding (Either EncodeEx) "r-ByteRep" "r-ByteRep" c String

Decoding "r-ByteRep"

Implementation

encImpl :: Char8Find str => Int -> str -> Either CharOutOfRange str

Orphan instances

(RecreateErr f, Applicative f) => Validate f "r-ByteRep" "r-ByteRep" () String

Methods

validation :: Validation f "r-ByteRep" "r-ByteRep" () String

(RecreateErr f, Applicative f) => Validate f "r-ByteRep" "r-ByteRep" () ByteString

Methods

validation :: Validation f "r-ByteRep" "r-ByteRep" () ByteString

(RecreateErr f, Applicative f) => Validate f "r-ByteRep" "r-ByteRep" () ByteString

Methods

validation :: Validation f "r-ByteRep" "r-ByteRep" () ByteString

Encode (Either EncodeEx) "r-ByteRep" "r-ByteRep" c String

Methods

encoding :: Encoding (Either EncodeEx) "r-ByteRep" "r-ByteRep" c String

Encode (Either EncodeEx) "r-ByteRep" "r-ByteRep" c ByteString

Methods

encoding :: Encoding (Either EncodeEx) "r-ByteRep" "r-ByteRep" c ByteString

Encode (Either EncodeEx) "r-ByteRep" "r-ByteRep" c ByteString

Methods

encoding :: Encoding (Either EncodeEx) "r-ByteRep" "r-ByteRep" c ByteString

Encode (Either EncodeEx) "r-ByteRep" "r-ByteRep" c Char

Methods

encoding :: Encoding (Either EncodeEx) "r-ByteRep" "r-ByteRep" c Char