{-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Test.Cardano.Ledger.Allegra.Imp (spec) where import Cardano.Ledger.Core import Cardano.Ledger.Shelley.Rules (ShelleyUtxoPredFailure, ShelleyUtxowPredFailure) import qualified Test.Cardano.Ledger.Allegra.Imp.UtxowSpec as UtxowSpec import Test.Cardano.Ledger.Common import qualified Test.Cardano.Ledger.Shelley.Imp as ShelleyImp import Test.Cardano.Ledger.Shelley.ImpTest spec :: forall era. ( Arbitrary (TxAuxData era) , ShelleyEraImp era , InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure era , InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era ) => Spec spec :: forall era. (Arbitrary (TxAuxData era), ShelleyEraImp era, InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure era, InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era) => Spec spec = do forall era. (Arbitrary (TxAuxData era), ShelleyEraImp era, InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure era, InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era) => Spec ShelleyImp.spec @era forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "AllegraImpSpec" forall b c a. (b -> c) -> (a -> b) -> a -> c . forall era. ShelleyEraImp era => SpecWith (ImpTestState era) -> Spec withImpState @era forall a b. (a -> b) -> a -> b $ do forall era. (ShelleyEraImp era, InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era) => SpecWith (ImpTestState era) UtxowSpec.spec