Methods

genGenesisValue ∷ GenEnv (ShelleyEra c) → Gen (Value (ShelleyEra c)) Source #

genEraTwoPhase3Arg ∷ [TwoPhase3ArgInfo (ShelleyEra c)] Source #

genEraTwoPhase2Arg ∷ [TwoPhase2ArgInfo (ShelleyEra c)] Source #

genEraTxBody ∷ GenEnv (ShelleyEra c) → UTxO (ShelleyEra c) → PParams (ShelleyEra c) → SlotNo → Set (TxIn (EraCrypto (ShelleyEra c))) → StrictSeq (TxOut (ShelleyEra c)) → StrictSeq (TxCert (ShelleyEra c)) → Withdrawals (EraCrypto (ShelleyEra c)) → Coin → StrictMaybe (Update (ShelleyEra c)) → StrictMaybe (AuxiliaryDataHash (EraCrypto (ShelleyEra c))) → Gen (TxBody (ShelleyEra c), [Script (ShelleyEra c)]) Source #

genEraAuxiliaryData ∷ Constants → Gen (StrictMaybe (TxAuxData (ShelleyEra c))) Source #

updateEraTxBody ∷ UTxO (ShelleyEra c) → PParams (ShelleyEra c) → TxWits (ShelleyEra c) → TxBody (ShelleyEra c) → Coin → Set (TxIn (EraCrypto (ShelleyEra c))) → TxOut (ShelleyEra c) → TxBody (ShelleyEra c) Source #

addInputs ∷ TxBody (ShelleyEra c) → Set (TxIn (EraCrypto (ShelleyEra c))) → TxBody (ShelleyEra c) Source #

genEraPParamsUpdate ∷ Constants → PParams (ShelleyEra c) → Gen (PParamsUpdate (ShelleyEra c)) Source #

genEraPParams ∷ Constants → Gen (PParams (ShelleyEra c)) Source #

genEraTxWits ∷ (UTxO (ShelleyEra c), TxBody (ShelleyEra c), ScriptInfo (ShelleyEra c)) → Set (WitVKey 'Witness (EraCrypto (ShelleyEra c))) → Map (ScriptHash (EraCrypto (ShelleyEra c))) (Script (ShelleyEra c)) → TxWits (ShelleyEra c) Source #

genEraGoodTxOut ∷ TxOut (ShelleyEra c) → Bool Source #

constructTx ∷ TxBody (ShelleyEra c) → TxWits (ShelleyEra c) → StrictMaybe (TxAuxData (ShelleyEra c)) → Tx (ShelleyEra c) Source #

genEraScriptCost ∷ PParams (ShelleyEra c) → Script (ShelleyEra c) → Coin Source #

genEraDone ∷ UTxO (ShelleyEra c) → PParams (ShelleyEra c) → Tx (ShelleyEra c) → Gen (Tx (ShelleyEra c)) Source #

genEraTweakBlock ∷ PParams (ShelleyEra c) → Seq (Tx (ShelleyEra c)) → Gen (Seq (Tx (ShelleyEra c))) Source #

hasFailedScripts ∷ Tx (ShelleyEra c) → Bool Source #

feeOrCollateral ∷ Tx (ShelleyEra c) → UTxO (ShelleyEra c) → Coin Source #

Methods

calcEraMinUTxO ∷ TxOut (ShelleyEra c) → PParams (ShelleyEra c) → Coin Source #

addValToTxOut ∷ Value (ShelleyEra c) → TxOut (ShelleyEra c) → TxOut (ShelleyEra c) Source #

genEraTxOut ∷ GenEnv (ShelleyEra c) → Gen (Value (ShelleyEra c)) → [Addr (EraCrypto (ShelleyEra c))] → Gen [TxOut (ShelleyEra c)] Source #

Methods

basescript ∷ Proxy (ShelleyEra c) → KeyHash 'Witness (EraCrypto (ShelleyEra c)) → Script (ShelleyEra c) Source #

isKey ∷ Proxy (ShelleyEra c) → Script (ShelleyEra c) → Maybe (KeyHash 'Witness (EraCrypto (ShelleyEra c))) Source #

isOnePhase ∷ Proxy (ShelleyEra c) → Script (ShelleyEra c) → Bool Source #

quantify ∷ Proxy (ShelleyEra c) → Script (ShelleyEra c) → Quantifier (Script (ShelleyEra c)) Source #

unQuantify ∷ Proxy (ShelleyEra c) → Quantifier (Script (ShelleyEra c)) → Script (ShelleyEra c) Source #