Safe Haskell	Safe
Language	Haskell2010

Data.TypedEncoding.Instances.Restriction.Common

Contents

Description

Common restriction "r-" instances

Synopsis

Documentation

>>> import qualified Data.Text as T

Orphan instances

(IsStringR str, IsString 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, IsString 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, IsString 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 #