| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.TypedEncoding.Instances.Restriction.ByteRep
Description
"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
Synopsis
- data CharOutOfRange = CharOutOfRange Int Char
- 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
- encImpl :: Char8Find str => Int -> str -> Either CharOutOfRange str
Documentation
>>>:set -XDataKinds -XTypeApplications
data CharOutOfRange Source #
Constructors
| CharOutOfRange Int Char |
Instances
| Eq CharOutOfRange Source # | |
Defined in Data.TypedEncoding.Instances.Restriction.ByteRep Methods (==) :: CharOutOfRange -> CharOutOfRange -> Bool # (/=) :: CharOutOfRange -> CharOutOfRange -> Bool # | |
| Show CharOutOfRange Source # | |
Defined in Data.TypedEncoding.Instances.Restriction.ByteRep Methods showsPrec :: Int -> CharOutOfRange -> ShowS # show :: CharOutOfRange -> String # showList :: [CharOutOfRange] -> ShowS # | |
Encoding "r-ByteRep"
encByteRepB :: Encoding (Either EncodeEx) "r-ByteRep" "r-ByteRep" c ByteString Source #
encByteRepBL :: Encoding (Either EncodeEx) "r-ByteRep" "r-ByteRep" c ByteString Source #
Decoding "r-ByteRep"
Implementation
Orphan instances
| (RecreateErr f, Applicative f) => Validate f "r-ByteRep" "r-ByteRep" () String Source # | |
Methods validation :: Validation f "r-ByteRep" "r-ByteRep" () String Source # | |
| (RecreateErr f, Applicative f) => Validate f "r-ByteRep" "r-ByteRep" () ByteString Source # | |
Methods validation :: Validation f "r-ByteRep" "r-ByteRep" () ByteString Source # | |
| (RecreateErr f, Applicative f) => Validate f "r-ByteRep" "r-ByteRep" () ByteString Source # | |
Methods validation :: Validation f "r-ByteRep" "r-ByteRep" () ByteString Source # | |
| Encode (Either EncodeEx) "r-ByteRep" "r-ByteRep" c String Source # | |
| Encode (Either EncodeEx) "r-ByteRep" "r-ByteRep" c ByteString Source # | |
| Encode (Either EncodeEx) "r-ByteRep" "r-ByteRep" c ByteString Source # | |
| Encode (Either EncodeEx) "r-ByteRep" "r-ByteRep" c Char Source # | |