Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
spec ∷ ∀ era. (AlonzoEraImp era, BabbageEraTxOut era, InjectRuleFailure "LEDGER" BabbageUtxowPredFailure era, InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure era, InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure era, Inject (BabbageContextError era) (ContextError era)) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #