Safe Haskell	Safe
Language	Haskell2010

Examples.TypedEncoding.Instances.Do.Sample

Contents

Orphan instances

Description

This module defines some example "do-" encodings

See Examples.TypedEncoding.Overview for usage examples.

(moved from Data.TypedEncoding.Instances.Do.Sample)

Since: 0.5.0.0

Synopsis

newtype SizeLimit = SizeLimit {
- unSizeLimit :: Int
}

Documentation

newtype SizeLimit Source #

Since: 0.1.0.0

Constructors

SizeLimit
Fields unSizeLimit :: Int

Instances

Eq SizeLimit Source #
Instance details Defined in Examples.TypedEncoding.Instances.Do.Sample Methods (==) :: SizeLimit -> SizeLimit -> Bool # (/=) :: SizeLimit -> SizeLimit -> Bool #
Show SizeLimit Source #
Instance details Defined in Examples.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

(HasA SizeLimit c, Applicative f) => Encode f "do-size-limit" "do-size-limit" c ByteString Source #
Instance details Methods encoding :: Encoding f "do-size-limit" "do-size-limit" c ByteString Source #
(HasA SizeLimit c, Applicative f) => Encode f "do-size-limit" "do-size-limit" c Text Source #	Since: 0.3.0.0
Instance details Methods encoding :: Encoding f "do-size-limit" "do-size-limit" c Text Source #
Applicative f => Encode f "do-reverse" "do-reverse" c Text Source #
Instance details Methods encoding :: Encoding f "do-reverse" "do-reverse" c Text Source #
Applicative f => Encode f "do-reverse" "do-reverse" c Text Source #	Since: 0.3.0.0
Instance details Methods encoding :: Encoding f "do-reverse" "do-reverse" c Text Source #
Applicative f => Encode f "do-Title" "do-Title" c Text Source #
Instance details Methods encoding :: Encoding f "do-Title" "do-Title" c Text Source #
Applicative f => Encode f "do-Title" "do-Title" c Text Source #	Since: 0.3.0.0
Instance details Methods encoding :: Encoding f "do-Title" "do-Title" c Text Source #
Applicative f => Encode f "do-lower" "do-lower" c Text Source #
Instance details Methods encoding :: Encoding f "do-lower" "do-lower" c Text Source #
Applicative f => Encode f "do-lower" "do-lower" c Text Source #	Since: 0.3.0.0
Instance details Methods encoding :: Encoding f "do-lower" "do-lower" c Text Source #
Applicative f => Encode f "do-UPPER" "do-UPPER" c Text Source #
Instance details Methods encoding :: Encoding f "do-UPPER" "do-UPPER" c Text Source #
Applicative f => Encode f "do-UPPER" "do-UPPER" c Text Source #	Since: 0.3.0.0
Instance details Methods encoding :: Encoding f "do-UPPER" "do-UPPER" c Text Source #
(RecreateErr f, Applicative f) => Validate f "do-UPPER" "do-UPPER" c Text Source #
Instance details Methods validation :: Validation f "do-UPPER" "do-UPPER" c Text Source #