typed-encoding-0.2.2.0: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Instances.Restriction.Common

Contents

Description

Common restriction "r-" instances

Synopsis

    Documentation

    >>> import qualified Data.Text as T
    

    Orphan instances

    (IsStringR str, RecreateErr f, Applicative f) => RecreateF (f :: Type -> Type) (Enc xs c str :: Type) (Enc ("r-Int-decimal" ': xs) c str) Source # 
    Instance details

    Methods

    checkPrevF :: Enc ("r-Int-decimal" ': xs) c str -> f (Enc xs c str) Source #

    (IsStringR str, RecreateErr f, Applicative f) => RecreateF (f :: Type -> Type) (Enc xs c str :: Type) (Enc ("r-Word8-decimal" ': xs) c str) Source # 
    Instance details

    Methods

    checkPrevF :: Enc ("r-Word8-decimal" ': xs) c str -> f (Enc xs c str) Source #

    (IsStringR str, Applicative f) => DecodeF (f :: Type -> Type) (Enc ("r-Int-decimal" ': xs) c str) (Enc xs c str :: Type) Source # 
    Instance details

    Methods

    decodeF :: Enc ("r-Int-decimal" ': xs) c str -> f (Enc xs c str) Source #

    (IsStringR str, Applicative f) => DecodeF (f :: Type -> Type) (Enc ("r-Word8-decimal" ': xs) c str) (Enc xs c str :: Type) Source # 
    Instance details

    Methods

    decodeF :: Enc ("r-Word8-decimal" ': xs) c str -> f (Enc xs c str) Source #

    IsStringR str => EncodeF (Either EncodeEx) (Enc xs c str) (Enc ("r-Int-decimal" ': xs) c str :: Type) Source # 
    Instance details

    Methods

    encodeF :: Enc xs c str -> Either EncodeEx (Enc ("r-Int-decimal" ': xs) c str) Source #

    IsStringR str => EncodeF (Either EncodeEx) (Enc xs c str) (Enc ("r-Word8-decimal" ': xs) c str :: Type) Source # 
    Instance details

    Methods

    encodeF :: Enc xs c str -> Either EncodeEx (Enc ("r-Word8-decimal" ': xs) c str) Source #