Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
spec ∷ (HasCallStack, MaryEraImp era, AllegraEraScript era, InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
spec ∷ (HasCallStack, MaryEraImp era, AllegraEraScript era, InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #