FraudProof Catalogue #
First a simple placeholder.
Catalogue #
Place holder section for now.
- AllInputs : AllInputsValid.FraudProof.AllInputsScript → Script
- TransactionValidityRange : TransactionValidityRange.FraudProof.ValidityRangeScript → Script
- AtLeastOneInput : AtLeastOneInput.FraudProof.AtLeastOneInputScript → Script
- MinimumFee : MinimumFee.FraudProof.MinimumFeeScript → Script
- RequiredSignatures : RequiredSignatures.FraudProof.RequiredSignaturesScript → Script
- AllReferenceInputsValid : AllReferenceInputsValid.FraudProof.AllReferenceInputsValidScript → Script
- EverySignatureIsProvided : EverySignatureIsProvided.FraudProof.EverySignatureIsProvidedScript → Script
- MinimumUTxOValue : MinimumUTxOValue.FraudProof.MinimumUTxOValueScript → Script
- NativeScriptsAreAvailable : NativeScriptsAreAvailable.FraudProof.NativeScriptsAreAvailableScript → Script
- NativeScriptsValidated : NativeScriptsValidated.FraudProof.NativeScriptsValidatedScript → Script
- NetworkIdOfOutputs : NetworkIdOfOutputs.FraudProof.NetworkIdOfOutputsScript → Script
- NetworkIdOfTransaction : NetworkIdOfTransaction.FraudProof.NetworkIdOfTransactionScript → Script
- NoAdaMinted : NoAdaMinted.FraudProof.NoAdaMintedScript → Script
- NoNegativeValue : NoNegativeValue.FraudProof.NoNegativeValueScript → Script
- SignaturesAreValid : SignaturesAreValid.FraudProof.SignaturesAreValidScript → Script
- ValuePreservation : ValuePreservation.FraudProof.ValuePreservationScript → Script
Instances For
- AllInputs {fpd : FPData} {scr : Script} (asc : AllInputsValid.FraudProof.AllInputsScript) : scr = Script.AllInputs asc → AllInputsValid.FraudProof.AllInputs fpd asc → FraudProof fpd scr
- ValidityRange {fpd : FPData} {scr : Script} (asc : TransactionValidityRange.FraudProof.ValidityRangeScript) : scr = Script.TransactionValidityRange asc → TransactionValidityRange.FraudProof.ValidityRange fpd asc → FraudProof fpd scr
- AtLeastOneInput {fpd : FPData} {scr : Script} (asc : AtLeastOneInput.FraudProof.AtLeastOneInputScript) : scr = Script.AtLeastOneInput asc → AtLeastOneInput.FraudProof.AtLeastOneInput fpd asc → FraudProof fpd scr
- MinimumFee {fpd : FPData} {scr : Script} (asc : MinimumFee.FraudProof.MinimumFeeScript) : scr = Script.MinimumFee asc → MinimumFee.FraudProof.MinimumFee fpd asc → FraudProof fpd scr
- RequiredSignatures {fpd : FPData} {scr : Script} (asc : RequiredSignatures.FraudProof.RequiredSignaturesScript) : scr = Script.RequiredSignatures asc → RequiredSignatures.FraudProof.RequiredSignatures fpd asc → FraudProof fpd scr
- SignaturesAreValid {fpd : FPData} {scr : Script} (asc : SignaturesAreValid.FraudProof.SignaturesAreValidScript) : scr = Script.SignaturesAreValid asc → SignaturesAreValid.FraudProof.SignaturesAreValid fpd asc → FraudProof fpd scr
- EverySignatureIsProvided {fpd : FPData} {scr : Script} (asc : EverySignatureIsProvided.FraudProof.EverySignatureIsProvidedScript) : scr = Script.EverySignatureIsProvided asc → EverySignatureIsProvided.FraudProof.EverySignatureIsProvided fpd asc → FraudProof fpd scr
- NativeScriptsAreAvailable {fpd : FPData} {scr : Script} (asc : NativeScriptsAreAvailable.FraudProof.NativeScriptsAreAvailableScript) : scr = Script.NativeScriptsAreAvailable asc → NativeScriptsAreAvailable.FraudProof.NativeScriptsAreAvailable fpd asc → FraudProof fpd scr
- NativeScriptsValidated {fpd : FPData} {scr : Script} (asc : NativeScriptsValidated.FraudProof.NativeScriptsValidatedScript) : scr = Script.NativeScriptsValidated asc → NativeScriptsValidated.FraudProof.NativeScriptsValidated fpd asc → FraudProof fpd scr
- ValuePreservation {fpd : FPData} {scr : Script} (asc : ValuePreservation.FraudProof.ValuePreservationScript) : scr = Script.ValuePreservation asc → ValuePreservation.FraudProof.ValuePreservation fpd asc → FraudProof fpd scr
- NoAdaMinted {fpd : FPData} {scr : Script} (asc : NoAdaMinted.FraudProof.NoAdaMintedScript) : scr = Script.NoAdaMinted asc → NoAdaMinted.FraudProof.NoAdaMinted fpd asc → FraudProof fpd scr
- NoNegativeValue {fpd : FPData} {scr : Script} (asc : NoNegativeValue.FraudProof.NoNegativeValueScript) : scr = Script.NoNegativeValue asc → NoNegativeValue.FraudProof.NoNegativeValue fpd asc → FraudProof fpd scr
- MinimumUTxOValue {fpd : FPData} {scr : Script} (asc : MinimumUTxOValue.FraudProof.MinimumUTxOValueScript) : scr = Script.MinimumUTxOValue asc → MinimumUTxOValue.FraudProof.MinimumUTxOValue fpd asc → FraudProof fpd scr
- NetworkIdOfOutputs {fpd : FPData} {scr : Script} (asc : NetworkIdOfOutputs.FraudProof.NetworkIdOfOutputsScript) : scr = Script.NetworkIdOfOutputs asc → NetworkIdOfOutputs.FraudProof.NetworkIdOfOutputs fpd asc → FraudProof fpd scr
- NetworkIdOfTransaction {fpd : FPData} {scr : Script} (asc : NetworkIdOfTransaction.FraudProof.NetworkIdOfTransactionScript) : scr = Script.NetworkIdOfTransaction asc → NetworkIdOfTransaction.FraudProof.NetworkIdOfTransaction fpd asc → FraudProof fpd scr
- AllReferenceInputsValid {fpd : FPData} {scr : Script} (asc : AllReferenceInputsValid.FraudProof.AllReferenceInputsValidScript) : scr = Script.AllReferenceInputsValid asc → AllReferenceInputsValid.FraudProof.AllReferenceInputsValid fpd asc → FraudProof fpd scr