From 3e71d0ab05c7f5fd71a75b86eeac6f8a1edc3a44 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Mon, 10 Jun 2024 22:30:08 +0200
Subject: pretty-printing of config value sources

---
 src/Conftrack/Value.hs | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

(limited to 'src/Conftrack/Value.hs')

diff --git a/src/Conftrack/Value.hs b/src/Conftrack/Value.hs
index fef8f87..50e4e30 100644
--- a/src/Conftrack/Value.hs
+++ b/src/Conftrack/Value.hs
@@ -6,6 +6,7 @@
 {-# LANGUAGE StrictData #-}
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE LambdaCase #-}
+{-# LANGUAGE DefaultSignatures #-}
 
 module Conftrack.Value (key, Value(..), ConfigError(..), Key(..), ConfigValue(..), Origin(..), KeyPart, prefixedWith) where
 
@@ -58,9 +59,15 @@ data ConfigError =
 
 class ConfigValue a where
   fromConfig :: Value -> Either ConfigError a
+  prettyValue :: a -> Text
 
-data Origin = Origin Key Text
-  deriving Show
+  default prettyValue :: Show a => a -> Text
+  prettyValue = T.pack . show
+
+data Origin = forall a. ConfigValue a => Origin a Text
+
+instance Show Origin where
+  show (Origin a text) = "Origin " <> T.unpack (prettyValue a) <> " " <> T.unpack text
 
 withString :: (BS.ByteString -> Either ConfigError a) -> Value -> Either ConfigError a
 withString f (ConfigString a) = f a
@@ -89,6 +96,9 @@ instance ConfigValue a => ConfigValue (Maybe a) where
   fromConfig ConfigNull = Right Nothing
   fromConfig just = fmap Just (fromConfig just)
 
+  prettyValue Nothing = "null"
+  prettyValue (Just a) = prettyValue a
+
 instance ConfigValue OsPath where
   fromConfig = \case
     (ConfigString text) -> stringToPath text
-- 
cgit v1.2.3