Safe Haskell	Safe
Language	Haskell2010

Data.TypedEncoding.Instances.Do.Sample

Contents

Orphan instances

Description

This module defines some sample "do-" encodings currently for example use only.

Documentation

newtype SizeLimit Source #

Constructors

SizeLimit
Fields unSizeLimit :: Int

Instances

Eq SizeLimit Source #
Instance details Defined in Data.TypedEncoding.Instances.Do.Sample Methods (==) :: SizeLimit -> SizeLimit -> Bool # (/=) :: SizeLimit -> SizeLimit -> Bool #
Show SizeLimit Source #
Instance details Defined in Data.TypedEncoding.Instances.Do.Sample Methods showsPrec :: Int -> SizeLimit -> ShowS # show :: SizeLimit -> String # showList :: [SizeLimit] -> ShowS #
HasA SizeLimit Config Source #
Instance details Defined in Examples.TypedEncoding.Overview Methods has :: Config -> SizeLimit Source #

Orphan instances

(RecreateErr f, Applicative f) => RecreateF (f :: Type -> Type) (Enc xs c Text :: Type) (Enc ("do-UPPER" ': xs) c Text) Source #
Instance details Methods checkPrevF :: Enc ("do-UPPER" ': xs) c Text -> f (Enc xs c Text) Source #
(HasA SizeLimit c, Applicative f) => EncodeF (f :: Type -> Type) (Enc xs c ByteString) (Enc ("do-size-limit" ': xs) c ByteString :: Type) Source #
Instance details Methods encodeF :: Enc xs c ByteString -> f (Enc ("do-size-limit" ': xs) c ByteString) Source #
(HasA SizeLimit c, Applicative f) => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-size-limit" ': xs) c Text :: Type) Source #
Instance details Methods encodeF :: Enc xs c Text -> f (Enc ("do-size-limit" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-reverse" ': xs) c Text :: Type) Source #
Instance details Methods encodeF :: Enc xs c Text -> f (Enc ("do-reverse" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-reverse" ': xs) c Text :: Type) Source #
Instance details Methods encodeF :: Enc xs c Text -> f (Enc ("do-reverse" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-Title" ': xs) c Text :: Type) Source #
Instance details Methods encodeF :: Enc xs c Text -> f (Enc ("do-Title" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-Title" ': xs) c Text :: Type) Source #
Instance details Methods encodeF :: Enc xs c Text -> f (Enc ("do-Title" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-lower" ': xs) c Text :: Type) Source #
Instance details Methods encodeF :: Enc xs c Text -> f (Enc ("do-lower" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-lower" ': xs) c Text :: Type) Source #
Instance details Methods encodeF :: Enc xs c Text -> f (Enc ("do-lower" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-UPPER" ': xs) c Text :: Type) Source #
Instance details Methods encodeF :: Enc xs c Text -> f (Enc ("do-UPPER" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-UPPER" ': xs) c Text :: Type) Source #
Instance details Methods encodeF :: Enc xs c Text -> f (Enc ("do-UPPER" ': xs) c Text) Source #