Z.Data.Text.ShowT

Base on UTF8 compatible textual builders from Builder, we provide a newtype wrapper TextBuilder which can be directly used to build Text.

We also provide faster alternative to Show class, i.e. ShowT, which also provides Generic based instances deriving.

ShowT class

class ShowT a where

A class similar to Show, serving the purpose that quickly convert a data type to a Text value.

You can use newtype or generic deriving to implement instance of this class quickly:

 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE DeriveAnyClass #-}
 {-# LANGUAGE DeriveGeneric #-}
 {-# LANGUAGE DerivingStrategies #-}

 import GHC.Generics

 newtype FooInt = FooInt Int deriving (Generic)
                           deriving anyclass ShowT

> showT (FooInt 3)
> "FooInt 3"

 newtype FooInt = FooInt Int deriving (Generic)
                           deriving newtype ShowT

> showT (FooInt 3)
> "3"

Minimal complete definition

Nothing

Methods

toTextBuilder :: Int -> a -> TextBuilder ()

toTextBuilder :: (Generic a, GToText (Rep a)) => Int -> a -> TextBuilder ()

Instances

ShowT Bool

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Bool -> TextBuilder ()

ShowT Char

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Char -> TextBuilder ()

ShowT Double

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Double -> TextBuilder ()

ShowT Float

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Float -> TextBuilder ()

ShowT Int

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Int -> TextBuilder ()

ShowT Int8

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Int8 -> TextBuilder ()

ShowT Int16

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Int16 -> TextBuilder ()

ShowT Int32

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Int32 -> TextBuilder ()

ShowT Int64

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Int64 -> TextBuilder ()

ShowT Integer

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Integer -> TextBuilder ()

ShowT Natural

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Natural -> TextBuilder ()

ShowT Ordering

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Ordering -> TextBuilder ()

ShowT Word

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Word -> TextBuilder ()

ShowT Word8

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Word8 -> TextBuilder ()

ShowT Word16

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Word16 -> TextBuilder ()

ShowT Word32

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Word32 -> TextBuilder ()

ShowT Word64

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Word64 -> TextBuilder ()

ShowT CallStack

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CallStack -> TextBuilder ()

ShowT ()

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> () -> TextBuilder ()

ShowT Version

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Version -> TextBuilder ()

ShowT ExitCode

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> ExitCode -> TextBuilder ()

ShowT CChar

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CChar -> TextBuilder ()

ShowT CSChar

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CSChar -> TextBuilder ()

ShowT CUChar

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CUChar -> TextBuilder ()

ShowT CShort

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CShort -> TextBuilder ()

ShowT CUShort

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CUShort -> TextBuilder ()

ShowT CInt

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CInt -> TextBuilder ()

ShowT CUInt

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CUInt -> TextBuilder ()

ShowT CLong

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CLong -> TextBuilder ()

ShowT CULong

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CULong -> TextBuilder ()

ShowT CLLong

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CLLong -> TextBuilder ()

ShowT CULLong

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CULLong -> TextBuilder ()

ShowT CBool

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CBool -> TextBuilder ()

ShowT CFloat

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CFloat -> TextBuilder ()

ShowT CDouble

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CDouble -> TextBuilder ()

ShowT CPtrdiff

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CPtrdiff -> TextBuilder ()

ShowT CSize

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CSize -> TextBuilder ()

ShowT CWchar

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CWchar -> TextBuilder ()

ShowT CSigAtomic

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CSigAtomic -> TextBuilder ()

ShowT CClock

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CClock -> TextBuilder ()

ShowT CTime

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CTime -> TextBuilder ()

ShowT CUSeconds

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CUSeconds -> TextBuilder ()

ShowT CSUSeconds

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CSUSeconds -> TextBuilder ()

ShowT CIntPtr

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CIntPtr -> TextBuilder ()

ShowT CUIntPtr

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CUIntPtr -> TextBuilder ()

ShowT CIntMax

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CIntMax -> TextBuilder ()

ShowT CUIntMax

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> CUIntMax -> TextBuilder ()

ShowT Scientific

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Scientific -> TextBuilder ()

ShowT Text

The escaping rules is same with Show instance: we reuse JSON escaping rules here, so it will be faster.

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Text -> TextBuilder ()

ShowT FlatIntSet

Defined in Z.Data.Vector.FlatIntSet

Methods

toTextBuilder :: Int -> FlatIntSet -> TextBuilder ()

ShowT Value

Defined in Z.Data.JSON.Value

Methods

toTextBuilder :: Int -> Value -> TextBuilder ()

ShowT CBytes

This instance provide UTF8 guarantee, illegal codepoints will be written as replacementChars.

Defined in Z.Data.CBytes

Methods

toTextBuilder :: Int -> CBytes -> TextBuilder ()

ShowT a => ShowT [a]

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> [a] -> TextBuilder ()

ShowT a => ShowT (Maybe a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Maybe a -> TextBuilder ()

(ShowT a, Integral a) => ShowT (Ratio a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Ratio a -> TextBuilder ()

HasResolution a => ShowT (Fixed a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Fixed a -> TextBuilder ()

ShowT a => ShowT (Min a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Min a -> TextBuilder ()

ShowT a => ShowT (Max a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Max a -> TextBuilder ()

ShowT a => ShowT (First a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> First a -> TextBuilder ()

ShowT a => ShowT (Last a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Last a -> TextBuilder ()

ShowT a => ShowT (WrappedMonoid a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> WrappedMonoid a -> TextBuilder ()

ShowT a => ShowT (Identity a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Identity a -> TextBuilder ()

ShowT a => ShowT (First a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> First a -> TextBuilder ()

ShowT a => ShowT (Last a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Last a -> TextBuilder ()

ShowT a => ShowT (Dual a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Dual a -> TextBuilder ()

ShowT a => ShowT (NonEmpty a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> NonEmpty a -> TextBuilder ()

(Prim a, ShowT a) => ShowT (PrimArray a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> PrimArray a -> TextBuilder ()

ShowT a => ShowT (SmallArray a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> SmallArray a -> TextBuilder ()

ShowT a => ShowT (Array a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Array a -> TextBuilder ()

(Prim a, ShowT a) => ShowT (PrimVector a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> PrimVector a -> TextBuilder ()

ShowT a => ShowT (Vector a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Vector a -> TextBuilder ()

ShowT (TextBuilder a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> TextBuilder a -> TextBuilder ()

ShowT v => ShowT (FlatSet v)

Defined in Z.Data.Vector.FlatSet

Methods

toTextBuilder :: Int -> FlatSet v -> TextBuilder ()

ShowT v => ShowT (FlatIntMap v)

Defined in Z.Data.Vector.FlatIntMap

Methods

toTextBuilder :: Int -> FlatIntMap v -> TextBuilder ()

(ShowT a, ShowT b) => ShowT (Either a b)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Either a b -> TextBuilder ()

(ShowT a, ShowT b) => ShowT (a, b)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> (a, b) -> TextBuilder ()

ShowT (Proxy a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Proxy a -> TextBuilder ()

(PrimUnlifted a, ShowT a) => ShowT (UnliftedArray a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> UnliftedArray a -> TextBuilder ()

(ShowT k, ShowT v) => ShowT (FlatMap k v)

Defined in Z.Data.Vector.FlatMap

Methods

toTextBuilder :: Int -> FlatMap k v -> TextBuilder ()

(ShowT a, ShowT b, ShowT c) => ShowT (a, b, c)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> (a, b, c) -> TextBuilder ()

ShowT a => ShowT (Const a b)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Const a b -> TextBuilder ()

ShowT b => ShowT (Tagged a b)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Tagged a b -> TextBuilder ()

(ShowT a, ShowT b, ShowT c, ShowT d) => ShowT (a, b, c, d)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> (a, b, c, d) -> TextBuilder ()

(ShowT (f a), ShowT (g a)) => ShowT (Product f g a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Product f g a -> TextBuilder ()

(ShowT (f a), ShowT (g a), ShowT a) => ShowT (Sum f g a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Sum f g a -> TextBuilder ()

(ShowT a, ShowT b, ShowT c, ShowT d, ShowT e) => ShowT (a, b, c, d, e)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> (a, b, c, d, e) -> TextBuilder ()

ShowT (f (g a)) => ShowT (Compose f g a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> Compose f g a -> TextBuilder ()

(ShowT a, ShowT b, ShowT c, ShowT d, ShowT e, ShowT f) => ShowT (a, b, c, d, e, f)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> (a, b, c, d, e, f) -> TextBuilder ()

(ShowT a, ShowT b, ShowT c, ShowT d, ShowT e, ShowT f, ShowT g) => ShowT (a, b, c, d, e, f, g)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> (a, b, c, d, e, f, g) -> TextBuilder ()

showT :: ShowT a => a -> Text

Directly convert data to Text.

toBuilder :: ShowT a => a -> Builder ()

Directly convert data to Builder.

toBytes :: ShowT a => a -> Bytes

Directly convert data to Bytes.

toString :: ShowT a => a -> String

Faster show replacement.

Textual Builder

data TextBuilder a

Buidlers which guarantee UTF-8 encoding, thus can be used to build text directly.

Notes on IsString instance: It's recommended to use IsString instance, there's a rewrite rule to turn encoding loop into a memcpy, which is much faster (the same rule also apply to stringUTF8). Different from Builder (), TextBuilder ()'s IsString instance will give you desired UTF8 guarantees:

• NUL will be written directly as x00.
• xD800 ~ xDFFF will be replaced by replacement char.

Instances

Monad TextBuilder

Defined in Z.Data.Text.ShowT

Methods

(>>=) :: TextBuilder a -> (a -> TextBuilder b) -> TextBuilder b

(>>) :: TextBuilder a -> TextBuilder b -> TextBuilder b

return :: a -> TextBuilder a

fail :: String -> TextBuilder a

Functor TextBuilder

Defined in Z.Data.Text.ShowT

Methods

fmap :: (a -> b) -> TextBuilder a -> TextBuilder b

(<$) :: a -> TextBuilder b -> TextBuilder a

Applicative TextBuilder

Defined in Z.Data.Text.ShowT

Methods

pure :: a -> TextBuilder a

(<*>) :: TextBuilder (a -> b) -> TextBuilder a -> TextBuilder b

liftA2 :: (a -> b -> c) -> TextBuilder a -> TextBuilder b -> TextBuilder c

(*>) :: TextBuilder a -> TextBuilder b -> TextBuilder b

(<*) :: TextBuilder a -> TextBuilder b -> TextBuilder a

Show (TextBuilder a)

Defined in Z.Data.Text.ShowT

Methods

showsPrec :: Int -> TextBuilder a -> ShowS

show :: TextBuilder a -> String

showList :: [TextBuilder a] -> ShowS

a ~ () => IsString (TextBuilder a)

Defined in Z.Data.Text.ShowT

Methods

fromString :: String -> TextBuilder a

Semigroup (TextBuilder ())

Defined in Z.Data.Text.ShowT

Methods

(<>) :: TextBuilder () -> TextBuilder () -> TextBuilder ()

sconcat :: NonEmpty (TextBuilder ()) -> TextBuilder ()

stimes :: Integral b => b -> TextBuilder () -> TextBuilder ()

Monoid (TextBuilder ())

Defined in Z.Data.Text.ShowT

Methods

mempty :: TextBuilder ()

mappend :: TextBuilder () -> TextBuilder () -> TextBuilder ()

mconcat :: [TextBuilder ()] -> TextBuilder ()

Arbitrary (TextBuilder ())

Defined in Z.Data.Text.ShowT

Methods

arbitrary :: Gen (TextBuilder ())

shrink :: TextBuilder () -> [TextBuilder ()]

CoArbitrary (TextBuilder ())

Defined in Z.Data.Text.ShowT

Methods

coarbitrary :: TextBuilder () -> Gen b -> Gen b

ShowT (TextBuilder a)

Defined in Z.Data.Text.ShowT

Methods

toTextBuilder :: Int -> TextBuilder a -> TextBuilder ()

getBuilder :: TextBuilder a -> Builder a

unsafeFromBuilder :: Builder a -> TextBuilder a

Unsafely turn a Builder into TextBuilder, thus it's user's responsibility to ensure only UTF-8 complied bytes are written.

buildText :: TextBuilder a -> Text

Build a Text using TextBuilder, which provide UTF-8 encoding guarantee.

Basic UTF8 builders

stringUTF8 :: String -> TextBuilder ()

Turn String into TextBuilder with UTF8 encoding

Illegal codepoints will be written as replacementChars. This function will be rewritten into a memcpy if possible, (running a fast UTF-8 validation at runtime first).

charUTF8 :: Char -> TextBuilder ()

Turn Char into TextBuilder with UTF8 encoding

Illegal codepoints will be written as replacementChars.

string7 :: String -> TextBuilder ()

Turn String into TextBuilder with ASCII7 encoding

Codepoints beyond '\x7F' will be chopped.

char7 :: Char -> TextBuilder ()

Turn Char into TextBuilder with ASCII7 encoding

Codepoints beyond '\x7F' will be chopped.

text :: Text -> TextBuilder ()

Write UTF8 encoded Text using Builder.

Note, if you're trying to write string literals builders, please open OverloadedStrings and use Builders IsString instance, it will be rewritten into a memcpy.

escapeTextJSON :: Text -> Builder ()

Escape text using JSON string escaping rules and add double quotes, escaping rules:

   '\b':  "\b"
   '\f':  "\f"
   '\n':  "\n"
   '\r':  "\r"
   '\t':  "\t"
   '"':  "\""
   '\':  "\\"
   '/':  "\/"
   other chars <= 0x1F: "\u00XX"

Numeric builders

Integral type formatting

data IFormat

Integral formatting options.

Constructors

IFormat

Fields

• width :: Int

  total width, only effective with padding options

• padding :: Padding

  padding options

• posSign :: Bool

  show + when the number is positive

Instances

Eq IFormat

Defined in Z.Data.Builder.Numeric

Methods

(==) :: IFormat -> IFormat -> Bool

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

Ord IFormat

Defined in Z.Data.Builder.Numeric

Methods

compare :: IFormat -> IFormat -> Ordering

(<) :: IFormat -> IFormat -> Bool

(<=) :: IFormat -> IFormat -> Bool

(>) :: IFormat -> IFormat -> Bool

(>=) :: IFormat -> IFormat -> Bool

max :: IFormat -> IFormat -> IFormat

min :: IFormat -> IFormat -> IFormat

Show IFormat

Defined in Z.Data.Builder.Numeric

Methods

showsPrec :: Int -> IFormat -> ShowS

show :: IFormat -> String

showList :: [IFormat] -> ShowS

Arbitrary IFormat

Defined in Z.Data.Builder.Numeric

Methods

arbitrary :: Gen IFormat

shrink :: IFormat -> [IFormat]

CoArbitrary IFormat

Defined in Z.Data.Builder.Numeric

Methods

coarbitrary :: IFormat -> Gen b -> Gen b

defaultIFormat :: IFormat

defaultIFormat = IFormat 0 NoPadding False

data Padding

Constructors

NoPadding

RightSpacePadding

LeftSpacePadding

ZeroPadding

Instances

Enum Padding

Defined in Z.Data.Builder.Numeric

Methods

succ :: Padding -> Padding

pred :: Padding -> Padding

toEnum :: Int -> Padding

fromEnum :: Padding -> Int

enumFrom :: Padding -> [Padding]

enumFromThen :: Padding -> Padding -> [Padding]

enumFromTo :: Padding -> Padding -> [Padding]

enumFromThenTo :: Padding -> Padding -> Padding -> [Padding]

Eq Padding

Defined in Z.Data.Builder.Numeric

Methods

(==) :: Padding -> Padding -> Bool

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

Ord Padding

Defined in Z.Data.Builder.Numeric

Methods

compare :: Padding -> Padding -> Ordering

(<) :: Padding -> Padding -> Bool

(<=) :: Padding -> Padding -> Bool

(>) :: Padding -> Padding -> Bool

(>=) :: Padding -> Padding -> Bool

max :: Padding -> Padding -> Padding

min :: Padding -> Padding -> Padding

Show Padding

Defined in Z.Data.Builder.Numeric

Methods

showsPrec :: Int -> Padding -> ShowS

show :: Padding -> String

showList :: [Padding] -> ShowS

Arbitrary Padding

Defined in Z.Data.Builder.Numeric

Methods

arbitrary :: Gen Padding

shrink :: Padding -> [Padding]

CoArbitrary Padding

Defined in Z.Data.Builder.Numeric

Methods

coarbitrary :: Padding -> Gen b -> Gen b

int :: (Integral a, Bounded a) => a -> TextBuilder ()

int = intWith defaultIFormat

intWith :: (Integral a, Bounded a) => IFormat -> a -> TextBuilder ()

Format a Bounded Integral type like Int or Word16 into decimal ascii digits.

integer :: Integer -> TextBuilder ()

Format a Integer into decimal ascii digits.

Fixded size hexidecimal formatting

hex :: (FiniteBits a, Integral a) => a -> TextBuilder ()

Format a FiniteBits Integral type into hex nibbles.

heX :: (FiniteBits a, Integral a) => a -> TextBuilder ()

The UPPERCASED version of hex.

IEEE float formating

data FFormat

Control the rendering of floating point numbers.

Constructors

Exponent

Scientific notation (e.g. 2.3e123).

Fixed

Standard decimal notation.

Generic

Use decimal notation for values between 0.1 and 9,999,999, and scientific notation otherwise.

Instances

Enum FFormat

Defined in Z.Data.Builder.Numeric

Methods

succ :: FFormat -> FFormat

pred :: FFormat -> FFormat

toEnum :: Int -> FFormat

fromEnum :: FFormat -> Int

enumFrom :: FFormat -> [FFormat]

enumFromThen :: FFormat -> FFormat -> [FFormat]

enumFromTo :: FFormat -> FFormat -> [FFormat]

enumFromThenTo :: FFormat -> FFormat -> FFormat -> [FFormat]

Read FFormat

Defined in Z.Data.Builder.Numeric

Methods

readsPrec :: Int -> ReadS FFormat

readList :: ReadS [FFormat]

readPrec :: ReadPrec FFormat

readListPrec :: ReadPrec [FFormat]

Show FFormat

Defined in Z.Data.Builder.Numeric

Methods

showsPrec :: Int -> FFormat -> ShowS

show :: FFormat -> String

showList :: [FFormat] -> ShowS

double :: Double -> TextBuilder ()

Decimal encoding of an IEEE Double.

Using standard decimal notation for arguments whose absolute value lies between 0.1 and 9,999,999, and scientific notation otherwise.

doubleWith

Arguments

:: FFormat

-> Maybe Int

Number of decimal places to render.

-> Double

-> TextBuilder ()

Format double-precision float using drisu3 with dragon4 fallback.

float :: Float -> TextBuilder ()

Decimal encoding of an IEEE Float.

Using standard decimal notation for arguments whose absolute value lies between 0.1 and 9,999,999, and scientific notation otherwise.

floatWith

Arguments

:: FFormat

-> Maybe Int

Number of decimal places to render.

-> Float

-> TextBuilder ()

Format single-precision float using drisu3 with dragon4 fallback.

scientific :: Scientific -> TextBuilder ()

A Builder which renders a scientific number to full precision, using standard decimal notation for arguments whose absolute value lies between 0.1 and 9,999,999, and scientific notation otherwise.

scientificWith

Arguments

:: FFormat

-> Maybe Int

Number of decimal places to render.

-> Scientific

-> TextBuilder ()

Like scientific but provides rendering options.

Builder helpers

paren :: TextBuilder () -> TextBuilder ()

add (...) to original builder.

parenWhen :: Bool -> TextBuilder () -> TextBuilder ()

Add "(..)" around builders when condition is met, otherwise add nothing.

This is useful when defining ShowT instances.

curly :: TextBuilder () -> TextBuilder ()

add {...} to original builder.

square :: TextBuilder () -> TextBuilder ()

add [...] to original builder.

angle :: TextBuilder () -> TextBuilder ()

add ... to original builder.

quotes :: TextBuilder () -> TextBuilder ()

add "..." to original builder.

squotes :: TextBuilder () -> TextBuilder ()

add ... to original builder.

colon :: TextBuilder ()

write an ASCII :

comma :: TextBuilder ()

write an ASCII ,

intercalateVec

Arguments

:: Vec v a

=> TextBuilder ()

the seperator

-> (a -> TextBuilder ())

value formatter

-> v a

value list

-> TextBuilder ()

Use separator to connect a vector of builders.

intercalateList

Arguments

:: TextBuilder ()

the seperator

-> (a -> TextBuilder ())

value formatter

-> [a]

value vector

-> TextBuilder ()

Use separator to connect a list of builders.