SomeWitness refactor WIP

cardano-cli/src/Cardano/CLI/Shelley/Run/Transaction.hs

@@ -324,6 +324,10 @@ readProtocolParameters (ProtocolParamsFile fpath) = do
   firstExceptT (ShelleyTxCmdAesonDecodeProtocolParamsError fpath . Text.pack) . hoistEither $
     Aeson.eitherDecode' pparams
 
+data Witnessess era where
+  ByronWitnesses :: [Witness ByronEra] -> Witnessess ByronEra
+  ShelleyBasedWitnesses :: ShelleyBasedEra era -> Witness era -> Witnessess era
+
 data SomeWitness
   = AByronSigningKey           (Api.SigningKey Api.ByronKey) (Maybe (Address ByronAddr))
   | APaymentSigningKey         (Api.SigningKey Api.PaymentKey)
@@ -372,6 +376,28 @@ renderReadWitnessSigningDataError err =
     ReadWitnessSigningDataNoByronScripts fp ->
       "Scripts do not exist in the Byron era: " <> Text.pack fp
 
+
+readWitnessSigningData'
+  :: UseCardanoEra
+  -> WitnessSigningData
+  -> ExceptT ReadWitnessSigningDataError IO (Witnessess era)
+readWitnessSigningData' useEra (ScriptWitnessSigningData (ScriptFile fp)) = do
+  msJson <- handleIOExceptT (ReadWitnessSigningDataScriptError . FileIOError fp)
+    $ LBS.readFile fp
+  withCardanoEra useEra $ \_era _eraStyle ->
+    case useEra of
+      UseByronEra -> left $ ReadWitnessSigningDataNoByronScripts fp
+      UseShelleyEra -> do w <- firstExceptT (ReadWitnessSigningDataScriptError . FileError fp . ScriptJsonDecodeError) (hoistEither $ decodeScript msJson)
+                          return $ ShelleyBasedWitnesses ShelleyBasedEraShelley $ Api.makeScriptWitness $ SimpleScript w
+      UseAllegraEra -> panic ""
+      UseMaryEra -> panic ""
+ where
+  decodeScript :: HasScriptFeatures era => LBS.ByteString -> Either String (SimpleScript era)
+  decodeScript bs = Aeson.eitherDecode bs
+
+readWitnessSigningData' _ _ = panic "placeholder"
+
+
 readWitnessSigningData
   :: UseCardanoEra
   -> WitnessSigningData