| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Examples.TypedEncoding.Instances.Do.Sample
Contents
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
Since: 0.1.0.0
Constructors
| SizeLimit | |
Fields
| |
Orphan instances
| (HasA SizeLimit c, Applicative f) => Encode f "do-size-limit" "do-size-limit" c ByteString Source # | |
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 |
| Applicative f => Encode f "do-reverse" "do-reverse" c Text Source # | |
| Applicative f => Encode f "do-reverse" "do-reverse" c Text Source # | Since: 0.3.0.0 |
| Applicative f => Encode f "do-Title" "do-Title" c Text Source # | |
| Applicative f => Encode f "do-Title" "do-Title" c Text Source # | Since: 0.3.0.0 |
| Applicative f => Encode f "do-lower" "do-lower" c Text Source # | |
| Applicative f => Encode f "do-lower" "do-lower" c Text Source # | Since: 0.3.0.0 |
| Applicative f => Encode f "do-UPPER" "do-UPPER" c Text Source # | |
| Applicative f => Encode f "do-UPPER" "do-UPPER" c Text Source # | Since: 0.3.0.0 |
| (RecreateErr f, Applicative f) => Validate f "do-UPPER" "do-UPPER" c Text Source # | |
Methods validation :: Validation f "do-UPPER" "do-UPPER" c Text Source # | |