Hex-encode the CBOR output

The Haskell specific escaped show instance is less useful and using hex
encoding is the most common way to share CBOR encoded bytes (at least
in the Cardano ecosystem).

Author: ch1bo

bin/Main.hs

@@ -14,6 +14,8 @@ import Codec.CBOR.FlatTerm (toFlatTerm)
 import Codec.CBOR.Pretty (prettyHexEnc)
 import Codec.CBOR.Term (encodeTerm)
 import Codec.CBOR.Write (toStrictByteString)
+import Data.ByteString.Base16 qualified as Base16
+import Data.ByteString.Char8 qualified as BSC
 import Data.Text qualified as T
 import Data.Text.IO qualified as T
 import Options.Applicative
@@ -153,7 +155,7 @@ run (Opts cmd cddlFile) = do
            in case outputFormat x of
                 AsTerm -> print term
                 AsFlatTerm -> print $ toFlatTerm (encodeTerm term)
-                AsCBOR -> print . toStrictByteString $ encodeTerm term
+                AsCBOR -> BSC.putStrLn . Base16.encode . toStrictByteString $ encodeTerm term
                 AsPrettyCBOR -> putStrLn . prettyHexEnc $ encodeTerm term
 
 putStrLnErr :: String -> IO ()

cuddle.cabal

@@ -47,8 +47,8 @@ library
     Codec.CBOR.Cuddle.CDDL
     Codec.CBOR.Cuddle.CDDL.CtlOp
     Codec.CBOR.Cuddle.CDDL.CTree
-    Codec.CBOR.Cuddle.CDDL.Prelude
     Codec.CBOR.Cuddle.CDDL.Postlude
+    Codec.CBOR.Cuddle.CDDL.Prelude
     Codec.CBOR.Cuddle.CDDL.Resolve
     Codec.CBOR.Cuddle.Huddle
     Codec.CBOR.Cuddle.Huddle.HuddleM
@@ -109,6 +109,8 @@ executable cuddle
   main-is:          Main.hs
   build-depends:
     , base                  >=4.14.0.0
+    , base16-bytestring
+    , bytestring
     , cborg
     , cuddle
     , megaparsec
@@ -121,9 +123,9 @@ test-suite cuddle-test
   import:           warnings, ghc2021
   default-language: Haskell2010
   other-modules:
+    Test.Codec.CBOR.Cuddle.CDDL.Examples
     Test.Codec.CBOR.Cuddle.CDDL.Gen
     Test.Codec.CBOR.Cuddle.CDDL.Parser
-    Test.Codec.CBOR.Cuddle.CDDL.Examples
     Test.Codec.CBOR.Cuddle.Huddle
 
   -- other-extensions:

test/Test/Codec/CBOR/Cuddle/CDDL/Parser.hs

@@ -7,7 +7,7 @@ import Codec.CBOR.Cuddle.CDDL.CtlOp qualified as CtlOp
 import Codec.CBOR.Cuddle.Parser
 import Codec.CBOR.Cuddle.Parser.Lexer (Parser)
 import Codec.CBOR.Cuddle.Pretty ()
-import Data.List.NonEmpty (NonEmpty(..))
+import Data.List.NonEmpty (NonEmpty (..))
 import Data.Text qualified as T
 import Prettyprinter (Pretty, defaultLayoutOptions, layoutPretty, pretty)
 import Prettyprinter.Render.Text (renderStrict)
@@ -230,19 +230,19 @@ type2Spec = describe "type2" $ do
                       )
                 ]
                   :| [
-                          [ noComment $
-                              GEType
-                                Nothing
-                                Nothing
-                                ( Type0
-                                    ( Type1
-                                        (T2Name (Name "string") Nothing)
-                                        Nothing
-                                        :| []
-                                    )
+                       [ noComment $
+                          GEType
+                            Nothing
+                            Nothing
+                            ( Type0
+                                ( Type1
+                                    (T2Name (Name "string") Nothing)
+                                    Nothing
+                                    :| []
                                 )
-                          ]
-                        ]
+                            )
+                       ]
+                     ]
               )
           )
 
@@ -257,13 +257,13 @@ type2Spec = describe "type2" $ do
                       (Type0 ((:| []) (Type1 (T2Value (VUInt 0)) Nothing)))
                 ]
                   :| [
-                          [ noComment $
-                              GEType
-                                Nothing
-                                Nothing
-                                (Type0 ((:| []) (Type1 (T2Value (VUInt 1)) Nothing)))
-                          ]
-                        ]
+                       [ noComment $
+                          GEType
+                            Nothing
+                            Nothing
+                            (Type0 ((:| []) (Type1 (T2Value (VUInt 1)) Nothing)))
+                       ]
+                     ]
               )
           )
     it "Trailing commas permitted" $