| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Alonzo.Imp
Contents
Documentation
spec ∷ ∀ era. (AlonzoEraImp era, EraSpecificSpec era, InjectRuleFailure "LEDGER" ShelleyPoolPredFailure era, InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure era, InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era, InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure era, InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure era, InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure era) ⇒ Spec Source #
alonzoEraSpecificSpec ∷ ∀ era. (AlonzoEraImp era, ShelleyEraTxCert era, InjectRuleFailure "LEDGER" ShelleyDelegPredFailure era, InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era, InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure era, InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #
Orphan instances
| EraSpecificSpec AlonzoEra Source # | |
Methods eraSpecificSpec ∷ SpecWith (ImpInit (LedgerSpec AlonzoEra)) Source # | |