Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
ledgerTxSpec ∷ IsConwayUniv fn ⇒ LedgerEnv (ConwayEra StandardCrypto) → LedgerState (ConwayEra StandardCrypto) → Specification fn (Tx (ConwayEra StandardCrypto)) Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
ledgerTxSpec ∷ IsConwayUniv fn ⇒ LedgerEnv (ConwayEra StandardCrypto) → LedgerState (ConwayEra StandardCrypto) → Specification fn (Tx (ConwayEra StandardCrypto)) Source #