{-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE ScopedTypeVariables #-} module Test.Cardano.Ledger.Babbage.Imp.UtxowSpec (spec) where import qualified Test.Cardano.Ledger.Babbage.Imp.UtxowSpec.Invalid as Invalid import qualified Test.Cardano.Ledger.Babbage.Imp.UtxowSpec.Valid as Valid import Test.Cardano.Ledger.Babbage.ImpTest (BabbageEraImp, ImpInit, LedgerSpec) import Test.Cardano.Ledger.Imp.Common spec :: forall era. BabbageEraImp era => SpecWith (ImpInit (LedgerSpec era)) spec :: forall era. BabbageEraImp era => SpecWith (ImpInit (LedgerSpec era)) spec = do String -> SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "UTXOW" (SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era))) -> SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era)) forall a b. (a -> b) -> a -> b $ do SpecWith (ImpInit (LedgerSpec era)) forall era. BabbageEraImp era => SpecWith (ImpInit (LedgerSpec era)) Valid.spec SpecWith (ImpInit (LedgerSpec era)) forall era. BabbageEraImp era => SpecWith (ImpInit (LedgerSpec era)) Invalid.spec