Safe Haskell	Safe
Language	Haskell2010

Data.TypedEncoding.Instances.Restriction.Misc

Contents

Orphan instances

Description

Common restriction "r-" instances

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

Since: 0.2.0.0

Synopsis

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

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 #