module PrettyPrinter.Console.Literals where

open import Data.Bool renaming (Bool to 𝔹)
open import Data.Unit using (⊤; tt)
open import Agda.Builtin.String
open import Text.Printf

open import Common.Types


pprint-const : ∀ {ι} (k : rep ι) → String
pprint-const {Bool} true  = "true"
pprint-const {Bool} false = "false"
pprint-const {Unit} tt    = "()"