| Copyright | (C) 2014-2017 Ryan Scott |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Ryan Scott |
| Stability | Provisional |
| Portability | GHC |
| Safe Haskell | None |
| Language | Haskell2010 |
TextShow
Contents
Description
Efficiently convert from values to Text via Builders.
Since: 2
Synopsis
- class TextShow a where
- showbParen :: Bool -> Builder -> Builder
- showtParen :: Bool -> Text -> Text
- showtlParen :: Bool -> Text -> Text
- showbCommaSpace :: Builder
- showtCommaSpace :: Text
- showtlCommaSpace :: Text
- showbSpace :: Builder
- showtSpace :: Text
- showtlSpace :: Text
- class TextShow1 f where
- showbPrec1 :: (TextShow1 f, TextShow a) => Int -> f a -> Builder
- showbUnaryWith :: (Int -> a -> Builder) -> Builder -> Int -> a -> Builder
- liftShowtPrec :: TextShow1 f => (Int -> a -> Text) -> ([a] -> Text) -> Int -> f a -> Text
- liftShowtlPrec :: TextShow1 f => (Int -> a -> Text) -> ([a] -> Text) -> Int -> f a -> Text
- class TextShow2 f where
- showbPrec2 :: (TextShow2 f, TextShow a, TextShow b) => Int -> f a b -> Builder
- showbBinaryWith :: (Int -> a -> Builder) -> (Int -> b -> Builder) -> Builder -> Int -> a -> b -> Builder
- liftShowtPrec2 :: TextShow2 f => (Int -> a -> Text) -> ([a] -> Text) -> (Int -> b -> Text) -> ([b] -> Text) -> Int -> f a b -> Text
- liftShowtlPrec2 :: TextShow2 f => (Int -> a -> Text) -> ([a] -> Text) -> (Int -> b -> Text) -> ([b] -> Text) -> Int -> f a b -> Text
- data Builder
- toText :: Builder -> Text
- toLazyText :: Builder -> Text
- toLazyTextWith :: Int -> Builder -> Text
- toString :: Builder -> String
- singleton :: Char -> Builder
- fromText :: Text -> Builder
- fromLazyText :: Text -> Builder
- fromString :: String -> Builder
- flush :: Builder
- lengthB :: Builder -> Int64
- unlinesB :: [Builder] -> Builder
- unwordsB :: [Builder] -> Builder
- printT :: TextShow a => a -> IO ()
- printTL :: TextShow a => a -> IO ()
- hPrintT :: TextShow a => Handle -> a -> IO ()
- hPrintTL :: TextShow a => Handle -> a -> IO ()
- newtype FromStringShow a = FromStringShow {
- fromStringShow :: a
- newtype FromTextShow a = FromTextShow {
- fromTextShow :: a
- newtype FromStringShow1 f a = FromStringShow1 {
- fromStringShow1 :: f a
- newtype FromTextShow1 f a = FromTextShow1 {
- fromTextShow1 :: f a
- newtype FromStringShow2 f a b = FromStringShow2 {
- fromStringShow2 :: f a b
- newtype FromTextShow2 f a b = FromTextShow2 {
- fromTextShow2 :: f a b
- showsPrecToShowbPrec :: (Int -> a -> ShowS) -> Int -> a -> Builder
- showsToShowb :: (a -> ShowS) -> a -> Builder
- showbPrecToShowsPrec :: (Int -> a -> Builder) -> Int -> a -> ShowS
- showbToShows :: (a -> Builder) -> a -> ShowS
- showtPrecToShowbPrec :: (Int -> a -> Text) -> Int -> a -> Builder
- showtlPrecToShowbPrec :: (Int -> a -> Text) -> Int -> a -> Builder
- showtToShowb :: (a -> Text) -> a -> Builder
- showtlToShowb :: (a -> Text) -> a -> Builder
- showbPrecToShowtPrec :: (Int -> a -> Builder) -> Int -> a -> Text
- showbPrecToShowtlPrec :: (Int -> a -> Builder) -> Int -> a -> Text
- showbToShowt :: (a -> Builder) -> a -> Text
- showbToShowtl :: (a -> Builder) -> a -> Text
The TextShow classes
TextShow
Conversion of values to Text. Because there are both strict and lazy Text
variants, the TextShow class deliberately avoids using Text in its functions.
Instead, showbPrec, showb, and showbList all return Builder, an
efficient intermediate form that can be converted to either kind of Text.
Builder is a Monoid, so it is useful to use the mappend (or <>) function
to combine Builders when creating TextShow instances. As an example:
import Data.Semigroup
import TextShow
data Example = Example Int Int
instance TextShow Example where
showb (Example i1 i2) = showb i1 <> showbSpace <> showb i2
If you do not want to create TextShow instances manually, you can alternatively
use the TextShow.TH module to automatically generate default TextShow
instances using Template Haskell, or the TextShow.Generic module to
quickly define TextShow instances using GHC.Generics.
Since: 2
Methods
Arguments
| :: Int | The operator precedence of the enclosing context (a number
from |
| -> a | The value to be converted to a |
| -> Builder |
Convert a value to a Builder with the given predence.
Since: 2
Converts a value to a strict Text. If you hand-define this, it should
satisfy:
showb=showbPrec0
Since: 2
Converts a list of values to a Builder. By default, this is defined as
'showbList = , but it can be overridden to allow
for specialized displaying of lists (e.g., lists of showbListWith showbChars).
Since: 2
Arguments
| :: Int | The operator precedence of the enclosing context (a number
from |
| -> a | The value to be converted to a strict |
| -> Text |
Converts a value to a strict Text with the given precedence. This
can be overridden for efficiency, but it should satisfy:
showtPrecp =toStrict.showtlPrecp
Since: 3
Converts a value to a strict Text. This can be overridden for
efficiency, but it should satisfy:
showt=showtPrec0showt=toStrict.showtl
The first equation is the default definition of showt.
Since: 3
Converts a list of values to a strict Text. This can be overridden for
efficiency, but it should satisfy:
showtList=toStrict.showtlList
Since: 3
Arguments
| :: Int | The operator precedence of the enclosing context (a number
from |
| -> a | The value to be converted to a lazy |
| -> Text |
Converts a value to a lazy Text with the given precedence. This
can be overridden for efficiency, but it should satisfy:
showtlPrecp =toLazyText.showbPrecp
Since: 3
Converts a value to a lazy Text. This can be overridden for
efficiency, but it should satisfy:
showtl=showtlPrec0showtl=toLazyText.showb
The first equation is the default definition of showtl.
Since: 3
Converts a list of values to a lazy Text. This can be overridden for
efficiency, but it should satisfy:
showtlList=toLazyText.showbList
Since: 3
Instances
showbParen :: Bool -> Builder -> Builder #
showtParen :: Bool -> Text -> Text #
showtlParen :: Bool -> Text -> Text #
Construct a Builder containing a comma followed by a space.
Since: 3.6
showtCommaSpace :: Text #
Construct a strict Text containing a comma followed by a space.
Since: 3.6
Construct a lazy Text containing a comma followed by a space.
Since: 3.6
showbSpace :: Builder #
Construct a Builder containing a single space character.
Since: 2
showtSpace :: Text #
Construct a strict Text containing a single space character.
Since: 3.4
showtlSpace :: Text #
Construct a lazy Text containing a single space character.
Since: 3.4
TextShow1
Lifting of the TextShow class to unary type constructors.
Since: 2
Minimal complete definition
Methods
liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> f a -> Builder #
showbPrec function for an application of the type constructor
based on showbPrec and showbList functions for the argument type.
Since: 3
liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [f a] -> Builder #
Instances
showbUnaryWith :: (Int -> a -> Builder) -> Builder -> Int -> a -> Builder #
showbUnaryWith sp n p xBuilder representation of a unary data
constructor with name n and argument x, in precedence context p, using the
function sp to show occurrences of the type argument.
Since: 2
liftShowtPrec :: TextShow1 f => (Int -> a -> Text) -> ([a] -> Text) -> Int -> f a -> Text #
showtPrec function for an application of the type constructor
based on showtPrec and showtList functions for the argument type.
The current implementation is based on liftShowbPrec internally.
Since: 3.4
liftShowtlPrec :: TextShow1 f => (Int -> a -> Text) -> ([a] -> Text) -> Int -> f a -> Text #
showtlPrec function for an application of the type constructor
based on showtlPrec and showtlList functions for the argument type.
The current implementation is based on liftShowbPrec internally.
Since: 3.4
TextShow2
Lifting of the TextShow class to binary type constructors.
Since: 2
Minimal complete definition
Methods
liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> f a b -> Builder #
showbPrec function for an application of the type constructor
based on showbPrec and showbList functions for the argument types.
Since: 3
liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [f a b] -> Builder #
Instances
| TextShow2 Either # | Since: 2 |
Defined in TextShow.Data.Either | |
| TextShow2 (,) # | Since: 2 |
Defined in TextShow.Data.Tuple | |
| TextShow2 ST # | Since: 2 |
Defined in TextShow.Control.Monad.ST | |
| TextShow2 Arg # | Since: 3 |
Defined in TextShow.Data.Semigroup | |
| TextShow a => TextShow2 ((,,) a) # | Since: 2 |
Defined in TextShow.Data.Tuple | |
| TextShow2 (Const :: Type -> Type -> Type) # | Since: 2 |
Defined in TextShow.Control.Applicative | |
| TextShow2 (Coercion :: Type -> Type -> Type) # | Since: 2 |
Defined in TextShow.Data.Type.Coercion | |
| TextShow2 ((:~:) :: Type -> Type -> Type) # | Since: 2 |
Defined in TextShow.Data.Type.Equality | |
| TextShow2 ((->) :: Type -> Type -> Type) # | Since: 2 |
Defined in TextShow.Functions | |
| TextShow2 (K1 i :: Type -> Type -> Type) # | Since: 2 |
Defined in TextShow.GHC.Generics | |
| (TextShow a, TextShow b) => TextShow2 ((,,,) a b) # | Since: 2 |
Defined in TextShow.Data.Tuple | |
| TextShow2 ((:~~:) :: Type -> Type -> Type) # | Since: 3.6 |
Defined in TextShow.Data.Type.Equality | |
| (TextShow a, TextShow b, TextShow c) => TextShow2 ((,,,,) a b c) # | Since: 2 |
Defined in TextShow.Data.Tuple Methods liftShowbPrec2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> Int -> (a, b, c, a0, b0) -> Builder # liftShowbList2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> [(a, b, c, a0, b0)] -> Builder # | |
| TextShow2 f => TextShow2 (FromTextShow2 f) # | |
Defined in TextShow.FromStringTextShow | |
| Show2 f => TextShow2 (FromStringShow2 f) # | Not available if using |
Defined in TextShow.FromStringTextShow Methods liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> FromStringShow2 f a b -> Builder # liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [FromStringShow2 f a b] -> Builder # | |
| (TextShow a, TextShow b, TextShow c, TextShow d) => TextShow2 ((,,,,,) a b c d) # | Since: 2 |
Defined in TextShow.Data.Tuple Methods liftShowbPrec2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> Int -> (a, b, c, d, a0, b0) -> Builder # liftShowbList2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> [(a, b, c, d, a0, b0)] -> Builder # | |
| (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e) => TextShow2 ((,,,,,,) a b c d e) # | Since: 2 |
Defined in TextShow.Data.Tuple Methods liftShowbPrec2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> Int -> (a, b, c, d, e, a0, b0) -> Builder # liftShowbList2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> [(a, b, c, d, e, a0, b0)] -> Builder # | |
| (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f) => TextShow2 ((,,,,,,,) a b c d e f) # | Since: 2 |
Defined in TextShow.Data.Tuple Methods liftShowbPrec2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> Int -> (a, b, c, d, e, f, a0, b0) -> Builder # liftShowbList2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> [(a, b, c, d, e, f, a0, b0)] -> Builder # | |
| (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f, TextShow g) => TextShow2 ((,,,,,,,,) a b c d e f g) # | Since: 2 |
Defined in TextShow.Data.Tuple Methods liftShowbPrec2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> Int -> (a, b, c, d, e, f, g, a0, b0) -> Builder # liftShowbList2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> [(a, b, c, d, e, f, g, a0, b0)] -> Builder # | |
| (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f, TextShow g, TextShow h) => TextShow2 ((,,,,,,,,,) a b c d e f g h) # | Since: 2 |
Defined in TextShow.Data.Tuple Methods liftShowbPrec2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> Int -> (a, b, c, d, e, f, g, h, a0, b0) -> Builder # liftShowbList2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> [(a, b, c, d, e, f, g, h, a0, b0)] -> Builder # | |
| (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f, TextShow g, TextShow h, TextShow i) => TextShow2 ((,,,,,,,,,,) a b c d e f g h i) # | Since: 2 |
Defined in TextShow.Data.Tuple Methods liftShowbPrec2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> Int -> (a, b, c, d, e, f, g, h, i, a0, b0) -> Builder # liftShowbList2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> [(a, b, c, d, e, f, g, h, i, a0, b0)] -> Builder # | |
| (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f, TextShow g, TextShow h, TextShow i, TextShow j) => TextShow2 ((,,,,,,,,,,,) a b c d e f g h i j) # | Since: 2 |
Defined in TextShow.Data.Tuple Methods liftShowbPrec2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> Int -> (a, b, c, d, e, f, g, h, i, j, a0, b0) -> Builder # liftShowbList2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> [(a, b, c, d, e, f, g, h, i, j, a0, b0)] -> Builder # | |
| (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f, TextShow g, TextShow h, TextShow i, TextShow j, TextShow k) => TextShow2 ((,,,,,,,,,,,,) a b c d e f g h i j k) # | Since: 2 |
Defined in TextShow.Data.Tuple Methods liftShowbPrec2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> Int -> (a, b, c, d, e, f, g, h, i, j, k, a0, b0) -> Builder # liftShowbList2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> [(a, b, c, d, e, f, g, h, i, j, k, a0, b0)] -> Builder # | |
| (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f, TextShow g, TextShow h, TextShow i, TextShow j, TextShow k, TextShow l) => TextShow2 ((,,,,,,,,,,,,,) a b c d e f g h i j k l) # | Since: 2 |
Defined in TextShow.Data.Tuple Methods liftShowbPrec2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> Int -> (a, b, c, d, e, f, g, h, i, j, k, l, a0, b0) -> Builder # liftShowbList2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> [(a, b, c, d, e, f, g, h, i, j, k, l, a0, b0)] -> Builder # | |
| (TextShow a, TextShow b, TextShow c, TextShow d, TextShow e, TextShow f, TextShow g, TextShow h, TextShow i, TextShow j, TextShow k, TextShow l, TextShow m) => TextShow2 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m) # | Since: 2 |
Defined in TextShow.Data.Tuple Methods liftShowbPrec2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> Int -> (a, b, c, d, e, f, g, h, i, j, k, l, m, a0, b0) -> Builder # liftShowbList2 :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> (Int -> b0 -> Builder) -> ([b0] -> Builder) -> [(a, b, c, d, e, f, g, h, i, j, k, l, m, a0, b0)] -> Builder # | |
showbPrec2 :: (TextShow2 f, TextShow a, TextShow b) => Int -> f a b -> Builder #
Lift two showbPrec functions through the type constructor.
Since: 2
showbBinaryWith :: (Int -> a -> Builder) -> (Int -> b -> Builder) -> Builder -> Int -> a -> b -> Builder #
showbBinaryWith sp n p x yBuilder representation of a binary
data constructor with name n and arguments x and y, in precedence context
p, using the functions sp1 and sp2 to show occurrences of the type arguments.
Since: 2
liftShowtPrec2 :: TextShow2 f => (Int -> a -> Text) -> ([a] -> Text) -> (Int -> b -> Text) -> ([b] -> Text) -> Int -> f a b -> Text #
showtPrec function for an application of the type constructor
based on showtPrec and showtList functions for the argument type.
The current implementation is based on liftShowbPrec2 internally.
Since: 3.4
liftShowtlPrec2 :: TextShow2 f => (Int -> a -> Text) -> ([a] -> Text) -> (Int -> b -> Text) -> ([b] -> Text) -> Int -> f a b -> Text #
showtlPrec function for an application of the type constructor
based on showtlPrec and showtlList functions for the argument type.
The current implementation is based on liftShowbPrec2 internally.
Since: 3.4
Builders
The Builder type
A Builder is an efficient way to build lazy Text values.
There are several functions for constructing builders, but only one
to inspect them: to extract any data, you have to turn them into
lazy Text values using toLazyText.
Internally, a builder constructs a lazy Text by filling arrays
piece by piece. As each buffer is filled, it is 'popped' off, to
become a new chunk of the resulting lazy Text. All this is
hidden from the user of the Builder.
Instances
| Eq Builder | |
| Ord Builder | |
Defined in Data.Text.Internal.Builder | |
| Show Builder | |
| IsString Builder | |
Defined in Data.Text.Internal.Builder Methods fromString :: String -> Builder # | |
| Semigroup Builder | |
| Monoid Builder | |
| TextShow Builder # | Since: 2 |
toLazyText :: Builder -> Text #
O(n). Extract a lazy Text from a Builder with a default
buffer size. The construction work takes place if and when the
relevant part of the lazy Text is demanded.
toLazyTextWith :: Int -> Builder -> Text #
O(n). Extract a lazy Text from a Builder, using the given
size for the initial buffer. The construction work takes place if
and when the relevant part of the lazy Text is demanded.
If the initial buffer is too small to hold all data, subsequent buffers will be the default buffer size.
Constructing Builders
singleton :: Char -> Builder #
O(1). A Builder taking a single character, satisfying
toLazyText(singletonc) =singletonc
O(1). A Builder taking a Text, satisfying
toLazyText(fromTextt) =fromChunks[t]
fromLazyText :: Text -> Builder #
O(1). A Builder taking a lazy Text, satisfying
toLazyText(fromLazyTextt) = t
fromString :: String -> Builder #
O(1). A Builder taking a String, satisfying
toLazyText(fromStrings) =fromChunks[S.pack s]
Flushing the buffer state
O(1). Pop the strict Text we have constructed so far, if any,
yielding a new chunk in the result lazy Text.
Builder utility functions
Printing values
printT :: TextShow a => a -> IO () #
Writes a value's strict Text representation to the standard output, followed
by a newline.
Since: 2
printTL :: TextShow a => a -> IO () #
Writes a value's lazy Text representation to the standard output, followed
by a newline.
Since: 2
hPrintT :: TextShow a => Handle -> a -> IO () #
Writes a value's strict Text representation to a file handle, followed
by a newline.
Since: 2
hPrintTL :: TextShow a => Handle -> a -> IO () #
Writes a value's lazy Text representation to a file handle, followed
by a newline.
Since: 2
Conversions
Conversion between TextShow and string Show
newtype FromStringShow a #
An adapter newtype, suitable for DerivingVia.
The TextShow instance for FromStringShow is based on its String
Show instance. That is,
showbPrec p (FromStringShowx) =showsToShowbshowsPrecp x
Since: 2
Constructors
| FromStringShow | |
Fields
| |
Instances
newtype FromTextShow a #
An adapter newtype, suitable for DerivingVia.
The String Show instance for FromTextShow is based on its
TextShow instance. That is,
showsPrec p (FromTextShowx) =showbToShowsshowbPrecp x
Since: 2
Constructors
| FromTextShow | |
Fields
| |
Instances
newtype FromStringShow1 f a #
An adapter newtype, suitable for DerivingVia.
The TextShow1 instance for FromStringShow1 is based on its String
Show1 instance. That is,
liftShowbPrecsp sl p (FromStringShow1x) =showsPrecToShowbPrec(liftShowsPrec(showbPrecToShowsPrecsp) (showbToShowssl)) p x
Since: 3
Constructors
| FromStringShow1 | |
Fields
| |
Instances
newtype FromTextShow1 f a #
An adapter newtype, suitable for DerivingVia.
The String Show1 instance for FromTextShow1 is based on its
TextShow1 instance. That is,
liftShowsPrecsp sl p (FromTextShow1x) =showbPrecToShowsPrec(liftShowbPrec(showsPrecToShowbPrecsp) (showsToShowbsl)) p x
Since: 3
Constructors
| FromTextShow1 | |
Fields
| |
Instances
newtype FromStringShow2 f a b #
An adapter newtype, suitable for DerivingVia.
The TextShow2 instance for FromStringShow2 is based on its String
Show2 instance. That is,
liftShowbPrec2sp1 sl1 sp2 sl2 p (FromStringShow2x) =showsPrecToShowbPrec(liftShowsPrec2(showbPrecToShowsPrecsp1) (showbToShowssl1) (showbPrecToShowsPrecsp2) (showbToShowssl2)) p x
Since: 3
Constructors
| FromStringShow2 | |
Fields
| |
Instances
newtype FromTextShow2 f a b #
An adapter newtype, suitable for DerivingVia.
The String Show2 instance for FromTextShow2 is based on its
TextShow2 instance. That is,
liftShowsPrec2 sp1 sl1 sp2 sl2 p (FromTextShow2x) =showbPrecToShowsPrec(liftShowbPrec2(showsPrecToShowbPrecsp1) (showsToShowbsl1) (showsPrecToShowbPrecsp2) (showsToShowbsl2)) p x
Since: 3
Constructors
| FromTextShow2 | |
Fields
| |
Instances
| Generic1 (FromTextShow2 f a :: k1 -> Type) # | |
Defined in TextShow.FromStringTextShow Associated Types type Rep1 (FromTextShow2 f a) :: k -> Type # Methods from1 :: FromTextShow2 f a a0 -> Rep1 (FromTextShow2 f a) a0 # to1 :: Rep1 (FromTextShow2 f a) a0 -> FromTextShow2 f a a0 # | |
| Bitraversable f => Bitraversable (FromTextShow2 f) # | |
Defined in TextShow.FromStringTextShow Methods bitraverse :: Applicative f0 => (a -> f0 c) -> (b -> f0 d) -> FromTextShow2 f a b -> f0 (FromTextShow2 f c d) # | |
| Bifoldable f => Bifoldable (FromTextShow2 f) # | |
Defined in TextShow.FromStringTextShow Methods bifold :: Monoid m => FromTextShow2 f m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> FromTextShow2 f a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> FromTextShow2 f a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> FromTextShow2 f a b -> c # | |
| Bifunctor f => Bifunctor (FromTextShow2 f) # | |
Defined in TextShow.FromStringTextShow Methods bimap :: (a -> b) -> (c -> d) -> FromTextShow2 f a c -> FromTextShow2 f b d # first :: (a -> b) -> FromTextShow2 f a c -> FromTextShow2 f b c # second :: (b -> c) -> FromTextShow2 f a b -> FromTextShow2 f a c # | |
| TextShow2 f => Show2 (FromTextShow2 f) # | Not available if using |
Defined in TextShow.FromStringTextShow | |
| TextShow2 f => TextShow2 (FromTextShow2 f) # | |
Defined in TextShow.FromStringTextShow | |
| Functor (f a) => Functor (FromTextShow2 f a) # | |
Defined in TextShow.FromStringTextShow Methods fmap :: (a0 -> b) -> FromTextShow2 f a a0 -> FromTextShow2 f a b # (<$) :: a0 -> FromTextShow2 f a b -> FromTextShow2 f a a0 # | |
| Foldable (f a) => Foldable (FromTextShow2 f a) # | |
Defined in TextShow.FromStringTextShow Methods fold :: Monoid m => FromTextShow2 f a m -> m # foldMap :: Monoid m => (a0 -> m) -> FromTextShow2 f a a0 -> m # foldr :: (a0 -> b -> b) -> b -> FromTextShow2 f a a0 -> b # foldr' :: (a0 -> b -> b) -> b -> FromTextShow2 f a a0 -> b # foldl :: (b -> a0 -> b) -> b -> FromTextShow2 f a a0 -> b # foldl' :: (b -> a0 -> b) -> b -> FromTextShow2 f a a0 -> b # foldr1 :: (a0 -> a0 -> a0) -> FromTextShow2 f a a0 -> a0 # foldl1 :: (a0 -> a0 -> a0) -> FromTextShow2 f a a0 -> a0 # toList :: FromTextShow2 f a a0 -> [a0] # null :: FromTextShow2 f a a0 -> Bool # length :: FromTextShow2 f a a0 -> Int # elem :: Eq a0 => a0 -> FromTextShow2 f a a0 -> Bool # maximum :: Ord a0 => FromTextShow2 f a a0 -> a0 # minimum :: Ord a0 => FromTextShow2 f a a0 -> a0 # sum :: Num a0 => FromTextShow2 f a a0 -> a0 # product :: Num a0 => FromTextShow2 f a a0 -> a0 # | |
| Traversable (f a) => Traversable (FromTextShow2 f a) # | |
Defined in TextShow.FromStringTextShow Methods traverse :: Applicative f0 => (a0 -> f0 b) -> FromTextShow2 f a a0 -> f0 (FromTextShow2 f a b) # sequenceA :: Applicative f0 => FromTextShow2 f a (f0 a0) -> f0 (FromTextShow2 f a a0) # mapM :: Monad m => (a0 -> m b) -> FromTextShow2 f a a0 -> m (FromTextShow2 f a b) # sequence :: Monad m => FromTextShow2 f a (m a0) -> m (FromTextShow2 f a a0) # | |
| (TextShow2 f, TextShow a) => Show1 (FromTextShow2 f a) # | Not available if using |
Defined in TextShow.FromStringTextShow Methods liftShowsPrec :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> Int -> FromTextShow2 f a a0 -> ShowS # liftShowList :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> [FromTextShow2 f a a0] -> ShowS # | |
| (TextShow2 f, TextShow a) => TextShow1 (FromTextShow2 f a) # | |
Defined in TextShow.FromStringTextShow Methods liftShowbPrec :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> Int -> FromTextShow2 f a a0 -> Builder # liftShowbList :: (Int -> a0 -> Builder) -> ([a0] -> Builder) -> [FromTextShow2 f a a0] -> Builder # | |
| Eq (f a b) => Eq (FromTextShow2 f a b) # | |
Defined in TextShow.FromStringTextShow Methods (==) :: FromTextShow2 f a b -> FromTextShow2 f a b -> Bool # (/=) :: FromTextShow2 f a b -> FromTextShow2 f a b -> Bool # | |
| (Typeable a, Typeable b, Typeable f, Typeable k1, Typeable k2, Data (f a b)) => Data (FromTextShow2 f a b) # | |
Defined in TextShow.FromStringTextShow Methods gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> FromTextShow2 f a b -> c (FromTextShow2 f a b) # gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FromTextShow2 f a b) # toConstr :: FromTextShow2 f a b -> Constr # dataTypeOf :: FromTextShow2 f a b -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (FromTextShow2 f a b)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FromTextShow2 f a b)) # gmapT :: (forall b0. Data b0 => b0 -> b0) -> FromTextShow2 f a b -> FromTextShow2 f a b # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FromTextShow2 f a b -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FromTextShow2 f a b -> r # gmapQ :: (forall d. Data d => d -> u) -> FromTextShow2 f a b -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FromTextShow2 f a b -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FromTextShow2 f a b -> m (FromTextShow2 f a b) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FromTextShow2 f a b -> m (FromTextShow2 f a b) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FromTextShow2 f a b -> m (FromTextShow2 f a b) # | |
| Ord (f a b) => Ord (FromTextShow2 f a b) # | |
Defined in TextShow.FromStringTextShow Methods compare :: FromTextShow2 f a b -> FromTextShow2 f a b -> Ordering # (<) :: FromTextShow2 f a b -> FromTextShow2 f a b -> Bool # (<=) :: FromTextShow2 f a b -> FromTextShow2 f a b -> Bool # (>) :: FromTextShow2 f a b -> FromTextShow2 f a b -> Bool # (>=) :: FromTextShow2 f a b -> FromTextShow2 f a b -> Bool # max :: FromTextShow2 f a b -> FromTextShow2 f a b -> FromTextShow2 f a b # min :: FromTextShow2 f a b -> FromTextShow2 f a b -> FromTextShow2 f a b # | |
| Read (f a b) => Read (FromTextShow2 f a b) # | |
Defined in TextShow.FromStringTextShow Methods readsPrec :: Int -> ReadS (FromTextShow2 f a b) # readList :: ReadS [FromTextShow2 f a b] # readPrec :: ReadPrec (FromTextShow2 f a b) # readListPrec :: ReadPrec [FromTextShow2 f a b] # | |
| (TextShow2 f, TextShow a, TextShow b) => Show (FromTextShow2 f a b) # | Not available if using |
Defined in TextShow.FromStringTextShow Methods showsPrec :: Int -> FromTextShow2 f a b -> ShowS # show :: FromTextShow2 f a b -> String # showList :: [FromTextShow2 f a b] -> ShowS # | |
| Generic (FromTextShow2 f a b) # | |
Defined in TextShow.FromStringTextShow Associated Types type Rep (FromTextShow2 f a b) :: Type -> Type # Methods from :: FromTextShow2 f a b -> Rep (FromTextShow2 f a b) x # to :: Rep (FromTextShow2 f a b) x -> FromTextShow2 f a b # | |
| Lift (f a b) => Lift (FromTextShow2 f a b) # | |
Defined in TextShow.FromStringTextShow Methods lift :: FromTextShow2 f a b -> Q Exp # | |
| (TextShow2 f, TextShow a, TextShow b) => TextShow (FromTextShow2 f a b) # | |
Defined in TextShow.FromStringTextShow Methods showbPrec :: Int -> FromTextShow2 f a b -> Builder # showb :: FromTextShow2 f a b -> Builder # showbList :: [FromTextShow2 f a b] -> Builder # showtPrec :: Int -> FromTextShow2 f a b -> Text # showt :: FromTextShow2 f a b -> Text # showtList :: [FromTextShow2 f a b] -> Text # showtlPrec :: Int -> FromTextShow2 f a b -> Text # showtl :: FromTextShow2 f a b -> Text # showtlList :: [FromTextShow2 f a b] -> Text # | |
| type Rep1 (FromTextShow2 f a :: k1 -> Type) # | |
Defined in TextShow.FromStringTextShow type Rep1 (FromTextShow2 f a :: k1 -> Type) = D1 (MetaData "FromTextShow2" "TextShow.FromStringTextShow" "text-show-3.7.5-LbA925HAV7Y6CLjRgFEe4N" True) (C1 (MetaCons "FromTextShow2" PrefixI True) (S1 (MetaSel (Just "fromTextShow2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 (f a)))) | |
| type Rep (FromTextShow2 f a b) # | |
Defined in TextShow.FromStringTextShow type Rep (FromTextShow2 f a b) = D1 (MetaData "FromTextShow2" "TextShow.FromStringTextShow" "text-show-3.7.5-LbA925HAV7Y6CLjRgFEe4N" True) (C1 (MetaCons "FromTextShow2" PrefixI True) (S1 (MetaSel (Just "fromTextShow2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (f a b)))) | |
showsToShowb :: (a -> ShowS) -> a -> Builder #
showbToShows :: (a -> Builder) -> a -> ShowS #
Conversions between Builder, strict Text, and lazy Text
showtToShowb :: (a -> Text) -> a -> Builder #
showtlToShowb :: (a -> Text) -> a -> Builder #
showbToShowt :: (a -> Builder) -> a -> Text #