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

Methods

from :: DRepCredential -> Rep DRepCredential x Source #

to :: Rep DRepCredential x -> DRepCredential Source #

Show DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: DRepCredential -> String Source #

showList :: [DRepCredential] -> ShowS Source #

Eq DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

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

Eq DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

FromData DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe DRepCredential #

ToData DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: DRepCredential -> BuiltinData #

UnsafeFromData DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> DRepCredential #

Pretty DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: DRepCredential -> Doc ann

prettyList :: [DRepCredential] -> Doc ann

Lift DefaultUni DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep DRepCredential Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

data DRep Source #

Instances

Instances details

Generic DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

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

Methods

from :: DRep -> Rep DRep x Source #

to :: Rep DRep x -> DRep Source #

Show DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: DRep -> String Source #

showList :: [DRep] -> ShowS Source #

Eq DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

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

Eq DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

FromData DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe DRep #

ToData DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: DRep -> BuiltinData #

UnsafeFromData DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> DRep #

Pretty DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: DRep -> Doc ann

prettyList :: [DRep] -> Doc ann

Lift DefaultUni DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep DRep Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

matchDRep :: DRep -> (DRepCredential -> r) -> r -> r -> r Source #

pattern DRep :: DRepCredential -> DRep Source #

pattern DRepAlwaysAbstain :: DRep Source #

pattern DRepAlwaysNoConfidence :: DRep Source #

data Delegatee Source #

Instances

Instances details

Generic Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

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

Methods

from :: Delegatee -> Rep Delegatee x Source #

to :: Rep Delegatee x -> Delegatee Source #

Show Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: Delegatee -> String Source #

showList :: [Delegatee] -> ShowS Source #

Eq Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

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

Eq Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

FromData Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Delegatee #

ToData Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: Delegatee -> BuiltinData #

UnsafeFromData Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Delegatee #

Pretty Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: Delegatee -> Doc ann

prettyList :: [Delegatee] -> Doc ann

Lift DefaultUni Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep Delegatee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

matchDelegatee :: Delegatee -> (PubKeyHash -> r) -> (DRep -> r) -> (PubKeyHash -> DRep -> r) -> r Source #

pattern DelegStake :: PubKeyHash -> Delegatee Source #

pattern DelegVote :: DRep -> Delegatee Source #

pattern DelegStakeVote :: PubKeyHash -> DRep -> Delegatee Source #

data TxCert Source #

Instances

Instances details

Generic TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

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

Methods

from :: TxCert -> Rep TxCert x Source #

to :: Rep TxCert x -> TxCert Source #

Show TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: TxCert -> String Source #

showList :: [TxCert] -> ShowS Source #

Eq TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

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

Eq TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

FromData TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxCert #

ToData TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: TxCert -> BuiltinData #

UnsafeFromData TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxCert #

Pretty TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: TxCert -> Doc ann

prettyList :: [TxCert] -> Doc ann

Lift DefaultUni TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep TxCert Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

matchTxCert :: TxCert -> (Credential -> Maybe Lovelace -> r) -> (Credential -> Maybe Lovelace -> r) -> (Credential -> Delegatee -> r) -> (Credential -> Delegatee -> Lovelace -> r) -> (DRepCredential -> Lovelace -> r) -> (DRepCredential -> r) -> (DRepCredential -> Lovelace -> r) -> (PubKeyHash -> PubKeyHash -> r) -> (PubKeyHash -> Integer -> r) -> (ColdCommitteeCredential -> HotCommitteeCredential -> r) -> (ColdCommitteeCredential -> r) -> r Source #

pattern TxCertRegStaking :: Credential -> Maybe Lovelace -> TxCert Source #

pattern TxCertUnRegStaking :: Credential -> Maybe Lovelace -> TxCert Source #

pattern TxCertDelegStaking :: Credential -> Delegatee -> TxCert Source #

pattern TxCertRegDeleg :: Credential -> Delegatee -> Lovelace -> TxCert Source #

pattern TxCertRegDRep :: DRepCredential -> Lovelace -> TxCert Source #

pattern TxCertUpdateDRep :: DRepCredential -> TxCert Source #

pattern TxCertUnRegDRep :: DRepCredential -> Lovelace -> TxCert Source #

pattern TxCertPoolRegister :: PubKeyHash -> PubKeyHash -> TxCert Source #

pattern TxCertPoolRetire :: PubKeyHash -> Integer -> TxCert Source #

pattern TxCertAuthHotCommittee :: ColdCommitteeCredential -> HotCommitteeCredential -> TxCert Source #

pattern TxCertResignColdCommittee :: ColdCommitteeCredential -> TxCert Source #

data Voter Source #

Instances

Instances details

Generic Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

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

Methods

from :: Voter -> Rep Voter x Source #

to :: Rep Voter x -> Voter Source #

Show Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: Voter -> String Source #

showList :: [Voter] -> ShowS Source #

Eq Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

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

Eq Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

FromData Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Voter #

ToData Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: Voter -> BuiltinData #

UnsafeFromData Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Voter #

Pretty Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: Voter -> Doc ann

prettyList :: [Voter] -> Doc ann

Lift DefaultUni Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep Voter Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

matchVoter :: Voter -> (HotCommitteeCredential -> r) -> (DRepCredential -> r) -> (PubKeyHash -> r) -> r Source #

pattern CommitteeVoter :: HotCommitteeCredential -> Voter Source #

pattern DRepVoter :: DRepCredential -> Voter Source #

pattern StakePoolVoter :: PubKeyHash -> Voter Source #

data Vote Source #

A vote. The optional anchor is omitted.

Instances

Instances details

Generic Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

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

Methods

from :: Vote -> Rep Vote x Source #

to :: Rep Vote x -> Vote Source #

Show Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: Vote -> String Source #

showList :: [Vote] -> ShowS Source #

Eq Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

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

Eq Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

FromData Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Vote #

ToData Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: Vote -> BuiltinData #

UnsafeFromData Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Vote #

Pretty Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: Vote -> Doc ann

prettyList :: [Vote] -> Doc ann

Lift DefaultUni Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep Vote Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

matchVote :: Vote -> r -> r -> r -> r Source #

pattern VoteNo :: Vote Source #

pattern VoteYes :: Vote Source #

pattern Abstain :: Vote Source #

data GovernanceActionId Source #

Similar to TxOutRef, but for GovActions

Instances

Instances details

Generic GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep GovernanceActionId

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

Methods

from :: GovernanceActionId -> Rep GovernanceActionId x Source #

to :: Rep GovernanceActionId x -> GovernanceActionId Source #

Show GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: GovernanceActionId -> String Source #

showList :: [GovernanceActionId] -> ShowS Source #

Eq GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

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

Eq GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

FromData GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe GovernanceActionId #

ToData GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: GovernanceActionId -> BuiltinData #

UnsafeFromData GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> GovernanceActionId #

Pretty GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: GovernanceActionId -> Doc ann

prettyList :: [GovernanceActionId] -> Doc ann

Lift DefaultUni GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep GovernanceActionId Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

pattern GovernanceActionId :: TxId -> Integer -> GovernanceActionId Source #

matchGovernanceActionId :: GovernanceActionId -> (TxId -> Integer -> r) -> r Source #

gaidTxId :: GovernanceActionId -> TxId Source #

gaidGovActionIx :: GovernanceActionId -> Integer Source #

data Committee Source #

Instances

Instances details

Generic Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

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

Methods

from :: Committee -> Rep Committee x Source #

to :: Rep Committee x -> Committee Source #

Show Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: Committee -> String Source #

showList :: [Committee] -> ShowS Source #

FromData Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Committee #

ToData Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: Committee -> BuiltinData #

UnsafeFromData Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Committee #

Pretty Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: Committee -> Doc ann

prettyList :: [Committee] -> Doc ann

Lift DefaultUni Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep Committee Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

pattern Committee :: Map ColdCommitteeCredential Integer -> Rational -> Committee Source #

matchCommittee :: Committee -> (Map ColdCommitteeCredential Integer -> Rational -> r) -> r Source #

committeeMembers :: Committee -> Map ColdCommitteeCredential Integer Source #

committeeQuorum :: Committee -> Rational Source #

newtype Constitution Source #

A constitution. The optional anchor is omitted.

Constructors

Constitution
Fields constitutionScript :: Maybe ScriptHash

Instances

Instances details

Generic Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

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

Methods

from :: Constitution -> Rep Constitution x Source #

to :: Rep Constitution x -> Constitution Source #

Show Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: Constitution -> String Source #

showList :: [Constitution] -> ShowS Source #

Eq Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

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

Eq Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

FromData Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Constitution #

ToData Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: Constitution -> BuiltinData #

UnsafeFromData Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Constitution #

Pretty Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: Constitution -> Doc ann

prettyList :: [Constitution] -> Doc ann

Lift DefaultUni Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep Constitution Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

data ProtocolVersion Source #

Instances

Instances details

Generic ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep ProtocolVersion

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

Methods

from :: ProtocolVersion -> Rep ProtocolVersion x Source #

to :: Rep ProtocolVersion x -> ProtocolVersion Source #

Show ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: ProtocolVersion -> String Source #

showList :: [ProtocolVersion] -> ShowS Source #

Eq ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

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

Eq ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

FromData ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ProtocolVersion #

ToData ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: ProtocolVersion -> BuiltinData #

UnsafeFromData ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ProtocolVersion #

Pretty ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: ProtocolVersion -> Doc ann

prettyList :: [ProtocolVersion] -> Doc ann

Lift DefaultUni ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep ProtocolVersion Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

pattern ProtocolVersion :: Integer -> Integer -> ProtocolVersion Source #

matchProtocolVersion :: ProtocolVersion -> (Integer -> Integer -> r) -> r Source #

pvMajor :: ProtocolVersion -> Integer Source #

pvMinor :: ProtocolVersion -> Integer Source #

newtype ChangedParameters Source #

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

The mapping from parameter IDs to parameters can be found in conway.cddl. -- editorconfig-checker-disable-file

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

Constructors

ChangedParameters
Fields getChangedParameters :: BuiltinData

Instances

Instances details

Generic ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

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

Methods

from :: ChangedParameters -> Rep ChangedParameters x Source #

to :: Rep ChangedParameters x -> ChangedParameters Source #

Show ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: ChangedParameters -> String Source #

showList :: [ChangedParameters] -> ShowS Source #

Eq ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

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

Ord ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

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

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

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

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

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

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

Eq ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

FromData ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ChangedParameters #

ToData ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: ChangedParameters -> BuiltinData #

UnsafeFromData ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ChangedParameters #

Pretty ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: ChangedParameters -> Doc ann

prettyList :: [ChangedParameters] -> Doc ann

Lift DefaultUni ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep ChangedParameters Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

data GovernanceAction Source #

Instances

Instances details

Generic GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep GovernanceAction

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

Methods

from :: GovernanceAction -> Rep GovernanceAction x Source #

to :: Rep GovernanceAction x -> GovernanceAction Source #

Show GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: GovernanceAction -> String Source #

showList :: [GovernanceAction] -> ShowS Source #

FromData GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe GovernanceAction #

ToData GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: GovernanceAction -> BuiltinData #

UnsafeFromData GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> GovernanceAction #

Pretty GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: GovernanceAction -> Doc ann

prettyList :: [GovernanceAction] -> Doc ann

Lift DefaultUni GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep GovernanceAction Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

matchGovernanceAction :: GovernanceAction -> (Maybe GovernanceActionId -> ChangedParameters -> Maybe ScriptHash -> r) -> (Maybe GovernanceActionId -> ProtocolVersion -> r) -> (Map Credential Lovelace -> Maybe ScriptHash -> r) -> (Maybe GovernanceActionId -> r) -> (Maybe GovernanceActionId -> List ColdCommitteeCredential -> Map ColdCommitteeCredential Integer -> Rational -> r) -> (Maybe GovernanceActionId -> Constitution -> r) -> r -> r Source #

pattern ParameterChange :: Maybe GovernanceActionId -> ChangedParameters -> Maybe ScriptHash -> GovernanceAction Source #

pattern HardForkInitiation :: Maybe GovernanceActionId -> ProtocolVersion -> GovernanceAction Source #

pattern TreasuryWithdrawals :: Map Credential Lovelace -> Maybe ScriptHash -> GovernanceAction Source #

pattern NoConfidence :: Maybe GovernanceActionId -> GovernanceAction Source #

pattern UpdateCommittee :: Maybe GovernanceActionId -> List ColdCommitteeCredential -> Map ColdCommitteeCredential Integer -> Rational -> GovernanceAction Source #

pattern NewConstitution :: Maybe GovernanceActionId -> Constitution -> GovernanceAction Source #

pattern InfoAction :: GovernanceAction Source #

data ProposalProcedure Source #

A proposal procedure. The optional anchor is omitted.

Instances

Instances details

Generic ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep ProposalProcedure

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

Methods

from :: ProposalProcedure -> Rep ProposalProcedure x Source #

to :: Rep ProposalProcedure x -> ProposalProcedure Source #

Show ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: ProposalProcedure -> String Source #

showList :: [ProposalProcedure] -> ShowS Source #

FromData ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ProposalProcedure #

ToData ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: ProposalProcedure -> BuiltinData #

UnsafeFromData ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ProposalProcedure #

Pretty ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: ProposalProcedure -> Doc ann

prettyList :: [ProposalProcedure] -> Doc ann

Lift DefaultUni ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep ProposalProcedure Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

pattern ProposalProcedure :: Lovelace -> Credential -> GovernanceAction -> ProposalProcedure Source #

matchProposalProcedure :: ProposalProcedure -> (Lovelace -> Credential -> GovernanceAction -> r) -> r Source #

ppDeposit :: ProposalProcedure -> Lovelace Source #

ppReturnAddr :: ProposalProcedure -> Credential Source #

ppGovernanceAction :: ProposalProcedure -> GovernanceAction Source #

data ScriptPurpose Source #

A ScriptPurpose uniquely identifies a Plutus script within a transaction.

Instances

Instances details

Generic ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

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

Methods

from :: ScriptPurpose -> Rep ScriptPurpose x Source #

to :: Rep ScriptPurpose x -> ScriptPurpose Source #

Show ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: ScriptPurpose -> String Source #

showList :: [ScriptPurpose] -> ShowS Source #

FromData ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptPurpose #

ToData ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: ScriptPurpose -> BuiltinData #

UnsafeFromData ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptPurpose #

Pretty ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: ScriptPurpose -> Doc ann

prettyList :: [ScriptPurpose] -> Doc ann

Lift DefaultUni ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep ScriptPurpose Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

matchScriptPurpose :: ScriptPurpose -> (CurrencySymbol -> r) -> (TxOutRef -> r) -> (Credential -> r) -> (Integer -> TxCert -> r) -> (Voter -> r) -> (Integer -> ProposalProcedure -> r) -> r Source #

pattern Minting :: CurrencySymbol -> ScriptPurpose Source #

pattern Spending :: TxOutRef -> ScriptPurpose Source #

pattern Rewarding :: Credential -> ScriptPurpose Source #

pattern Certifying :: Integer -> TxCert -> ScriptPurpose Source #

pattern Voting :: Voter -> ScriptPurpose Source #

pattern Proposing :: Integer -> ProposalProcedure -> ScriptPurpose Source #

data ScriptInfo Source #

Like ScriptPurpose but with an optional datum for spending scripts.

Instances

Instances details

Generic ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

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

Methods

from :: ScriptInfo -> Rep ScriptInfo x Source #

to :: Rep ScriptInfo x -> ScriptInfo Source #

Show ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: ScriptInfo -> String Source #

showList :: [ScriptInfo] -> ShowS Source #

FromData ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptInfo #

ToData ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: ScriptInfo -> BuiltinData #

UnsafeFromData ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptInfo #

Pretty ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: ScriptInfo -> Doc ann

prettyList :: [ScriptInfo] -> Doc ann

Lift DefaultUni ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep ScriptInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

matchScriptInfo :: ScriptInfo -> (CurrencySymbol -> r) -> (TxOutRef -> Maybe Datum -> r) -> (Credential -> r) -> (Integer -> TxCert -> r) -> (Voter -> r) -> (Integer -> ProposalProcedure -> r) -> r Source #

pattern MintingScript :: CurrencySymbol -> ScriptInfo Source #

pattern SpendingScript :: TxOutRef -> Maybe Datum -> ScriptInfo Source #

pattern RewardingScript :: Credential -> ScriptInfo Source #

pattern CertifyingScript :: Integer -> TxCert -> ScriptInfo Source #

pattern VotingScript :: Voter -> ScriptInfo Source #

pattern ProposingScript :: Integer -> ProposalProcedure -> ScriptInfo Source #

data TxInInfo Source #

An input of a pending transaction.

Instances

Instances details

Generic TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

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

Methods

from :: TxInInfo -> Rep TxInInfo x Source #

to :: Rep TxInInfo x -> TxInInfo Source #

Show TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: TxInInfo -> String Source #

showList :: [TxInInfo] -> ShowS Source #

Eq TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

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

Eq TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

FromData TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInInfo #

ToData TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: TxInInfo -> BuiltinData #

UnsafeFromData TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInInfo #

Pretty TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: TxInInfo -> Doc ann

prettyList :: [TxInInfo] -> Doc ann

Lift DefaultUni TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep TxInInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

pattern TxInInfo :: TxOutRef -> TxOut -> TxInInfo Source #

matchTxInInfo :: TxInInfo -> (TxOutRef -> TxOut -> r) -> r Source #

txInInfoOutRef :: TxInInfo -> TxOutRef Source #

txInInfoResolved :: TxInInfo -> TxOut Source #

data TxInfo Source #

TxInfo for PlutusV3

Instances

Instances details

Generic TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

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

Methods

from :: TxInfo -> Rep TxInfo x Source #

to :: Rep TxInfo x -> TxInfo Source #

Show TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: TxInfo -> String Source #

showList :: [TxInfo] -> ShowS Source #

FromData TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInfo #

ToData TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: TxInfo -> BuiltinData #

UnsafeFromData TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInfo #

Pretty TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: TxInfo -> Doc ann

prettyList :: [TxInfo] -> Doc ann

Lift DefaultUni TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep TxInfo Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

pattern TxInfo :: List TxInInfo -> List TxInInfo -> List TxOut -> Lovelace -> MintValue -> List TxCert -> Map Credential Lovelace -> POSIXTimeRange -> List PubKeyHash -> Map ScriptPurpose Redeemer -> Map DatumHash Datum -> TxId -> Map Voter (Map GovernanceActionId Vote) -> List ProposalProcedure -> Maybe Lovelace -> Maybe Lovelace -> TxInfo Source #

matchTxInfo :: TxInfo -> (List TxInInfo -> List TxInInfo -> List TxOut -> Lovelace -> MintValue -> List TxCert -> Map Credential Lovelace -> POSIXTimeRange -> List PubKeyHash -> Map ScriptPurpose Redeemer -> Map DatumHash Datum -> TxId -> Map Voter (Map GovernanceActionId Vote) -> List ProposalProcedure -> Maybe Lovelace -> Maybe Lovelace -> r) -> r Source #

txInfoInputs :: TxInfo -> List TxInInfo Source #

txInfoReferenceInputs :: TxInfo -> List TxInInfo Source #

txInfoOutputs :: TxInfo -> List TxOut Source #

txInfoFee :: TxInfo -> Lovelace Source #

txInfoMint :: TxInfo -> MintValue Source #

txInfoTxCerts :: TxInfo -> List TxCert Source #

txInfoWdrl :: TxInfo -> Map Credential Lovelace Source #

txInfoValidRange :: TxInfo -> POSIXTimeRange Source #

txInfoSignatories :: TxInfo -> List PubKeyHash Source #

txInfoRedeemers :: TxInfo -> Map ScriptPurpose Redeemer Source #

txInfoData :: TxInfo -> Map DatumHash Datum Source #

txInfoId :: TxInfo -> TxId Source #

txInfoVotes :: TxInfo -> Map Voter (Map GovernanceActionId Vote) Source #

txInfoProposalProcedures :: TxInfo -> List ProposalProcedure Source #

txInfoCurrentTreasuryAmount :: TxInfo -> Maybe Lovelace Source #

txInfoTreasuryDonation :: TxInfo -> Maybe Lovelace Source #

data ScriptContext Source #

The context that the currently-executing script can access.

Instances

Instances details

Generic ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

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

Methods

from :: ScriptContext -> Rep ScriptContext x Source #

to :: Rep ScriptContext x -> ScriptContext Source #

Show ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

show :: ScriptContext -> String Source #

showList :: [ScriptContext] -> ShowS Source #

FromData ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptContext #

ToData ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: ScriptContext -> BuiltinData #

UnsafeFromData ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptContext #

Pretty ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: ScriptContext -> Doc ann

prettyList :: [ScriptContext] -> Doc ann

Lift DefaultUni ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

Typeable DefaultUni ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

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

type Rep ScriptContext Source #

Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

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

pattern ScriptContext :: TxInfo -> Redeemer -> ScriptInfo -> ScriptContext Source #

matchScriptContext :: ScriptContext -> (TxInfo -> Redeemer -> ScriptInfo -> r) -> r Source #

scriptContextTxInfo :: ScriptContext -> TxInfo Source #

scriptContextRedeemer :: ScriptContext -> Redeemer Source #

scriptContextScriptInfo :: ScriptContext -> ScriptInfo Source #

findOwnInput :: ScriptContext -> Maybe TxInInfo Source #

Find the input currently being validated.

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

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

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

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

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

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

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

findContinuingOutputs :: ScriptContext -> List Integer Source #

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

getContinuingOutputs :: ScriptContext -> List TxOut Source #

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

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

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

Validator functions

pubKeyOutputsAt :: PubKeyHash -> TxInfo -> List Value Source #

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

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

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

valueSpent :: TxInfo -> Value Source #

Get the total value of inputs spent by this transaction.

valueProduced :: TxInfo -> Value Source #

Get the total value of outputs produced by this transaction.

ownCurrencySymbol :: ScriptContext -> CurrencySymbol Source #

The CurrencySymbol of the current validator script.

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

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