Methods

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

genEraTwoPhase3Arg ∷ [TwoPhase3ArgInfo ShelleyEra] Source #

genEraTwoPhase2Arg ∷ [TwoPhase2ArgInfo ShelleyEra] Source #

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

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

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

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

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

genEraPParams ∷ Constants → Gen (PParams ShelleyEra) Source #

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

genEraGoodTxOut ∷ TxOut ShelleyEra → Bool Source #

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

genEraScriptCost ∷ PParams ShelleyEra → Script ShelleyEra → Coin Source #

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

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

hasFailedScripts ∷ Tx 'TopTx ShelleyEra → Bool Source #

feeOrCollateral ∷ Tx 'TopTx ShelleyEra → UTxO ShelleyEra → Coin Source #

Methods

calcEraMinUTxO ∷ TxOut ShelleyEra → PParams ShelleyEra → Coin Source #

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

genEraTxOut ∷ GenEnv c 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 #