Methods

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

genEraTwoPhase3Arg ∷ [TwoPhase3ArgInfo ShelleyEra] Source #

genEraTwoPhase2Arg ∷ [TwoPhase2ArgInfo ShelleyEra] Source #

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

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

updateEraTxBody ∷ UTxO ShelleyEra → PParams ShelleyEra → TxWits ShelleyEra → TxBody ShelleyEra → Coin → Set TxIn → TxOut ShelleyEra → TxBody ShelleyEra Source #

addInputs ∷ TxBody ShelleyEra → Set TxIn → TxBody ShelleyEra Source #

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

genEraPParams ∷ Constants → Gen (PParams ShelleyEra) Source #

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

genEraGoodTxOut ∷ TxOut ShelleyEra → Bool Source #

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

genEraScriptCost ∷ PParams ShelleyEra → Script ShelleyEra → Coin Source #

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

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

hasFailedScripts ∷ Tx ShelleyEra → Bool Source #

feeOrCollateral ∷ Tx ShelleyEra → UTxO ShelleyEra → Coin Source #

Methods

calcEraMinUTxO ∷ TxOut ShelleyEra → PParams ShelleyEra → Coin Source #

addValToTxOut ∷ Value ShelleyEra → TxOut ShelleyEra → TxOut ShelleyEra Source #

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

Methods

basescript ∷ Proxy ShelleyEra → KeyHash 'Witness → Script ShelleyEra Source #

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

isOnePhase ∷ Proxy ShelleyEra → Script ShelleyEra → Bool Source #

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

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