TextShow.Instances

Additional TextShow, TextShow1, and TextShow2 instances not provided by text-show.

Since: 2

Class re-exports

class TextShow a where

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.Monoid
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 genericShowbPrec.

Since: 2

Minimal complete definition

showbPrec | showb

Instances

Show a => TextShow (FromStringShow a)

Methods

showbPrec :: Int -> FromStringShow a -> Builder

showb :: FromStringShow a -> Builder

showbList :: [FromStringShow a] -> Builder

showtPrec :: Int -> FromStringShow a -> Text

showt :: FromStringShow a -> Text

showtList :: [FromStringShow a] -> Text

showtlPrec :: Int -> FromStringShow a -> Text

showtl :: FromStringShow a -> Text

showtlList :: [FromStringShow a] -> Text

TextShow a => TextShow (FromTextShow a)

Methods

showbPrec :: Int -> FromTextShow a -> Builder

showb :: FromTextShow a -> Builder

showbList :: [FromTextShow a] -> Builder

showtPrec :: Int -> FromTextShow a -> Text

showt :: FromTextShow a -> Text

showtList :: [FromTextShow a] -> Text

showtlPrec :: Int -> FromTextShow a -> Text

showtl :: FromTextShow a -> Text

showtlList :: [FromTextShow a] -> Text

(Show1 f, Show a) => TextShow (FromStringShow1 * f a)

Not available if using transformers-0.4

Methods

showbPrec :: Int -> FromStringShow1 * f a -> Builder

showb :: FromStringShow1 * f a -> Builder

showbList :: [FromStringShow1 * f a] -> Builder

showtPrec :: Int -> FromStringShow1 * f a -> Text

showt :: FromStringShow1 * f a -> Text

showtList :: [FromStringShow1 * f a] -> Text

showtlPrec :: Int -> FromStringShow1 * f a -> Text

showtl :: FromStringShow1 * f a -> Text

showtlList :: [FromStringShow1 * f a] -> Text

(TextShow1 f, TextShow a) => TextShow (FromTextShow1 * f a)

Methods

showbPrec :: Int -> FromTextShow1 * f a -> Builder

showb :: FromTextShow1 * f a -> Builder

showbList :: [FromTextShow1 * f a] -> Builder

showtPrec :: Int -> FromTextShow1 * f a -> Text

showt :: FromTextShow1 * f a -> Text

showtList :: [FromTextShow1 * f a] -> Text

showtlPrec :: Int -> FromTextShow1 * f a -> Text

showtl :: FromTextShow1 * f a -> Text

showtlList :: [FromTextShow1 * f a] -> Text

(Show2 f, Show a, Show b) => TextShow (FromStringShow2 * * f a b)

Not available if using transformers-0.4

Methods

showbPrec :: Int -> FromStringShow2 * * f a b -> Builder

showb :: FromStringShow2 * * f a b -> Builder

showbList :: [FromStringShow2 * * f a b] -> Builder

showtPrec :: Int -> FromStringShow2 * * f a b -> Text

showt :: FromStringShow2 * * f a b -> Text

showtList :: [FromStringShow2 * * f a b] -> Text

showtlPrec :: Int -> FromStringShow2 * * f a b -> Text

showtl :: FromStringShow2 * * f a b -> Text

showtlList :: [FromStringShow2 * * f a b] -> Text

(TextShow2 f, TextShow a, TextShow b) => TextShow (FromTextShow2 * * f a b)

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

class TextShow1 f where

Lifting of the TextShow class to unary type constructors.

Since: 2

Minimal complete definition

liftShowbPrec

Instances

TextShow1 FromStringShow

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> FromStringShow a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [FromStringShow a] -> Builder

TextShow1 FromTextShow

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> FromTextShow a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [FromTextShow a] -> Builder

Show1 f => TextShow1 (FromStringShow1 * f)

Not available if using transformers-0.4

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> FromStringShow1 * f a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [FromStringShow1 * f a] -> Builder

TextShow1 f => TextShow1 (FromTextShow1 * f)

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> FromTextShow1 * f a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [FromTextShow1 * f a] -> Builder

(Show2 f, Show a) => TextShow1 (FromStringShow2 * * f a)

Not available if using transformers-0.4

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> FromStringShow2 * * f a a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [FromStringShow2 * * f a a] -> Builder

(TextShow2 f, TextShow a) => TextShow1 (FromTextShow2 * * f a)

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> FromTextShow2 * * f a a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [FromTextShow2 * * f a a] -> Builder

class TextShow2 f where

Lifting of the TextShow class to binary type constructors.

Since: 2

Minimal complete definition

liftShowbPrec2

Instances

Show2 f => TextShow2 (FromStringShow2 * * f)

Not available if using transformers-0.4

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

TextShow2 f => TextShow2 (FromTextShow2 * * f)

Methods

liftShowbPrec2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> Int -> FromTextShow2 * * f a b -> Builder

liftShowbList2 :: (Int -> a -> Builder) -> ([a] -> Builder) -> (Int -> b -> Builder) -> ([b] -> Builder) -> [FromTextShow2 * * f a b] -> Builder

Module re-export

module TextShow