Add Error instance, need to fix pretty rendering

Author: Jimbo4350

cardano-api/src/Cardano/Api/Experimental/Tx/Internal/Fee.hs

@@ -24,6 +24,7 @@ where
 import Cardano.Api.Address
 import Cardano.Api.Certificate.Internal
 import Cardano.Api.Era.Internal.Eon.Convert
+import Cardano.Api.Error
 import Cardano.Api.Experimental.AnyScriptWitness
 import Cardano.Api.Experimental.AnyScriptWitness qualified as Exp
 import Cardano.Api.Experimental.Era
@@ -38,11 +39,13 @@ import Cardano.Api.Plutus.Internal
 import Cardano.Api.Plutus.Internal.Script (fromAlonzoExUnits)
 import Cardano.Api.Plutus.Internal.Script qualified as Old
 import Cardano.Api.Plutus.Internal.ScriptData
+import Cardano.Api.Pretty
 import Cardano.Api.ProtocolParameters
 import Cardano.Api.Query.Internal.Type.QueryInMode
 import Cardano.Api.Tx.Internal.Body
   ( CtxTx
   , ScriptWitnessIndex (..)
+  , renderScriptWitnessIndex
   , toScriptIndex
   )
 import Cardano.Api.Tx.Internal.Fee
@@ -79,6 +82,7 @@ import Data.Set qualified as Set
 import GHC.Exts (IsList (..))
 import GHC.Stack
 import Lens.Micro ((.~), (^.))
+import Prettyprinter (punctuate)
 
 data TxBodyErrorAutoBalance era
   = -- | There is not enough ada and non-ada to cover both the outputs and the fees.
@@ -112,6 +116,52 @@ data TxBodyErrorAutoBalance era
     TxBodyScriptBadScriptValidity
   deriving Show
 
+instance Error (TxBodyErrorAutoBalance era) where
+  prettyError = \case
+    TxBodyScriptExecutionError failures ->
+      mconcat
+        [ "The following scripts have execution failures:\n"
+        , vsep
+            [ mconcat
+                [ "the script for " <> pretty (renderScriptWitnessIndex index)
+                , " failed with: " <> "\n" <> prettyError failure
+                ]
+            | (index, failure) <- failures
+            ]
+        ]
+    TxBodyScriptBadScriptValidity ->
+      "One or more of the scripts were expected to fail validation, but none did."
+    TxBodyErrorBalanceNegative lovelace assets ->
+      mconcat $
+        [ "The transaction does not balance in its use of assets. The net balance "
+        , "of the transaction is negative: "
+        ]
+          <> punctuate ", " ([pretty lovelace] <> [pretty assets | assets /= mempty])
+          <> [ ". The usual solution is to provide more inputs, or inputs with more assets."
+             ]
+    TxBodyErrorAdaBalanceTooSmall changeOutput minUTxO balance ->
+      mconcat
+        [ "The transaction does balance in its use of ada, however the net "
+        , "balance does not meet the minimum UTxO threshold. \n"
+        , "Balance: " <> pretty balance <> "\n"
+        , "Offending output (change output): " <> pretty (show changeOutput) <> "\n"
+        , "Minimum UTxO threshold: " <> pretty minUTxO <> "\n"
+        , "The usual solution is to provide more inputs, or inputs with more ada to "
+        , "meet the minimum UTxO threshold."
+        ]
+    TxBodyErrorMinUTxONotMet txout minUTxO ->
+      mconcat
+        [ "Minimum UTxO threshold not met for tx output: " <> pretty (show txout) <> "\n"
+        , "Minimum required UTxO: " <> pretty minUTxO
+        ]
+    TxBodyErrorNonAdaAssetsUnbalanced val ->
+      "Non-Ada assets are unbalanced: " <> pretty (renderValue val)
+    TxBodyErrorScriptWitnessIndexMissingFromExecUnitsMap sIndex eUnitsMap ->
+      mconcat
+        [ "ScriptWitnessIndex (redeemer pointer): " <> pshow sIndex <> " is missing from the execution "
+        , "units (redeemer pointer) map: " <> pshow eUnitsMap
+        ]
+
 -- | Use when you do not have access to the UTxOs you intend to spend
 estimateBalancedTxBody
   :: HasCallStack