Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Specs necessary to generate, environment, state, and signal for the UTXO rule
Documentation
utxoEnvSpec ∷ IsConwayUniv fn ⇒ Specification fn (UtxoEnv (ConwayEra StandardCrypto)) Source #
utxoStateSpec ∷ IsConwayUniv fn ⇒ UtxoEnv (ConwayEra StandardCrypto) → Specification fn (UTxOState (ConwayEra StandardCrypto)) Source #
utxoTxSpec ∷ IsConwayUniv fn ⇒ UtxoEnv (ConwayEra StandardCrypto) → UTxOState (ConwayEra StandardCrypto) → Specification fn (Tx (ConwayEra StandardCrypto)) Source #
correctAddrAndWFCoin ∷ IsConwayUniv fn ⇒ Term fn (TxOut (ConwayEra StandardCrypto)) → Pred fn Source #