typed-encoding-0.5.2.0: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Instances.Restriction.Misc

Contents

Description

Common restriction "r-" instances

Renamed from Data.TypedEncoding.Instances.Restriction.Common (v0.3)

Since: 0.2.0.0

Synopsis

Documentation

>>> import qualified Data.Text as T

encWord8Dec :: IsStringR str => Encoding (Either EncodeEx) "r-Word8-decimal" "r-Word8-decimal" c str Source #

encIntDec :: IsStringR str => Encoding (Either EncodeEx) "r-Int-decimal" "r-Int-decimal" c str Source #

Orphan instances

Applicative f => Decode f "r-Int-decimal" "r-Int-decimal" c str Source # 
Instance details

Methods

decoding :: Decoding f "r-Int-decimal" "r-Int-decimal" c str Source #

Applicative f => Decode f "r-Word8-decimal" "r-Word8-decimal" c str Source # 
Instance details

Methods

decoding :: Decoding f "r-Word8-decimal" "r-Word8-decimal" c str Source #

(IsString str, Applicative f) => ToEncString f "r-Int-decimal" "r-Int-decimal" Int str Source # 
Instance details

Methods

toEncF :: Int -> f (Enc ("r-Int-decimal" ': []) () str) Source #

(IsString str, Applicative f) => ToEncString f "r-Word8-decimal" "r-Word8-decimal" Word8 str Source # 
Instance details

Methods

toEncF :: Word8 -> f (Enc ("r-Word8-decimal" ': []) () str) Source #

IsStringR str => Encode (Either EncodeEx) "r-Int-decimal" "r-Int-decimal" c str Source # 
Instance details

Methods

encoding :: Encoding (Either EncodeEx) "r-Int-decimal" "r-Int-decimal" c str Source #

IsStringR str => Encode (Either EncodeEx) "r-Word8-decimal" "r-Word8-decimal" c str Source # 
Instance details

Methods

encoding :: Encoding (Either EncodeEx) "r-Word8-decimal" "r-Word8-decimal" c str Source #

IsStringR str => Validate (Either RecreateEx) "r-Int-decimal" "r-Int-decimal" c str Source # 
Instance details

Methods

validation :: Validation (Either RecreateEx) "r-Int-decimal" "r-Int-decimal" c str Source #

IsStringR str => Validate (Either RecreateEx) "r-Word8-decimal" "r-Word8-decimal" c str Source # 
Instance details

Methods

validation :: Validation (Either RecreateEx) "r-Word8-decimal" "r-Word8-decimal" c str Source #

(IsStringR str, UnexpectedDecodeErr f, Applicative f) => FromEncString (f :: Type -> Type) "r-Word8-decimal" "r-Word8-decimal" Word8 str Source # 
Instance details

Methods

fromEncF :: Enc ("r-Word8-decimal" ': []) () str -> f Word8 Source #