Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
spec ∷ ∀ era. (Arbitrary (TxAuxData era), MaryEraImp era, AllegraEraScript era, InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure era, InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era) ⇒ Spec Source #