From b8df907e76b8ac7cdf59b26f0e75a477d926f122 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sun, 21 Jul 2024 17:55:36 +0200
Subject: document publicly exposed interface

this documents most functions that might be used by downstream consumers
of this library, except for those in Conftrack.Pretty, which aren't done
yet.
---
 src/Conftrack/Source.hs | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

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

diff --git a/src/Conftrack/Source.hs b/src/Conftrack/Source.hs
index ecfa20d..ab13172 100644
--- a/src/Conftrack/Source.hs
+++ b/src/Conftrack/Source.hs
@@ -12,11 +12,27 @@ import Control.Monad.State (StateT (..))
 import Data.Text (Text)
 
 
+-- | An abstraction over "config sources". This might mean file formats,
+-- environment variables, or any other kind of format that can be seen as a
+-- key-value store.
 class ConfigSource s where
+  -- | Some sources require state, e.g. to keep track of which values were
+  -- already read.
   type SourceState s
+
+  -- | read a single value from the source.
   fetchValue :: Key -> s -> StateT (SourceState s) IO (Either ConfigError (Value, Text))
+
+  -- | given @s@, determine if any keys are "left over" and were not used.
+  -- This is used to produce warnings for unknown configuration options;
+  -- since not all sources can support this, this function's return type
+  -- includes @Maybe@ and sources are free to return @Nothing@ if they
+  -- cannot determine if any unknown keys are present.
   leftovers :: s -> StateT (SourceState s) IO (Maybe [Key])
 
+-- | An opaque type for any kind of config sources. Values of this type can be
+-- acquired from they @Conftrack.Source.*@ modules, or by implementing the
+-- 'ConfigSource' type class.
 data SomeSource = forall source. ConfigSource source
    => SomeSource (source, SourceState source)
 
-- 
cgit v1.2.3