typed-encoding-0.4.1.0: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Instances.Restriction.Misc

Contents

Description

Common restriction "r-" instances

Before v0.3 Data.TypedEncoding.Instances.Restriction.Common

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 => ToEncString Identity "r-()" "r-()" () str Source # 
Instance details

Methods

toEncF :: () -> Identity (Enc ("r-()" ': []) () str) Source #

IsString str => ToEncString Identity "r-Int-decimal" "r-Int-decimal" Int str Source # 
Instance details

Methods

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

IsString str => ToEncString Identity "r-Word8-decimal" "r-Word8-decimal" Word8 str Source # 
Instance details

Methods

toEncF :: Word8 -> Identity (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 #