Examples.TypedEncoding.Instances.Do.Sample

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

Documentation

newtype SizeLimit

Since: 0.1.0.0

Constructors

SizeLimit

Fields

• unSizeLimit :: Int

Instances

Eq SizeLimit

Defined in Examples.TypedEncoding.Instances.Do.Sample

Methods

(==) :: SizeLimit -> SizeLimit -> Bool

(/=) :: SizeLimit -> SizeLimit -> Bool

Show SizeLimit

Defined in Examples.TypedEncoding.Instances.Do.Sample

Methods

showsPrec :: Int -> SizeLimit -> ShowS

show :: SizeLimit -> String

showList :: [SizeLimit] -> ShowS

HasA SizeLimit Config

Defined in Examples.TypedEncoding.Overview

Methods

has :: Config -> SizeLimit

Orphan instances

(HasA SizeLimit c, Applicative f) => Encode f "do-size-limit" "do-size-limit" c ByteString

Methods

encoding :: Encoding f "do-size-limit" "do-size-limit" c ByteString

(HasA SizeLimit c, Applicative f) => Encode f "do-size-limit" "do-size-limit" c Text

Since: 0.3.0.0

Methods

encoding :: Encoding f "do-size-limit" "do-size-limit" c Text

Applicative f => Encode f "do-reverse" "do-reverse" c Text

Methods

encoding :: Encoding f "do-reverse" "do-reverse" c Text

Applicative f => Encode f "do-reverse" "do-reverse" c Text

Since: 0.3.0.0

Methods

encoding :: Encoding f "do-reverse" "do-reverse" c Text

Applicative f => Encode f "do-Title" "do-Title" c Text

Methods

encoding :: Encoding f "do-Title" "do-Title" c Text

Applicative f => Encode f "do-Title" "do-Title" c Text

Since: 0.3.0.0

Methods

encoding :: Encoding f "do-Title" "do-Title" c Text

Applicative f => Encode f "do-lower" "do-lower" c Text

Methods

encoding :: Encoding f "do-lower" "do-lower" c Text

Applicative f => Encode f "do-lower" "do-lower" c Text

Since: 0.3.0.0

Methods

encoding :: Encoding f "do-lower" "do-lower" c Text

Applicative f => Encode f "do-UPPER" "do-UPPER" c Text

Methods

encoding :: Encoding f "do-UPPER" "do-UPPER" c Text

Applicative f => Encode f "do-UPPER" "do-UPPER" c Text

Since: 0.3.0.0

Methods

encoding :: Encoding f "do-UPPER" "do-UPPER" c Text

(RecreateErr f, Applicative f) => Validate f "do-UPPER" "do-UPPER" c Text

Methods

validation :: Validation f "do-UPPER" "do-UPPER" c Text