{-# LANGUAGE OverloadedStrings #-}
import Data.Time
import qualified Data.Text.Lazy.IO as TLIO
import Data.Text.Format.Heavy
import Data.Text.Format.Heavy.Time
main :: IO ()
main = do
let template = "x: {:#x}, y: <{:^10}>, z: {:+6.4}, x(d): {0}, t: {}, y: {}, r: {}; bool: {:yes:no}."
-- xs = [Variable (18 :: Int), Variable ("hello" :: String), Variable (3 :: Int)]
rt = (Right 7) :: Either String Int
xs = (18 :: Int, "hello" :: String, 2.718281828 :: Double, Shown (Just (7 :: Int)), Just (8 :: Int), rt, True)
TLIO.putStrLn $ format template xs
time <- getZonedTime
TLIO.putStrLn $ format "Hello, {}! It is {:%H:%M:%S} now." $ ("Ilya" :: String, time)