plutus-ledger-api-1.18.0.0: Interface to the Plutus ledger for the Cardano ledger.
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusLedgerApi.V3.Contexts

Synopsis

Documentation

newtype ColdCommitteeCredential Source #

Instances

Instances details
Generic ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep ColdCommitteeCredential :: Type -> Type Source #

Show ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Lift DefaultUni ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

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

newtype HotCommitteeCredential Source #

Instances

Instances details
Generic HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep HotCommitteeCredential :: Type -> Type Source #

Show HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Lift DefaultUni HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

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

newtype DRepCredential Source #

Instances

Instances details
Generic DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep DRepCredential :: Type -> Type Source #

Show DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: DRepCredential -> Doc ann

prettyList :: [DRepCredential] -> Doc ann

Lift DefaultUni DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep DRepCredential = D1 ('MetaData "DRepCredential" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.18.0.0-Arniy3OL4wy69RH7u4QMZP" '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.Contexts

Associated Types

type Rep DRep :: Type -> Type Source #

Methods

from :: DRep -> Rep DRep x Source #

to :: Rep DRep x -> DRep Source #

Show DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

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

Eq DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

FromData DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: DRep -> Doc ann

prettyList :: [DRep] -> Doc ann

Lift DefaultUni DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

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

data Delegatee Source #

Instances

Instances details
Generic Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep Delegatee :: Type -> Type Source #

Show Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

FromData Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: Delegatee -> Doc ann

prettyList :: [Delegatee] -> Doc ann

Lift DefaultUni Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

data TxCert Source #

Constructors

TxCertRegStaking Credential (Maybe Value)

Register staking credential with an optional deposit amount

TxCertUnRegStaking Credential (Maybe Value)

Un-Register staking credential with an optional refund amount

TxCertDelegStaking Credential Delegatee

Delegate staking credential to a Delegatee

TxCertRegDeleg Credential Delegatee Value

Register and delegate staking credential to a Delegatee in one certificate. Noter that deposit is mandatory.

TxCertRegDRep DRepCredential Value

Register a DRep with a deposit value. The optional anchor is omitted.

TxCertUpdateDRep DRepCredential

Update a DRep. The optional anchor is omitted.

TxCertUnRegDRep DRepCredential Value

UnRegister a DRep with mandatory refund value

TxCertPoolRegister

A digest of the PoolParams

Fields

TxCertPoolRetire PubKeyHash Integer

The retirement certificate and the Epoch in which the retirement will take place

TxCertAuthHotCommittee ColdCommitteeCredential HotCommitteeCredential

Authorize a Hot credential for a specific Committee member's cold credential

TxCertResignColdCommittee ColdCommitteeCredential 

Instances

Instances details
Generic TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep TxCert :: Type -> Type Source #

Show TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

FromData TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: TxCert -> Doc ann

prettyList :: [TxCert] -> Doc ann

Lift DefaultUni TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep TxCert = D1 ('MetaData "TxCert" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.18.0.0-Arniy3OL4wy69RH7u4QMZP" 'False) (((C1 ('MetaCons "TxCertRegStaking" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value))) :+: C1 ('MetaCons "TxCertUnRegStaking" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))) :+: (C1 ('MetaCons "TxCertDelegStaking" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Delegatee)) :+: (C1 ('MetaCons "TxCertRegDeleg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Delegatee) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))) :+: C1 ('MetaCons "TxCertRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRepCredential) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))))) :+: ((C1 ('MetaCons "TxCertUpdateDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRepCredential)) :+: (C1 ('MetaCons "TxCertUnRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRepCredential) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)) :+: C1 ('MetaCons "TxCertPoolRegister" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)))) :+: (C1 ('MetaCons "TxCertPoolRetire" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: (C1 ('MetaCons "TxCertAuthHotCommittee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColdCommitteeCredential) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HotCommitteeCredential)) :+: C1 ('MetaCons "TxCertResignColdCommittee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColdCommitteeCredential))))))

data Voter Source #

Instances

Instances details
Generic Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep Voter :: Type -> Type Source #

Methods

from :: Voter -> Rep Voter x Source #

to :: Rep Voter x -> Voter Source #

Show Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

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

Eq Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

FromData Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: Voter -> Doc ann

prettyList :: [Voter] -> Doc ann

Lift DefaultUni Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

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

data Vote Source #

A vote. The optional anchor is omitted.

Constructors

VoteNo 
VoteYes 
Abstain 

Instances

Instances details
Generic Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep Vote :: Type -> Type Source #

Methods

from :: Vote -> Rep Vote x Source #

to :: Rep Vote x -> Vote Source #

Show Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

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

Eq Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

FromData Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: Vote -> Doc ann

prettyList :: [Vote] -> Doc ann

Lift DefaultUni Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

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

data GovernanceActionId Source #

Similar to TxOutRef, but for GovActions

Instances

Instances details
Generic GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep GovernanceActionId :: Type -> Type Source #

Show GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: GovernanceActionId -> Doc ann

prettyList :: [GovernanceActionId] -> Doc ann

Lift DefaultUni GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

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

data Committee Source #

Constructors

Committee 

Fields

Instances

Instances details
Generic Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep Committee :: Type -> Type Source #

Show Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

FromData Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: Committee -> Doc ann

prettyList :: [Committee] -> Doc ann

Lift DefaultUni Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

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

newtype Constitution Source #

A constitution. The optional anchor is omitted.

Instances

Instances details
Generic Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep Constitution :: Type -> Type Source #

Show Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: Constitution -> Doc ann

prettyList :: [Constitution] -> Doc ann

Lift DefaultUni Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

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

data ProtocolVersion Source #

Constructors

ProtocolVersion 

Instances

Instances details
Generic ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep ProtocolVersion :: Type -> Type Source #

Show ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: ProtocolVersion -> Doc ann

prettyList :: [ProtocolVersion] -> Doc ann

Lift DefaultUni ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

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

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 name to the new value. Unchanged parameters are not included.

Instances

Instances details
Generic ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep ChangedParameters :: Type -> Type Source #

Show ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Ord ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: ChangedParameters -> Doc ann

prettyList :: [ChangedParameters] -> Doc ann

Lift DefaultUni ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ChangedParameters = D1 ('MetaData "ChangedParameters" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.18.0.0-Arniy3OL4wy69RH7u4QMZP" '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.Contexts

Associated Types

type Rep GovernanceAction :: Type -> Type Source #

Show GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: GovernanceAction -> Doc ann

prettyList :: [GovernanceAction] -> Doc ann

Lift DefaultUni GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep GovernanceAction = D1 ('MetaData "GovernanceAction" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.18.0.0-Arniy3OL4wy69RH7u4QMZP" 'False) ((C1 ('MetaCons "ParameterChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe GovernanceActionId)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChangedParameters)) :+: (C1 ('MetaCons "HardForkInitiation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe GovernanceActionId)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtocolVersion)) :+: C1 ('MetaCons "TreasuryWithdrawals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Credential Value))))) :+: ((C1 ('MetaCons "NoConfidence" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe GovernanceActionId))) :+: C1 ('MetaCons "NewCommittee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe GovernanceActionId)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ColdCommitteeCredential]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Committee)))) :+: (C1 ('MetaCons "NewConstitution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe GovernanceActionId)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Constitution)) :+: C1 ('MetaCons "InfoAction" 'PrefixI 'False) (U1 :: Type -> Type))))

data ProposalProcedure Source #

A proposal procedure. The optional anchor is omitted.

Instances

Instances details
Generic ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep ProposalProcedure :: Type -> Type Source #

Show ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: ProposalProcedure -> Doc ann

prettyList :: [ProposalProcedure] -> Doc ann

Lift DefaultUni ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

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

data ScriptPurpose Source #

Instances

Instances details
Generic ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep ScriptPurpose :: Type -> Type Source #

Show ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: ScriptPurpose -> Doc ann

prettyList :: [ScriptPurpose] -> Doc ann

Lift DefaultUni ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

data TxInfo Source #

TxInfo for PlutusV3

Instances

Instances details
Generic TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep TxInfo :: Type -> Type Source #

Show TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

FromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: TxInfo -> Doc ann

prettyList :: [TxInfo] -> Doc ann

Lift DefaultUni TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep TxInfo = D1 ('MetaData "TxInfo" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.18.0.0-Arniy3OL4wy69RH7u4QMZP" 'False) (C1 ('MetaCons "TxInfo" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "txInfoInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxInInfo]) :*: S1 ('MetaSel ('Just "txInfoReferenceInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxInInfo])) :*: (S1 ('MetaSel ('Just "txInfoOutputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxOut]) :*: S1 ('MetaSel ('Just "txInfoFee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))) :*: ((S1 ('MetaSel ('Just "txInfoMint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: S1 ('MetaSel ('Just "txInfoTxCerts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxCert])) :*: (S1 ('MetaSel ('Just "txInfoWdrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Credential Integer)) :*: S1 ('MetaSel ('Just "txInfoValidRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTimeRange)))) :*: (((S1 ('MetaSel ('Just "txInfoSignatories") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PubKeyHash]) :*: S1 ('MetaSel ('Just "txInfoRedeemers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ScriptPurpose Redeemer))) :*: (S1 ('MetaSel ('Just "txInfoData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map DatumHash Datum)) :*: S1 ('MetaSel ('Just "txInfoId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId))) :*: ((S1 ('MetaSel ('Just "txInfoVotes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Voter (Map GovernanceActionId Vote))) :*: S1 ('MetaSel ('Just "txInfoProposalProcedures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ProposalProcedure])) :*: (S1 ('MetaSel ('Just "txInfoCurrentTreasuryAmount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)) :*: S1 ('MetaSel ('Just "txInfoTreasuryDonation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))))))

data ScriptContext Source #

The context that the currently-executing script can access.

Constructors

ScriptContext 

Fields

Instances

Instances details
Generic ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep ScriptContext :: Type -> Type Source #

Show ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: ScriptContext -> Doc ann

prettyList :: [ScriptContext] -> Doc ann

Lift DefaultUni ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

Typeable DefaultUni ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

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

type Rep ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ScriptContext = D1 ('MetaData "ScriptContext" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.18.0.0-Arniy3OL4wy69RH7u4QMZP" 'False) (C1 ('MetaCons "ScriptContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "scriptContextTxInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo) :*: S1 ('MetaSel ('Just "scriptContextPurpose") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptPurpose)))