module Graphics.Implicit.Export.TextBuilderUtils (
module DTL,
module DTLB,
toLazyText,
bf,
buildTruncFloat,
buildℕ,
buildInt
) where
import Prelude (Maybe(Nothing, Just), Int, ($))
import Graphics.Implicit.Definitions (ℝ, ℕ, fromℝtoFloat)
import Data.Text.Lazy as DTL (Text, pack)
import Data.Text.Internal.Lazy (defaultChunkSize)
import Data.Text.Lazy.Builder as DTLB (Builder, toLazyTextWith, fromLazyText)
import Data.Text.Lazy.Builder.RealFloat (formatRealFloat, FPFormat(Exponent, Fixed))
import Data.Text.Lazy.Builder.Int (decimal)
toLazyText :: Builder -> Text
toLazyText = toLazyTextWith defaultChunkSize
bf :: ℝ -> Builder
bf value = formatRealFloat Exponent Nothing $ fromℝtoFloat value
buildTruncFloat :: ℝ -> Builder
buildTruncFloat = formatRealFloat Fixed $ Just 4
buildℕ :: ℕ -> Builder
buildℕ = decimal
buildInt :: Int -> Builder
buildInt = decimal