feat: Dump somewhat readable

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "3rdparty/pretty-parse"]
+	path = 3rdparty/pretty-parse
+	url = https://git.jossco.de/vegowotenks/pretty-parse

3rdparty/pretty-parse

@@ -0,0 +1 @@
+Subproject commit 5e91f4b67e2588b6f0b9a94c7d03608aad0eb41a

app/Main.hs

@@ -1,9 +1,41 @@
+{-# LANGUAGE DeriveGeneric #-}
+{-# LANGUAGE DerivingVia #-}
 module Main (main) where
 
-import qualified Data.Text as Text
-import qualified Data.Text.IO as TextIO
-import qualified Language.Json as Json
+-- meta
+import GHC.Generics (Generic, Generically(..))
+
+-- containers
+import Data.Text (Text)
+
+-- classes
+import Control.Monad ((<$!>))
+import Pretty.Serialize (serialize, PrettySerialize)
+
+-- json
 import Language.Json.Parser (runParser)
 
+import qualified Language.Json as Json
+import qualified Language.Json.Type as Json
+
+-- io
+import qualified Data.Text.IO as TextIO
+import qualified Data.Text.Lazy.IO as LazyTextIO
+
+data JsonInfo = JsonInfo
+  { json :: Json.Value
+  , inferredType :: Json.Type
+  }
+  deriving stock (Generic)
+  deriving PrettySerialize via Generically JsonInfo
+
 main :: IO ()
-main = TextIO.interact (Text.pack . show . runParser Json.document)
+main = do
+  info <- mkJsonInfo <$!> TextIO.getContents
+  LazyTextIO.putStrLn . serialize $ info
+
+mkJsonInfo :: Text -> Maybe JsonInfo
+mkJsonInfo input = do
+  (_, value) <- runParser Json.document input
+  pure $ JsonInfo {json=value, inferredType=Json.infer value}
+

hon.cabal

@@ -31,6 +31,7 @@ library
       array
     , base >=4.7 && <5
     , containers
+    , pretty-parse
     , text
   default-language: Haskell2010
 
@@ -46,6 +47,7 @@ executable hon-exe
     , base >=4.7 && <5
     , containers
     , hon
+    , pretty-parse
     , text
   default-language: Haskell2010
 
@@ -62,5 +64,6 @@ test-suite hon-test
     , base >=4.7 && <5
     , containers
     , hon
+    , pretty-parse
     , text
   default-language: Haskell2010

package.yaml

@@ -23,6 +23,7 @@ dependencies:
 - base >= 4.7 && < 5
 - containers
 - text
+- pretty-parse
 
 ghc-options:
 - -Wall

src/Language/Json.hs

@@ -1,6 +1,8 @@
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE DerivingVia #-}
+{-# LANGUAGE DeriveGeneric #-}
 module Language.Json (Value(..), null, true, false, boolean, buildInteger, number, document) where
 import Data.Text (Text)
 import Data.Array.IArray (Array)
@@ -21,6 +23,8 @@ import qualified Data.Text.Internal.Read as Text
 import qualified Debug.Trace as Debug
 import qualified Data.Array.IArray as Array
 import qualified Data.Map.Strict as Map
+import GHC.Generics ( Generic, Generically(..) )
+import Pretty.Serialize (PrettySerialize)
 
 
 data Value
@@ -30,7 +34,8 @@ data Value
   | Number Rational
   | Array (Array Natural Value)
   | Object (Map Text Value)
-  deriving Show
+  deriving (Show, Generic)
+  deriving PrettySerialize via Generically Value
 
 null :: Parser Value
 null = do

src/Language/Json/Type.hs

@@ -1,7 +1,8 @@
-{-# LANGUAGE DerivingStrategies #-}
 {-# LANGUAGE InstanceSigs #-}
 {-# LANGUAGE LambdaCase #-}
-module Language.Json.Type (infer) where
+{-# LANGUAGE DerivingVia #-}
+{-# LANGUAGE DeriveGeneric #-}
+module Language.Json.Type (infer, Type(..)) where
 import Data.Map.Strict (Map)
 import Data.Text (Text)
 import Data.Set (Set)
@@ -10,6 +11,8 @@ import qualified Data.Map.Merge.Strict as Map
 import qualified Language.Json as Json
 import qualified Language.Json as Value
 import qualified Data.Foldable as Foldable
+import GHC.Generics (Generic, Generically(..))
+import Pretty.Serialize (PrettySerialize)
 
 data Type
   = Null
@@ -20,7 +23,8 @@ data Type
   | Array Type
   | Union (Set Type) -- multiple types are allowed here
   | Object (Map Text Type)
-  deriving stock (Show, Ord, Eq)
+  deriving stock (Show, Ord, Eq, Generic)
+  deriving PrettySerialize via Generically Type
 
 instance Semigroup Type where
   (<>) :: Type -> Type -> Type

stack.yaml

@@ -32,6 +32,7 @@ compiler: ghc-9.12.1
 #   - wai
 packages:
 - .
+- 3rdparty/pretty-parse
 # Dependency packages to be pulled from upstream that are not in the snapshot.
 # These entries can reference officially published versions as well as
 # forks / in-progress versions pinned to a git hash. For example: