Remove HasCallStack from constraint helpers, pool params, and case functions

These functions either have temporary Dijkstra era placeholders (which
will be removed when Dijkstra is supported) or validation TODOs that
should be replaced with proper error handling rather than HasCallStack.

Author: Jimbo4350

cardano-api/src/Cardano/Api/Certificate/Internal.hs

@@ -652,7 +652,7 @@ fromShelleyCertificate
 fromShelleyCertificate =
   caseShelleyToBabbageOrConwayEraOnwards ShelleyRelatedCertificate ConwayCertificate
 
-toShelleyPoolParams :: HasCallStack => StakePoolParameters -> Ledger.StakePoolParams
+toShelleyPoolParams :: StakePoolParameters -> Ledger.StakePoolParams
 toShelleyPoolParams
   StakePoolParameters
     { stakePoolId = StakePoolKeyHash poolkh
@@ -725,8 +725,7 @@ toShelleyPoolParams
         Ledger.textToUrl (Text.length url) url
 
 fromShelleyPoolParams
-  :: HasCallStack
-  => Ledger.StakePoolParams
+  :: Ledger.StakePoolParams
   -> StakePoolParameters
 fromShelleyPoolParams
   Ledger.StakePoolParams

cardano-api/src/Cardano/Api/Era/Internal/Case.hs

@@ -35,11 +35,9 @@ import Cardano.Api.Era.Internal.Eon.ShelleyToAlonzoEra
 import Cardano.Api.Era.Internal.Eon.ShelleyToBabbageEra
 import Cardano.Api.Era.Internal.Eon.ShelleyToMaryEra
 
-import GHC.Stack (HasCallStack)
-
 -- | @caseByronOrShelleyBasedEra f g era@ returns @f@ in Byron and applies @g@ to Shelley-based eras.
 caseByronOrShelleyBasedEra
-  :: HasCallStack
+  :: ()
   => a
   -> (ShelleyBasedEraConstraints era => ShelleyBasedEra era -> a)
   -> CardanoEra era
@@ -59,7 +57,7 @@ caseByronOrShelleyBasedEra l r = \case
 -- | @caseByronToAlonzoOrBabbageEraOnwards f g era@ applies @f@ to byron, shelley, allegra, mary, and alonzo;
 -- and @g@ to babbage and later eras.
 caseByronToAlonzoOrBabbageEraOnwards
-  :: HasCallStack
+  :: ()
   => (ByronToAlonzoEraConstraints era => ByronToAlonzoEra era -> a)
   -> (BabbageEraOnwardsConstraints era => BabbageEraOnwards era -> a)
   -> CardanoEra era
@@ -77,7 +75,7 @@ caseByronToAlonzoOrBabbageEraOnwards l r = \case
 -- | @caseShelleyEraOnlyOrAllegraEraOnwards f g era@ applies @f@ to shelley;
 -- and applies @g@ to allegra and later eras.
 caseShelleyEraOnlyOrAllegraEraOnwards
-  :: HasCallStack
+  :: ()
   => (ShelleyEraOnlyConstraints era => ShelleyEraOnly era -> a)
   -> (AllegraEraOnwardsConstraints era => AllegraEraOnwards era -> a)
   -> ShelleyBasedEra era
@@ -94,7 +92,7 @@ caseShelleyEraOnlyOrAllegraEraOnwards l r = \case
 -- | @caseShelleyToAllegraOrMaryEraOnwards f g era@ applies @f@ to shelley and allegra;
 -- and applies @g@ to mary and later eras.
 caseShelleyToAllegraOrMaryEraOnwards
-  :: HasCallStack
+  :: ()
   => (ShelleyToAllegraEraConstraints era => ShelleyToAllegraEra era -> a)
   -> (MaryEraOnwardsConstraints era => MaryEraOnwards era -> a)
   -> ShelleyBasedEra era
@@ -111,7 +109,7 @@ caseShelleyToAllegraOrMaryEraOnwards l r = \case
 -- | @caseShelleyToMaryOrAlonzoEraOnwards f g era@ applies @f@ to shelley, allegra, and mary;
 -- and applies @g@ to alonzo and later eras.
 caseShelleyToMaryOrAlonzoEraOnwards
-  :: HasCallStack
+  :: ()
   => (ShelleyToMaryEraConstraints era => ShelleyToMaryEra era -> a)
   -> (AlonzoEraOnwardsConstraints era => AlonzoEraOnwards era -> a)
   -> ShelleyBasedEra era
@@ -128,7 +126,7 @@ caseShelleyToMaryOrAlonzoEraOnwards l r = \case
 -- | @caseShelleyToAlonzoOrBabbageEraOnwards f g era@ applies @f@ to shelley, allegra, mary, and alonzo;
 -- and applies @g@ to babbage and later eras.
 caseShelleyToAlonzoOrBabbageEraOnwards
-  :: HasCallStack
+  :: ()
   => (ShelleyToAlonzoEraConstraints era => ShelleyToAlonzoEra era -> a)
   -> (BabbageEraOnwardsConstraints era => BabbageEraOnwards era -> a)
   -> ShelleyBasedEra era
@@ -145,7 +143,7 @@ caseShelleyToAlonzoOrBabbageEraOnwards l r = \case
 -- | @caseShelleyToBabbageOrConwayEraOnwards f g era@ applies @f@ to eras before conway;
 -- and applies @g@ to conway and later eras.
 caseShelleyToBabbageOrConwayEraOnwards
-  :: HasCallStack
+  :: ()
   => (ShelleyToBabbageEraConstraints era => ShelleyToBabbageEra era -> a)
   -> (ConwayEraOnwardsConstraints era => ConwayEraOnwards era -> a)
   -> ShelleyBasedEra era

cardano-api/src/Cardano/Api/Era/Internal/Eon/AllegraEraOnwards.hs

@@ -39,7 +39,6 @@ import Ouroboros.Consensus.Shelley.Ledger qualified as Consensus
 import Data.Aeson
 import Data.Type.Equality
 import Data.Typeable (Typeable)
-import GHC.Stack (HasCallStack)
 
 data AllegraEraOnwards era where
   AllegraEraOnwardsAllegra :: AllegraEraOnwards AllegraEra
@@ -111,7 +110,7 @@ type AllegraEraOnwardsConstraints era =
   )
 
 allegraEraOnwardsConstraints
-  :: HasCallStack
+  :: ()
   => AllegraEraOnwards era
   -> (AllegraEraOnwardsConstraints era => a)
   -> a

cardano-api/src/Cardano/Api/Era/Internal/Eon/BabbageEraOnwards.hs

@@ -47,7 +47,6 @@ import Ouroboros.Consensus.Shelley.Ledger qualified as Consensus
 import Data.Aeson
 import Data.Type.Equality
 import Data.Typeable (Typeable)
-import GHC.Stack (HasCallStack)
 
 data BabbageEraOnwards era where
   BabbageEraOnwardsBabbage :: BabbageEraOnwards BabbageEra
@@ -131,7 +130,7 @@ type BabbageEraOnwardsConstraints era =
   )
 
 babbageEraOnwardsConstraints
-  :: HasCallStack
+  :: ()
   => BabbageEraOnwards era
   -> (BabbageEraOnwardsConstraints era => a)
   -> a

cardano-api/src/Cardano/Api/Era/Internal/Eon/ConwayEraOnwards.hs

@@ -49,7 +49,6 @@ import Ouroboros.Consensus.Shelley.Ledger qualified as Consensus
 import Data.Aeson
 import Data.Type.Equality
 import Data.Typeable (Typeable)
-import GHC.Stack (HasCallStack)
 
 data ConwayEraOnwards era where
   ConwayEraOnwardsConway :: ConwayEraOnwards ConwayEra
@@ -140,7 +139,7 @@ type ConwayEraOnwardsConstraints era =
   )
 
 conwayEraOnwardsConstraints
-  :: HasCallStack
+  :: ()
   => ConwayEraOnwards era
   -> (ConwayEraOnwardsConstraints era => a)
   -> a

cardano-api/src/Cardano/Api/Era/Internal/Eon/MaryEraOnwards.hs

@@ -42,7 +42,6 @@ import Ouroboros.Consensus.Shelley.Ledger qualified as Consensus
 import Data.Aeson
 import Data.Type.Equality
 import Data.Typeable (Typeable)
-import GHC.Stack (HasCallStack)
 
 data MaryEraOnwards era where
   MaryEraOnwardsMary :: MaryEraOnwards MaryEra
@@ -113,7 +112,7 @@ type MaryEraOnwardsConstraints era =
   )
 
 maryEraOnwardsConstraints
-  :: HasCallStack
+  :: ()
   => MaryEraOnwards era
   -> (MaryEraOnwardsConstraints era => a)
   -> a

cardano-api/src/Cardano/Api/Era/Internal/Eon/ShelleyBasedEra.hs

@@ -62,7 +62,6 @@ import Data.Aeson (FromJSON (..), ToJSON, toJSON, withText)
 import Data.Text qualified as Text
 import Data.Type.Equality (TestEquality (..), (:~:) (Refl), type (==))
 import Data.Typeable (Typeable)
-import GHC.Stack (HasCallStack)
 import Text.Pretty (Pretty (..))
 
 -- | Determine the value to use for a feature in a given 'ShelleyBasedEra'.
@@ -251,7 +250,7 @@ type ShelleyBasedEraConstraints era =
   )
 
 shelleyBasedEraConstraints
-  :: HasCallStack
+  :: ()
   => ShelleyBasedEra era
   -> (ShelleyBasedEraConstraints era => a)
   -> a