Safe Haskell	Safe-Inferred
Language	Haskell2010

Plutarch.LedgerApi.V3.Contexts

Synopsis

newtype PColdCommitteeCredential (s :: S) = PColdCommitteeCredential (Term s PCredential)
newtype PHotCommitteeCredential (s :: S) = PHotCommitteeCredential (Term s PCredential)
newtype PDRepCredential (s :: S) = PDRepCredential (Term s PCredential)
data PDRep (s :: S)
- = PDRep (Term s (PAsData PDRepCredential))
- | PDRepAlwaysAbstain
- | PDRepAlwaysNoConfidence
data PDelegatee (s :: S)
- = PDelegStake (Term s (PAsData PPubKeyHash))
- | PDelegVote (Term s PDRep)
- | PDelegStakeVote (Term s (PAsData PPubKeyHash)) (Term s PDRep)
data PTxCert (s :: S)
- = PTxCertRegStaking (Term s PCredential) (Term s (PMaybeData PLovelace))
- | PTxCertUnRegStaking (Term s PCredential) (Term s (PMaybeData PLovelace))
- | PTxCertDelegStaking (Term s PCredential) (Term s PDelegatee)
- | PTxCertRegDeleg (Term s PCredential) (Term s PDelegatee) (Term s (PAsData PLovelace))
- | PTxCertRegDRep (Term s PDRepCredential) (Term s (PAsData PLovelace))
- | PTxCertUpdateDRep (Term s PDRepCredential)
- | PTxCertUnRegDRep (Term s PDRepCredential) (Term s (PAsData PLovelace))
- | PTxCertPoolRegister (Term s (PAsData PPubKeyHash)) (Term s (PAsData PPubKeyHash))
- | PTxCertPoolRetire (Term s (PAsData PPubKeyHash)) (Term s (PAsData PInteger))
- | PTxCertAuthHotCommittee (Term s PColdCommitteeCredential) (Term s PHotCommitteeCredential)
- | PTxCertResignColdCommittee (Term s PColdCommitteeCredential)
data PVoter (s :: S)
- = PCommitteeVoter (Term s PHotCommitteeCredential)
- | PDRepVoter (Term s PDRepCredential)
- | PStakePoolVoter (Term s (PAsData PPubKeyHash))
data PVote (s :: S)
- = PVoteYes
- | PVoteNo
- | PAbstain
data PGovernanceActionId (s :: S) = PGovernanceActionId (Term s (PAsData PTxId)) (Term s (PAsData PInteger))
data PCommittee (s :: S) = PCommittee {
- pcommittee'members :: Term s (PAsData (PUnsortedMap PColdCommitteeCredential PInteger))
- pcommittee'quorum :: Term s PRationalData
}
newtype PConstitution (s :: S) = PConstitution (Term s (PMaybeData PScriptHash))
data PProtocolVersion (s :: S) = PProtocolVersion {
- pprotocolVersion'major :: Term s (PAsData PInteger)
- pprotocolVersion'minor :: Term s (PAsData PInteger)
}
newtype PChangedParameters (s :: S) = PChangedParameters (Term s PData)
data PGovernanceAction (s :: S)
- = PParameterChange (Term s (PMaybeData PGovernanceActionId)) (Term s PChangedParameters) (Term s (PMaybeData PScriptHash))
- | PHardForkInitiation (Term s (PMaybeData PGovernanceActionId)) (Term s PProtocolVersion)
- | PTreasuryWithdrawals (Term s (PAsData (PUnsortedMap PCredential PLovelace))) (Term s (PMaybeData PScriptHash))
- | PNoConfidence (Term s (PMaybeData PGovernanceActionId))
- | PUpdateCommittee (Term s (PMaybeData PGovernanceActionId)) (Term s (PAsData (PBuiltinList (PAsData PColdCommitteeCredential)))) (Term s (PAsData (PUnsortedMap PColdCommitteeCredential PInteger))) (Term s PRationalData)
- | PNewConstitution (Term s (PMaybeData PGovernanceActionId)) (Term s PConstitution)
- | PInfoAction
data PProposalProcedure (s :: S) = PProposalProcedure {
- pproposalProcedure'deposit :: Term s (PAsData PLovelace)
- pproposalProcedure'returnAddr :: Term s PCredential
- pproposalProcedure'governanceAction :: Term s PGovernanceAction
}
data PScriptPurpose (s :: S)
- = PMinting (Term s (PAsData PCurrencySymbol))
- | PSpending (Term s PTxOutRef)
- | PRewarding (Term s PCredential)
- | PCertifying (Term s (PAsData PInteger)) (Term s PTxCert)
- | PVoting (Term s PVoter)
- | PProposing (Term s (PAsData PInteger)) (Term s PProposalProcedure)
data PScriptInfo (s :: S)
- = PMintingScript (Term s (PAsData PCurrencySymbol))
- | PSpendingScript (Term s PTxOutRef) (Term s (PMaybeData PDatum))
- | PRewardingScript (Term s PCredential)
- | PCertifyingScript (Term s (PAsData PInteger)) (Term s PTxCert)
- | PVotingScript (Term s PVoter)
- | PProposingScript (Term s (PAsData PInteger)) (Term s PProposalProcedure)
data PTxInInfo (s :: S) = PTxInInfo {
- ptxInInfo'outRef :: Term s PTxOutRef
- ptxInInfo'resolved :: Term s PTxOut
}
data PTxInfo (s :: S) = PTxInfo {
- ptxInfo'inputs :: Term s (PAsData (PBuiltinList (PAsData PTxInInfo)))
- ptxInfo'referenceInputs :: Term s (PAsData (PBuiltinList (PAsData PTxInInfo)))
- ptxInfo'outputs :: Term s (PAsData (PBuiltinList (PAsData PTxOut)))
- ptxInfo'fee :: Term s (PAsData PLovelace)
- ptxInfo'mint :: Term s (PAsData PMintValue)
- ptxInfo'txCerts :: Term s (PAsData (PBuiltinList (PAsData PTxCert)))
- ptxInfo'wdrl :: Term s (PAsData (PUnsortedMap PCredential PLovelace))
- ptxInfo'validRange :: Term s (PInterval PPosixTime)
- ptxInfo'signatories :: Term s (PAsData (PBuiltinList (PAsData PPubKeyHash)))
- ptxInfo'redeemers :: Term s (PAsData (PUnsortedMap PScriptPurpose PRedeemer))
- ptxInfo'data :: Term s (PAsData (PUnsortedMap PDatumHash PDatum))
- ptxInfo'id :: Term s (PAsData PTxId)
- ptxInfo'votes :: Term s (PAsData (PUnsortedMap PVoter (PUnsortedMap PGovernanceActionId PVote)))
- ptxInfo'proposalProcedures :: Term s (PAsData (PBuiltinList (PAsData PProposalProcedure)))
- ptxInfo'currentTreasuryAmount :: Term s (PMaybeData PLovelace)
- ptxInfo'treasuryDonation :: Term s (PMaybeData PLovelace)
}
data PScriptContext (s :: S) = PScriptContext {
- pscriptContext'txInfo :: Term s PTxInfo
- pscriptContext'redeemer :: Term s PRedeemer
- pscriptContext'scriptInfo :: Term s PScriptInfo
}
pfindOwnInput :: forall (s :: S). Term s (PScriptContext :--> PMaybe PTxInInfo)
pfindDatum :: forall (s :: S). Term s (PDatumHash :--> (PTxInfo :--> PMaybe PDatum))
pfindDatumHash :: forall (s :: S). Term s (PDatum :--> (PTxInfo :--> PMaybe PDatumHash))
pparseDatum :: forall (a :: S -> Type) (s :: S). PTryFrom PData (PAsData a) => Term s (PDatumHash :--> (PUnsortedMap PDatumHash PDatum :--> PMaybe (PAsData a)))
pfindTxInByTxOutRef :: forall (s :: S). Term s (PTxOutRef :--> (PTxInfo :--> PMaybe PTxInInfo))
pfindContinuingOutputs :: forall (s :: S). Term s (PScriptContext :--> PBuiltinList PInteger)
pgetContinuingOutputs :: forall (s :: S). Term s (PScriptContext :--> PBuiltinList (PAsData PTxOut))
ptxSignedBy :: forall (s :: S). Term s (PTxInfo :--> (PPubKeyHash :--> PBool))
ppubKeyOutputsAt :: forall (s :: S). Term s (PPubKeyHash :--> (PTxInfo :--> PBuiltinList (PAsData PLedgerValue)))
pvaluePaidTo :: forall (s :: S). Term s (PTxInfo :--> (PPubKeyHash :--> PLedgerValue))
pvalueSpent :: forall (s :: S). Term s (PTxInfo :--> PLedgerValue)
pvalueProduced :: forall (s :: S). Term s (PTxInfo :--> PLedgerValue)
pownCurrencySymbol :: forall (s :: S). Term s (PScriptContext :--> PMaybe PCurrencySymbol)
pspendsOutput :: forall (s :: S). Term s (PTxInfo :--> (PTxId :--> (PInteger :--> PBool)))

Documentation

newtype PColdCommitteeCredential (s :: S) Source #

Since: 3.1.0

Constructors

PColdCommitteeCredential (Term s PCredential)

Instances

Instances details

PEq PColdCommitteeCredential Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PColdCommitteeCredential -> Term s PColdCommitteeCredential -> Term s PBool
PIsData PColdCommitteeCredential Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PColdCommitteeCredential) -> Term s PColdCommitteeCredential pdataImpl :: forall (s :: S). Term s PColdCommitteeCredential -> Term s PData
PLiftable PColdCommitteeCredential Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PColdCommitteeCredential type PlutusRepr PColdCommitteeCredential Methods haskToRepr :: AsHaskell PColdCommitteeCredential -> PlutusRepr PColdCommitteeCredential reprToHask :: PlutusRepr PColdCommitteeCredential -> Either LiftError (AsHaskell PColdCommitteeCredential) reprToPlut :: forall (s :: S). PlutusRepr PColdCommitteeCredential -> PLifted s PColdCommitteeCredential plutToRepr :: (forall (s :: S). PLifted s PColdCommitteeCredential) -> Either LiftError (PlutusRepr PColdCommitteeCredential)
PValidateData PColdCommitteeCredential Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PColdCommitteeCredential Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PColdCommitteeCredential :: S -> Type Methods pcon' :: forall (s :: S). PColdCommitteeCredential s -> Term s (PInner PColdCommitteeCredential) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PColdCommitteeCredential) -> (PColdCommitteeCredential s -> Term s b) -> Term s b
PShow PColdCommitteeCredential Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PColdCommitteeCredential -> Term s PString
PTryFrom PData (PAsData PColdCommitteeCredential) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PColdCommitteeCredential) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PColdCommitteeCredential), Reduce (PTryFromExcess PData (PAsData PColdCommitteeCredential) s)) -> Term s r) -> Term s r
Generic (PColdCommitteeCredential s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PColdCommitteeCredential s) :: Type -> Type Source # Methods from :: PColdCommitteeCredential s -> Rep (PColdCommitteeCredential s) x Source # to :: Rep (PColdCommitteeCredential s) x -> PColdCommitteeCredential s Source #
Generic (PColdCommitteeCredential s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PColdCommitteeCredential s) :: [[Type]] Methods from :: PColdCommitteeCredential s -> Rep (PColdCommitteeCredential s) to :: Rep (PColdCommitteeCredential s) -> PColdCommitteeCredential s
type AsHaskell PColdCommitteeCredential Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PColdCommitteeCredential = AsHaskell (DeriveDataPLiftable PColdCommitteeCredential ColdCommitteeCredential)
type PlutusRepr PColdCommitteeCredential Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PColdCommitteeCredential = PlutusRepr (DeriveDataPLiftable PColdCommitteeCredential ColdCommitteeCredential)
type PInner PColdCommitteeCredential Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PColdCommitteeCredential = PInner (DeriveNewtypePlutusType PColdCommitteeCredential)
type PTryFromExcess PData (PAsData PColdCommitteeCredential) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PColdCommitteeCredential) = PTryFromExcess PData (PInner (PAsData PColdCommitteeCredential))
type Rep (PColdCommitteeCredential s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PColdCommitteeCredential s) = D1 ('MetaData "PColdCommitteeCredential" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'True) (C1 ('MetaCons "PColdCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))
type Code (PColdCommitteeCredential s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PColdCommitteeCredential s) = GCode (PColdCommitteeCredential s)

newtype PHotCommitteeCredential (s :: S) Source #

Since: 3.1.0

Constructors

PHotCommitteeCredential (Term s PCredential)

Instances

Instances details

PEq PHotCommitteeCredential Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PHotCommitteeCredential -> Term s PHotCommitteeCredential -> Term s PBool
PIsData PHotCommitteeCredential Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PHotCommitteeCredential) -> Term s PHotCommitteeCredential pdataImpl :: forall (s :: S). Term s PHotCommitteeCredential -> Term s PData
PLiftable PHotCommitteeCredential Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PHotCommitteeCredential type PlutusRepr PHotCommitteeCredential Methods haskToRepr :: AsHaskell PHotCommitteeCredential -> PlutusRepr PHotCommitteeCredential reprToHask :: PlutusRepr PHotCommitteeCredential -> Either LiftError (AsHaskell PHotCommitteeCredential) reprToPlut :: forall (s :: S). PlutusRepr PHotCommitteeCredential -> PLifted s PHotCommitteeCredential plutToRepr :: (forall (s :: S). PLifted s PHotCommitteeCredential) -> Either LiftError (PlutusRepr PHotCommitteeCredential)
PValidateData PHotCommitteeCredential Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PHotCommitteeCredential Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PHotCommitteeCredential :: S -> Type Methods pcon' :: forall (s :: S). PHotCommitteeCredential s -> Term s (PInner PHotCommitteeCredential) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PHotCommitteeCredential) -> (PHotCommitteeCredential s -> Term s b) -> Term s b
PShow PHotCommitteeCredential Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PHotCommitteeCredential -> Term s PString
PTryFrom PData (PAsData PHotCommitteeCredential) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PHotCommitteeCredential) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PHotCommitteeCredential), Reduce (PTryFromExcess PData (PAsData PHotCommitteeCredential) s)) -> Term s r) -> Term s r
Generic (PHotCommitteeCredential s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PHotCommitteeCredential s) :: Type -> Type Source # Methods from :: PHotCommitteeCredential s -> Rep (PHotCommitteeCredential s) x Source # to :: Rep (PHotCommitteeCredential s) x -> PHotCommitteeCredential s Source #
Generic (PHotCommitteeCredential s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PHotCommitteeCredential s) :: [[Type]] Methods from :: PHotCommitteeCredential s -> Rep (PHotCommitteeCredential s) to :: Rep (PHotCommitteeCredential s) -> PHotCommitteeCredential s
type AsHaskell PHotCommitteeCredential Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PHotCommitteeCredential = AsHaskell (DeriveDataPLiftable PHotCommitteeCredential HotCommitteeCredential)
type PlutusRepr PHotCommitteeCredential Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PHotCommitteeCredential = PlutusRepr (DeriveDataPLiftable PHotCommitteeCredential HotCommitteeCredential)
type PInner PHotCommitteeCredential Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PHotCommitteeCredential = PInner (DeriveNewtypePlutusType PHotCommitteeCredential)
type PTryFromExcess PData (PAsData PHotCommitteeCredential) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PHotCommitteeCredential) = PTryFromExcess PData (PInner (PAsData PHotCommitteeCredential))
type Rep (PHotCommitteeCredential s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PHotCommitteeCredential s) = D1 ('MetaData "PHotCommitteeCredential" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'True) (C1 ('MetaCons "PHotCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))
type Code (PHotCommitteeCredential s) Source #	@since
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PHotCommitteeCredential s) = GCode (PHotCommitteeCredential s)

newtype PDRepCredential (s :: S) Source #

Since: 3.1.0

Constructors

PDRepCredential (Term s PCredential)

Instances

Instances details

PEq PDRepCredential Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PDRepCredential -> Term s PDRepCredential -> Term s PBool
PIsData PDRepCredential Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PDRepCredential) -> Term s PDRepCredential pdataImpl :: forall (s :: S). Term s PDRepCredential -> Term s PData
PLiftable PDRepCredential Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PDRepCredential type PlutusRepr PDRepCredential Methods haskToRepr :: AsHaskell PDRepCredential -> PlutusRepr PDRepCredential reprToHask :: PlutusRepr PDRepCredential -> Either LiftError (AsHaskell PDRepCredential) reprToPlut :: forall (s :: S). PlutusRepr PDRepCredential -> PLifted s PDRepCredential plutToRepr :: (forall (s :: S). PLifted s PDRepCredential) -> Either LiftError (PlutusRepr PDRepCredential)
PValidateData PDRepCredential Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PDRepCredential Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PDRepCredential :: S -> Type Methods pcon' :: forall (s :: S). PDRepCredential s -> Term s (PInner PDRepCredential) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PDRepCredential) -> (PDRepCredential s -> Term s b) -> Term s b
PShow PDRepCredential Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PDRepCredential -> Term s PString
PTryFrom PData (PAsData PDRepCredential) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PDRepCredential) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PDRepCredential), Reduce (PTryFromExcess PData (PAsData PDRepCredential) s)) -> Term s r) -> Term s r
Generic (PDRepCredential s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PDRepCredential s) :: Type -> Type Source # Methods from :: PDRepCredential s -> Rep (PDRepCredential s) x Source # to :: Rep (PDRepCredential s) x -> PDRepCredential s Source #
Generic (PDRepCredential s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PDRepCredential s) :: [[Type]] Methods from :: PDRepCredential s -> Rep (PDRepCredential s) to :: Rep (PDRepCredential s) -> PDRepCredential s
type AsHaskell PDRepCredential Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PDRepCredential = AsHaskell (DeriveDataPLiftable PDRepCredential DRepCredential)
type PlutusRepr PDRepCredential Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PDRepCredential = PlutusRepr (DeriveDataPLiftable PDRepCredential DRepCredential)
type PInner PDRepCredential Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PDRepCredential = PInner (DeriveNewtypePlutusType PDRepCredential)
type PTryFromExcess PData (PAsData PDRepCredential) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PDRepCredential) = PTryFromExcess PData (PInner (PAsData PDRepCredential))
type Rep (PDRepCredential s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PDRepCredential s) = D1 ('MetaData "PDRepCredential" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'True) (C1 ('MetaCons "PDRepCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))
type Code (PDRepCredential s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PDRepCredential s) = GCode (PDRepCredential s)

data PDRep (s :: S) Source #

Since: 3.1.0

Constructors

PDRep (Term s (PAsData PDRepCredential))
PDRepAlwaysAbstain
PDRepAlwaysNoConfidence

Instances

Instances details

PEq PDRep Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PDRep -> Term s PDRep -> Term s PBool
PIsData PDRep Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PDRep) -> Term s PDRep pdataImpl :: forall (s :: S). Term s PDRep -> Term s PData
PLiftable PDRep Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PDRep type PlutusRepr PDRep Methods haskToRepr :: AsHaskell PDRep -> PlutusRepr PDRep reprToHask :: PlutusRepr PDRep -> Either LiftError (AsHaskell PDRep) reprToPlut :: forall (s :: S). PlutusRepr PDRep -> PLifted s PDRep plutToRepr :: (forall (s :: S). PLifted s PDRep) -> Either LiftError (PlutusRepr PDRep)
PValidateData PDRep Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PDRep Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PDRep :: S -> Type Methods pcon' :: forall (s :: S). PDRep s -> Term s (PInner PDRep) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PDRep) -> (PDRep s -> Term s b) -> Term s b
PShow PDRep Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PDRep -> Term s PString
PTryFrom PData (PAsData PDRep) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PDRep) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PDRep), Reduce (PTryFromExcess PData (PAsData PDRep) s)) -> Term s r) -> Term s r
Generic (PDRep s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PDRep s) :: Type -> Type Source # Methods from :: PDRep s -> Rep (PDRep s) x Source # to :: Rep (PDRep s) x -> PDRep s Source #
Generic (PDRep s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PDRep s) :: [[Type]] Methods from :: PDRep s -> Rep (PDRep s) to :: Rep (PDRep s) -> PDRep s
type AsHaskell PDRep Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PDRep = AsHaskell (DeriveDataPLiftable PDRep DRep)
type PlutusRepr PDRep Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PDRep = PlutusRepr (DeriveDataPLiftable PDRep DRep)
type PInner PDRep Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PDRep = PInner (DeriveAsDataStruct PDRep)
type PTryFromExcess PData (PAsData PDRep) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PDRep) = PTryFromExcess PData (PInner (PAsData PDRep))
type Rep (PDRep s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PDRep s) = D1 ('MetaData "PDRep" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'False) (C1 ('MetaCons "PDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PDRepCredential)))) :+: (C1 ('MetaCons "PDRepAlwaysAbstain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PDRepAlwaysNoConfidence" 'PrefixI 'False) (U1 :: Type -> Type)))
type Code (PDRep s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PDRep s) = GCode (PDRep s)

data PDelegatee (s :: S) Source #

Since: 3.1.0

Constructors

PDelegStake (Term s (PAsData PPubKeyHash))
PDelegVote (Term s PDRep)
PDelegStakeVote (Term s (PAsData PPubKeyHash)) (Term s PDRep)

Instances

Instances details

PEq PDelegatee Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PDelegatee -> Term s PDelegatee -> Term s PBool
PIsData PDelegatee Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PDelegatee) -> Term s PDelegatee pdataImpl :: forall (s :: S). Term s PDelegatee -> Term s PData
PLiftable PDelegatee Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PDelegatee type PlutusRepr PDelegatee Methods haskToRepr :: AsHaskell PDelegatee -> PlutusRepr PDelegatee reprToHask :: PlutusRepr PDelegatee -> Either LiftError (AsHaskell PDelegatee) reprToPlut :: forall (s :: S). PlutusRepr PDelegatee -> PLifted s PDelegatee plutToRepr :: (forall (s :: S). PLifted s PDelegatee) -> Either LiftError (PlutusRepr PDelegatee)
PValidateData PDelegatee Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PDelegatee Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PDelegatee :: S -> Type Methods pcon' :: forall (s :: S). PDelegatee s -> Term s (PInner PDelegatee) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PDelegatee) -> (PDelegatee s -> Term s b) -> Term s b
PShow PDelegatee Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PDelegatee -> Term s PString
PTryFrom PData (PAsData PDelegatee) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PDelegatee) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PDelegatee), Reduce (PTryFromExcess PData (PAsData PDelegatee) s)) -> Term s r) -> Term s r
Generic (PDelegatee s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PDelegatee s) :: Type -> Type Source # Methods from :: PDelegatee s -> Rep (PDelegatee s) x Source # to :: Rep (PDelegatee s) x -> PDelegatee s Source #
Generic (PDelegatee s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PDelegatee s) :: [[Type]] Methods from :: PDelegatee s -> Rep (PDelegatee s) to :: Rep (PDelegatee s) -> PDelegatee s
type AsHaskell PDelegatee Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PDelegatee = AsHaskell (DeriveDataPLiftable PDelegatee Delegatee)
type PlutusRepr PDelegatee Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PDelegatee = PlutusRepr (DeriveDataPLiftable PDelegatee Delegatee)
type PInner PDelegatee Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PDelegatee = PInner (DeriveAsDataStruct PDelegatee)
type PTryFromExcess PData (PAsData PDelegatee) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PDelegatee) = PTryFromExcess PData (PInner (PAsData PDelegatee))
type Rep (PDelegatee s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PDelegatee s) = D1 ('MetaData "PDelegatee" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'False) (C1 ('MetaCons "PDelegStake" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash)))) :+: (C1 ('MetaCons "PDelegVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRep))) :+: C1 ('MetaCons "PDelegStakeVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRep)))))
type Code (PDelegatee s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PDelegatee s) = GCode (PDelegatee s)

data PTxCert (s :: S) Source #

Since: 3.1.0

Constructors

PTxCertRegStaking (Term s PCredential) (Term s (PMaybeData PLovelace))
PTxCertUnRegStaking (Term s PCredential) (Term s (PMaybeData PLovelace))
PTxCertDelegStaking (Term s PCredential) (Term s PDelegatee)
PTxCertRegDeleg (Term s PCredential) (Term s PDelegatee) (Term s (PAsData PLovelace))
PTxCertRegDRep (Term s PDRepCredential) (Term s (PAsData PLovelace))
PTxCertUpdateDRep (Term s PDRepCredential)
PTxCertUnRegDRep (Term s PDRepCredential) (Term s (PAsData PLovelace))
PTxCertPoolRegister (Term s (PAsData PPubKeyHash)) (Term s (PAsData PPubKeyHash))
PTxCertPoolRetire (Term s (PAsData PPubKeyHash)) (Term s (PAsData PInteger))
PTxCertAuthHotCommittee (Term s PColdCommitteeCredential) (Term s PHotCommitteeCredential)
PTxCertResignColdCommittee (Term s PColdCommitteeCredential)

Instances

Instances details

PEq PTxCert Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PTxCert -> Term s PTxCert -> Term s PBool
PIsData PTxCert Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxCert) -> Term s PTxCert pdataImpl :: forall (s :: S). Term s PTxCert -> Term s PData
PLiftable PTxCert Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PTxCert type PlutusRepr PTxCert Methods haskToRepr :: AsHaskell PTxCert -> PlutusRepr PTxCert reprToHask :: PlutusRepr PTxCert -> Either LiftError (AsHaskell PTxCert) reprToPlut :: forall (s :: S). PlutusRepr PTxCert -> PLifted s PTxCert plutToRepr :: (forall (s :: S). PLifted s PTxCert) -> Either LiftError (PlutusRepr PTxCert)
PValidateData PTxCert Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PTxCert Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PTxCert :: S -> Type Methods pcon' :: forall (s :: S). PTxCert s -> Term s (PInner PTxCert) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PTxCert) -> (PTxCert s -> Term s b) -> Term s b
PShow PTxCert Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PTxCert -> Term s PString
PTryFrom PData (PAsData PTxCert) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PTxCert) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PTxCert), Reduce (PTryFromExcess PData (PAsData PTxCert) s)) -> Term s r) -> Term s r
Generic (PTxCert s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PTxCert s) :: Type -> Type Source # Methods from :: PTxCert s -> Rep (PTxCert s) x Source # to :: Rep (PTxCert s) x -> PTxCert s Source #
Generic (PTxCert s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PTxCert s) :: [[Type]] Methods from :: PTxCert s -> Rep (PTxCert s) to :: Rep (PTxCert s) -> PTxCert s
type AsHaskell PTxCert Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PTxCert = AsHaskell (DeriveDataPLiftable PTxCert TxCert)
type PlutusRepr PTxCert Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PTxCert = PlutusRepr (DeriveDataPLiftable PTxCert TxCert)
type PInner PTxCert Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PTxCert = PInner (DeriveAsDataStruct PTxCert)
type PTryFromExcess PData (PAsData PTxCert) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PTxCert) = PTryFromExcess PData (PInner (PAsData PTxCert))
type Rep (PTxCert s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PTxCert s) = D1 ('MetaData "PTxCert" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'False) (((C1 ('MetaCons "PTxCertRegStaking" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PLovelace)))) :+: C1 ('MetaCons "PTxCertUnRegStaking" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PLovelace))))) :+: (C1 ('MetaCons "PTxCertDelegStaking" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDelegatee))) :+: (C1 ('MetaCons "PTxCertRegDeleg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDelegatee)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PLovelace))))) :+: C1 ('MetaCons "PTxCertRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRepCredential)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PLovelace))))))) :+: ((C1 ('MetaCons "PTxCertUpdateDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRepCredential))) :+: (C1 ('MetaCons "PTxCertUnRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRepCredential)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PLovelace)))) :+: C1 ('MetaCons "PTxCertPoolRegister" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash))) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash)))))) :+: (C1 ('MetaCons "PTxCertPoolRetire" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash))) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger)))) :+: (C1 ('MetaCons "PTxCertAuthHotCommittee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PColdCommitteeCredential)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PHotCommitteeCredential))) :+: C1 ('MetaCons "PTxCertResignColdCommittee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PColdCommitteeCredential)))))))
type Code (PTxCert s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PTxCert s) = GCode (PTxCert s)

data PVoter (s :: S) Source #

Since: 3.1.0

Constructors

PCommitteeVoter (Term s PHotCommitteeCredential)
PDRepVoter (Term s PDRepCredential)
PStakePoolVoter (Term s (PAsData PPubKeyHash))

Instances

Instances details

PEq PVoter Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PVoter -> Term s PVoter -> Term s PBool
PIsData PVoter Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PVoter) -> Term s PVoter pdataImpl :: forall (s :: S). Term s PVoter -> Term s PData
PLiftable PVoter Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PVoter type PlutusRepr PVoter Methods haskToRepr :: AsHaskell PVoter -> PlutusRepr PVoter reprToHask :: PlutusRepr PVoter -> Either LiftError (AsHaskell PVoter) reprToPlut :: forall (s :: S). PlutusRepr PVoter -> PLifted s PVoter plutToRepr :: (forall (s :: S). PLifted s PVoter) -> Either LiftError (PlutusRepr PVoter)
PValidateData PVoter Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PVoter Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PVoter :: S -> Type Methods pcon' :: forall (s :: S). PVoter s -> Term s (PInner PVoter) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PVoter) -> (PVoter s -> Term s b) -> Term s b
PShow PVoter Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PVoter -> Term s PString
PTryFrom PData (PAsData PVoter) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PVoter) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PVoter), Reduce (PTryFromExcess PData (PAsData PVoter) s)) -> Term s r) -> Term s r
Generic (PVoter s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PVoter s) :: Type -> Type Source # Methods from :: PVoter s -> Rep (PVoter s) x Source # to :: Rep (PVoter s) x -> PVoter s Source #
Generic (PVoter s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PVoter s) :: [[Type]] Methods from :: PVoter s -> Rep (PVoter s) to :: Rep (PVoter s) -> PVoter s
type AsHaskell PVoter Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PVoter = AsHaskell (DeriveDataPLiftable PVoter Voter)
type PlutusRepr PVoter Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PVoter = PlutusRepr (DeriveDataPLiftable PVoter Voter)
type PInner PVoter Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PVoter = PInner (DeriveAsDataStruct PVoter)
type PTryFromExcess PData (PAsData PVoter) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PVoter) = PTryFromExcess PData (PInner (PAsData PVoter))
type Rep (PVoter s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PVoter s) = D1 ('MetaData "PVoter" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'False) (C1 ('MetaCons "PCommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PHotCommitteeCredential))) :+: (C1 ('MetaCons "PDRepVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRepCredential))) :+: C1 ('MetaCons "PStakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash))))))
type Code (PVoter s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PVoter s) = GCode (PVoter s)

data PVote (s :: S) Source #

Since: 3.1.0

Constructors

PVoteYes
PVoteNo
PAbstain

Instances

Instances details

PEq PVote Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PVote -> Term s PVote -> Term s PBool
PIsData PVote Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PVote) -> Term s PVote pdataImpl :: forall (s :: S). Term s PVote -> Term s PData
PLiftable PVote Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PVote type PlutusRepr PVote Methods haskToRepr :: AsHaskell PVote -> PlutusRepr PVote reprToHask :: PlutusRepr PVote -> Either LiftError (AsHaskell PVote) reprToPlut :: forall (s :: S). PlutusRepr PVote -> PLifted s PVote plutToRepr :: (forall (s :: S). PLifted s PVote) -> Either LiftError (PlutusRepr PVote)
PValidateData PVote Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PVote Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PVote :: S -> Type Methods pcon' :: forall (s :: S). PVote s -> Term s (PInner PVote) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PVote) -> (PVote s -> Term s b) -> Term s b
PShow PVote Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PVote -> Term s PString
PTryFrom PData (PAsData PVote) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PVote) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PVote), Reduce (PTryFromExcess PData (PAsData PVote) s)) -> Term s r) -> Term s r
Generic (PVote s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PVote s) :: Type -> Type Source # Methods from :: PVote s -> Rep (PVote s) x Source # to :: Rep (PVote s) x -> PVote s Source #
Generic (PVote s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PVote s) :: [[Type]] Methods from :: PVote s -> Rep (PVote s) to :: Rep (PVote s) -> PVote s
type AsHaskell PVote Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PVote = AsHaskell (DeriveDataPLiftable PVote Vote)
type PlutusRepr PVote Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PVote = PlutusRepr (DeriveDataPLiftable PVote Vote)
type PInner PVote Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PVote = PInner (DeriveAsDataStruct PVote)
type PTryFromExcess PData (PAsData PVote) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PVote) = PTryFromExcess PData (PInner (PAsData PVote))
type Rep (PVote s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PVote s) = D1 ('MetaData "PVote" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'False) (C1 ('MetaCons "PVoteYes" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PVoteNo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PAbstain" 'PrefixI 'False) (U1 :: Type -> Type)))
type Code (PVote s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PVote s) = GCode (PVote s)

data PGovernanceActionId (s :: S) Source #

Since: 3.1.0

Constructors

PGovernanceActionId (Term s (PAsData PTxId)) (Term s (PAsData PInteger))

Instances

Instances details

PEq PGovernanceActionId Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PGovernanceActionId -> Term s PGovernanceActionId -> Term s PBool
PIsData PGovernanceActionId Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PGovernanceActionId) -> Term s PGovernanceActionId pdataImpl :: forall (s :: S). Term s PGovernanceActionId -> Term s PData
PLiftable PGovernanceActionId Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PGovernanceActionId type PlutusRepr PGovernanceActionId Methods haskToRepr :: AsHaskell PGovernanceActionId -> PlutusRepr PGovernanceActionId reprToHask :: PlutusRepr PGovernanceActionId -> Either LiftError (AsHaskell PGovernanceActionId) reprToPlut :: forall (s :: S). PlutusRepr PGovernanceActionId -> PLifted s PGovernanceActionId plutToRepr :: (forall (s :: S). PLifted s PGovernanceActionId) -> Either LiftError (PlutusRepr PGovernanceActionId)
PValidateData PGovernanceActionId Source #	Checks that we have a valid `PGovernanceActionId`. The underlying `PTxId` must be exactly 32 bytes, as Cardano transactions are hashed with BLAKE2b-256, and the action index must be a non-negative `PInteger`. Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PGovernanceActionId Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PGovernanceActionId :: S -> Type Methods pcon' :: forall (s :: S). PGovernanceActionId s -> Term s (PInner PGovernanceActionId) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PGovernanceActionId) -> (PGovernanceActionId s -> Term s b) -> Term s b
PShow PGovernanceActionId Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PGovernanceActionId -> Term s PString
PTryFrom PData (PAsData PGovernanceActionId) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PGovernanceActionId) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PGovernanceActionId), Reduce (PTryFromExcess PData (PAsData PGovernanceActionId) s)) -> Term s r) -> Term s r
Generic (PGovernanceActionId s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PGovernanceActionId s) :: Type -> Type Source # Methods from :: PGovernanceActionId s -> Rep (PGovernanceActionId s) x Source # to :: Rep (PGovernanceActionId s) x -> PGovernanceActionId s Source #
Generic (PGovernanceActionId s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PGovernanceActionId s) :: [[Type]] Methods from :: PGovernanceActionId s -> Rep (PGovernanceActionId s) to :: Rep (PGovernanceActionId s) -> PGovernanceActionId s
type AsHaskell PGovernanceActionId Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PGovernanceActionId = AsHaskell (DeriveDataPLiftable PGovernanceActionId GovernanceActionId)
type PlutusRepr PGovernanceActionId Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PGovernanceActionId = PlutusRepr (DeriveDataPLiftable PGovernanceActionId GovernanceActionId)
type PInner PGovernanceActionId Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PGovernanceActionId = PInner (DeriveAsDataStruct PGovernanceActionId)
type PTryFromExcess PData (PAsData PGovernanceActionId) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PGovernanceActionId) = PTryFromExcess PData (PInner (PAsData PGovernanceActionId))
type Rep (PGovernanceActionId s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PGovernanceActionId s) = D1 ('MetaData "PGovernanceActionId" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'False) (C1 ('MetaCons "PGovernanceActionId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PTxId))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger)))))
type Code (PGovernanceActionId s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PGovernanceActionId s) = GCode (PGovernanceActionId s)

data PCommittee (s :: S) Source #

Since: 3.1.0

Constructors

PCommittee
Fields pcommittee'members :: Term s (PAsData (PUnsortedMap PColdCommitteeCredential PInteger)) pcommittee'quorum :: Term s PRationalData

Instances

Instances details

PEq PCommittee Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PCommittee -> Term s PCommittee -> Term s PBool
PIsData PCommittee Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PCommittee) -> Term s PCommittee pdataImpl :: forall (s :: S). Term s PCommittee -> Term s PData
PLiftable PCommittee Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PCommittee type PlutusRepr PCommittee Methods haskToRepr :: AsHaskell PCommittee -> PlutusRepr PCommittee reprToHask :: PlutusRepr PCommittee -> Either LiftError (AsHaskell PCommittee) reprToPlut :: forall (s :: S). PlutusRepr PCommittee -> PLifted s PCommittee plutToRepr :: (forall (s :: S). PLifted s PCommittee) -> Either LiftError (PlutusRepr PCommittee)
PValidateData PCommittee Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PCommittee Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PCommittee :: S -> Type Methods pcon' :: forall (s :: S). PCommittee s -> Term s (PInner PCommittee) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PCommittee) -> (PCommittee s -> Term s b) -> Term s b
PShow PCommittee Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PCommittee -> Term s PString
PTryFrom PData (PAsData PCommittee) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PCommittee) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PCommittee), Reduce (PTryFromExcess PData (PAsData PCommittee) s)) -> Term s r) -> Term s r
Generic (PCommittee s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PCommittee s) :: Type -> Type Source # Methods from :: PCommittee s -> Rep (PCommittee s) x Source # to :: Rep (PCommittee s) x -> PCommittee s Source #
Generic (PCommittee s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PCommittee s) :: [[Type]] Methods from :: PCommittee s -> Rep (PCommittee s) to :: Rep (PCommittee s) -> PCommittee s
type AsHaskell PCommittee Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PCommittee = AsHaskell (DeriveDataPLiftable PCommittee Committee)
type PlutusRepr PCommittee Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PCommittee = PlutusRepr (DeriveDataPLiftable PCommittee Committee)
type PInner PCommittee Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PCommittee = PInner (DeriveAsDataStruct PCommittee)
type PTryFromExcess PData (PAsData PCommittee) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PCommittee) = PTryFromExcess PData (PInner (PAsData PCommittee))
type Rep (PCommittee s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PCommittee s) = D1 ('MetaData "PCommittee" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'False) (C1 ('MetaCons "PCommittee" 'PrefixI 'True) (S1 ('MetaSel ('Just "pcommittee'members") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PUnsortedMap PColdCommitteeCredential PInteger)))) :*: S1 ('MetaSel ('Just "pcommittee'quorum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PRationalData))))
type Code (PCommittee s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PCommittee s) = GCode (PCommittee s)

newtype PConstitution (s :: S) Source #

A constitution, omitting the optional anchor.

Since: 3.1.0

Constructors

PConstitution (Term s (PMaybeData PScriptHash))

Instances

Instances details

PEq PConstitution Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PConstitution -> Term s PConstitution -> Term s PBool
PIsData PConstitution Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PConstitution) -> Term s PConstitution pdataImpl :: forall (s :: S). Term s PConstitution -> Term s PData
PLiftable PConstitution Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PConstitution type PlutusRepr PConstitution Methods haskToRepr :: AsHaskell PConstitution -> PlutusRepr PConstitution reprToHask :: PlutusRepr PConstitution -> Either LiftError (AsHaskell PConstitution) reprToPlut :: forall (s :: S). PlutusRepr PConstitution -> PLifted s PConstitution plutToRepr :: (forall (s :: S). PLifted s PConstitution) -> Either LiftError (PlutusRepr PConstitution)
PValidateData PConstitution Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PConstitution Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PConstitution :: S -> Type Methods pcon' :: forall (s :: S). PConstitution s -> Term s (PInner PConstitution) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PConstitution) -> (PConstitution s -> Term s b) -> Term s b
PShow PConstitution Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PConstitution -> Term s PString
PTryFrom PData (PAsData PConstitution) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PConstitution) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PConstitution), Reduce (PTryFromExcess PData (PAsData PConstitution) s)) -> Term s r) -> Term s r
Generic (PConstitution s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PConstitution s) :: Type -> Type Source # Methods from :: PConstitution s -> Rep (PConstitution s) x Source # to :: Rep (PConstitution s) x -> PConstitution s Source #
Generic (PConstitution s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PConstitution s) :: [[Type]] Methods from :: PConstitution s -> Rep (PConstitution s) to :: Rep (PConstitution s) -> PConstitution s
type AsHaskell PConstitution Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PConstitution = AsHaskell (DeriveDataPLiftable PConstitution Constitution)
type PlutusRepr PConstitution Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PConstitution = PlutusRepr (DeriveDataPLiftable PConstitution Constitution)
type PInner PConstitution Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PConstitution = PInner (DeriveAsDataStruct PConstitution)
type PTryFromExcess PData (PAsData PConstitution) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PConstitution) = PTryFromExcess PData (PInner (PAsData PConstitution))
type Rep (PConstitution s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PConstitution s) = D1 ('MetaData "PConstitution" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'True) (C1 ('MetaCons "PConstitution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PScriptHash)))))
type Code (PConstitution s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PConstitution s) = GCode (PConstitution s)

data PProtocolVersion (s :: S) Source #

Since: 3.1.0

Constructors

PProtocolVersion
Fields pprotocolVersion'major :: Term s (PAsData PInteger) pprotocolVersion'minor :: Term s (PAsData PInteger)

Instances

Instances details

PEq PProtocolVersion Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PProtocolVersion -> Term s PProtocolVersion -> Term s PBool
PIsData PProtocolVersion Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PProtocolVersion) -> Term s PProtocolVersion pdataImpl :: forall (s :: S). Term s PProtocolVersion -> Term s PData
PLiftable PProtocolVersion Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PProtocolVersion type PlutusRepr PProtocolVersion Methods haskToRepr :: AsHaskell PProtocolVersion -> PlutusRepr PProtocolVersion reprToHask :: PlutusRepr PProtocolVersion -> Either LiftError (AsHaskell PProtocolVersion) reprToPlut :: forall (s :: S). PlutusRepr PProtocolVersion -> PLifted s PProtocolVersion plutToRepr :: (forall (s :: S). PLifted s PProtocolVersion) -> Either LiftError (PlutusRepr PProtocolVersion)
PValidateData PProtocolVersion Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PProtocolVersion Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PProtocolVersion :: S -> Type Methods pcon' :: forall (s :: S). PProtocolVersion s -> Term s (PInner PProtocolVersion) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PProtocolVersion) -> (PProtocolVersion s -> Term s b) -> Term s b
PShow PProtocolVersion Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PProtocolVersion -> Term s PString
PTryFrom PData (PAsData PProtocolVersion) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PProtocolVersion) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PProtocolVersion), Reduce (PTryFromExcess PData (PAsData PProtocolVersion) s)) -> Term s r) -> Term s r
Generic (PProtocolVersion s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PProtocolVersion s) :: Type -> Type Source # Methods from :: PProtocolVersion s -> Rep (PProtocolVersion s) x Source # to :: Rep (PProtocolVersion s) x -> PProtocolVersion s Source #
Generic (PProtocolVersion s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PProtocolVersion s) :: [[Type]] Methods from :: PProtocolVersion s -> Rep (PProtocolVersion s) to :: Rep (PProtocolVersion s) -> PProtocolVersion s
type AsHaskell PProtocolVersion Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PProtocolVersion = AsHaskell (DeriveDataPLiftable PProtocolVersion ProtocolVersion)
type PlutusRepr PProtocolVersion Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PProtocolVersion = PlutusRepr (DeriveDataPLiftable PProtocolVersion ProtocolVersion)
type PInner PProtocolVersion Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PProtocolVersion = PInner (DeriveAsDataStruct PProtocolVersion)
type PTryFromExcess PData (PAsData PProtocolVersion) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PProtocolVersion) = PTryFromExcess PData (PInner (PAsData PProtocolVersion))
type Rep (PProtocolVersion s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PProtocolVersion s) = D1 ('MetaData "PProtocolVersion" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'False) (C1 ('MetaCons "PProtocolVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "pprotocolVersion'major") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :*: S1 ('MetaSel ('Just "pprotocolVersion'minor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger)))))
type Code (PProtocolVersion s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PProtocolVersion s) = GCode (PProtocolVersion s)

newtype PChangedParameters (s :: S) Source #

Since: 3.1.0

Constructors

PChangedParameters (Term s PData)

Instances

Instances details

PEq PChangedParameters Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PChangedParameters -> Term s PChangedParameters -> Term s PBool
PIsData PChangedParameters Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PChangedParameters) -> Term s PChangedParameters pdataImpl :: forall (s :: S). Term s PChangedParameters -> Term s PData
PLiftable PChangedParameters Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PChangedParameters type PlutusRepr PChangedParameters Methods haskToRepr :: AsHaskell PChangedParameters -> PlutusRepr PChangedParameters reprToHask :: PlutusRepr PChangedParameters -> Either LiftError (AsHaskell PChangedParameters) reprToPlut :: forall (s :: S). PlutusRepr PChangedParameters -> PLifted s PChangedParameters plutToRepr :: (forall (s :: S). PLifted s PChangedParameters) -> Either LiftError (PlutusRepr PChangedParameters)
PValidateData PChangedParameters Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PChangedParameters Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PChangedParameters :: S -> Type Methods pcon' :: forall (s :: S). PChangedParameters s -> Term s (PInner PChangedParameters) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PChangedParameters) -> (PChangedParameters s -> Term s b) -> Term s b
PShow PChangedParameters Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PChangedParameters -> Term s PString
PTryFrom PData (PAsData PChangedParameters) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PChangedParameters) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PChangedParameters), Reduce (PTryFromExcess PData (PAsData PChangedParameters) s)) -> Term s r) -> Term s r
Generic (PChangedParameters s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PChangedParameters s) :: Type -> Type Source # Methods from :: PChangedParameters s -> Rep (PChangedParameters s) x Source # to :: Rep (PChangedParameters s) x -> PChangedParameters s Source #
Generic (PChangedParameters s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PChangedParameters s) :: [[Type]] Methods from :: PChangedParameters s -> Rep (PChangedParameters s) to :: Rep (PChangedParameters s) -> PChangedParameters s
type AsHaskell PChangedParameters Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PChangedParameters = AsHaskell (DeriveDataPLiftable PChangedParameters ChangedParameters)
type PlutusRepr PChangedParameters Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PChangedParameters = PlutusRepr (DeriveDataPLiftable PChangedParameters ChangedParameters)
type PInner PChangedParameters Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PChangedParameters = PInner (DeriveNewtypePlutusType PChangedParameters)
type PTryFromExcess PData (PAsData PChangedParameters) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PChangedParameters) = PTryFromExcess PData (PInner (PAsData PChangedParameters))
type Rep (PChangedParameters s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PChangedParameters s) = D1 ('MetaData "PChangedParameters" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'True) (C1 ('MetaCons "PChangedParameters" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PData))))
type Code (PChangedParameters s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PChangedParameters s) = GCode (PChangedParameters s)

data PGovernanceAction (s :: S) Source #

Since: 3.1.0

Constructors

PParameterChange (Term s (PMaybeData PGovernanceActionId)) (Term s PChangedParameters) (Term s (PMaybeData PScriptHash))
PHardForkInitiation (Term s (PMaybeData PGovernanceActionId)) (Term s PProtocolVersion)
PTreasuryWithdrawals (Term s (PAsData (PUnsortedMap PCredential PLovelace))) (Term s (PMaybeData PScriptHash))
PNoConfidence (Term s (PMaybeData PGovernanceActionId))
PUpdateCommittee (Term s (PMaybeData PGovernanceActionId)) (Term s (PAsData (PBuiltinList (PAsData PColdCommitteeCredential)))) (Term s (PAsData (PUnsortedMap PColdCommitteeCredential PInteger))) (Term s PRationalData)
PNewConstitution (Term s (PMaybeData PGovernanceActionId)) (Term s PConstitution)
PInfoAction

Instances

Instances details

PEq PGovernanceAction Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PGovernanceAction -> Term s PGovernanceAction -> Term s PBool
PIsData PGovernanceAction Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PGovernanceAction) -> Term s PGovernanceAction pdataImpl :: forall (s :: S). Term s PGovernanceAction -> Term s PData
PLiftable PGovernanceAction Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PGovernanceAction type PlutusRepr PGovernanceAction Methods haskToRepr :: AsHaskell PGovernanceAction -> PlutusRepr PGovernanceAction reprToHask :: PlutusRepr PGovernanceAction -> Either LiftError (AsHaskell PGovernanceAction) reprToPlut :: forall (s :: S). PlutusRepr PGovernanceAction -> PLifted s PGovernanceAction plutToRepr :: (forall (s :: S). PLifted s PGovernanceAction) -> Either LiftError (PlutusRepr PGovernanceAction)
PValidateData PGovernanceAction Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PGovernanceAction Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PGovernanceAction :: S -> Type Methods pcon' :: forall (s :: S). PGovernanceAction s -> Term s (PInner PGovernanceAction) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PGovernanceAction) -> (PGovernanceAction s -> Term s b) -> Term s b
PShow PGovernanceAction Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PGovernanceAction -> Term s PString
PTryFrom PData (PAsData PGovernanceAction) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PGovernanceAction) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PGovernanceAction), Reduce (PTryFromExcess PData (PAsData PGovernanceAction) s)) -> Term s r) -> Term s r
Generic (PGovernanceAction s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PGovernanceAction s) :: Type -> Type Source # Methods from :: PGovernanceAction s -> Rep (PGovernanceAction s) x Source # to :: Rep (PGovernanceAction s) x -> PGovernanceAction s Source #
Generic (PGovernanceAction s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PGovernanceAction s) :: [[Type]] Methods from :: PGovernanceAction s -> Rep (PGovernanceAction s) to :: Rep (PGovernanceAction s) -> PGovernanceAction s
type AsHaskell PGovernanceAction Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PGovernanceAction = AsHaskell (DeriveDataPLiftable PGovernanceAction GovernanceAction)
type PlutusRepr PGovernanceAction Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PGovernanceAction = PlutusRepr (DeriveDataPLiftable PGovernanceAction GovernanceAction)
type PInner PGovernanceAction Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PGovernanceAction = PInner (DeriveAsDataStruct PGovernanceAction)
type PTryFromExcess PData (PAsData PGovernanceAction) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PGovernanceAction) = PTryFromExcess PData (PInner (PAsData PGovernanceAction))
type Rep (PGovernanceAction s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PGovernanceAction s) = D1 ('MetaData "PGovernanceAction" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'False) ((C1 ('MetaCons "PParameterChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PGovernanceActionId))) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PChangedParameters)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PScriptHash))))) :+: (C1 ('MetaCons "PHardForkInitiation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PGovernanceActionId))) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PProtocolVersion))) :+: C1 ('MetaCons "PTreasuryWithdrawals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PUnsortedMap PCredential PLovelace)))) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PScriptHash)))))) :+: ((C1 ('MetaCons "PNoConfidence" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PGovernanceActionId)))) :+: C1 ('MetaCons "PUpdateCommittee" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PGovernanceActionId))) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList (PAsData PColdCommitteeCredential)))))) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PUnsortedMap PColdCommitteeCredential PInteger)))) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PRationalData))))) :+: (C1 ('MetaCons "PNewConstitution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PGovernanceActionId))) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PConstitution))) :+: C1 ('MetaCons "PInfoAction" 'PrefixI 'False) (U1 :: Type -> Type))))
type Code (PGovernanceAction s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PGovernanceAction s) = GCode (PGovernanceAction s)

data PProposalProcedure (s :: S) Source #

Since: 3.1.0

Constructors

PProposalProcedure
Fields pproposalProcedure'deposit :: Term s (PAsData PLovelace) pproposalProcedure'returnAddr :: Term s PCredential pproposalProcedure'governanceAction :: Term s PGovernanceAction

Instances

Instances details

PEq PProposalProcedure Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PProposalProcedure -> Term s PProposalProcedure -> Term s PBool
PIsData PProposalProcedure Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PProposalProcedure) -> Term s PProposalProcedure pdataImpl :: forall (s :: S). Term s PProposalProcedure -> Term s PData
PLiftable PProposalProcedure Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PProposalProcedure type PlutusRepr PProposalProcedure Methods haskToRepr :: AsHaskell PProposalProcedure -> PlutusRepr PProposalProcedure reprToHask :: PlutusRepr PProposalProcedure -> Either LiftError (AsHaskell PProposalProcedure) reprToPlut :: forall (s :: S). PlutusRepr PProposalProcedure -> PLifted s PProposalProcedure plutToRepr :: (forall (s :: S). PLifted s PProposalProcedure) -> Either LiftError (PlutusRepr PProposalProcedure)
PValidateData PProposalProcedure Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PProposalProcedure Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PProposalProcedure :: S -> Type Methods pcon' :: forall (s :: S). PProposalProcedure s -> Term s (PInner PProposalProcedure) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PProposalProcedure) -> (PProposalProcedure s -> Term s b) -> Term s b
PShow PProposalProcedure Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PProposalProcedure -> Term s PString
PTryFrom PData (PAsData PProposalProcedure) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PProposalProcedure) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PProposalProcedure), Reduce (PTryFromExcess PData (PAsData PProposalProcedure) s)) -> Term s r) -> Term s r
Generic (PProposalProcedure s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PProposalProcedure s) :: Type -> Type Source # Methods from :: PProposalProcedure s -> Rep (PProposalProcedure s) x Source # to :: Rep (PProposalProcedure s) x -> PProposalProcedure s Source #
Generic (PProposalProcedure s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PProposalProcedure s) :: [[Type]] Methods from :: PProposalProcedure s -> Rep (PProposalProcedure s) to :: Rep (PProposalProcedure s) -> PProposalProcedure s
type AsHaskell PProposalProcedure Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PProposalProcedure = AsHaskell (DeriveDataPLiftable PProposalProcedure ProposalProcedure)
type PlutusRepr PProposalProcedure Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PProposalProcedure = PlutusRepr (DeriveDataPLiftable PProposalProcedure ProposalProcedure)
type PInner PProposalProcedure Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PProposalProcedure = PInner (DeriveAsDataStruct PProposalProcedure)
type PTryFromExcess PData (PAsData PProposalProcedure) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PProposalProcedure) = PTryFromExcess PData (PInner (PAsData PProposalProcedure))
type Rep (PProposalProcedure s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PProposalProcedure s) = D1 ('MetaData "PProposalProcedure" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'False) (C1 ('MetaCons "PProposalProcedure" 'PrefixI 'True) (S1 ('MetaSel ('Just "pproposalProcedure'deposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PLovelace))) :: (S1 ('MetaSel ('Just "pproposalProcedure'returnAddr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)) :: S1 ('MetaSel ('Just "pproposalProcedure'governanceAction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PGovernanceAction)))))
type Code (PProposalProcedure s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PProposalProcedure s) = GCode (PProposalProcedure s)

data PScriptPurpose (s :: S) Source #

Since: 2.0.0

Constructors

PMinting (Term s (PAsData PCurrencySymbol))
PSpending (Term s PTxOutRef)
PRewarding (Term s PCredential)	Since: 3.1.0
PCertifying (Term s (PAsData PInteger)) (Term s PTxCert)
PVoting (Term s PVoter)	Since: 3.1.0
PProposing (Term s (PAsData PInteger)) (Term s PProposalProcedure)	Since: 3.1.0

Instances

Instances details

PEq PScriptPurpose Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PScriptPurpose -> Term s PScriptPurpose -> Term s PBool
PIsData PScriptPurpose Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptPurpose) -> Term s PScriptPurpose pdataImpl :: forall (s :: S). Term s PScriptPurpose -> Term s PData
PLiftable PScriptPurpose Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PScriptPurpose type PlutusRepr PScriptPurpose Methods haskToRepr :: AsHaskell PScriptPurpose -> PlutusRepr PScriptPurpose reprToHask :: PlutusRepr PScriptPurpose -> Either LiftError (AsHaskell PScriptPurpose) reprToPlut :: forall (s :: S). PlutusRepr PScriptPurpose -> PLifted s PScriptPurpose plutToRepr :: (forall (s :: S). PLifted s PScriptPurpose) -> Either LiftError (PlutusRepr PScriptPurpose)
PValidateData PScriptPurpose Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PScriptPurpose Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PScriptPurpose :: S -> Type Methods pcon' :: forall (s :: S). PScriptPurpose s -> Term s (PInner PScriptPurpose) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PScriptPurpose) -> (PScriptPurpose s -> Term s b) -> Term s b
PShow PScriptPurpose Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PScriptPurpose -> Term s PString
PTryFrom PData (PAsData PScriptPurpose) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PScriptPurpose) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PScriptPurpose), Reduce (PTryFromExcess PData (PAsData PScriptPurpose) s)) -> Term s r) -> Term s r
Generic (PScriptPurpose s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PScriptPurpose s) :: Type -> Type Source # Methods from :: PScriptPurpose s -> Rep (PScriptPurpose s) x Source # to :: Rep (PScriptPurpose s) x -> PScriptPurpose s Source #
Generic (PScriptPurpose s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PScriptPurpose s) :: [[Type]] Methods from :: PScriptPurpose s -> Rep (PScriptPurpose s) to :: Rep (PScriptPurpose s) -> PScriptPurpose s
type AsHaskell PScriptPurpose Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PScriptPurpose = AsHaskell (DeriveDataPLiftable PScriptPurpose ScriptPurpose)
type PlutusRepr PScriptPurpose Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PScriptPurpose = PlutusRepr (DeriveDataPLiftable PScriptPurpose ScriptPurpose)
type PInner PScriptPurpose Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PScriptPurpose = PInner (DeriveAsDataStruct PScriptPurpose)
type PTryFromExcess PData (PAsData PScriptPurpose) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PScriptPurpose) = PTryFromExcess PData (PInner (PAsData PScriptPurpose))
type Rep (PScriptPurpose s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PScriptPurpose s) = D1 ('MetaData "PScriptPurpose" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'False) ((C1 ('MetaCons "PMinting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PCurrencySymbol)))) :+: (C1 ('MetaCons "PSpending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxOutRef))) :+: C1 ('MetaCons "PRewarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))) :+: (C1 ('MetaCons "PCertifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxCert))) :+: (C1 ('MetaCons "PVoting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PVoter))) :+: C1 ('MetaCons "PProposing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PProposalProcedure))))))
type Code (PScriptPurpose s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PScriptPurpose s) = GCode (PScriptPurpose s)

data PScriptInfo (s :: S) Source #

Since: 3.1.0

Constructors

PMintingScript (Term s (PAsData PCurrencySymbol))
PSpendingScript (Term s PTxOutRef) (Term s (PMaybeData PDatum))
PRewardingScript (Term s PCredential)
PCertifyingScript (Term s (PAsData PInteger)) (Term s PTxCert)
PVotingScript (Term s PVoter)
PProposingScript (Term s (PAsData PInteger)) (Term s PProposalProcedure)

Instances

Instances details

PEq PScriptInfo Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PScriptInfo -> Term s PScriptInfo -> Term s PBool
PIsData PScriptInfo Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptInfo) -> Term s PScriptInfo pdataImpl :: forall (s :: S). Term s PScriptInfo -> Term s PData
PLiftable PScriptInfo Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PScriptInfo type PlutusRepr PScriptInfo Methods haskToRepr :: AsHaskell PScriptInfo -> PlutusRepr PScriptInfo reprToHask :: PlutusRepr PScriptInfo -> Either LiftError (AsHaskell PScriptInfo) reprToPlut :: forall (s :: S). PlutusRepr PScriptInfo -> PLifted s PScriptInfo plutToRepr :: (forall (s :: S). PLifted s PScriptInfo) -> Either LiftError (PlutusRepr PScriptInfo)
PValidateData PScriptInfo Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PScriptInfo Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PScriptInfo :: S -> Type Methods pcon' :: forall (s :: S). PScriptInfo s -> Term s (PInner PScriptInfo) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PScriptInfo) -> (PScriptInfo s -> Term s b) -> Term s b
PShow PScriptInfo Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PScriptInfo -> Term s PString
PTryFrom PData (PAsData PScriptInfo) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PScriptInfo) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PScriptInfo), Reduce (PTryFromExcess PData (PAsData PScriptInfo) s)) -> Term s r) -> Term s r
Generic (PScriptInfo s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PScriptInfo s) :: Type -> Type Source # Methods from :: PScriptInfo s -> Rep (PScriptInfo s) x Source # to :: Rep (PScriptInfo s) x -> PScriptInfo s Source #
Generic (PScriptInfo s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PScriptInfo s) :: [[Type]] Methods from :: PScriptInfo s -> Rep (PScriptInfo s) to :: Rep (PScriptInfo s) -> PScriptInfo s
type AsHaskell PScriptInfo Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PScriptInfo = AsHaskell (DeriveDataPLiftable PScriptInfo ScriptInfo)
type PlutusRepr PScriptInfo Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PScriptInfo = PlutusRepr (DeriveDataPLiftable PScriptInfo ScriptInfo)
type PInner PScriptInfo Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PScriptInfo = PInner (DeriveAsDataStruct PScriptInfo)
type PTryFromExcess PData (PAsData PScriptInfo) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PScriptInfo) = PTryFromExcess PData (PInner (PAsData PScriptInfo))
type Rep (PScriptInfo s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PScriptInfo s) = D1 ('MetaData "PScriptInfo" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'False) ((C1 ('MetaCons "PMintingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PCurrencySymbol)))) :+: (C1 ('MetaCons "PSpendingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxOutRef)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PDatum)))) :+: C1 ('MetaCons "PRewardingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))) :+: (C1 ('MetaCons "PCertifyingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxCert))) :+: (C1 ('MetaCons "PVotingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PVoter))) :+: C1 ('MetaCons "PProposingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PProposalProcedure))))))
type Code (PScriptInfo s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PScriptInfo s) = GCode (PScriptInfo s)

data PTxInInfo (s :: S) Source #

An input of the transaction.

Since: 2.0.0

Constructors

PTxInInfo
Fields ptxInInfo'outRef :: Term s PTxOutRef ptxInInfo'resolved :: Term s PTxOut

Instances

Instances details

PEq PTxInInfo Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PTxInInfo -> Term s PTxInInfo -> Term s PBool
PIsData PTxInInfo Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInInfo) -> Term s PTxInInfo pdataImpl :: forall (s :: S). Term s PTxInInfo -> Term s PData
PLiftable PTxInInfo Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PTxInInfo type PlutusRepr PTxInInfo Methods haskToRepr :: AsHaskell PTxInInfo -> PlutusRepr PTxInInfo reprToHask :: PlutusRepr PTxInInfo -> Either LiftError (AsHaskell PTxInInfo) reprToPlut :: forall (s :: S). PlutusRepr PTxInInfo -> PLifted s PTxInInfo plutToRepr :: (forall (s :: S). PLifted s PTxInInfo) -> Either LiftError (PlutusRepr PTxInInfo)
PValidateData PTxInInfo Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PTxInInfo Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PTxInInfo :: S -> Type Methods pcon' :: forall (s :: S). PTxInInfo s -> Term s (PInner PTxInInfo) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PTxInInfo) -> (PTxInInfo s -> Term s b) -> Term s b
PShow PTxInInfo Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PTxInInfo -> Term s PString
PTryFrom PData (PAsData PTxInInfo) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PTxInInfo) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PTxInInfo), Reduce (PTryFromExcess PData (PAsData PTxInInfo) s)) -> Term s r) -> Term s r
Generic (PTxInInfo s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PTxInInfo s) :: Type -> Type Source # Methods from :: PTxInInfo s -> Rep (PTxInInfo s) x Source # to :: Rep (PTxInInfo s) x -> PTxInInfo s Source #
Generic (PTxInInfo s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PTxInInfo s) :: [[Type]] Methods from :: PTxInInfo s -> Rep (PTxInInfo s) to :: Rep (PTxInInfo s) -> PTxInInfo s
type AsHaskell PTxInInfo Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PTxInInfo = AsHaskell (DeriveDataPLiftable PTxInInfo TxInInfo)
type PlutusRepr PTxInInfo Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PTxInInfo = PlutusRepr (DeriveDataPLiftable PTxInInfo TxInInfo)
type PInner PTxInInfo Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PTxInInfo = PInner (DeriveAsDataStruct PTxInInfo)
type PTryFromExcess PData (PAsData PTxInInfo) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PTxInInfo) = PTryFromExcess PData (PInner (PAsData PTxInInfo))
type Rep (PTxInInfo s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PTxInInfo s) = D1 ('MetaData "PTxInInfo" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'False) (C1 ('MetaCons "PTxInInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "ptxInInfo'outRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxOutRef)) :*: S1 ('MetaSel ('Just "ptxInInfo'resolved") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxOut))))
type Code (PTxInInfo s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PTxInInfo s) = GCode (PTxInInfo s)

data PTxInfo (s :: S) Source #

Constructors

PTxInfo

Fields

ptxInfo'inputs :: Term s (PAsData (PBuiltinList (PAsData PTxInInfo)))
ptxInfo'referenceInputs :: Term s (PAsData (PBuiltinList (PAsData PTxInInfo)))
ptxInfo'outputs :: Term s (PAsData (PBuiltinList (PAsData PTxOut)))
ptxInfo'fee :: Term s (PAsData PLovelace)
ptxInfo'mint :: Term s (PAsData PMintValue)
ptxInfo'txCerts :: Term s (PAsData (PBuiltinList (PAsData PTxCert)))
ptxInfo'wdrl :: Term s (PAsData (PUnsortedMap PCredential PLovelace))
ptxInfo'validRange :: Term s (PInterval PPosixTime)
ptxInfo'signatories :: Term s (PAsData (PBuiltinList (PAsData PPubKeyHash)))
ptxInfo'redeemers :: Term s (PAsData (PUnsortedMap PScriptPurpose PRedeemer))
ptxInfo'data :: Term s (PAsData (PUnsortedMap PDatumHash PDatum))
ptxInfo'id :: Term s (PAsData PTxId)
ptxInfo'votes :: Term s (PAsData (PUnsortedMap PVoter (PUnsortedMap PGovernanceActionId PVote)))
ptxInfo'proposalProcedures :: Term s (PAsData (PBuiltinList (PAsData PProposalProcedure)))
ptxInfo'currentTreasuryAmount :: Term s (PMaybeData PLovelace)
ptxInfo'treasuryDonation :: Term s (PMaybeData PLovelace)

Instances

Instances details

PEq PTxInfo Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PTxInfo -> Term s PTxInfo -> Term s PBool
PIsData PTxInfo Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInfo) -> Term s PTxInfo pdataImpl :: forall (s :: S). Term s PTxInfo -> Term s PData
PLiftable PTxInfo Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PTxInfo type PlutusRepr PTxInfo Methods haskToRepr :: AsHaskell PTxInfo -> PlutusRepr PTxInfo reprToHask :: PlutusRepr PTxInfo -> Either LiftError (AsHaskell PTxInfo) reprToPlut :: forall (s :: S). PlutusRepr PTxInfo -> PLifted s PTxInfo plutToRepr :: (forall (s :: S). PLifted s PTxInfo) -> Either LiftError (PlutusRepr PTxInfo)
PValidateData PTxInfo Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PTxInfo Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PTxInfo :: S -> Type Methods pcon' :: forall (s :: S). PTxInfo s -> Term s (PInner PTxInfo) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PTxInfo) -> (PTxInfo s -> Term s b) -> Term s b
PShow PTxInfo Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PTxInfo -> Term s PString
PTryFrom PData (PAsData PTxInfo) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PTxInfo) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PTxInfo), Reduce (PTryFromExcess PData (PAsData PTxInfo) s)) -> Term s r) -> Term s r
Generic (PTxInfo s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PTxInfo s) :: Type -> Type Source # Methods from :: PTxInfo s -> Rep (PTxInfo s) x Source # to :: Rep (PTxInfo s) x -> PTxInfo s Source #
Generic (PTxInfo s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PTxInfo s) :: [[Type]] Methods from :: PTxInfo s -> Rep (PTxInfo s) to :: Rep (PTxInfo s) -> PTxInfo s
type AsHaskell PTxInfo Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PTxInfo = AsHaskell (DeriveDataPLiftable PTxInfo TxInfo)
type PlutusRepr PTxInfo Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PTxInfo = PlutusRepr (DeriveDataPLiftable PTxInfo TxInfo)
type PInner PTxInfo Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PTxInfo = PInner (DeriveAsDataStruct PTxInfo)
type PTryFromExcess PData (PAsData PTxInfo) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PTxInfo) = PTryFromExcess PData (PInner (PAsData PTxInfo))
type Rep (PTxInfo s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PTxInfo s) = D1 ('MetaData "PTxInfo" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'False) (C1 ('MetaCons "PTxInfo" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "ptxInfo'inputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList (PAsData PTxInInfo))))) :: S1 ('MetaSel ('Just "ptxInfo'referenceInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList (PAsData PTxInInfo)))))) :: (S1 ('MetaSel ('Just "ptxInfo'outputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList (PAsData PTxOut))))) :: S1 ('MetaSel ('Just "ptxInfo'fee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PLovelace))))) :: ((S1 ('MetaSel ('Just "ptxInfo'mint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PMintValue))) :: S1 ('MetaSel ('Just "ptxInfo'txCerts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList (PAsData PTxCert)))))) :: (S1 ('MetaSel ('Just "ptxInfo'wdrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PUnsortedMap PCredential PLovelace)))) :: S1 ('MetaSel ('Just "ptxInfo'validRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PInterval PPosixTime)))))) :: (((S1 ('MetaSel ('Just "ptxInfo'signatories") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList (PAsData PPubKeyHash))))) :: S1 ('MetaSel ('Just "ptxInfo'redeemers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PUnsortedMap PScriptPurpose PRedeemer))))) :: (S1 ('MetaSel ('Just "ptxInfo'data") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PUnsortedMap PDatumHash PDatum)))) :: S1 ('MetaSel ('Just "ptxInfo'id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PTxId))))) :: ((S1 ('MetaSel ('Just "ptxInfo'votes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PUnsortedMap PVoter (PUnsortedMap PGovernanceActionId PVote))))) :: S1 ('MetaSel ('Just "ptxInfo'proposalProcedures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList (PAsData PProposalProcedure)))))) :: (S1 ('MetaSel ('Just "ptxInfo'currentTreasuryAmount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PLovelace))) :*: S1 ('MetaSel ('Just "ptxInfo'treasuryDonation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PLovelace))))))))
type Code (PTxInfo s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PTxInfo s) = GCode (PTxInfo s)

data PScriptContext (s :: S) Source #

Since: 3.1.0

Constructors

PScriptContext
Fields pscriptContext'txInfo :: Term s PTxInfo pscriptContext'redeemer :: Term s PRedeemer pscriptContext'scriptInfo :: Term s PScriptInfo

Instances

Instances details

PEq PScriptContext Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PScriptContext -> Term s PScriptContext -> Term s PBool
PIsData PScriptContext Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptContext) -> Term s PScriptContext pdataImpl :: forall (s :: S). Term s PScriptContext -> Term s PData
PLiftable PScriptContext Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PScriptContext type PlutusRepr PScriptContext Methods haskToRepr :: AsHaskell PScriptContext -> PlutusRepr PScriptContext reprToHask :: PlutusRepr PScriptContext -> Either LiftError (AsHaskell PScriptContext) reprToPlut :: forall (s :: S). PlutusRepr PScriptContext -> PLifted s PScriptContext plutToRepr :: (forall (s :: S). PLifted s PScriptContext) -> Either LiftError (PlutusRepr PScriptContext)
PValidateData PScriptContext Source #	Since: 3.6.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r
PlutusType PScriptContext Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PScriptContext :: S -> Type Methods pcon' :: forall (s :: S). PScriptContext s -> Term s (PInner PScriptContext) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PScriptContext) -> (PScriptContext s -> Term s b) -> Term s b
PShow PScriptContext Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PScriptContext -> Term s PString
PTryFrom PData (PAsData PScriptContext) Source #	Since: 3.4.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PTryFromExcess PData (PAsData PScriptContext) :: S -> Type Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PScriptContext), Reduce (PTryFromExcess PData (PAsData PScriptContext) s)) -> Term s r) -> Term s r
Generic (PScriptContext s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PScriptContext s) :: Type -> Type Source # Methods from :: PScriptContext s -> Rep (PScriptContext s) x Source # to :: Rep (PScriptContext s) x -> PScriptContext s Source #
Generic (PScriptContext s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PScriptContext s) :: [[Type]] Methods from :: PScriptContext s -> Rep (PScriptContext s) to :: Rep (PScriptContext s) -> PScriptContext s
type AsHaskell PScriptContext Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PScriptContext = AsHaskell (DeriveDataPLiftable PScriptContext ScriptContext)
type PlutusRepr PScriptContext Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PScriptContext = PlutusRepr (DeriveDataPLiftable PScriptContext ScriptContext)
type PInner PScriptContext Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PScriptContext = PInner (DeriveAsDataStruct PScriptContext)
type PTryFromExcess PData (PAsData PScriptContext) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PScriptContext) = PTryFromExcess PData (PInner (PAsData PScriptContext))
type Rep (PScriptContext s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PScriptContext s) = D1 ('MetaData "PScriptContext" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.7.0-6oyR5CovKH48s7GQOEhwfC" 'False) (C1 ('MetaCons "PScriptContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "pscriptContext'txInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxInfo)) :: (S1 ('MetaSel ('Just "pscriptContext'redeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PRedeemer)) :: S1 ('MetaSel ('Just "pscriptContext'scriptInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PScriptInfo)))))
type Code (PScriptContext s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PScriptContext s) = GCode (PScriptContext s)

pfindOwnInput :: forall (s :: S). Term s (PScriptContext :--> PMaybe PTxInInfo) Source #

Find the input currently being validated.

Since: 3.6.0

pfindDatum :: forall (s :: S). Term s (PDatumHash :--> (PTxInfo :--> PMaybe PDatum)) Source #

Find the datum corresponding to a datum hash, if there is one.

Since: 3.1.0

pfindDatumHash :: forall (s :: S). Term s (PDatum :--> (PTxInfo :--> PMaybe PDatumHash)) Source #

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

Since: 3.1.0

pparseDatum :: forall (a :: S -> Type) (s :: S). PTryFrom PData (PAsData a) => Term s (PDatumHash :--> (PUnsortedMap PDatumHash PDatum :--> PMaybe (PAsData a))) Source #

Lookup up the datum given the datum hash.

Takes as argument the datum assoc list from a PTxInfo. Validates the datum using PTryFrom.

Example:

 pparseDatum MyType # datumHash #$ pfield "datums" # txinfo

Since: 2.1.2

pfindTxInByTxOutRef :: forall (s :: S). Term s (PTxOutRef :--> (PTxInfo :--> PMaybe PTxInInfo)) Source #

Given a UTXO reference and a transaction (PTxInfo), resolve it to one of the transaction's inputs (PTxInInfo). If no matching input exists, the result is PNothing.

NOTE

This only searches the true transaction inputs and not the referenced transaction inputs.

Since: 3.6.0

pfindContinuingOutputs :: forall (s :: S). Term s (PScriptContext :--> PBuiltinList PInteger) Source #

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

Since: 3.6.0

pgetContinuingOutputs :: forall (s :: S). Term s (PScriptContext :--> PBuiltinList (PAsData PTxOut)) Source #

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

Since: 3.6.0

ptxSignedBy :: forall (s :: S). Term s (PTxInfo :--> (PPubKeyHash :--> PBool)) Source #

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

Since: 3.6.0

ppubKeyOutputsAt :: forall (s :: S). Term s (PPubKeyHash :--> (PTxInfo :--> PBuiltinList (PAsData PLedgerValue))) Source #

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

Since: 3.6.0

pvaluePaidTo :: forall (s :: S). Term s (PTxInfo :--> (PPubKeyHash :--> PLedgerValue)) Source #

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

Since: 3.6.0

pvalueSpent :: forall (s :: S). Term s (PTxInfo :--> PLedgerValue) Source #

pvalueProduced :: forall (s :: S). Term s (PTxInfo :--> PLedgerValue) Source #

pownCurrencySymbol :: forall (s :: S). Term s (PScriptContext :--> PMaybe PCurrencySymbol) Source #

Get the PCurrencySymbol of the current minting policy script.

Since: 3.6.0

pspendsOutput :: forall (s :: S). Term s (PTxInfo :--> (PTxId :--> (PInteger :--> PBool))) 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)

Since: 3.6.0