Safe Haskell	None
Language	Haskell2010

PlutusLedgerApi.V3.Contexts

Contents

Validator functions

Synopsis

newtype ColdCommitteeCredential = ColdCommitteeCredential Credential
newtype HotCommitteeCredential = HotCommitteeCredential Credential
newtype DRepCredential = DRepCredential Credential
data DRep
- = DRep DRepCredential
- | DRepAlwaysAbstain
- | DRepAlwaysNoConfidence
data Delegatee
- = DelegStake PubKeyHash
- | DelegVote DRep
- | DelegStakeVote PubKeyHash DRep
data TxCert
- = TxCertRegStaking Credential (Maybe Lovelace)
- | TxCertUnRegStaking Credential (Maybe Lovelace)
- | TxCertDelegStaking Credential Delegatee
- | TxCertRegDeleg Credential Delegatee Lovelace
- | TxCertRegDRep DRepCredential Lovelace
- | TxCertUpdateDRep DRepCredential
- | TxCertUnRegDRep DRepCredential Lovelace
- | TxCertPoolRegister PubKeyHash PubKeyHash
- | TxCertPoolRetire PubKeyHash Integer
- | TxCertAuthHotCommittee ColdCommitteeCredential HotCommitteeCredential
- | TxCertResignColdCommittee ColdCommitteeCredential
data Voter
- = CommitteeVoter HotCommitteeCredential
- | DRepVoter DRepCredential
- | StakePoolVoter PubKeyHash
data Vote
- = VoteNo
- | VoteYes
- | Abstain
data GovernanceActionId = GovernanceActionId {
- gaidTxId :: TxId
- gaidGovActionIx :: Integer
}
data Committee = Committee {
- committeeMembers :: Map ColdCommitteeCredential Integer
- committeeQuorum :: Rational
}
newtype Constitution = Constitution {
- constitutionScript :: Maybe ScriptHash
}
data ProtocolVersion = ProtocolVersion {
- pvMajor :: Integer
- pvMinor :: Integer
}
newtype ChangedParameters = ChangedParameters {
- getChangedParameters :: BuiltinData
}
data GovernanceAction
- = ParameterChange (Maybe GovernanceActionId) ChangedParameters (Maybe ScriptHash)
- | HardForkInitiation (Maybe GovernanceActionId) ProtocolVersion
- | TreasuryWithdrawals (Map Credential Lovelace) (Maybe ScriptHash)
- | NoConfidence (Maybe GovernanceActionId)
- | UpdateCommittee (Maybe GovernanceActionId) [ColdCommitteeCredential] (Map ColdCommitteeCredential Integer) Rational
- | NewConstitution (Maybe GovernanceActionId) Constitution
- | InfoAction
data ProposalProcedure = ProposalProcedure {
- ppDeposit :: Lovelace
- ppReturnAddr :: Credential
- ppGovernanceAction :: GovernanceAction
}
data ScriptPurpose
- = Minting CurrencySymbol
- | Spending TxOutRef
- | Rewarding Credential
- | Certifying Integer TxCert
- | Voting Voter
- | Proposing Integer ProposalProcedure
data ScriptInfo
- = MintingScript CurrencySymbol
- | SpendingScript TxOutRef (Maybe Datum)
- | RewardingScript Credential
- | CertifyingScript Integer TxCert
- | VotingScript Voter
- | ProposingScript Integer ProposalProcedure
data TxInInfo = TxInInfo {
- txInInfoOutRef :: TxOutRef
- txInInfoResolved :: TxOut
}
data TxInfo = TxInfo {
- txInfoInputs :: [TxInInfo]
- txInfoReferenceInputs :: [TxInInfo]
- txInfoOutputs :: [TxOut]
- txInfoFee :: Lovelace
- txInfoMint :: MintValue
- txInfoTxCerts :: [TxCert]
- txInfoWdrl :: Map Credential Lovelace
- txInfoValidRange :: POSIXTimeRange
- txInfoSignatories :: [PubKeyHash]
- txInfoRedeemers :: Map ScriptPurpose Redeemer
- txInfoData :: Map DatumHash Datum
- txInfoId :: TxId
- txInfoVotes :: Map Voter (Map GovernanceActionId Vote)
- txInfoProposalProcedures :: [ProposalProcedure]
- txInfoCurrentTreasuryAmount :: Maybe Lovelace
- txInfoTreasuryDonation :: Maybe Lovelace
}
data ScriptContext = ScriptContext {
- scriptContextTxInfo :: TxInfo
- scriptContextRedeemer :: Redeemer
- scriptContextScriptInfo :: ScriptInfo
}
findOwnInput :: ScriptContext -> Maybe TxInInfo
findDatum :: DatumHash -> TxInfo -> Maybe Datum
findDatumHash :: Datum -> TxInfo -> Maybe DatumHash
findTxInByTxOutRef :: TxOutRef -> TxInfo -> Maybe TxInInfo
findContinuingOutputs :: ScriptContext -> [Integer]
getContinuingOutputs :: ScriptContext -> [TxOut]
txSignedBy :: TxInfo -> PubKeyHash -> Bool
pubKeyOutputsAt :: PubKeyHash -> TxInfo -> [Value]
valuePaidTo :: TxInfo -> PubKeyHash -> Value
valueSpent :: TxInfo -> Value
valueProduced :: TxInfo -> Value
ownCurrencySymbol :: ScriptContext -> CurrencySymbol
spendsOutput :: TxInfo -> TxId -> Integer -> Bool

Documentation

newtype ColdCommitteeCredential Source #

Constructors

ColdCommitteeCredential Credential

Instances

Instances details

Generic ColdCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep ColdCommitteeCredential
Instance details Defined in PlutusLedgerApi.V3.Contexts type Rep ColdCommitteeCredential = D1 ('MetaData "ColdCommitteeCredential" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "ColdCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)))

Methods

from :: ColdCommitteeCredential -> Rep ColdCommitteeCredential x Source #

to :: Rep ColdCommitteeCredential x -> ColdCommitteeCredential Source #

Show ColdCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> ColdCommitteeCredential -> ShowS Source #

show :: ColdCommitteeCredential -> String Source #

showList :: [ColdCommitteeCredential] -> ShowS Source #

Eq ColdCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: ColdCommitteeCredential -> ColdCommitteeCredential -> Bool Source #

(/=) :: ColdCommitteeCredential -> ColdCommitteeCredential -> Bool Source #

Ord ColdCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

HasBlueprintDefinition ColdCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll ColdCommitteeCredential
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll ColdCommitteeCredential = Insert ColdCommitteeCredential (GUnroll (IfStuckRep (RepIsStuckError ColdCommitteeCredential :: Type -> Type) (Rep ColdCommitteeCredential)))

Methods

definitionId :: DefinitionId

Eq ColdCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: ColdCommitteeCredential -> ColdCommitteeCredential -> Bool

FromData ColdCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ColdCommitteeCredential #

ToData ColdCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: ColdCommitteeCredential -> BuiltinData #

UnsafeFromData ColdCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ColdCommitteeCredential #

Pretty ColdCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: ColdCommitteeCredential -> Doc ann

prettyList :: [ColdCommitteeCredential] -> Doc ann

(HasSchemaDefinition PubKeyHash referencedTypes, HasSchemaDefinition ScriptHash referencedTypes) => HasBlueprintSchema ColdCommitteeCredential referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni ColdCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: ColdCommitteeCredential -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni ColdCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy ColdCommitteeCredential -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep ColdCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ColdCommitteeCredential = D1 ('MetaData "ColdCommitteeCredential" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "ColdCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)))

type Unroll ColdCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll ColdCommitteeCredential = Insert ColdCommitteeCredential (GUnroll (IfStuckRep (RepIsStuckError ColdCommitteeCredential :: Type -> Type) (Rep ColdCommitteeCredential)))

newtype HotCommitteeCredential Source #

Constructors

HotCommitteeCredential Credential

Instances

Instances details

Generic HotCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep HotCommitteeCredential
Instance details Defined in PlutusLedgerApi.V3.Contexts type Rep HotCommitteeCredential = D1 ('MetaData "HotCommitteeCredential" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "HotCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)))

Methods

from :: HotCommitteeCredential -> Rep HotCommitteeCredential x Source #

to :: Rep HotCommitteeCredential x -> HotCommitteeCredential Source #

Show HotCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> HotCommitteeCredential -> ShowS Source #

show :: HotCommitteeCredential -> String Source #

showList :: [HotCommitteeCredential] -> ShowS Source #

Eq HotCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: HotCommitteeCredential -> HotCommitteeCredential -> Bool Source #

(/=) :: HotCommitteeCredential -> HotCommitteeCredential -> Bool Source #

Ord HotCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

HasBlueprintDefinition HotCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll HotCommitteeCredential
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll HotCommitteeCredential = Insert HotCommitteeCredential (GUnroll (IfStuckRep (RepIsStuckError HotCommitteeCredential :: Type -> Type) (Rep HotCommitteeCredential)))

Methods

definitionId :: DefinitionId

Eq HotCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: HotCommitteeCredential -> HotCommitteeCredential -> Bool

FromData HotCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe HotCommitteeCredential #

ToData HotCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: HotCommitteeCredential -> BuiltinData #

UnsafeFromData HotCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> HotCommitteeCredential #

Pretty HotCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: HotCommitteeCredential -> Doc ann

prettyList :: [HotCommitteeCredential] -> Doc ann

(HasSchemaDefinition PubKeyHash referencedTypes, HasSchemaDefinition ScriptHash referencedTypes) => HasBlueprintSchema HotCommitteeCredential referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni HotCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: HotCommitteeCredential -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni HotCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy HotCommitteeCredential -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep HotCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep HotCommitteeCredential = D1 ('MetaData "HotCommitteeCredential" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "HotCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)))

type Unroll HotCommitteeCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll HotCommitteeCredential = Insert HotCommitteeCredential (GUnroll (IfStuckRep (RepIsStuckError HotCommitteeCredential :: Type -> Type) (Rep HotCommitteeCredential)))

newtype DRepCredential Source #

Constructors

DRepCredential Credential

Instances

Instances details

Generic DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep DRepCredential
Instance details Defined in PlutusLedgerApi.V3.Contexts type Rep DRepCredential = D1 ('MetaData "DRepCredential" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "DRepCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)))

Methods

from :: DRepCredential -> Rep DRepCredential x Source #

to :: Rep DRepCredential x -> DRepCredential Source #

Show DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> DRepCredential -> ShowS Source #

show :: DRepCredential -> String Source #

showList :: [DRepCredential] -> ShowS Source #

Eq DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: DRepCredential -> DRepCredential -> Bool Source #

(/=) :: DRepCredential -> DRepCredential -> Bool Source #

Ord DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compare :: DRepCredential -> DRepCredential -> Ordering Source #

(<) :: DRepCredential -> DRepCredential -> Bool Source #

(<=) :: DRepCredential -> DRepCredential -> Bool Source #

(>) :: DRepCredential -> DRepCredential -> Bool Source #

(>=) :: DRepCredential -> DRepCredential -> Bool Source #

max :: DRepCredential -> DRepCredential -> DRepCredential Source #

min :: DRepCredential -> DRepCredential -> DRepCredential Source #

HasBlueprintDefinition DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll DRepCredential
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll DRepCredential = Insert DRepCredential (GUnroll (IfStuckRep (RepIsStuckError DRepCredential :: Type -> Type) (Rep DRepCredential)))

Methods

definitionId :: DefinitionId

Eq DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: DRepCredential -> DRepCredential -> Bool

FromData DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe DRepCredential #

ToData DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: DRepCredential -> BuiltinData #

UnsafeFromData DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> DRepCredential #

Pretty DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: DRepCredential -> Doc ann

prettyList :: [DRepCredential] -> Doc ann

(HasSchemaDefinition PubKeyHash referencedTypes, HasSchemaDefinition ScriptHash referencedTypes) => HasBlueprintSchema DRepCredential referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: DRepCredential -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy DRepCredential -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep DRepCredential = D1 ('MetaData "DRepCredential" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "DRepCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)))

type Unroll DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll DRepCredential = Insert DRepCredential (GUnroll (IfStuckRep (RepIsStuckError DRepCredential :: Type -> Type) (Rep DRepCredential)))

data DRep Source #

Constructors

DRep DRepCredential
DRepAlwaysAbstain
DRepAlwaysNoConfidence

Instances

Instances details

Generic DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep DRep

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep DRep = D1 ('MetaData "DRep" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "DRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRepCredential)) :+: (C1 ('MetaCons "DRepAlwaysAbstain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DRepAlwaysNoConfidence" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: DRep -> Rep DRep x Source #

to :: Rep DRep x -> DRep Source #

Show DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> DRep -> ShowS Source #

show :: DRep -> String Source #

showList :: [DRep] -> ShowS Source #

Eq DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: DRep -> DRep -> Bool Source #

(/=) :: DRep -> DRep -> Bool Source #

Ord DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compare :: DRep -> DRep -> Ordering Source #

(<) :: DRep -> DRep -> Bool Source #

(<=) :: DRep -> DRep -> Bool Source #

(>) :: DRep -> DRep -> Bool Source #

(>=) :: DRep -> DRep -> Bool Source #

max :: DRep -> DRep -> DRep Source #

min :: DRep -> DRep -> DRep Source #

HasBlueprintDefinition DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll DRep
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll DRep = Insert DRep (GUnroll (IfStuckRep (RepIsStuckError DRep :: Type -> Type) (Rep DRep)))

Methods

definitionId :: DefinitionId

Eq DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: DRep -> DRep -> Bool

FromData DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe DRep #

ToData DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: DRep -> BuiltinData #

UnsafeFromData DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> DRep #

Pretty DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: DRep -> Doc ann

prettyList :: [DRep] -> Doc ann

HasSchemaDefinition DRepCredential referencedTypes => HasBlueprintSchema DRep referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: DRep -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy DRep -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep DRep = D1 ('MetaData "DRep" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "DRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRepCredential)) :+: (C1 ('MetaCons "DRepAlwaysAbstain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DRepAlwaysNoConfidence" 'PrefixI 'False) (U1 :: Type -> Type)))

type Unroll DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll DRep = Insert DRep (GUnroll (IfStuckRep (RepIsStuckError DRep :: Type -> Type) (Rep DRep)))

data Delegatee Source #

Constructors

DelegStake PubKeyHash
DelegVote DRep
DelegStakeVote PubKeyHash DRep

Instances

Instances details

Generic Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep Delegatee

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Delegatee = D1 ('MetaData "Delegatee" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "DelegStake" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)) :+: (C1 ('MetaCons "DelegVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRep)) :+: C1 ('MetaCons "DelegStakeVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRep))))

Methods

from :: Delegatee -> Rep Delegatee x Source #

to :: Rep Delegatee x -> Delegatee Source #

Show Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> Delegatee -> ShowS Source #

show :: Delegatee -> String Source #

showList :: [Delegatee] -> ShowS Source #

Eq Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: Delegatee -> Delegatee -> Bool Source #

(/=) :: Delegatee -> Delegatee -> Bool Source #

Ord Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compare :: Delegatee -> Delegatee -> Ordering Source #

(<) :: Delegatee -> Delegatee -> Bool Source #

(<=) :: Delegatee -> Delegatee -> Bool Source #

(>) :: Delegatee -> Delegatee -> Bool Source #

(>=) :: Delegatee -> Delegatee -> Bool Source #

max :: Delegatee -> Delegatee -> Delegatee Source #

min :: Delegatee -> Delegatee -> Delegatee Source #

HasBlueprintDefinition Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll Delegatee
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll Delegatee = Insert Delegatee (GUnroll (IfStuckRep (RepIsStuckError Delegatee :: Type -> Type) (Rep Delegatee)))

Methods

definitionId :: DefinitionId

Eq Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: Delegatee -> Delegatee -> Bool

FromData Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Delegatee #

ToData Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: Delegatee -> BuiltinData #

UnsafeFromData Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Delegatee #

Pretty Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: Delegatee -> Doc ann

prettyList :: [Delegatee] -> Doc ann

(HasSchemaDefinition PubKeyHash referencedTypes, HasSchemaDefinition DRep referencedTypes) => HasBlueprintSchema Delegatee referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: Delegatee -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy Delegatee -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Delegatee = D1 ('MetaData "Delegatee" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "DelegStake" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)) :+: (C1 ('MetaCons "DelegVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRep)) :+: C1 ('MetaCons "DelegStakeVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRep))))

type Unroll Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll Delegatee = Insert Delegatee (GUnroll (IfStuckRep (RepIsStuckError Delegatee :: Type -> Type) (Rep Delegatee)))

data TxCert Source #

Constructors

TxCertRegStaking Credential (Maybe Lovelace)	Register staking credential with an optional deposit amount
TxCertUnRegStaking Credential (Maybe Lovelace)	Un-Register staking credential with an optional refund amount
TxCertDelegStaking Credential Delegatee	Delegate staking credential to a Delegatee
TxCertRegDeleg Credential Delegatee Lovelace	Register and delegate staking credential to a Delegatee in one certificate. Note that deposit is mandatory.
TxCertRegDRep DRepCredential Lovelace	Register a DRep with a deposit value. The optional anchor is omitted.
TxCertUpdateDRep DRepCredential	Update a DRep. The optional anchor is omitted.
TxCertUnRegDRep DRepCredential Lovelace	UnRegister a DRep with mandatory refund value
TxCertPoolRegister	A digest of the PoolParams
Fields PubKeyHash poolId PubKeyHash pool VFR
TxCertPoolRetire PubKeyHash Integer	The retirement certificate and the Epoch in which the retirement will take place
TxCertAuthHotCommittee ColdCommitteeCredential HotCommitteeCredential	Authorize a Hot credential for a specific Committee member's cold credential
TxCertResignColdCommittee ColdCommitteeCredential

Instances

Instances details

Generic TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep TxCert

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

from :: TxCert -> Rep TxCert x Source #

to :: Rep TxCert x -> TxCert Source #

Show TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> TxCert -> ShowS Source #

show :: TxCert -> String Source #

showList :: [TxCert] -> ShowS Source #

Eq TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: TxCert -> TxCert -> Bool Source #

(/=) :: TxCert -> TxCert -> Bool Source #

Ord TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compare :: TxCert -> TxCert -> Ordering Source #

(<) :: TxCert -> TxCert -> Bool Source #

(<=) :: TxCert -> TxCert -> Bool Source #

(>) :: TxCert -> TxCert -> Bool Source #

(>=) :: TxCert -> TxCert -> Bool Source #

max :: TxCert -> TxCert -> TxCert Source #

min :: TxCert -> TxCert -> TxCert Source #

HasBlueprintDefinition TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll TxCert
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll TxCert = Insert TxCert (GUnroll (IfStuckRep (RepIsStuckError TxCert :: Type -> Type) (Rep TxCert)))

Methods

definitionId :: DefinitionId

Eq TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: TxCert -> TxCert -> Bool

FromData TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxCert #

ToData TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: TxCert -> BuiltinData #

UnsafeFromData TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxCert #

Pretty TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: TxCert -> Doc ann

prettyList :: [TxCert] -> Doc ann

(HasSchemaDefinition Credential referencedTypes, HasSchemaDefinition (Maybe Lovelace) referencedTypes, HasSchemaDefinition Delegatee referencedTypes, HasSchemaDefinition Lovelace referencedTypes, HasSchemaDefinition DRepCredential referencedTypes, HasSchemaDefinition PubKeyHash referencedTypes, HasSchemaDefinition Integer referencedTypes, HasSchemaDefinition ColdCommitteeCredential referencedTypes, HasSchemaDefinition HotCommitteeCredential referencedTypes) => HasBlueprintSchema TxCert referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: TxCert -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy TxCert -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll TxCert = Insert TxCert (GUnroll (IfStuckRep (RepIsStuckError TxCert :: Type -> Type) (Rep TxCert)))

data Voter Source #

Constructors

CommitteeVoter HotCommitteeCredential
DRepVoter DRepCredential
StakePoolVoter PubKeyHash

Instances

Instances details

Generic Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep Voter

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Voter = D1 ('MetaData "Voter" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "CommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HotCommitteeCredential)) :+: (C1 ('MetaCons "DRepVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRepCredential)) :+: C1 ('MetaCons "StakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash))))

Methods

from :: Voter -> Rep Voter x Source #

to :: Rep Voter x -> Voter Source #

Show Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> Voter -> ShowS Source #

show :: Voter -> String Source #

showList :: [Voter] -> ShowS Source #

Eq Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: Voter -> Voter -> Bool Source #

(/=) :: Voter -> Voter -> Bool Source #

Ord Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compare :: Voter -> Voter -> Ordering Source #

(<) :: Voter -> Voter -> Bool Source #

(<=) :: Voter -> Voter -> Bool Source #

(>) :: Voter -> Voter -> Bool Source #

(>=) :: Voter -> Voter -> Bool Source #

max :: Voter -> Voter -> Voter Source #

min :: Voter -> Voter -> Voter Source #

HasBlueprintDefinition Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll Voter
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll Voter = Insert Voter (GUnroll (IfStuckRep (RepIsStuckError Voter :: Type -> Type) (Rep Voter)))

Methods

definitionId :: DefinitionId

Eq Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: Voter -> Voter -> Bool

FromData Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Voter #

ToData Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: Voter -> BuiltinData #

UnsafeFromData Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Voter #

Pretty Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: Voter -> Doc ann

prettyList :: [Voter] -> Doc ann

(HasSchemaDefinition HotCommitteeCredential referencedTypes, HasSchemaDefinition DRepCredential referencedTypes, HasSchemaDefinition PubKeyHash referencedTypes) => HasBlueprintSchema Voter referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: Voter -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy Voter -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Voter = D1 ('MetaData "Voter" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "CommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HotCommitteeCredential)) :+: (C1 ('MetaCons "DRepVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRepCredential)) :+: C1 ('MetaCons "StakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash))))

type Unroll Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll Voter = Insert Voter (GUnroll (IfStuckRep (RepIsStuckError Voter :: Type -> Type) (Rep Voter)))

data Vote Source #

A vote. The optional anchor is omitted.

Constructors

VoteNo
VoteYes
Abstain

Instances

Instances details

Generic Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep Vote
Instance details Defined in PlutusLedgerApi.V3.Contexts type Rep Vote = D1 ('MetaData "Vote" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "VoteNo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "VoteYes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Abstain" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Vote -> Rep Vote x Source #

to :: Rep Vote x -> Vote Source #

Show Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> Vote -> ShowS Source #

show :: Vote -> String Source #

showList :: [Vote] -> ShowS Source #

Eq Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: Vote -> Vote -> Bool Source #

(/=) :: Vote -> Vote -> Bool Source #

HasBlueprintDefinition Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll Vote
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll Vote = Insert Vote (GUnroll (IfStuckRep (RepIsStuckError Vote :: Type -> Type) (Rep Vote)))

Methods

definitionId :: DefinitionId

Eq Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: Vote -> Vote -> Bool

FromData Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Vote #

ToData Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: Vote -> BuiltinData #

UnsafeFromData Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Vote #

Pretty Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: Vote -> Doc ann

prettyList :: [Vote] -> Doc ann

HasBlueprintSchema Vote referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: Vote -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy Vote -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Vote = D1 ('MetaData "Vote" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "VoteNo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "VoteYes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Abstain" 'PrefixI 'False) (U1 :: Type -> Type)))

type Unroll Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll Vote = Insert Vote (GUnroll (IfStuckRep (RepIsStuckError Vote :: Type -> Type) (Rep Vote)))

data GovernanceActionId Source #

Similar to TxOutRef, but for GovActions

Constructors

GovernanceActionId
Fields gaidTxId :: TxId gaidGovActionIx :: Integer

Instances

Instances details

Generic GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep GovernanceActionId

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep GovernanceActionId = D1 ('MetaData "GovernanceActionId" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "GovernanceActionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "gaidTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Just "gaidGovActionIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

Methods

from :: GovernanceActionId -> Rep GovernanceActionId x Source #

to :: Rep GovernanceActionId x -> GovernanceActionId Source #

Show GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> GovernanceActionId -> ShowS Source #

show :: GovernanceActionId -> String Source #

showList :: [GovernanceActionId] -> ShowS Source #

Eq GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: GovernanceActionId -> GovernanceActionId -> Bool Source #

(/=) :: GovernanceActionId -> GovernanceActionId -> Bool Source #

Ord GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compare :: GovernanceActionId -> GovernanceActionId -> Ordering Source #

(<) :: GovernanceActionId -> GovernanceActionId -> Bool Source #

(<=) :: GovernanceActionId -> GovernanceActionId -> Bool Source #

(>) :: GovernanceActionId -> GovernanceActionId -> Bool Source #

(>=) :: GovernanceActionId -> GovernanceActionId -> Bool Source #

max :: GovernanceActionId -> GovernanceActionId -> GovernanceActionId Source #

min :: GovernanceActionId -> GovernanceActionId -> GovernanceActionId Source #

HasBlueprintDefinition GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll GovernanceActionId
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll GovernanceActionId = Insert GovernanceActionId (GUnroll (IfStuckRep (RepIsStuckError GovernanceActionId :: Type -> Type) (Rep GovernanceActionId)))

Methods

definitionId :: DefinitionId

Eq GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: GovernanceActionId -> GovernanceActionId -> Bool

FromData GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe GovernanceActionId #

ToData GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: GovernanceActionId -> BuiltinData #

UnsafeFromData GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> GovernanceActionId #

Pretty GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: GovernanceActionId -> Doc ann

prettyList :: [GovernanceActionId] -> Doc ann

(HasSchemaDefinition TxId referencedTypes, HasSchemaDefinition Integer referencedTypes) => HasBlueprintSchema GovernanceActionId referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: GovernanceActionId -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy GovernanceActionId -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep GovernanceActionId = D1 ('MetaData "GovernanceActionId" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "GovernanceActionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "gaidTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Just "gaidGovActionIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

type Unroll GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll GovernanceActionId = Insert GovernanceActionId (GUnroll (IfStuckRep (RepIsStuckError GovernanceActionId :: Type -> Type) (Rep GovernanceActionId)))

data Committee Source #

Constructors

Committee
Fields committeeMembers :: Map ColdCommitteeCredential Integer Committee members with epoch number when each of them expires committeeQuorum :: Rational Quorum of the committee that is necessary for a successful vote

Instances

Instances details

Generic Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep Committee

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Committee = D1 ('MetaData "Committee" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "Committee" 'PrefixI 'True) (S1 ('MetaSel ('Just "committeeMembers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ColdCommitteeCredential Integer)) :*: S1 ('MetaSel ('Just "committeeQuorum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

Methods

from :: Committee -> Rep Committee x Source #

to :: Rep Committee x -> Committee Source #

Show Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> Committee -> ShowS Source #

show :: Committee -> String Source #

showList :: [Committee] -> ShowS Source #

Eq Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: Committee -> Committee -> Bool Source #

(/=) :: Committee -> Committee -> Bool Source #

Ord Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compare :: Committee -> Committee -> Ordering Source #

(<) :: Committee -> Committee -> Bool Source #

(<=) :: Committee -> Committee -> Bool Source #

(>) :: Committee -> Committee -> Bool Source #

(>=) :: Committee -> Committee -> Bool Source #

max :: Committee -> Committee -> Committee Source #

min :: Committee -> Committee -> Committee Source #

HasBlueprintDefinition Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll Committee
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll Committee = Insert Committee (GUnroll (IfStuckRep (RepIsStuckError Committee :: Type -> Type) (Rep Committee)))

Methods

definitionId :: DefinitionId

FromData Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Committee #

ToData Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: Committee -> BuiltinData #

UnsafeFromData Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Committee #

Pretty Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: Committee -> Doc ann

prettyList :: [Committee] -> Doc ann

(HasSchemaDefinition (Map ColdCommitteeCredential Integer) referencedTypes, HasSchemaDefinition Rational referencedTypes) => HasBlueprintSchema Committee referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: Committee -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy Committee -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Committee = D1 ('MetaData "Committee" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "Committee" 'PrefixI 'True) (S1 ('MetaSel ('Just "committeeMembers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ColdCommitteeCredential Integer)) :*: S1 ('MetaSel ('Just "committeeQuorum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

type Unroll Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll Committee = Insert Committee (GUnroll (IfStuckRep (RepIsStuckError Committee :: Type -> Type) (Rep Committee)))

newtype Constitution Source #

A constitution. The optional anchor is omitted.

Constructors

Constitution
Fields constitutionScript :: Maybe ScriptHash

Instances

Instances details

Generic Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep Constitution
Instance details Defined in PlutusLedgerApi.V3.Contexts type Rep Constitution = D1 ('MetaData "Constitution" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "Constitution" 'PrefixI 'True) (S1 ('MetaSel ('Just "constitutionScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ScriptHash))))

Methods

from :: Constitution -> Rep Constitution x Source #

to :: Rep Constitution x -> Constitution Source #

Show Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> Constitution -> ShowS Source #

show :: Constitution -> String Source #

showList :: [Constitution] -> ShowS Source #

Eq Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: Constitution -> Constitution -> Bool Source #

(/=) :: Constitution -> Constitution -> Bool Source #

Ord Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compare :: Constitution -> Constitution -> Ordering Source #

(<) :: Constitution -> Constitution -> Bool Source #

(<=) :: Constitution -> Constitution -> Bool Source #

(>) :: Constitution -> Constitution -> Bool Source #

(>=) :: Constitution -> Constitution -> Bool Source #

max :: Constitution -> Constitution -> Constitution Source #

min :: Constitution -> Constitution -> Constitution Source #

HasBlueprintDefinition Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll Constitution
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll Constitution = Insert Constitution (GUnroll (IfStuckRep (RepIsStuckError Constitution :: Type -> Type) (Rep Constitution)))

Methods

definitionId :: DefinitionId

Eq Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: Constitution -> Constitution -> Bool

FromData Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Constitution #

ToData Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: Constitution -> BuiltinData #

UnsafeFromData Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Constitution #

Pretty Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: Constitution -> Doc ann

prettyList :: [Constitution] -> Doc ann

HasSchemaDefinition (Maybe ScriptHash) referencedTypes => HasBlueprintSchema Constitution referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: Constitution -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy Constitution -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Constitution = D1 ('MetaData "Constitution" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "Constitution" 'PrefixI 'True) (S1 ('MetaSel ('Just "constitutionScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ScriptHash))))

type Unroll Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll Constitution = Insert Constitution (GUnroll (IfStuckRep (RepIsStuckError Constitution :: Type -> Type) (Rep Constitution)))

data ProtocolVersion Source #

Constructors

ProtocolVersion
Fields pvMajor :: Integer pvMinor :: Integer

Instances

Instances details

Generic ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep ProtocolVersion

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ProtocolVersion = D1 ('MetaData "ProtocolVersion" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "ProtocolVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

Methods

from :: ProtocolVersion -> Rep ProtocolVersion x Source #

to :: Rep ProtocolVersion x -> ProtocolVersion Source #

Show ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> ProtocolVersion -> ShowS Source #

show :: ProtocolVersion -> String Source #

showList :: [ProtocolVersion] -> ShowS Source #

Eq ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: ProtocolVersion -> ProtocolVersion -> Bool Source #

(/=) :: ProtocolVersion -> ProtocolVersion -> Bool Source #

Ord ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compare :: ProtocolVersion -> ProtocolVersion -> Ordering Source #

(<) :: ProtocolVersion -> ProtocolVersion -> Bool Source #

(<=) :: ProtocolVersion -> ProtocolVersion -> Bool Source #

(>) :: ProtocolVersion -> ProtocolVersion -> Bool Source #

(>=) :: ProtocolVersion -> ProtocolVersion -> Bool Source #

max :: ProtocolVersion -> ProtocolVersion -> ProtocolVersion Source #

min :: ProtocolVersion -> ProtocolVersion -> ProtocolVersion Source #

HasBlueprintDefinition ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll ProtocolVersion
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll ProtocolVersion = Insert ProtocolVersion (GUnroll (IfStuckRep (RepIsStuckError ProtocolVersion :: Type -> Type) (Rep ProtocolVersion)))

Methods

definitionId :: DefinitionId

Eq ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: ProtocolVersion -> ProtocolVersion -> Bool

FromData ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ProtocolVersion #

ToData ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: ProtocolVersion -> BuiltinData #

UnsafeFromData ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ProtocolVersion #

Ord ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compare :: ProtocolVersion -> ProtocolVersion -> Ordering

(<) :: ProtocolVersion -> ProtocolVersion -> Bool

(<=) :: ProtocolVersion -> ProtocolVersion -> Bool

(>) :: ProtocolVersion -> ProtocolVersion -> Bool

(>=) :: ProtocolVersion -> ProtocolVersion -> Bool

max :: ProtocolVersion -> ProtocolVersion -> ProtocolVersion

min :: ProtocolVersion -> ProtocolVersion -> ProtocolVersion

Pretty ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: ProtocolVersion -> Doc ann

prettyList :: [ProtocolVersion] -> Doc ann

HasSchemaDefinition Integer referencedTypes => HasBlueprintSchema ProtocolVersion referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: ProtocolVersion -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy ProtocolVersion -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ProtocolVersion = D1 ('MetaData "ProtocolVersion" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "ProtocolVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

type Unroll ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll ProtocolVersion = Insert ProtocolVersion (GUnroll (IfStuckRep (RepIsStuckError ProtocolVersion :: Type -> Type) (Rep ProtocolVersion)))

newtype ChangedParameters Source #

A Plutus Data object containing proposed parameter changes. The Data object contains a Map with one entry per changed parameter, from the parameter ID to the new value. Unchanged parameters are not included.

The mapping from parameter IDs to parameters can be found in conway.cddl.

Invariant: This map is non-empty, and the keys are stored in ascending order.

This Data object has the following format (in pseudocode):

ChangedParametersData = Map ChangedIdData ChangedManyValueData ChangedIdData = I Integer ChangedManyValueData = ChangedSingleValueData | List[ChangedSingleValueData...] -- ^ an arbitrary-length, heterogeneous (integer or ratio) list of values (to support sub-parameters)

ChangedSingleValueData = I Integer -- a proposed integer value | List[I Integer, I Integer] -- a proposed numerator,denominator (ratio value) -- ^ a 2-exact element list; *BE CAREFUL* because this can be alternatively (ambiguously) interpreted -- as a many-value data (sub-parameter) of two integer single-value data.

, where Map,I,List are the constructors of Data and Integer is the usual arbitrary-precision PlutusTx/Haskell Integer.

Constructors

ChangedParameters
Fields getChangedParameters :: BuiltinData

Instances

Instances details

Generic ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep ChangedParameters
Instance details Defined in PlutusLedgerApi.V3.Contexts type Rep ChangedParameters = D1 ('MetaData "ChangedParameters" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "ChangedParameters" 'PrefixI 'True) (S1 ('MetaSel ('Just "getChangedParameters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

Methods

from :: ChangedParameters -> Rep ChangedParameters x Source #

to :: Rep ChangedParameters x -> ChangedParameters Source #

Show ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> ChangedParameters -> ShowS Source #

show :: ChangedParameters -> String Source #

showList :: [ChangedParameters] -> ShowS Source #

Eq ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: ChangedParameters -> ChangedParameters -> Bool Source #

(/=) :: ChangedParameters -> ChangedParameters -> Bool Source #

Ord ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compare :: ChangedParameters -> ChangedParameters -> Ordering Source #

(<) :: ChangedParameters -> ChangedParameters -> Bool Source #

(<=) :: ChangedParameters -> ChangedParameters -> Bool Source #

(>) :: ChangedParameters -> ChangedParameters -> Bool Source #

(>=) :: ChangedParameters -> ChangedParameters -> Bool Source #

max :: ChangedParameters -> ChangedParameters -> ChangedParameters Source #

min :: ChangedParameters -> ChangedParameters -> ChangedParameters Source #

HasBlueprintDefinition ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll ChangedParameters
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll ChangedParameters = Insert ChangedParameters (GUnroll (IfStuckRep (RepIsStuckError ChangedParameters :: Type -> Type) (Rep ChangedParameters)))

Methods

definitionId :: DefinitionId

Eq ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: ChangedParameters -> ChangedParameters -> Bool

FromData ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ChangedParameters #

ToData ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: ChangedParameters -> BuiltinData #

UnsafeFromData ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ChangedParameters #

Pretty ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: ChangedParameters -> Doc ann

prettyList :: [ChangedParameters] -> Doc ann

HasBlueprintSchema ChangedParameters referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: ChangedParameters -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy ChangedParameters -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ChangedParameters = D1 ('MetaData "ChangedParameters" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "ChangedParameters" 'PrefixI 'True) (S1 ('MetaSel ('Just "getChangedParameters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

type Unroll ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll ChangedParameters = Insert ChangedParameters (GUnroll (IfStuckRep (RepIsStuckError ChangedParameters :: Type -> Type) (Rep ChangedParameters)))

data GovernanceAction Source #

Constructors

ParameterChange (Maybe GovernanceActionId) ChangedParameters (Maybe ScriptHash)	Hash of the constitution script
HardForkInitiation (Maybe GovernanceActionId) ProtocolVersion	proposal to update protocol version
TreasuryWithdrawals (Map Credential Lovelace) (Maybe ScriptHash)	Hash of the constitution script
NoConfidence (Maybe GovernanceActionId)
UpdateCommittee
Fields (Maybe GovernanceActionId) [ColdCommitteeCredential] Committee members to be removed (Map ColdCommitteeCredential Integer) Committee members to be added Rational New quorum
NewConstitution (Maybe GovernanceActionId) Constitution
InfoAction

Instances

Instances details

Generic GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep GovernanceAction

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

from :: GovernanceAction -> Rep GovernanceAction x Source #

to :: Rep GovernanceAction x -> GovernanceAction Source #

Show GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> GovernanceAction -> ShowS Source #

show :: GovernanceAction -> String Source #

showList :: [GovernanceAction] -> ShowS Source #

Eq GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: GovernanceAction -> GovernanceAction -> Bool Source #

(/=) :: GovernanceAction -> GovernanceAction -> Bool Source #

Ord GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compare :: GovernanceAction -> GovernanceAction -> Ordering Source #

(<) :: GovernanceAction -> GovernanceAction -> Bool Source #

(<=) :: GovernanceAction -> GovernanceAction -> Bool Source #

(>) :: GovernanceAction -> GovernanceAction -> Bool Source #

(>=) :: GovernanceAction -> GovernanceAction -> Bool Source #

max :: GovernanceAction -> GovernanceAction -> GovernanceAction Source #

min :: GovernanceAction -> GovernanceAction -> GovernanceAction Source #

HasBlueprintDefinition GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll GovernanceAction
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll GovernanceAction = Insert GovernanceAction (GUnroll (IfStuckRep (RepIsStuckError GovernanceAction :: Type -> Type) (Rep GovernanceAction)))

Methods

definitionId :: DefinitionId

FromData GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe GovernanceAction #

ToData GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: GovernanceAction -> BuiltinData #

UnsafeFromData GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> GovernanceAction #

Pretty GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: GovernanceAction -> Doc ann

prettyList :: [GovernanceAction] -> Doc ann

(HasSchemaDefinition (Maybe GovernanceActionId) referencedTypes, HasSchemaDefinition ChangedParameters referencedTypes, HasSchemaDefinition (Maybe ScriptHash) referencedTypes, HasSchemaDefinition ProtocolVersion referencedTypes, HasSchemaDefinition (Map Credential Lovelace) referencedTypes, HasSchemaDefinition [ColdCommitteeCredential] referencedTypes, HasSchemaDefinition (Map ColdCommitteeCredential Integer) referencedTypes, HasSchemaDefinition Rational referencedTypes, HasSchemaDefinition Constitution referencedTypes) => HasBlueprintSchema GovernanceAction referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: GovernanceAction -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy GovernanceAction -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll GovernanceAction = Insert GovernanceAction (GUnroll (IfStuckRep (RepIsStuckError GovernanceAction :: Type -> Type) (Rep GovernanceAction)))

data ProposalProcedure Source #

A proposal procedure. The optional anchor is omitted.

Constructors

ProposalProcedure
Fields ppDeposit :: Lovelace ppReturnAddr :: Credential ppGovernanceAction :: GovernanceAction

Instances

Instances details

Generic ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep ProposalProcedure

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ProposalProcedure = D1 ('MetaData "ProposalProcedure" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "ProposalProcedure" 'PrefixI 'True) (S1 ('MetaSel ('Just "ppDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lovelace) :*: (S1 ('MetaSel ('Just "ppReturnAddr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :*: S1 ('MetaSel ('Just "ppGovernanceAction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GovernanceAction))))

Methods

from :: ProposalProcedure -> Rep ProposalProcedure x Source #

to :: Rep ProposalProcedure x -> ProposalProcedure Source #

Show ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> ProposalProcedure -> ShowS Source #

show :: ProposalProcedure -> String Source #

showList :: [ProposalProcedure] -> ShowS Source #

Eq ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: ProposalProcedure -> ProposalProcedure -> Bool Source #

(/=) :: ProposalProcedure -> ProposalProcedure -> Bool Source #

Ord ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compare :: ProposalProcedure -> ProposalProcedure -> Ordering Source #

(<) :: ProposalProcedure -> ProposalProcedure -> Bool Source #

(<=) :: ProposalProcedure -> ProposalProcedure -> Bool Source #

(>) :: ProposalProcedure -> ProposalProcedure -> Bool Source #

(>=) :: ProposalProcedure -> ProposalProcedure -> Bool Source #

max :: ProposalProcedure -> ProposalProcedure -> ProposalProcedure Source #

min :: ProposalProcedure -> ProposalProcedure -> ProposalProcedure Source #

HasBlueprintDefinition ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll ProposalProcedure
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll ProposalProcedure = Insert ProposalProcedure (GUnroll (IfStuckRep (RepIsStuckError ProposalProcedure :: Type -> Type) (Rep ProposalProcedure)))

Methods

definitionId :: DefinitionId

FromData ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ProposalProcedure #

ToData ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: ProposalProcedure -> BuiltinData #

UnsafeFromData ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ProposalProcedure #

Pretty ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: ProposalProcedure -> Doc ann

prettyList :: [ProposalProcedure] -> Doc ann

(HasSchemaDefinition Lovelace referencedTypes, HasSchemaDefinition Credential referencedTypes, HasSchemaDefinition GovernanceAction referencedTypes) => HasBlueprintSchema ProposalProcedure referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: ProposalProcedure -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy ProposalProcedure -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ProposalProcedure = D1 ('MetaData "ProposalProcedure" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "ProposalProcedure" 'PrefixI 'True) (S1 ('MetaSel ('Just "ppDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lovelace) :*: (S1 ('MetaSel ('Just "ppReturnAddr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :*: S1 ('MetaSel ('Just "ppGovernanceAction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GovernanceAction))))

type Unroll ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll ProposalProcedure = Insert ProposalProcedure (GUnroll (IfStuckRep (RepIsStuckError ProposalProcedure :: Type -> Type) (Rep ProposalProcedure)))

data ScriptPurpose Source #

A ScriptPurpose uniquely identifies a Plutus script within a transaction.

Constructors

Minting CurrencySymbol
Spending TxOutRef
Rewarding Credential
Certifying
Fields Integer 0-based index of the given `TxCert` in `txInfoTxCerts` TxCert
Voting Voter
Proposing
Fields Integer 0-based index of the given `ProposalProcedure` in `txInfoProposalProcedures` ProposalProcedure

Instances

Instances details

Generic ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep ScriptPurpose

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

from :: ScriptPurpose -> Rep ScriptPurpose x Source #

to :: Rep ScriptPurpose x -> ScriptPurpose Source #

Show ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> ScriptPurpose -> ShowS Source #

show :: ScriptPurpose -> String Source #

showList :: [ScriptPurpose] -> ShowS Source #

Eq ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: ScriptPurpose -> ScriptPurpose -> Bool Source #

(/=) :: ScriptPurpose -> ScriptPurpose -> Bool Source #

Ord ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compare :: ScriptPurpose -> ScriptPurpose -> Ordering Source #

(<) :: ScriptPurpose -> ScriptPurpose -> Bool Source #

(<=) :: ScriptPurpose -> ScriptPurpose -> Bool Source #

(>) :: ScriptPurpose -> ScriptPurpose -> Bool Source #

(>=) :: ScriptPurpose -> ScriptPurpose -> Bool Source #

max :: ScriptPurpose -> ScriptPurpose -> ScriptPurpose Source #

min :: ScriptPurpose -> ScriptPurpose -> ScriptPurpose Source #

HasBlueprintDefinition ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll ScriptPurpose
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll ScriptPurpose = Insert ScriptPurpose (GUnroll (IfStuckRep (RepIsStuckError ScriptPurpose :: Type -> Type) (Rep ScriptPurpose)))

Methods

definitionId :: DefinitionId

FromData ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptPurpose #

ToData ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: ScriptPurpose -> BuiltinData #

UnsafeFromData ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptPurpose #

Pretty ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: ScriptPurpose -> Doc ann

prettyList :: [ScriptPurpose] -> Doc ann

(HasSchemaDefinition CurrencySymbol referencedTypes, HasSchemaDefinition TxOutRef referencedTypes, HasSchemaDefinition Credential referencedTypes, HasSchemaDefinition Integer referencedTypes, HasSchemaDefinition TxCert referencedTypes, HasSchemaDefinition Voter referencedTypes, HasSchemaDefinition ProposalProcedure referencedTypes) => HasBlueprintSchema ScriptPurpose referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: ScriptPurpose -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy ScriptPurpose -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll ScriptPurpose = Insert ScriptPurpose (GUnroll (IfStuckRep (RepIsStuckError ScriptPurpose :: Type -> Type) (Rep ScriptPurpose)))

data ScriptInfo Source #

Like ScriptPurpose but with an optional datum for spending scripts.

Constructors

MintingScript CurrencySymbol
SpendingScript TxOutRef (Maybe Datum)
RewardingScript Credential
CertifyingScript
Fields Integer 0-based index of the given `TxCert` in `txInfoTxCerts` TxCert
VotingScript Voter
ProposingScript
Fields Integer 0-based index of the given `ProposalProcedure` in `txInfoProposalProcedures` ProposalProcedure

Instances

Instances details

Generic ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep ScriptInfo

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

from :: ScriptInfo -> Rep ScriptInfo x Source #

to :: Rep ScriptInfo x -> ScriptInfo Source #

Show ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> ScriptInfo -> ShowS Source #

show :: ScriptInfo -> String Source #

showList :: [ScriptInfo] -> ShowS Source #

Eq ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: ScriptInfo -> ScriptInfo -> Bool Source #

(/=) :: ScriptInfo -> ScriptInfo -> Bool Source #

HasBlueprintDefinition ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll ScriptInfo
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll ScriptInfo = Insert ScriptInfo (GUnroll (IfStuckRep (RepIsStuckError ScriptInfo :: Type -> Type) (Rep ScriptInfo)))

Methods

definitionId :: DefinitionId

FromData ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptInfo #

ToData ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: ScriptInfo -> BuiltinData #

UnsafeFromData ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptInfo #

Pretty ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: ScriptInfo -> Doc ann

prettyList :: [ScriptInfo] -> Doc ann

(HasSchemaDefinition CurrencySymbol referencedTypes, HasSchemaDefinition TxOutRef referencedTypes, HasSchemaDefinition (Maybe Datum) referencedTypes, HasSchemaDefinition Credential referencedTypes, HasSchemaDefinition Integer referencedTypes, HasSchemaDefinition TxCert referencedTypes, HasSchemaDefinition Voter referencedTypes, HasSchemaDefinition ProposalProcedure referencedTypes) => HasBlueprintSchema ScriptInfo referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: ScriptInfo -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy ScriptInfo -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll ScriptInfo = Insert ScriptInfo (GUnroll (IfStuckRep (RepIsStuckError ScriptInfo :: Type -> Type) (Rep ScriptInfo)))

data TxInInfo Source #

An input of a pending transaction.

Constructors

TxInInfo
Fields txInInfoOutRef :: TxOutRef txInInfoResolved :: TxOut

Instances

Instances details

Generic TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep TxInInfo

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep TxInInfo = D1 ('MetaData "TxInInfo" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "TxInInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "txInInfoOutRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef) :*: S1 ('MetaSel ('Just "txInInfoResolved") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOut)))

Methods

from :: TxInInfo -> Rep TxInInfo x Source #

to :: Rep TxInInfo x -> TxInInfo Source #

Show TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> TxInInfo -> ShowS Source #

show :: TxInInfo -> String Source #

showList :: [TxInInfo] -> ShowS Source #

Eq TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: TxInInfo -> TxInInfo -> Bool Source #

(/=) :: TxInInfo -> TxInInfo -> Bool Source #

HasBlueprintDefinition TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll TxInInfo
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll TxInInfo = Insert TxInInfo (GUnroll (IfStuckRep (RepIsStuckError TxInInfo :: Type -> Type) (Rep TxInInfo)))

Methods

definitionId :: DefinitionId

Eq TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: TxInInfo -> TxInInfo -> Bool

FromData TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInInfo #

ToData TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: TxInInfo -> BuiltinData #

UnsafeFromData TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInInfo #

Pretty TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: TxInInfo -> Doc ann

prettyList :: [TxInInfo] -> Doc ann

(HasSchemaDefinition TxOutRef referencedTypes, HasSchemaDefinition TxOut referencedTypes) => HasBlueprintSchema TxInInfo referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: TxInInfo -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy TxInInfo -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep TxInInfo = D1 ('MetaData "TxInInfo" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "TxInInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "txInInfoOutRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef) :*: S1 ('MetaSel ('Just "txInInfoResolved") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOut)))

type Unroll TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll TxInInfo = Insert TxInInfo (GUnroll (IfStuckRep (RepIsStuckError TxInInfo :: Type -> Type) (Rep TxInInfo)))

data TxInfo Source #

TxInfo for PlutusV3

Constructors

TxInfo

Fields

txInfoInputs :: [TxInInfo]
txInfoReferenceInputs :: [TxInInfo]
txInfoOutputs :: [TxOut]
txInfoFee :: Lovelace
txInfoMint :: MintValue
The Value minted by this transaction.
Invariant: This field does not contain Ada with zero quantity, unlike their namesakes in Plutus V1 and V2's ScriptContexts.
txInfoTxCerts :: [TxCert]
txInfoWdrl :: Map Credential Lovelace
txInfoValidRange :: POSIXTimeRange
txInfoSignatories :: [PubKeyHash]
txInfoRedeemers :: Map ScriptPurpose Redeemer
txInfoData :: Map DatumHash Datum
txInfoId :: TxId
txInfoVotes :: Map Voter (Map GovernanceActionId Vote)
txInfoProposalProcedures :: [ProposalProcedure]
txInfoCurrentTreasuryAmount :: Maybe Lovelace
txInfoTreasuryDonation :: Maybe Lovelace

Instances

Instances details

Generic TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep TxInfo

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

from :: TxInfo -> Rep TxInfo x Source #

to :: Rep TxInfo x -> TxInfo Source #

Show TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> TxInfo -> ShowS Source #

show :: TxInfo -> String Source #

showList :: [TxInfo] -> ShowS Source #

Eq TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: TxInfo -> TxInfo -> Bool Source #

(/=) :: TxInfo -> TxInfo -> Bool Source #

HasBlueprintDefinition TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll TxInfo
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll TxInfo = Insert TxInfo (GUnroll (IfStuckRep (RepIsStuckError TxInfo :: Type -> Type) (Rep TxInfo)))

Methods

definitionId :: DefinitionId

FromData TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInfo #

ToData TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: TxInfo -> BuiltinData #

UnsafeFromData TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInfo #

Pretty TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: TxInfo -> Doc ann

prettyList :: [TxInfo] -> Doc ann

(HasSchemaDefinition [TxInInfo] referencedTypes, HasSchemaDefinition [TxOut] referencedTypes, HasSchemaDefinition Lovelace referencedTypes, HasSchemaDefinition MintValue referencedTypes, HasSchemaDefinition [TxCert] referencedTypes, HasSchemaDefinition (Map Credential Lovelace) referencedTypes, HasSchemaDefinition POSIXTimeRange referencedTypes, HasSchemaDefinition [PubKeyHash] referencedTypes, HasSchemaDefinition (Map ScriptPurpose Redeemer) referencedTypes, HasSchemaDefinition (Map DatumHash Datum) referencedTypes, HasSchemaDefinition TxId referencedTypes, HasSchemaDefinition (Map Voter (Map GovernanceActionId Vote)) referencedTypes, HasSchemaDefinition [ProposalProcedure] referencedTypes, HasSchemaDefinition (Maybe Lovelace) referencedTypes) => HasBlueprintSchema TxInfo referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: TxInfo -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy TxInfo -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll TxInfo = Insert TxInfo (GUnroll (IfStuckRep (RepIsStuckError TxInfo :: Type -> Type) (Rep TxInfo)))

data ScriptContext Source #

The context that the currently-executing script can access.

Constructors

ScriptContext
Fields scriptContextTxInfo :: TxInfo information about the transaction the currently-executing script is included in scriptContextRedeemer :: Redeemer Redeemer for the currently-executing script scriptContextScriptInfo :: ScriptInfo the purpose of the currently-executing script, along with information associated with the purpose

Instances

Instances details

Generic ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep ScriptContext

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ScriptContext = D1 ('MetaData "ScriptContext" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "ScriptContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "scriptContextTxInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo) :*: (S1 ('MetaSel ('Just "scriptContextRedeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Redeemer) :*: S1 ('MetaSel ('Just "scriptContextScriptInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptInfo))))

Methods

from :: ScriptContext -> Rep ScriptContext x Source #

to :: Rep ScriptContext x -> ScriptContext Source #

Show ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

showsPrec :: Int -> ScriptContext -> ShowS Source #

show :: ScriptContext -> String Source #

showList :: [ScriptContext] -> ShowS Source #

Eq ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==) :: ScriptContext -> ScriptContext -> Bool Source #

(/=) :: ScriptContext -> ScriptContext -> Bool Source #

HasBlueprintDefinition ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Unroll ScriptContext
Instance details Defined in PlutusLedgerApi.V3.Contexts type Unroll ScriptContext = Insert ScriptContext (GUnroll (IfStuckRep (RepIsStuckError ScriptContext :: Type -> Type) (Rep ScriptContext)))

Methods

definitionId :: DefinitionId

FromData ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptContext #

ToData ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: ScriptContext -> BuiltinData #

UnsafeFromData ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptContext #

Pretty ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: ScriptContext -> Doc ann

prettyList :: [ScriptContext] -> Doc ann

(HasSchemaDefinition TxInfo referencedTypes, HasSchemaDefinition Redeemer referencedTypes, HasSchemaDefinition ScriptInfo referencedTypes) => HasBlueprintSchema ScriptContext referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

schema :: Schema referencedTypes

Lift DefaultUni ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

lift :: ScriptContext -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

typeRep :: Proxy ScriptContext -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ScriptContext = D1 ('MetaData "ScriptContext" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "ScriptContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "scriptContextTxInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo) :*: (S1 ('MetaSel ('Just "scriptContextRedeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Redeemer) :*: S1 ('MetaSel ('Just "scriptContextScriptInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptInfo))))

type Unroll ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Unroll ScriptContext = Insert ScriptContext (GUnroll (IfStuckRep (RepIsStuckError ScriptContext :: Type -> Type) (Rep ScriptContext)))

findOwnInput :: ScriptContext -> Maybe TxInInfo Source #

Find the input currently being validated.

findDatum :: DatumHash -> TxInfo -> Maybe Datum Source #

Find the data corresponding to a data hash, if there is one

findDatumHash :: Datum -> TxInfo -> Maybe DatumHash Source #

Find the hash of a datum, if it is part of the pending transaction's hashes

findTxInByTxOutRef :: TxOutRef -> TxInfo -> Maybe TxInInfo Source #

Given a UTXO reference and a transaction (TxInfo), resolve it to one of the transaction's inputs (TxInInfo).

Note: this only searches the true transaction inputs and not the referenced transaction inputs.

findContinuingOutputs :: ScriptContext -> [Integer] Source #

Find the indices of all the outputs that pay to the same script address we are currently spending from, if any.

getContinuingOutputs :: ScriptContext -> [TxOut] Source #

Get all the outputs that pay to the same script address we are currently spending from, if any.

txSignedBy :: TxInfo -> PubKeyHash -> Bool Source #

Check if a transaction was signed by the given public key.

Validator functions

pubKeyOutputsAt :: PubKeyHash -> TxInfo -> [Value] Source #

Get the values paid to a public key address by a pending transaction.

valuePaidTo :: TxInfo -> PubKeyHash -> Value Source #

Get the total value paid to a public key address by a pending transaction.

valueSpent :: TxInfo -> Value Source #

Get the total value of inputs spent by this transaction.

valueProduced :: TxInfo -> Value Source #

Get the total value of outputs produced by this transaction.

ownCurrencySymbol :: ScriptContext -> CurrencySymbol Source #

The CurrencySymbol of the current validator script.

spendsOutput :: TxInfo -> TxId -> Integer -> Bool Source #

Check if the pending transaction spends a specific transaction output (identified by the hash of a transaction and an index into that transactions' outputs)