typed-encoding-0.4.1.0: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Instances.Restriction.ByteRep

Contents

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

Documentation

>>> :set -XDataKinds -XTypeApplications

Encoding "r-ByteRep"

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

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

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

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

Decoding "r-ByteRep"

Implementation

Orphan instances

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

Methods

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

(RecreateErr f, Applicative f) => Validate f "r-ByteRep" "r-ByteRep" () ByteString Source # 
Instance details

Methods

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

(RecreateErr f, Applicative f) => Validate f "r-ByteRep" "r-ByteRep" () ByteString Source # 
Instance details

Methods

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

Encode (Either EncodeEx) "r-ByteRep" "r-ByteRep" c String Source # 
Instance details

Methods

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

Encode (Either EncodeEx) "r-ByteRep" "r-ByteRep" c ByteString Source # 
Instance details

Methods

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

Encode (Either EncodeEx) "r-ByteRep" "r-ByteRep" c ByteString Source # 
Instance details

Methods

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

Encode (Either EncodeEx) "r-ByteRep" "r-ByteRep" c Char Source # 
Instance details

Methods

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