Safe Haskell	Safe-Inferred
Language	Haskell2010

Plutarch.LedgerApi.V3

Contents

Contexts
Tx
- Types
- Functions
Script
- Types
- Functions
Value
Assoc map
- Types
Address
Time
Interval
CIP-1694
Crypto
- Types
Utilities
- Types
- Utilities

Description

Note

The PValue, PMap and PInterval-related functionality can be found in other modules, as these clash with the Plutarch prelude. These should be imported qualified.

Synopsis

data PScriptContext (s :: S) = PScriptContext {
- pscriptContext'txInfo :: Term s PTxInfo
- pscriptContext'redeemer :: Term s PRedeemer
- pscriptContext'scriptInfo :: Term s PScriptInfo
}
data PTxInfo (s :: S) = PTxInfo {
- ptxInfo'inputs :: Term s (PAsData (PBuiltinList (PAsData PTxInInfo)))
- ptxInfo'referenceInputs :: Term s (PAsData (PBuiltinList (PAsData PTxInInfo)))
- ptxInfo'outputs :: Term s (PAsData (PBuiltinList (PAsData PTxOut)))
- ptxInfo'fee :: Term s (PAsData PLovelace)
- ptxInfo'mint :: Term s (PAsData (PValue 'Sorted 'NonZero))
- ptxInfo'txCerts :: Term s (PAsData (PBuiltinList (PAsData PTxCert)))
- ptxInfo'wdrl :: Term s (PAsData (PMap 'Unsorted PCredential PLovelace))
- ptxInfo'validRange :: Term s (PInterval PPosixTime)
- ptxInfo'signatories :: Term s (PAsData (PBuiltinList (PAsData PPubKeyHash)))
- ptxInfo'redeemers :: Term s (PAsData (PMap 'Unsorted PScriptPurpose PRedeemer))
- ptxInfo'data :: Term s (PAsData (PMap 'Unsorted PDatumHash PDatum))
- ptxInfo'id :: Term s (PAsData PTxId)
- ptxInfo'votes :: Term s (PAsData (PMap 'Unsorted PVoter (PMap 'Unsorted PGovernanceActionId PVote)))
- ptxInfo'proposalProcedures :: Term s (PAsData (PBuiltinList (PAsData PProposalProcedure)))
- ptxInfo'currentTreasuryAmount :: Term s (PMaybeData PLovelace)
- ptxInfo'treasuryDonation :: Term s (PMaybeData PLovelace)
}
data PScriptInfo (s :: S)
- = PMintingScript (Term s (PAsData PCurrencySymbol))
- | PSpendingScript (Term s PTxOutRef) (Term s (PMaybeData PDatum))
- | PRewardingScript (Term s PCredential)
- | PCertifyingScript (Term s (PAsData PInteger)) (Term s PTxCert)
- | PVotingScript (Term s PVoter)
- | PProposingScript (Term s (PAsData PInteger)) (Term s PProposalProcedure)
data PScriptPurpose (s :: S)
- = PMinting (Term s (PAsData PCurrencySymbol))
- | PSpending (Term s PTxOutRef)
- | PRewarding (Term s PCredential)
- | PCertifying (Term s (PAsData PInteger)) (Term s PTxCert)
- | PVoting (Term s PVoter)
- | PProposing (Term s (PAsData PInteger)) (Term s PProposalProcedure)
data PTxOutRef (s :: S) = PTxOutRef {
- ptxOutRef'id :: Term s (PAsData PTxId)
- ptxOutRef'idx :: Term s (PAsData PInteger)
}
data PTxOut (s :: S) = PTxOut {
- ptxOut'address :: Term s PAddress
- ptxOut'value :: Term s (PAsData (PValue 'Sorted 'Positive))
- ptxOut'datum :: Term s POutputDatum
- ptxOut'referenceScript :: Term s (PMaybeData PScriptHash)
}
newtype PTxId (s :: S) = PTxId (Term s PByteString)
data PTxInInfo (s :: S) = PTxInInfo {
- ptxInInfo'outRef :: Term s PTxOutRef
- ptxInInfo'resolved :: Term s PTxOut
}
data POutputDatum (s :: S)
- = PNoOutputDatum
- | POutputDatumHash {
  - poutputDatum'datumHash :: Term s (PAsData PDatumHash)
  }
- | POutputDatum {
  - poutputDatum'outputDatum :: Term s PDatum
  }
pgetContinuingOutputs :: forall (s :: S). Term s (PBuiltinList PTxInInfo :--> (PBuiltinList PTxOut :--> (PTxOutRef :--> PBuiltinList PTxOut)))
pfindOwnInput :: forall (s :: S). Term s (PBuiltinList PTxInInfo :--> (PTxOutRef :--> PMaybe PTxInInfo))
newtype PDatum (s :: S) = PDatum (Term s PData)
newtype PDatumHash (s :: S) = PDatumHash (Term s PByteString)
newtype PRedeemer (s :: S) = PRedeemer (Term s PData)
newtype PRedeemerHash (s :: S) = PRedeemerHash (Term s PByteString)
newtype PScriptHash (s :: S) = PScriptHash (Term s PByteString)
scriptHash :: Script -> ScriptHash
datumHash :: Datum -> DatumHash
redeemerHash :: Redeemer -> RedeemerHash
dataHash :: forall (a :: Type). ToData a => a -> BuiltinByteString
pparseDatum :: forall (a :: S -> Type) (s :: S). PTryFrom PData (PAsData a) => Term s (PDatumHash :--> (PMap 'Unsorted PDatumHash PDatum :--> PMaybe (PAsData a)))
newtype PValue (keys :: KeyGuarantees) (amounts :: AmountGuarantees) (s :: S) = PValue (Term s (PMap keys PCurrencySymbol (PMap keys PTokenName PInteger)))
data AmountGuarantees
- = NoGuarantees
- | NonZero
- | Positive
newtype PCurrencySymbol (s :: S) = PCurrencySymbol (Term s PByteString)
newtype PTokenName (s :: S) = PTokenName (Term s PByteString)
newtype PLovelace (s :: S) = PLovelace (Term s PInteger)
newtype PMap (keysort :: KeyGuarantees) (k :: S -> Type) (v :: S -> Type) (s :: S) = PMap (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v))))
data KeyGuarantees
- = Sorted
- | Unsorted
data Commutativity
- = Commutative
- | NonCommutative
data PCredential (s :: S)
- = PPubKeyCredential (Term s (PAsData PPubKeyHash))
- | PScriptCredential (Term s (PAsData PScriptHash))
data PStakingCredential (s :: S)
- = PStakingHash (Term s PCredential)
- | PStakingPtr (Term s (PAsData PInteger)) (Term s (PAsData PInteger)) (Term s (PAsData PInteger))
data PAddress (s :: S) = PAddress {
- paddress'credential :: Term s PCredential
- paddress'stakingCredential :: Term s (PMaybeData PStakingCredential)
}
newtype PPosixTime (s :: S) = PPosixTime (Term s PInteger)
pposixTime :: forall (s :: S). Term s PInteger -> Term s PPosixTime
unPPosixTime :: forall (s :: S). Term s PPosixTime -> Term s PInteger
data PInterval (a :: S -> Type) (s :: S) = PInterval {
- pinteral'from :: Term s (PLowerBound a)
- pinteral'to :: Term s (PUpperBound a)
}
data PLowerBound (a :: S -> Type) (s :: S) = PLowerBound (Term s (PExtended a)) (Term s (PAsData PBool))
data PUpperBound (a :: S -> Type) (s :: S) = PUpperBound (Term s (PExtended a)) (Term s (PAsData PBool))
data PExtended (a :: S -> Type) (s :: S)
- = PNegInf
- | PFinite (Term s (PAsData a))
- | PPosInf
data PTxCert (s :: S)
- = PTxCertRegStaking (Term s PCredential) (Term s (PMaybeData PLovelace))
- | PTxCertUnRegStaking (Term s PCredential) (Term s (PMaybeData PLovelace))
- | PTxCertDelegStaking (Term s PCredential) (Term s PDelegatee)
- | PTxCertRegDeleg (Term s PCredential) (Term s PDelegatee) (Term s (PAsData PLovelace))
- | PTxCertRegDRep (Term s PDRepCredential) (Term s (PAsData PLovelace))
- | PTxCertUpdateDRep (Term s PDRepCredential)
- | PTxCertUnRegDRep (Term s PDRepCredential) (Term s (PAsData PLovelace))
- | PTxCertPoolRegister (Term s (PAsData PPubKeyHash)) (Term s (PAsData PPubKeyHash))
- | PTxCertPoolRetire (Term s (PAsData PPubKeyHash)) (Term s (PAsData PInteger))
- | PTxCertAuthHotCommittee (Term s PColdCommitteeCredential) (Term s PHotCommitteeCredential)
- | PTxCertResignColdCommittee (Term s PColdCommitteeCredential)
data PDelegatee (s :: S)
- = PDelegStake (Term s (PAsData PPubKeyHash))
- | PDelegVote (Term s PDRep)
- | PDelegStakeVote (Term s (PAsData PPubKeyHash)) (Term s PDRep)
newtype PDRepCredential (s :: S) = PDRepCredential (Term s PCredential)
newtype PColdCommitteeCredential (s :: S) = PColdCommitteeCredential (Term s PCredential)
newtype PHotCommitteeCredential (s :: S) = PHotCommitteeCredential (Term s PCredential)
data PDRep (s :: S)
- = PDRep (Term s (PAsData PDRepCredential))
- | PDRepAlwaysAbstain
- | PDRepAlwaysNoConfidence
data PVoter (s :: S)
- = PCommitteeVoter (Term s PHotCommitteeCredential)
- | PDRepVoter (Term s PDRepCredential)
- | PStakePoolVoter (Term s (PAsData PPubKeyHash))
data PGovernanceActionId (s :: S) = PGovernanceActionId (Term s (PAsData PTxId)) (Term s (PAsData PInteger))
data PVote (s :: S)
- = PVoteYes
- | PVoteNo
- | PAbstain
data PProtocolVersion (s :: S) = PProtocolVersion {
- pprotocolVersion'major :: Term s (PAsData PInteger)
- pprotocolVersion'minor :: Term s (PAsData PInteger)
}
data PProposalProcedure (s :: S) = PProposalProcedure {
- pproposalProcedure'deposit :: Term s (PAsData PLovelace)
- pproposalProcedure'returnAddr :: Term s PCredential
- pproposalProcedure'governanceAction :: Term s PGovernanceAction
}
data PGovernanceAction (s :: S)
- = PParameterChange (Term s (PMaybeData PGovernanceActionId)) (Term s PChangedParameters) (Term s (PMaybeData PScriptHash))
- | PHardForkInitiation (Term s (PMaybeData PGovernanceActionId)) (Term s PProtocolVersion)
- | PTreasuryWithdrawals (Term s (PAsData (PMap 'Unsorted PCredential PLovelace))) (Term s (PMaybeData PScriptHash))
- | PNoConfidence (Term s (PMaybeData PGovernanceActionId))
- | PUpdateCommittee (Term s (PMaybeData PGovernanceActionId)) (Term s (PAsData (PBuiltinList (PAsData PColdCommitteeCredential)))) (Term s (PAsData (PMap 'Unsorted PColdCommitteeCredential PInteger))) (Term s PRationalData)
- | PNewConstitution (Term s (PMaybeData PGovernanceActionId)) (Term s PConstitution)
- | PInfoAction
newtype PChangedParameters (s :: S) = PChangedParameters (Term s PData)
newtype PConstitution (s :: S) = PConstitution (Term s (PMaybeData PScriptHash))
data PCommittee (s :: S) = PCommittee {
- pcommittee'members :: Term s (PAsData (PMap 'Unsorted PColdCommitteeCredential PInteger))
- pcommittee'quorum :: Term s PRationalData
}
newtype PubKey = PubKey {
- getPubKey :: LedgerBytes
}
newtype PPubKeyHash (s :: S) = PPubKeyHash (Term s PByteString)
pubKeyHash :: PubKey -> PubKeyHash
data PMaybeData (a :: S -> Type) (s :: S)
- = PDJust (Term s (PAsData a))
- | PDNothing
data PRationalData s = PRationalData {
- prationalData'numerator :: Term s (PAsData PInteger)
- prationalData'denominator :: Term s (PAsData PPositive)
}
pfromDJust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PMaybeData a :--> a)
pisDJust :: forall (a :: S -> Type) (s :: S). Term s (PMaybeData a :--> PBool)
pmaybeData :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PIsData a => Term s (b :--> ((a :--> b) :--> (PMaybeData a :--> b)))
pdjust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (a :--> PMaybeData a)
pdnothing :: forall (a :: S -> Type) (s :: S). Term s (PMaybeData a)
pmaybeToMaybeData :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PMaybe a :--> PMaybeData a)
passertPDJust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PString :--> (PMaybeData a :--> a))
prationalFromData :: ClosedTerm (PRationalData :--> PRational)

Contexts

data PScriptContext (s :: S) Source #

Since: 3.1.0

Constructors

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

Instances

Instances details

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

data PTxInfo (s :: S) Source #

Constructors

PTxInfo

Fields

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

Instances

Instances details

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

data PScriptInfo (s :: S) Source #

Since: 3.1.0

Constructors

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

Instances

Instances details

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

data PScriptPurpose (s :: S) Source #

Since: 2.0.0

Constructors

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

Instances

Instances details

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

Tx

Types

data PTxOutRef (s :: S) Source #

Since: 3.1.0

Constructors

PTxOutRef
Fields ptxOutRef'id :: Term s (PAsData PTxId) ptxOutRef'idx :: Term s (PAsData PInteger)

Instances

Instances details

PEq PTxOutRef Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Tx Methods (#==) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool
PIsData PTxOutRef Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxOutRef) -> Term s PTxOutRef pdataImpl :: forall (s :: S). Term s PTxOutRef -> Term s PData
PLiftable PTxOutRef Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx Associated Types type AsHaskell PTxOutRef type PlutusRepr PTxOutRef Methods haskToRepr :: AsHaskell PTxOutRef -> PlutusRepr PTxOutRef reprToHask :: PlutusRepr PTxOutRef -> Either LiftError (AsHaskell PTxOutRef) reprToPlut :: forall (s :: S). PlutusRepr PTxOutRef -> PLifted s PTxOutRef plutToRepr :: (forall (s :: S). PLifted s PTxOutRef) -> Either LiftError (PlutusRepr PTxOutRef)
PlutusType PTxOutRef Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx Associated Types type PInner PTxOutRef :: PType type PCovariant' PTxOutRef type PContravariant' PTxOutRef type PVariant' PTxOutRef Methods pcon' :: forall (s :: S). PTxOutRef s -> Term s (PInner PTxOutRef) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxOutRef) -> (PTxOutRef s -> Term s b) -> Term s b
PShow PTxOutRef Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxOutRef -> Term s PString
Generic (PTxOutRef s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx Associated Types type Rep (PTxOutRef s) :: Type -> Type Source # Methods from :: PTxOutRef s -> Rep (PTxOutRef s) x Source # to :: Rep (PTxOutRef s) x -> PTxOutRef s Source #
Generic (PTxOutRef s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx Associated Types type Code (PTxOutRef s) :: [[Type]] Methods from :: PTxOutRef s -> Rep (PTxOutRef s) to :: Rep (PTxOutRef s) -> PTxOutRef s
type AsHaskell PTxOutRef Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Tx type AsHaskell PTxOutRef = AsHaskell (DeriveDataPLiftable PTxOutRef TxOutRef)
type PlutusRepr PTxOutRef Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx type PlutusRepr PTxOutRef = PlutusRepr (DeriveDataPLiftable PTxOutRef TxOutRef)
type PContravariant' PTxOutRef Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx type PContravariant' PTxOutRef = PContravariant' (DeriveAsDataStruct PTxOutRef)
type PCovariant' PTxOutRef Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx type PCovariant' PTxOutRef = PCovariant' (DeriveAsDataStruct PTxOutRef)
type PInner PTxOutRef Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Tx type PInner PTxOutRef = PInner (DeriveAsDataStruct PTxOutRef)
type PVariant' PTxOutRef Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx type PVariant' PTxOutRef = PVariant' (DeriveAsDataStruct PTxOutRef)
type Rep (PTxOutRef s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Tx type Rep (PTxOutRef s) = D1 ('MetaData "PTxOutRef" "Plutarch.LedgerApi.V3.Tx" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PTxOutRef" 'PrefixI 'True) (S1 ('MetaSel ('Just "ptxOutRef'id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PTxId))) :*: S1 ('MetaSel ('Just "ptxOutRef'idx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger)))))
type Code (PTxOutRef s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Tx type Code (PTxOutRef s) = GCode (PTxOutRef s)

data PTxOut (s :: S) Source #

Since: 2.0.0

Constructors

PTxOut
Fields ptxOut'address :: Term s PAddress ptxOut'value :: Term s (PAsData (PValue 'Sorted 'Positive)) ptxOut'datum :: Term s POutputDatum ptxOut'referenceScript :: Term s (PMaybeData PScriptHash)

Instances

Instances details

PEq PTxOut Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V2.Tx Methods (#==) :: forall (s :: S). Term s PTxOut -> Term s PTxOut -> Term s PBool
PIsData PTxOut Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V2.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxOut) -> Term s PTxOut pdataImpl :: forall (s :: S). Term s PTxOut -> Term s PData
PLiftable PTxOut Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx Associated Types type AsHaskell PTxOut type PlutusRepr PTxOut Methods haskToRepr :: AsHaskell PTxOut -> PlutusRepr PTxOut reprToHask :: PlutusRepr PTxOut -> Either LiftError (AsHaskell PTxOut) reprToPlut :: forall (s :: S). PlutusRepr PTxOut -> PLifted s PTxOut plutToRepr :: (forall (s :: S). PLifted s PTxOut) -> Either LiftError (PlutusRepr PTxOut)
PlutusType PTxOut Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx Associated Types type PInner PTxOut :: PType type PCovariant' PTxOut type PContravariant' PTxOut type PVariant' PTxOut Methods pcon' :: forall (s :: S). PTxOut s -> Term s (PInner PTxOut) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxOut) -> (PTxOut s -> Term s b) -> Term s b
PShow PTxOut Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V2.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxOut -> Term s PString
Generic (PTxOut s) Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx Associated Types type Rep (PTxOut s) :: Type -> Type Source # Methods from :: PTxOut s -> Rep (PTxOut s) x Source # to :: Rep (PTxOut s) x -> PTxOut s Source #
Generic (PTxOut s) Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx Associated Types type Code (PTxOut s) :: [[Type]] Methods from :: PTxOut s -> Rep (PTxOut s) to :: Rep (PTxOut s) -> PTxOut s
type AsHaskell PTxOut Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V2.Tx type AsHaskell PTxOut = AsHaskell (DeriveDataPLiftable PTxOut TxOut)
type PlutusRepr PTxOut Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx type PlutusRepr PTxOut = PlutusRepr (DeriveDataPLiftable PTxOut TxOut)
type PContravariant' PTxOut Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx type PContravariant' PTxOut = PContravariant' (DeriveAsDataStruct PTxOut)
type PCovariant' PTxOut Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx type PCovariant' PTxOut = PCovariant' (DeriveAsDataStruct PTxOut)
type PInner PTxOut Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V2.Tx type PInner PTxOut = PInner (DeriveAsDataStruct PTxOut)
type PVariant' PTxOut Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx type PVariant' PTxOut = PVariant' (DeriveAsDataStruct PTxOut)
type Rep (PTxOut s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V2.Tx type Rep (PTxOut s) = D1 ('MetaData "PTxOut" "Plutarch.LedgerApi.V2.Tx" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PTxOut" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ptxOut'address") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PAddress)) :: S1 ('MetaSel ('Just "ptxOut'value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PValue 'Sorted 'Positive))))) :: (S1 ('MetaSel ('Just "ptxOut'datum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POutputDatum)) :*: S1 ('MetaSel ('Just "ptxOut'referenceScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PScriptHash))))))
type Code (PTxOut s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V2.Tx type Code (PTxOut s) = GCode (PTxOut s)

newtype PTxId (s :: S) Source #

Hashed with BLAKE2b-256.

Since: 3.1.0

Constructors

PTxId (Term s PByteString)

Instances

Instances details

PEq PTxId Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Tx Methods (#==) :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PBool
PIsData PTxId Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxId) -> Term s PTxId pdataImpl :: forall (s :: S). Term s PTxId -> Term s PData
PLiftable PTxId Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Tx Associated Types type AsHaskell PTxId type PlutusRepr PTxId Methods haskToRepr :: AsHaskell PTxId -> PlutusRepr PTxId reprToHask :: PlutusRepr PTxId -> Either LiftError (AsHaskell PTxId) reprToPlut :: forall (s :: S). PlutusRepr PTxId -> PLifted s PTxId plutToRepr :: (forall (s :: S). PLifted s PTxId) -> Either LiftError (PlutusRepr PTxId)
POrd PTxId Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Tx Methods (#<=) :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PBool (#<) :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PBool pmax :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PTxId pmin :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PTxId
PlutusType PTxId Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx Associated Types type PInner PTxId :: PType type PCovariant' PTxId type PContravariant' PTxId type PVariant' PTxId Methods pcon' :: forall (s :: S). PTxId s -> Term s (PInner PTxId) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxId) -> (PTxId s -> Term s b) -> Term s b
PShow PTxId Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxId -> Term s PString
Generic (PTxId s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx Associated Types type Rep (PTxId s) :: Type -> Type Source # Methods from :: PTxId s -> Rep (PTxId s) x Source # to :: Rep (PTxId s) x -> PTxId s Source #
Generic (PTxId s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx Associated Types type Code (PTxId s) :: [[Type]] Methods from :: PTxId s -> Rep (PTxId s) to :: Rep (PTxId s) -> PTxId s
type AsHaskell PTxId Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx type AsHaskell PTxId = TxId
type PlutusRepr PTxId Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx type PlutusRepr PTxId = ByteString
type PContravariant' PTxId Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx type PContravariant' PTxId = PContravariant' (DeriveNewtypePlutusType PTxId)
type PCovariant' PTxId Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx type PCovariant' PTxId = PCovariant' (DeriveNewtypePlutusType PTxId)
type PInner PTxId Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Tx type PInner PTxId = PInner (DeriveNewtypePlutusType PTxId)
type PVariant' PTxId Source #
Instance details Defined in Plutarch.LedgerApi.V3.Tx type PVariant' PTxId = PVariant' (DeriveNewtypePlutusType PTxId)
type Rep (PTxId s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Tx type Rep (PTxId s) = D1 ('MetaData "PTxId" "Plutarch.LedgerApi.V3.Tx" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'True) (C1 ('MetaCons "PTxId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString))))
type Code (PTxId s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Tx type Code (PTxId s) = GCode (PTxId s)

data PTxInInfo (s :: S) Source #

An input of the pending transaction.

Since: 2.0.0

Constructors

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

Instances

Instances details

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

data POutputDatum (s :: S) Source #

Since: 2.0.0

Constructors

PNoOutputDatum
POutputDatumHash
Fields poutputDatum'datumHash :: Term s (PAsData PDatumHash)
POutputDatum	Inline datum as per CIP-0032
Fields poutputDatum'outputDatum :: Term s PDatum

Instances

Instances details

PEq POutputDatum Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V2.Tx Methods (#==) :: forall (s :: S). Term s POutputDatum -> Term s POutputDatum -> Term s PBool
PIsData POutputDatum Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V2.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData POutputDatum) -> Term s POutputDatum pdataImpl :: forall (s :: S). Term s POutputDatum -> Term s PData
PLiftable POutputDatum Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx Associated Types type AsHaskell POutputDatum type PlutusRepr POutputDatum Methods haskToRepr :: AsHaskell POutputDatum -> PlutusRepr POutputDatum reprToHask :: PlutusRepr POutputDatum -> Either LiftError (AsHaskell POutputDatum) reprToPlut :: forall (s :: S). PlutusRepr POutputDatum -> PLifted s POutputDatum plutToRepr :: (forall (s :: S). PLifted s POutputDatum) -> Either LiftError (PlutusRepr POutputDatum)
PlutusType POutputDatum Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx Associated Types type PInner POutputDatum :: PType type PCovariant' POutputDatum type PContravariant' POutputDatum type PVariant' POutputDatum Methods pcon' :: forall (s :: S). POutputDatum s -> Term s (PInner POutputDatum) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner POutputDatum) -> (POutputDatum s -> Term s b) -> Term s b
PShow POutputDatum Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V2.Tx Methods pshow' :: forall (s :: S). Bool -> Term s POutputDatum -> Term s PString
Generic (POutputDatum s) Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx Associated Types type Rep (POutputDatum s) :: Type -> Type Source # Methods from :: POutputDatum s -> Rep (POutputDatum s) x Source # to :: Rep (POutputDatum s) x -> POutputDatum s Source #
Generic (POutputDatum s) Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx Associated Types type Code (POutputDatum s) :: [[Type]] Methods from :: POutputDatum s -> Rep (POutputDatum s) to :: Rep (POutputDatum s) -> POutputDatum s
type AsHaskell POutputDatum Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V2.Tx type AsHaskell POutputDatum = AsHaskell (DeriveDataPLiftable POutputDatum OutputDatum)
type PlutusRepr POutputDatum Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx type PlutusRepr POutputDatum = PlutusRepr (DeriveDataPLiftable POutputDatum OutputDatum)
type PContravariant' POutputDatum Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx type PContravariant' POutputDatum = PContravariant' (DeriveAsDataStruct POutputDatum)
type PCovariant' POutputDatum Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx type PCovariant' POutputDatum = PCovariant' (DeriveAsDataStruct POutputDatum)
type PInner POutputDatum Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V2.Tx type PInner POutputDatum = PInner (DeriveAsDataStruct POutputDatum)
type PVariant' POutputDatum Source #
Instance details Defined in Plutarch.LedgerApi.V2.Tx type PVariant' POutputDatum = PVariant' (DeriveAsDataStruct POutputDatum)
type Rep (POutputDatum s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V2.Tx type Rep (POutputDatum s) = D1 ('MetaData "POutputDatum" "Plutarch.LedgerApi.V2.Tx" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PNoOutputDatum" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "POutputDatumHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "poutputDatum'datumHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PDatumHash)))) :+: C1 ('MetaCons "POutputDatum" 'PrefixI 'True) (S1 ('MetaSel ('Just "poutputDatum'outputDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDatum)))))
type Code (POutputDatum s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V2.Tx type Code (POutputDatum s) = GCode (POutputDatum s)

Functions

pgetContinuingOutputs :: forall (s :: S). Term s (PBuiltinList PTxInInfo :--> (PBuiltinList PTxOut :--> (PTxOutRef :--> PBuiltinList PTxOut))) Source #

Find the output txns corresponding to the input being validated.

Takes as arguments the inputs, outputs and the spending transaction referenced from PScriptPurpose.

Example:

 ctx <- tcont $ pletFields ["txInfo", "purpose"] sc
 pmatchC (getField "purpose" ctx) >>= case
   PSpending outRef' -> do
     let outRef = pfield "_0" # outRef'
         inputs = pfield "inputs" # (getField "txInfo" ctx)
         outputs = pfield "outputs" # (getField @"txInfo" ctx)
     pure $ pgetContinuingOutputs # inputs # outputs # outRef
   _ ->
     pure $ ptraceInfoError "not a spending tx"

Since: 2.1.0

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

Find the input being spent in the current transaction.

Takes as arguments the inputs, as well as the spending transaction referenced from PScriptPurpose.

Example:

 ctx <- tcont $ pletFields ["txInfo", "purpose"] sc
 pmatchC (getField "purpose" ctx) >>= case
   PSpending outRef' -> do
     let outRef = pfield "_0" # outRef'
         inputs = pfield "inputs" # (getField @"txInfo" ctx)
     pure $ pfindOwnInput # inputs # outRef
   _ ->
     pure $ ptraceInfoError "not a spending tx"

Since: 2.1.0

Script

Types

newtype PDatum (s :: S) Source #

Since: 2.0.0

Constructors

PDatum (Term s PData)

Instances

Instances details

PEq PDatum Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods (#==) :: forall (s :: S). Term s PDatum -> Term s PDatum -> Term s PBool
PIsData PDatum Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PDatum) -> Term s PDatum pdataImpl :: forall (s :: S). Term s PDatum -> Term s PData
PLiftable PDatum Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type AsHaskell PDatum type PlutusRepr PDatum Methods haskToRepr :: AsHaskell PDatum -> PlutusRepr PDatum reprToHask :: PlutusRepr PDatum -> Either LiftError (AsHaskell PDatum) reprToPlut :: forall (s :: S). PlutusRepr PDatum -> PLifted s PDatum plutToRepr :: (forall (s :: S). PLifted s PDatum) -> Either LiftError (PlutusRepr PDatum)
PlutusType PDatum Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type PInner PDatum :: PType type PCovariant' PDatum type PContravariant' PDatum type PVariant' PDatum Methods pcon' :: forall (s :: S). PDatum s -> Term s (PInner PDatum) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PDatum) -> (PDatum s -> Term s b) -> Term s b
PShow PDatum Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods pshow' :: forall (s :: S). Bool -> Term s PDatum -> Term s PString
Generic (PDatum s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type Rep (PDatum s) :: Type -> Type Source # Methods from :: PDatum s -> Rep (PDatum s) x Source # to :: Rep (PDatum s) x -> PDatum s Source #
Generic (PDatum s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type Code (PDatum s) :: [[Type]] Methods from :: PDatum s -> Rep (PDatum s) to :: Rep (PDatum s) -> PDatum s
type AsHaskell PDatum Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type AsHaskell PDatum = AsHaskell (DeriveDataPLiftable PDatum Datum)
type PlutusRepr PDatum Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PlutusRepr PDatum = PlutusRepr (DeriveDataPLiftable PDatum Datum)
type PContravariant' PDatum Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PContravariant' PDatum = PContravariant' (DeriveNewtypePlutusType PDatum)
type PCovariant' PDatum Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PCovariant' PDatum = PCovariant' (DeriveNewtypePlutusType PDatum)
type PInner PDatum Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PInner PDatum = PInner (DeriveNewtypePlutusType PDatum)
type PVariant' PDatum Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PVariant' PDatum = PVariant' (DeriveNewtypePlutusType PDatum)
type Rep (PDatum s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type Rep (PDatum s) = D1 ('MetaData "PDatum" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'True) (C1 ('MetaCons "PDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PData))))
type Code (PDatum s) Source #	@since WIP
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type Code (PDatum s) = GCode (PDatum s)

newtype PDatumHash (s :: S) Source #

Since: 2.0.0

Constructors

PDatumHash (Term s PByteString)

Instances

Instances details

PEq PDatumHash Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods (#==) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool
PIsData PDatumHash Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PDatumHash) -> Term s PDatumHash pdataImpl :: forall (s :: S). Term s PDatumHash -> Term s PData
PLiftable PDatumHash Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type AsHaskell PDatumHash type PlutusRepr PDatumHash Methods haskToRepr :: AsHaskell PDatumHash -> PlutusRepr PDatumHash reprToHask :: PlutusRepr PDatumHash -> Either LiftError (AsHaskell PDatumHash) reprToPlut :: forall (s :: S). PlutusRepr PDatumHash -> PLifted s PDatumHash plutToRepr :: (forall (s :: S). PLifted s PDatumHash) -> Either LiftError (PlutusRepr PDatumHash)
POrd PDatumHash Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods (#<=) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool (#<) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool pmax :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PDatumHash pmin :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PDatumHash
PlutusType PDatumHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type PInner PDatumHash :: PType type PCovariant' PDatumHash type PContravariant' PDatumHash type PVariant' PDatumHash Methods pcon' :: forall (s :: S). PDatumHash s -> Term s (PInner PDatumHash) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PDatumHash) -> (PDatumHash s -> Term s b) -> Term s b
PShow PDatumHash Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods pshow' :: forall (s :: S). Bool -> Term s PDatumHash -> Term s PString
Generic (PDatumHash s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type Rep (PDatumHash s) :: Type -> Type Source # Methods from :: PDatumHash s -> Rep (PDatumHash s) x Source # to :: Rep (PDatumHash s) x -> PDatumHash s Source #
Generic (PDatumHash s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type Code (PDatumHash s) :: [[Type]] Methods from :: PDatumHash s -> Rep (PDatumHash s) to :: Rep (PDatumHash s) -> PDatumHash s
type AsHaskell PDatumHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type AsHaskell PDatumHash = DatumHash
type PlutusRepr PDatumHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PlutusRepr PDatumHash = ByteString
type PContravariant' PDatumHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PContravariant' PDatumHash = PContravariant' (DeriveNewtypePlutusType PDatumHash)
type PCovariant' PDatumHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PCovariant' PDatumHash = PCovariant' (DeriveNewtypePlutusType PDatumHash)
type PInner PDatumHash Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PInner PDatumHash = PInner (DeriveNewtypePlutusType PDatumHash)
type PVariant' PDatumHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PVariant' PDatumHash = PVariant' (DeriveNewtypePlutusType PDatumHash)
type Rep (PDatumHash s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type Rep (PDatumHash s) = D1 ('MetaData "PDatumHash" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'True) (C1 ('MetaCons "PDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString))))
type Code (PDatumHash s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type Code (PDatumHash s) = GCode (PDatumHash s)

newtype PRedeemer (s :: S) Source #

Since: 2.0.0

Constructors

PRedeemer (Term s PData)

Instances

Instances details

PEq PRedeemer Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods (#==) :: forall (s :: S). Term s PRedeemer -> Term s PRedeemer -> Term s PBool
PIsData PRedeemer Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PRedeemer) -> Term s PRedeemer pdataImpl :: forall (s :: S). Term s PRedeemer -> Term s PData
PLiftable PRedeemer Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type AsHaskell PRedeemer type PlutusRepr PRedeemer Methods haskToRepr :: AsHaskell PRedeemer -> PlutusRepr PRedeemer reprToHask :: PlutusRepr PRedeemer -> Either LiftError (AsHaskell PRedeemer) reprToPlut :: forall (s :: S). PlutusRepr PRedeemer -> PLifted s PRedeemer plutToRepr :: (forall (s :: S). PLifted s PRedeemer) -> Either LiftError (PlutusRepr PRedeemer)
PlutusType PRedeemer Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type PInner PRedeemer :: PType type PCovariant' PRedeemer type PContravariant' PRedeemer type PVariant' PRedeemer Methods pcon' :: forall (s :: S). PRedeemer s -> Term s (PInner PRedeemer) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PRedeemer) -> (PRedeemer s -> Term s b) -> Term s b
PShow PRedeemer Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods pshow' :: forall (s :: S). Bool -> Term s PRedeemer -> Term s PString
Generic (PRedeemer s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type Rep (PRedeemer s) :: Type -> Type Source # Methods from :: PRedeemer s -> Rep (PRedeemer s) x Source # to :: Rep (PRedeemer s) x -> PRedeemer s Source #
Generic (PRedeemer s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type Code (PRedeemer s) :: [[Type]] Methods from :: PRedeemer s -> Rep (PRedeemer s) to :: Rep (PRedeemer s) -> PRedeemer s
type AsHaskell PRedeemer Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type AsHaskell PRedeemer = AsHaskell (DeriveDataPLiftable PRedeemer Redeemer)
type PlutusRepr PRedeemer Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PlutusRepr PRedeemer = PlutusRepr (DeriveDataPLiftable PRedeemer Redeemer)
type PContravariant' PRedeemer Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PContravariant' PRedeemer = PContravariant' (DeriveNewtypePlutusType PRedeemer)
type PCovariant' PRedeemer Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PCovariant' PRedeemer = PCovariant' (DeriveNewtypePlutusType PRedeemer)
type PInner PRedeemer Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PInner PRedeemer = PInner (DeriveNewtypePlutusType PRedeemer)
type PVariant' PRedeemer Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PVariant' PRedeemer = PVariant' (DeriveNewtypePlutusType PRedeemer)
type Rep (PRedeemer s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type Rep (PRedeemer s) = D1 ('MetaData "PRedeemer" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'True) (C1 ('MetaCons "PRedeemer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PData))))
type Code (PRedeemer s) Source #	@since WIP
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type Code (PRedeemer s) = GCode (PRedeemer s)

newtype PRedeemerHash (s :: S) Source #

Since: 2.0.0

Constructors

PRedeemerHash (Term s PByteString)

Instances

Instances details

PEq PRedeemerHash Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods (#==) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool
PIsData PRedeemerHash Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PRedeemerHash) -> Term s PRedeemerHash pdataImpl :: forall (s :: S). Term s PRedeemerHash -> Term s PData
PLiftable PRedeemerHash Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type AsHaskell PRedeemerHash type PlutusRepr PRedeemerHash Methods haskToRepr :: AsHaskell PRedeemerHash -> PlutusRepr PRedeemerHash reprToHask :: PlutusRepr PRedeemerHash -> Either LiftError (AsHaskell PRedeemerHash) reprToPlut :: forall (s :: S). PlutusRepr PRedeemerHash -> PLifted s PRedeemerHash plutToRepr :: (forall (s :: S). PLifted s PRedeemerHash) -> Either LiftError (PlutusRepr PRedeemerHash)
POrd PRedeemerHash Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods (#<=) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool (#<) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool pmax :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PRedeemerHash pmin :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PRedeemerHash
PlutusType PRedeemerHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type PInner PRedeemerHash :: PType type PCovariant' PRedeemerHash type PContravariant' PRedeemerHash type PVariant' PRedeemerHash Methods pcon' :: forall (s :: S). PRedeemerHash s -> Term s (PInner PRedeemerHash) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PRedeemerHash) -> (PRedeemerHash s -> Term s b) -> Term s b
PShow PRedeemerHash Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods pshow' :: forall (s :: S). Bool -> Term s PRedeemerHash -> Term s PString
Generic (PRedeemerHash s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type Rep (PRedeemerHash s) :: Type -> Type Source # Methods from :: PRedeemerHash s -> Rep (PRedeemerHash s) x Source # to :: Rep (PRedeemerHash s) x -> PRedeemerHash s Source #
Generic (PRedeemerHash s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type Code (PRedeemerHash s) :: [[Type]] Methods from :: PRedeemerHash s -> Rep (PRedeemerHash s) to :: Rep (PRedeemerHash s) -> PRedeemerHash s
type AsHaskell PRedeemerHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type AsHaskell PRedeemerHash = RedeemerHash
type PlutusRepr PRedeemerHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PlutusRepr PRedeemerHash = ByteString
type PContravariant' PRedeemerHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PContravariant' PRedeemerHash = PContravariant' (DeriveNewtypePlutusType PRedeemerHash)
type PCovariant' PRedeemerHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PCovariant' PRedeemerHash = PCovariant' (DeriveNewtypePlutusType PRedeemerHash)
type PInner PRedeemerHash Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PInner PRedeemerHash = PInner (DeriveNewtypePlutusType PRedeemerHash)
type PVariant' PRedeemerHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PVariant' PRedeemerHash = PVariant' (DeriveNewtypePlutusType PRedeemerHash)
type Rep (PRedeemerHash s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type Rep (PRedeemerHash s) = D1 ('MetaData "PRedeemerHash" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'True) (C1 ('MetaCons "PRedeemerHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString))))
type Code (PRedeemerHash s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type Code (PRedeemerHash s) = GCode (PRedeemerHash s)

newtype PScriptHash (s :: S) Source #

Since: 2.0.0

Constructors

PScriptHash (Term s PByteString)

Instances

Instances details

PEq PScriptHash Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods (#==) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool
PIsData PScriptHash Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptHash) -> Term s PScriptHash pdataImpl :: forall (s :: S). Term s PScriptHash -> Term s PData
PLiftable PScriptHash Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type AsHaskell PScriptHash type PlutusRepr PScriptHash Methods haskToRepr :: AsHaskell PScriptHash -> PlutusRepr PScriptHash reprToHask :: PlutusRepr PScriptHash -> Either LiftError (AsHaskell PScriptHash) reprToPlut :: forall (s :: S). PlutusRepr PScriptHash -> PLifted s PScriptHash plutToRepr :: (forall (s :: S). PLifted s PScriptHash) -> Either LiftError (PlutusRepr PScriptHash)
POrd PScriptHash Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods (#<=) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool (#<) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool pmax :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PScriptHash pmin :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PScriptHash
PlutusType PScriptHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type PInner PScriptHash :: PType type PCovariant' PScriptHash type PContravariant' PScriptHash type PVariant' PScriptHash Methods pcon' :: forall (s :: S). PScriptHash s -> Term s (PInner PScriptHash) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PScriptHash) -> (PScriptHash s -> Term s b) -> Term s b
PShow PScriptHash Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Methods pshow' :: forall (s :: S). Bool -> Term s PScriptHash -> Term s PString
Generic (PScriptHash s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type Rep (PScriptHash s) :: Type -> Type Source # Methods from :: PScriptHash s -> Rep (PScriptHash s) x Source # to :: Rep (PScriptHash s) x -> PScriptHash s Source #
Generic (PScriptHash s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts Associated Types type Code (PScriptHash s) :: [[Type]] Methods from :: PScriptHash s -> Rep (PScriptHash s) to :: Rep (PScriptHash s) -> PScriptHash s
type AsHaskell PScriptHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type AsHaskell PScriptHash = ScriptHash
type PlutusRepr PScriptHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PlutusRepr PScriptHash = ByteString
type PContravariant' PScriptHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PContravariant' PScriptHash = PContravariant' (DeriveNewtypePlutusType PScriptHash)
type PCovariant' PScriptHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PCovariant' PScriptHash = PCovariant' (DeriveNewtypePlutusType PScriptHash)
type PInner PScriptHash Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PInner PScriptHash = PInner (DeriveNewtypePlutusType PScriptHash)
type PVariant' PScriptHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type PVariant' PScriptHash = PVariant' (DeriveNewtypePlutusType PScriptHash)
type Rep (PScriptHash s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type Rep (PScriptHash s) = D1 ('MetaData "PScriptHash" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'True) (C1 ('MetaCons "PScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString))))
type Code (PScriptHash s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Scripts type Code (PScriptHash s) = GCode (PScriptHash s)

Functions

scriptHash :: Script -> ScriptHash Source #

Hash a script, appending the Plutus V3 prefix.

@since WIP

datumHash :: Datum -> DatumHash Source #

Since: 2.0.0

redeemerHash :: Redeemer -> RedeemerHash Source #

Since: 2.0.0

dataHash :: forall (a :: Type). ToData a => a -> BuiltinByteString Source #

Since: 2.0.0

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

Lookup up the datum given the datum hash.

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

Example:

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

Since: 2.1.2

Value

newtype PValue (keys :: KeyGuarantees) (amounts :: AmountGuarantees) (s :: S) Source #

Since: 2.0.0

Constructors

PValue (Term s (PMap keys PCurrencySymbol (PMap keys PTokenName PInteger)))

Instances

Instances details

Semigroup (Term s (PValue 'Sorted normalization)) => Monoid (Term s (PValue 'Sorted normalization)) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods mempty :: Term s (PValue 'Sorted normalization) Source # mappend :: Term s (PValue 'Sorted normalization) -> Term s (PValue 'Sorted normalization) -> Term s (PValue 'Sorted normalization) Source # mconcat :: [Term s (PValue 'Sorted normalization)] -> Term s (PValue 'Sorted normalization) Source #
Semigroup (Term s (PValue 'Sorted 'NoGuarantees)) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (<>) :: Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) Source # sconcat :: NonEmpty (Term s (PValue 'Sorted 'NoGuarantees)) -> Term s (PValue 'Sorted 'NoGuarantees) Source # stimes :: Integral b => b -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) Source #
Semigroup (Term s (PValue 'Sorted 'NonZero)) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (<>) :: Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) Source # sconcat :: NonEmpty (Term s (PValue 'Sorted 'NonZero)) -> Term s (PValue 'Sorted 'NonZero) Source # stimes :: Integral b => b -> Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) Source #
Semigroup (Term s (PValue 'Sorted 'Positive)) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (<>) :: Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) Source # sconcat :: NonEmpty (Term s (PValue 'Sorted 'Positive)) -> Term s (PValue 'Sorted 'Positive) Source # stimes :: Integral b => b -> Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) Source #
PEq (PValue 'Sorted 'NoGuarantees) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (#==) :: forall (s :: S). Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s PBool
PEq (PValue 'Sorted 'NonZero) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (#==) :: forall (s :: S). Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s PBool
PEq (PValue 'Sorted 'Positive) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (#==) :: forall (s :: S). Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s PBool
PIsData (PValue keys amounts) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PValue keys amounts)) -> Term s (PValue keys amounts) pdataImpl :: forall (s :: S). Term s (PValue keys amounts) -> Term s PData
PLiftable (PValue 'Unsorted 'NoGuarantees) Source #
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type AsHaskell (PValue 'Unsorted 'NoGuarantees) type PlutusRepr (PValue 'Unsorted 'NoGuarantees) Methods haskToRepr :: AsHaskell (PValue 'Unsorted 'NoGuarantees) -> PlutusRepr (PValue 'Unsorted 'NoGuarantees) reprToHask :: PlutusRepr (PValue 'Unsorted 'NoGuarantees) -> Either LiftError (AsHaskell (PValue 'Unsorted 'NoGuarantees)) reprToPlut :: forall (s :: S). PlutusRepr (PValue 'Unsorted 'NoGuarantees) -> PLifted s (PValue 'Unsorted 'NoGuarantees) plutToRepr :: (forall (s :: S). PLifted s (PValue 'Unsorted 'NoGuarantees)) -> Either LiftError (PlutusRepr (PValue 'Unsorted 'NoGuarantees))
PlutusType (PValue keys amounts) Source #
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type PInner (PValue keys amounts) :: PType type PCovariant' (PValue keys amounts) type PContravariant' (PValue keys amounts) type PVariant' (PValue keys amounts) Methods pcon' :: forall (s :: S). PValue keys amounts s -> Term s (PInner (PValue keys amounts)) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PValue keys amounts)) -> (PValue keys amounts s -> Term s b) -> Term s b
PSemigroup (PValue 'Sorted normalization) => PMonoid (PValue 'Sorted normalization) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value Methods pmempty :: forall (s :: S). Term s (PValue 'Sorted normalization) pmtimes :: forall (s :: S). Term s PNatural -> Term s (PValue 'Sorted normalization) -> Term s (PValue 'Sorted normalization)
PSemigroup (PValue 'Sorted 'NoGuarantees) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (#<>) :: forall (s :: S). Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) pstimes :: forall (s :: S). Term s PPositive -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees)
PSemigroup (PValue 'Sorted 'NonZero) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (#<>) :: forall (s :: S). Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) pstimes :: forall (s :: S). Term s PPositive -> Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero)
PSemigroup (PValue 'Sorted 'Positive) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (#<>) :: forall (s :: S). Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) pstimes :: forall (s :: S). Term s PPositive -> Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive)
PShow (PValue keys amounts) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods pshow' :: forall (s :: S). Bool -> Term s (PValue keys amounts) -> Term s PString
Semigroup (Term s (PValue 'Sorted 'NoGuarantees)) => Group (Term s (PValue 'Sorted 'NoGuarantees)) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods inv :: Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees)
Semigroup (Term s (PValue 'Sorted 'NonZero)) => Group (Term s (PValue 'Sorted 'NonZero)) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods inv :: Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero)
Semigroup (Term s (PValue 'Sorted normalization)) => Monoid (Term s (PValue 'Sorted normalization)) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods mempty :: Term s (PValue 'Sorted normalization)
Semigroup (Term s (PValue 'Sorted 'NoGuarantees)) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (<>) :: Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees)
Semigroup (Term s (PValue 'Sorted 'NonZero)) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (<>) :: Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero)
Semigroup (Term s (PValue 'Sorted 'Positive)) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (<>) :: Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive)
Generic (PValue keys amounts s) Source #
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type Rep (PValue keys amounts s) :: Type -> Type Source # Methods from :: PValue keys amounts s -> Rep (PValue keys amounts s) x Source # to :: Rep (PValue keys amounts s) x -> PValue keys amounts s Source #
Generic (PValue keys amounts s) Source #
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type Code (PValue keys amounts s) :: [[Type]] Methods from :: PValue keys amounts s -> Rep (PValue keys amounts s) to :: Rep (PValue keys amounts s) -> PValue keys amounts s
type AsHaskell (PValue 'Unsorted 'NoGuarantees) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value type AsHaskell (PValue 'Unsorted 'NoGuarantees) = AsHaskell (DeriveNewtypePLiftable (PValue 'Unsorted 'NoGuarantees) Value)
type PlutusRepr (PValue 'Unsorted 'NoGuarantees) Source #
Instance details Defined in Plutarch.LedgerApi.Value type PlutusRepr (PValue 'Unsorted 'NoGuarantees) = PlutusRepr (DeriveNewtypePLiftable (PValue 'Unsorted 'NoGuarantees) Value)
type PContravariant' (PValue keys amounts) Source #
Instance details Defined in Plutarch.LedgerApi.Value type PContravariant' (PValue keys amounts) = PContravariant' (DeriveNewtypePlutusType (PValue keys amounts))
type PCovariant' (PValue keys amounts) Source #
Instance details Defined in Plutarch.LedgerApi.Value type PCovariant' (PValue keys amounts) = PCovariant' (DeriveNewtypePlutusType (PValue keys amounts))
type PInner (PValue keys amounts) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value type PInner (PValue keys amounts) = PInner (DeriveNewtypePlutusType (PValue keys amounts))
type PVariant' (PValue keys amounts) Source #
Instance details Defined in Plutarch.LedgerApi.Value type PVariant' (PValue keys amounts) = PVariant' (DeriveNewtypePlutusType (PValue keys amounts))
type Rep (PValue keys amounts s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value type Rep (PValue keys amounts s) = D1 ('MetaData "PValue" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'True) (C1 ('MetaCons "PValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMap keys PCurrencySymbol (PMap keys PTokenName PInteger))))))
type Code (PValue keys amounts s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value type Code (PValue keys amounts s) = GCode (PValue keys amounts s)

data AmountGuarantees Source #

Since: 2.0.0

Constructors

NoGuarantees
NonZero
Positive

newtype PCurrencySymbol (s :: S) Source #

Since: 2.0.0

Constructors

PCurrencySymbol (Term s PByteString)

Instances

Instances details

PEq PCurrencySymbol Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (#==) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool
PIsData PCurrencySymbol Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PCurrencySymbol) -> Term s PCurrencySymbol pdataImpl :: forall (s :: S). Term s PCurrencySymbol -> Term s PData
PLiftable PCurrencySymbol Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type AsHaskell PCurrencySymbol type PlutusRepr PCurrencySymbol Methods haskToRepr :: AsHaskell PCurrencySymbol -> PlutusRepr PCurrencySymbol reprToHask :: PlutusRepr PCurrencySymbol -> Either LiftError (AsHaskell PCurrencySymbol) reprToPlut :: forall (s :: S). PlutusRepr PCurrencySymbol -> PLifted s PCurrencySymbol plutToRepr :: (forall (s :: S). PLifted s PCurrencySymbol) -> Either LiftError (PlutusRepr PCurrencySymbol)
POrd PCurrencySymbol Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (#<=) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool (#<) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool pmax :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PCurrencySymbol pmin :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PCurrencySymbol
PlutusType PCurrencySymbol Source #
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type PInner PCurrencySymbol :: PType type PCovariant' PCurrencySymbol type PContravariant' PCurrencySymbol type PVariant' PCurrencySymbol Methods pcon' :: forall (s :: S). PCurrencySymbol s -> Term s (PInner PCurrencySymbol) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PCurrencySymbol) -> (PCurrencySymbol s -> Term s b) -> Term s b
PShow PCurrencySymbol Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods pshow' :: forall (s :: S). Bool -> Term s PCurrencySymbol -> Term s PString
Generic (PCurrencySymbol s) Source #
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type Rep (PCurrencySymbol s) :: Type -> Type Source # Methods from :: PCurrencySymbol s -> Rep (PCurrencySymbol s) x Source # to :: Rep (PCurrencySymbol s) x -> PCurrencySymbol s Source #
Generic (PCurrencySymbol s) Source #
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type Code (PCurrencySymbol s) :: [[Type]] Methods from :: PCurrencySymbol s -> Rep (PCurrencySymbol s) to :: Rep (PCurrencySymbol s) -> PCurrencySymbol s
type AsHaskell PCurrencySymbol Source #
Instance details Defined in Plutarch.LedgerApi.Value type AsHaskell PCurrencySymbol = CurrencySymbol
type PlutusRepr PCurrencySymbol Source #
Instance details Defined in Plutarch.LedgerApi.Value type PlutusRepr PCurrencySymbol = ByteString
type PContravariant' PCurrencySymbol Source #
Instance details Defined in Plutarch.LedgerApi.Value type PContravariant' PCurrencySymbol = PContravariant' (DeriveNewtypePlutusType PTokenName)
type PCovariant' PCurrencySymbol Source #
Instance details Defined in Plutarch.LedgerApi.Value type PCovariant' PCurrencySymbol = PCovariant' (DeriveNewtypePlutusType PTokenName)
type PInner PCurrencySymbol Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value type PInner PCurrencySymbol = PInner (DeriveNewtypePlutusType PTokenName)
type PVariant' PCurrencySymbol Source #
Instance details Defined in Plutarch.LedgerApi.Value type PVariant' PCurrencySymbol = PVariant' (DeriveNewtypePlutusType PTokenName)
type Rep (PCurrencySymbol s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value type Rep (PCurrencySymbol s) = D1 ('MetaData "PCurrencySymbol" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'True) (C1 ('MetaCons "PCurrencySymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString))))
type Code (PCurrencySymbol s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value type Code (PCurrencySymbol s) = GCode (PCurrencySymbol s)

newtype PTokenName (s :: S) Source #

Since: 2.0.0

Constructors

PTokenName (Term s PByteString)

Instances

Instances details

PEq PTokenName Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (#==) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool
PIsData PTokenName Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTokenName) -> Term s PTokenName pdataImpl :: forall (s :: S). Term s PTokenName -> Term s PData
PLiftable PTokenName Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type AsHaskell PTokenName type PlutusRepr PTokenName Methods haskToRepr :: AsHaskell PTokenName -> PlutusRepr PTokenName reprToHask :: PlutusRepr PTokenName -> Either LiftError (AsHaskell PTokenName) reprToPlut :: forall (s :: S). PlutusRepr PTokenName -> PLifted s PTokenName plutToRepr :: (forall (s :: S). PLifted s PTokenName) -> Either LiftError (PlutusRepr PTokenName)
POrd PTokenName Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (#<=) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool (#<) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool pmax :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PTokenName pmin :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PTokenName
PlutusType PTokenName Source #
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type PInner PTokenName :: PType type PCovariant' PTokenName type PContravariant' PTokenName type PVariant' PTokenName Methods pcon' :: forall (s :: S). PTokenName s -> Term s (PInner PTokenName) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTokenName) -> (PTokenName s -> Term s b) -> Term s b
PShow PTokenName Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value Methods pshow' :: forall (s :: S). Bool -> Term s PTokenName -> Term s PString
Generic (PTokenName s) Source #
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type Rep (PTokenName s) :: Type -> Type Source # Methods from :: PTokenName s -> Rep (PTokenName s) x Source # to :: Rep (PTokenName s) x -> PTokenName s Source #
Generic (PTokenName s) Source #
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type Code (PTokenName s) :: [[Type]] Methods from :: PTokenName s -> Rep (PTokenName s) to :: Rep (PTokenName s) -> PTokenName s
type AsHaskell PTokenName Source #
Instance details Defined in Plutarch.LedgerApi.Value type AsHaskell PTokenName = TokenName
type PlutusRepr PTokenName Source #
Instance details Defined in Plutarch.LedgerApi.Value type PlutusRepr PTokenName = ByteString
type PContravariant' PTokenName Source #
Instance details Defined in Plutarch.LedgerApi.Value type PContravariant' PTokenName = PContravariant' (DeriveNewtypePlutusType PTokenName)
type PCovariant' PTokenName Source #
Instance details Defined in Plutarch.LedgerApi.Value type PCovariant' PTokenName = PCovariant' (DeriveNewtypePlutusType PTokenName)
type PInner PTokenName Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value type PInner PTokenName = PInner (DeriveNewtypePlutusType PTokenName)
type PVariant' PTokenName Source #
Instance details Defined in Plutarch.LedgerApi.Value type PVariant' PTokenName = PVariant' (DeriveNewtypePlutusType PTokenName)
type Rep (PTokenName s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Value type Rep (PTokenName s) = D1 ('MetaData "PTokenName" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'True) (C1 ('MetaCons "PTokenName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString))))
type Code (PTokenName s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value type Code (PTokenName s) = GCode (PTokenName s)

newtype PLovelace (s :: S) Source #

Since: 2.2.0

Constructors

PLovelace (Term s PInteger)

Instances

Instances details

PEq PLovelace Source #	Since: 2.2.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (#==) :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PBool
PIsData PLovelace Source #	Since: 2.2.0
Instance details Defined in Plutarch.LedgerApi.Value Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PLovelace) -> Term s PLovelace pdataImpl :: forall (s :: S). Term s PLovelace -> Term s PData
PLiftable PLovelace Source #
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type AsHaskell PLovelace type PlutusRepr PLovelace Methods haskToRepr :: AsHaskell PLovelace -> PlutusRepr PLovelace reprToHask :: PlutusRepr PLovelace -> Either LiftError (AsHaskell PLovelace) reprToPlut :: forall (s :: S). PlutusRepr PLovelace -> PLifted s PLovelace plutToRepr :: (forall (s :: S). PLifted s PLovelace) -> Either LiftError (PlutusRepr PLovelace)
POrd PLovelace Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value Methods (#<=) :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PBool (#<) :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PBool pmax :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PLovelace pmin :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PLovelace
PlutusType PLovelace Source #
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type PInner PLovelace :: PType type PCovariant' PLovelace type PContravariant' PLovelace type PVariant' PLovelace Methods pcon' :: forall (s :: S). PLovelace s -> Term s (PInner PLovelace) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PLovelace) -> (PLovelace s -> Term s b) -> Term s b
PShow PLovelace Source #	Since: 2.2.0
Instance details Defined in Plutarch.LedgerApi.Value Methods pshow' :: forall (s :: S). Bool -> Term s PLovelace -> Term s PString
Generic (PLovelace s) Source #
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type Rep (PLovelace s) :: Type -> Type Source # Methods from :: PLovelace s -> Rep (PLovelace s) x Source # to :: Rep (PLovelace s) x -> PLovelace s Source #
Generic (PLovelace s) Source #
Instance details Defined in Plutarch.LedgerApi.Value Associated Types type Code (PLovelace s) :: [[Type]] Methods from :: PLovelace s -> Rep (PLovelace s) to :: Rep (PLovelace s) -> PLovelace s
type AsHaskell PLovelace Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value type AsHaskell PLovelace = AsHaskell (DeriveNewtypePLiftable PLovelace Lovelace)
type PlutusRepr PLovelace Source #
Instance details Defined in Plutarch.LedgerApi.Value type PlutusRepr PLovelace = PlutusRepr (DeriveNewtypePLiftable PLovelace Lovelace)
type PContravariant' PLovelace Source #
Instance details Defined in Plutarch.LedgerApi.Value type PContravariant' PLovelace = PContravariant' (DeriveNewtypePlutusType PLovelace)
type PCovariant' PLovelace Source #
Instance details Defined in Plutarch.LedgerApi.Value type PCovariant' PLovelace = PCovariant' (DeriveNewtypePlutusType PLovelace)
type PInner PLovelace Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value type PInner PLovelace = PInner (DeriveNewtypePlutusType PLovelace)
type PVariant' PLovelace Source #
Instance details Defined in Plutarch.LedgerApi.Value type PVariant' PLovelace = PVariant' (DeriveNewtypePlutusType PLovelace)
type Rep (PLovelace s) Source #	Since: 2.2.0
Instance details Defined in Plutarch.LedgerApi.Value type Rep (PLovelace s) = D1 ('MetaData "PLovelace" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'True) (C1 ('MetaCons "PLovelace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PInteger))))
type Code (PLovelace s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Value type Code (PLovelace s) = GCode (PLovelace s)

Assoc map

Types

newtype PMap (keysort :: KeyGuarantees) (k :: S -> Type) (v :: S -> Type) (s :: S) Source #

Since: 2.0.0

Constructors

PMap (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v))))

Instances

Instances details

PEq (PMap 'Sorted k v) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.AssocMap Methods (#==) :: forall (s :: S). Term s (PMap 'Sorted k v) -> Term s (PMap 'Sorted k v) -> Term s PBool
PIsData (PMap keysort k v) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.AssocMap Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PMap keysort k v)) -> Term s (PMap keysort k v) pdataImpl :: forall (s :: S). Term s (PMap keysort k v) -> Term s PData
(ToData (AsHaskell k), ToData (AsHaskell v), FromData (AsHaskell k), FromData (AsHaskell v)) => PLiftable (PMap 'Unsorted k v) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.AssocMap Associated Types type AsHaskell (PMap 'Unsorted k v) type PlutusRepr (PMap 'Unsorted k v) Methods haskToRepr :: AsHaskell (PMap 'Unsorted k v) -> PlutusRepr (PMap 'Unsorted k v) reprToHask :: PlutusRepr (PMap 'Unsorted k v) -> Either LiftError (AsHaskell (PMap 'Unsorted k v)) reprToPlut :: forall (s :: S). PlutusRepr (PMap 'Unsorted k v) -> PLifted s (PMap 'Unsorted k v) plutToRepr :: (forall (s :: S). PLifted s (PMap 'Unsorted k v)) -> Either LiftError (PlutusRepr (PMap 'Unsorted k v))
PlutusType (PMap keysort k v) Source #
Instance details Defined in Plutarch.LedgerApi.AssocMap Associated Types type PInner (PMap keysort k v) :: PType type PCovariant' (PMap keysort k v) type PContravariant' (PMap keysort k v) type PVariant' (PMap keysort k v) Methods pcon' :: forall (s :: S). PMap keysort k v s -> Term s (PInner (PMap keysort k v)) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PMap keysort k v)) -> (PMap keysort k v s -> Term s b) -> Term s b
(PIsData k, PIsData v, PShow k, PShow v) => PShow (PMap keysort k v) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.AssocMap Methods pshow' :: forall (s :: S). Bool -> Term s (PMap keysort k v) -> Term s PString
Generic (PMap keysort k v s) Source #
Instance details Defined in Plutarch.LedgerApi.AssocMap Associated Types type Rep (PMap keysort k v s) :: Type -> Type Source # Methods from :: PMap keysort k v s -> Rep (PMap keysort k v s) x Source # to :: Rep (PMap keysort k v s) x -> PMap keysort k v s Source #
Generic (PMap keysort k v s) Source #
Instance details Defined in Plutarch.LedgerApi.AssocMap Associated Types type Code (PMap keysort k v s) :: [[Type]] Methods from :: PMap keysort k v s -> Rep (PMap keysort k v s) to :: Rep (PMap keysort k v s) -> PMap keysort k v s
type AsHaskell (PMap 'Unsorted k v) Source #
Instance details Defined in Plutarch.LedgerApi.AssocMap type AsHaskell (PMap 'Unsorted k v) = Map (AsHaskell k) (AsHaskell v)
type PlutusRepr (PMap 'Unsorted k v) Source #
Instance details Defined in Plutarch.LedgerApi.AssocMap type PlutusRepr (PMap 'Unsorted k v) = [(Data, Data)]
type PContravariant' (PMap keysort k v) Source #
Instance details Defined in Plutarch.LedgerApi.AssocMap type PContravariant' (PMap keysort k v) = PContravariant' (DeriveNewtypePlutusType (PMap keysort k v))
type PCovariant' (PMap keysort k v) Source #
Instance details Defined in Plutarch.LedgerApi.AssocMap type PCovariant' (PMap keysort k v) = PCovariant' (DeriveNewtypePlutusType (PMap keysort k v))
type PInner (PMap keysort k v) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.AssocMap type PInner (PMap keysort k v) = PInner (DeriveNewtypePlutusType (PMap keysort k v))
type PVariant' (PMap keysort k v) Source #
Instance details Defined in Plutarch.LedgerApi.AssocMap type PVariant' (PMap keysort k v) = PVariant' (DeriveNewtypePlutusType (PMap keysort k v))
type Rep (PMap keysort k v s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.AssocMap type Rep (PMap keysort k v s) = D1 ('MetaData "PMap" "Plutarch.LedgerApi.AssocMap" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'True) (C1 ('MetaCons "PMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v)))))))
type Code (PMap keysort k v s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.AssocMap type Code (PMap keysort k v s) = GCode (PMap keysort k v s)

data KeyGuarantees Source #

Since: 2.0.0

Constructors

Sorted
Unsorted

data Commutativity Source #

Since: 2.0.0

Constructors

Commutative
NonCommutative

Instances

Instances details

Show Commutativity Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.AssocMap Methods showsPrec :: Int -> Commutativity -> ShowS Source # show :: Commutativity -> String Source # showList :: [Commutativity] -> ShowS Source #
Eq Commutativity Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.AssocMap Methods (==) :: Commutativity -> Commutativity -> Bool Source # (/=) :: Commutativity -> Commutativity -> Bool Source #
Ord Commutativity Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.AssocMap Methods compare :: Commutativity -> Commutativity -> Ordering Source # (<) :: Commutativity -> Commutativity -> Bool Source # (<=) :: Commutativity -> Commutativity -> Bool Source # (>) :: Commutativity -> Commutativity -> Bool Source # (>=) :: Commutativity -> Commutativity -> Bool Source # max :: Commutativity -> Commutativity -> Commutativity Source # min :: Commutativity -> Commutativity -> Commutativity Source #

Address

data PCredential (s :: S) Source #

Since: 2.0.0

Constructors

PPubKeyCredential (Term s (PAsData PPubKeyHash))
PScriptCredential (Term s (PAsData PScriptHash))

Instances

Instances details

PEq PCredential Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Credential Methods (#==) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool
PIsData PCredential Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Credential Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PCredential) -> Term s PCredential pdataImpl :: forall (s :: S). Term s PCredential -> Term s PData
PLiftable PCredential Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential Associated Types type AsHaskell PCredential type PlutusRepr PCredential Methods haskToRepr :: AsHaskell PCredential -> PlutusRepr PCredential reprToHask :: PlutusRepr PCredential -> Either LiftError (AsHaskell PCredential) reprToPlut :: forall (s :: S). PlutusRepr PCredential -> PLifted s PCredential plutToRepr :: (forall (s :: S). PLifted s PCredential) -> Either LiftError (PlutusRepr PCredential)
PlutusType PCredential Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential Associated Types type PInner PCredential :: PType type PCovariant' PCredential type PContravariant' PCredential type PVariant' PCredential Methods pcon' :: forall (s :: S). PCredential s -> Term s (PInner PCredential) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PCredential) -> (PCredential s -> Term s b) -> Term s b
PShow PCredential Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Credential Methods pshow' :: forall (s :: S). Bool -> Term s PCredential -> Term s PString
Generic (PCredential s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential Associated Types type Rep (PCredential s) :: Type -> Type Source # Methods from :: PCredential s -> Rep (PCredential s) x Source # to :: Rep (PCredential s) x -> PCredential s Source #
Generic (PCredential s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential Associated Types type Code (PCredential s) :: [[Type]] Methods from :: PCredential s -> Rep (PCredential s) to :: Rep (PCredential s) -> PCredential s
type AsHaskell PCredential Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Credential type AsHaskell PCredential = AsHaskell (DeriveDataPLiftable PCredential Credential)
type PlutusRepr PCredential Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential type PlutusRepr PCredential = PlutusRepr (DeriveDataPLiftable PCredential Credential)
type PContravariant' PCredential Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential type PContravariant' PCredential = PContravariant' (DeriveAsDataStruct PCredential)
type PCovariant' PCredential Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential type PCovariant' PCredential = PCovariant' (DeriveAsDataStruct PCredential)
type PInner PCredential Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Credential type PInner PCredential = PInner (DeriveAsDataStruct PCredential)
type PVariant' PCredential Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential type PVariant' PCredential = PVariant' (DeriveAsDataStruct PCredential)
type Rep (PCredential s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Credential type Rep (PCredential s) = D1 ('MetaData "PCredential" "Plutarch.LedgerApi.V1.Credential" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PPubKeyCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash)))) :+: C1 ('MetaCons "PScriptCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PScriptHash)))))
type Code (PCredential s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Credential type Code (PCredential s) = GCode (PCredential s)

data PStakingCredential (s :: S) Source #

Since: 2.0.0

Constructors

PStakingHash (Term s PCredential)
PStakingPtr (Term s (PAsData PInteger)) (Term s (PAsData PInteger)) (Term s (PAsData PInteger))

Instances

Instances details

PEq PStakingCredential Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Credential Methods (#==) :: forall (s :: S). Term s PStakingCredential -> Term s PStakingCredential -> Term s PBool
PIsData PStakingCredential Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Credential Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PStakingCredential) -> Term s PStakingCredential pdataImpl :: forall (s :: S). Term s PStakingCredential -> Term s PData
PLiftable PStakingCredential Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential Associated Types type AsHaskell PStakingCredential type PlutusRepr PStakingCredential Methods haskToRepr :: AsHaskell PStakingCredential -> PlutusRepr PStakingCredential reprToHask :: PlutusRepr PStakingCredential -> Either LiftError (AsHaskell PStakingCredential) reprToPlut :: forall (s :: S). PlutusRepr PStakingCredential -> PLifted s PStakingCredential plutToRepr :: (forall (s :: S). PLifted s PStakingCredential) -> Either LiftError (PlutusRepr PStakingCredential)
PlutusType PStakingCredential Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential Associated Types type PInner PStakingCredential :: PType type PCovariant' PStakingCredential type PContravariant' PStakingCredential type PVariant' PStakingCredential Methods pcon' :: forall (s :: S). PStakingCredential s -> Term s (PInner PStakingCredential) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PStakingCredential) -> (PStakingCredential s -> Term s b) -> Term s b
PShow PStakingCredential Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Credential Methods pshow' :: forall (s :: S). Bool -> Term s PStakingCredential -> Term s PString
Generic (PStakingCredential s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential Associated Types type Rep (PStakingCredential s) :: Type -> Type Source # Methods from :: PStakingCredential s -> Rep (PStakingCredential s) x Source # to :: Rep (PStakingCredential s) x -> PStakingCredential s Source #
Generic (PStakingCredential s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential Associated Types type Code (PStakingCredential s) :: [[Type]] Methods from :: PStakingCredential s -> Rep (PStakingCredential s) to :: Rep (PStakingCredential s) -> PStakingCredential s
type AsHaskell PStakingCredential Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Credential type AsHaskell PStakingCredential = AsHaskell (DeriveDataPLiftable PStakingCredential StakingCredential)
type PlutusRepr PStakingCredential Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential type PlutusRepr PStakingCredential = PlutusRepr (DeriveDataPLiftable PStakingCredential StakingCredential)
type PContravariant' PStakingCredential Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential type PContravariant' PStakingCredential = PContravariant' (DeriveAsDataStruct PStakingCredential)
type PCovariant' PStakingCredential Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential type PCovariant' PStakingCredential = PCovariant' (DeriveAsDataStruct PStakingCredential)
type PInner PStakingCredential Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Credential type PInner PStakingCredential = PInner (DeriveAsDataStruct PStakingCredential)
type PVariant' PStakingCredential Source #
Instance details Defined in Plutarch.LedgerApi.V1.Credential type PVariant' PStakingCredential = PVariant' (DeriveAsDataStruct PStakingCredential)
type Rep (PStakingCredential s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Credential type Rep (PStakingCredential s) = D1 ('MetaData "PStakingCredential" "Plutarch.LedgerApi.V1.Credential" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PStakingHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))) :+: C1 ('MetaCons "PStakingPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))))))
type Code (PStakingCredential s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Credential type Code (PStakingCredential s) = GCode (PStakingCredential s)

data PAddress (s :: S) Source #

Since: 2.0.0

Constructors

PAddress
Fields paddress'credential :: Term s PCredential paddress'stakingCredential :: Term s (PMaybeData PStakingCredential)

Instances

Instances details

PEq PAddress Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Address Methods (#==) :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PBool
PIsData PAddress Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Address Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PAddress) -> Term s PAddress pdataImpl :: forall (s :: S). Term s PAddress -> Term s PData
PLiftable PAddress Source #
Instance details Defined in Plutarch.LedgerApi.V1.Address Associated Types type AsHaskell PAddress type PlutusRepr PAddress Methods haskToRepr :: AsHaskell PAddress -> PlutusRepr PAddress reprToHask :: PlutusRepr PAddress -> Either LiftError (AsHaskell PAddress) reprToPlut :: forall (s :: S). PlutusRepr PAddress -> PLifted s PAddress plutToRepr :: (forall (s :: S). PLifted s PAddress) -> Either LiftError (PlutusRepr PAddress)
PlutusType PAddress Source #
Instance details Defined in Plutarch.LedgerApi.V1.Address Associated Types type PInner PAddress :: PType type PCovariant' PAddress type PContravariant' PAddress type PVariant' PAddress Methods pcon' :: forall (s :: S). PAddress s -> Term s (PInner PAddress) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PAddress) -> (PAddress s -> Term s b) -> Term s b
PShow PAddress Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Address Methods pshow' :: forall (s :: S). Bool -> Term s PAddress -> Term s PString
Generic (PAddress s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Address Associated Types type Rep (PAddress s) :: Type -> Type Source # Methods from :: PAddress s -> Rep (PAddress s) x Source # to :: Rep (PAddress s) x -> PAddress s Source #
Generic (PAddress s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Address Associated Types type Code (PAddress s) :: [[Type]] Methods from :: PAddress s -> Rep (PAddress s) to :: Rep (PAddress s) -> PAddress s
type AsHaskell PAddress Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Address type AsHaskell PAddress = AsHaskell (DeriveDataPLiftable PAddress Address)
type PlutusRepr PAddress Source #
Instance details Defined in Plutarch.LedgerApi.V1.Address type PlutusRepr PAddress = PlutusRepr (DeriveDataPLiftable PAddress Address)
type PContravariant' PAddress Source #
Instance details Defined in Plutarch.LedgerApi.V1.Address type PContravariant' PAddress = PContravariant' (DeriveAsDataStruct PAddress)
type PCovariant' PAddress Source #
Instance details Defined in Plutarch.LedgerApi.V1.Address type PCovariant' PAddress = PCovariant' (DeriveAsDataStruct PAddress)
type PInner PAddress Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Address type PInner PAddress = PInner (DeriveAsDataStruct PAddress)
type PVariant' PAddress Source #
Instance details Defined in Plutarch.LedgerApi.V1.Address type PVariant' PAddress = PVariant' (DeriveAsDataStruct PAddress)
type Rep (PAddress s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Address type Rep (PAddress s) = D1 ('MetaData "PAddress" "Plutarch.LedgerApi.V1.Address" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PAddress" 'PrefixI 'True) (S1 ('MetaSel ('Just "paddress'credential") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)) :*: S1 ('MetaSel ('Just "paddress'stakingCredential") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PStakingCredential)))))
type Code (PAddress s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Address type Code (PAddress s) = GCode (PAddress s)

Time

newtype PPosixTime (s :: S) Source #

Since: 2.0.0

Constructors

PPosixTime (Term s PInteger)

Instances

Instances details

PCountable PPosixTime Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Time Methods psuccessor :: forall (s :: S). Term s (PPosixTime :--> PPosixTime) psuccessorN :: forall (s :: S). Term s (PPositive :--> (PPosixTime :--> PPosixTime))
PEnumerable PPosixTime Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Time Methods ppredecessor :: forall (s :: S). Term s (PPosixTime :--> PPosixTime) ppredecessorN :: forall (s :: S). Term s (PPositive :--> (PPosixTime :--> PPosixTime))
PEq PPosixTime Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Time Methods (#==) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool
PIsData PPosixTime Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Time Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PPosixTime) -> Term s PPosixTime pdataImpl :: forall (s :: S). Term s PPosixTime -> Term s PData
PLiftable PPosixTime Source #
Instance details Defined in Plutarch.LedgerApi.V1.Time Associated Types type AsHaskell PPosixTime type PlutusRepr PPosixTime Methods haskToRepr :: AsHaskell PPosixTime -> PlutusRepr PPosixTime reprToHask :: PlutusRepr PPosixTime -> Either LiftError (AsHaskell PPosixTime) reprToPlut :: forall (s :: S). PlutusRepr PPosixTime -> PLifted s PPosixTime plutToRepr :: (forall (s :: S). PLifted s PPosixTime) -> Either LiftError (PlutusRepr PPosixTime)
PAdditiveGroup PPosixTime Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Time Methods pnegate :: forall (s :: S). Term s (PPosixTime :--> PPosixTime) (#-) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PPosixTime pscaleInteger :: forall (s :: S). Term s PPosixTime -> Term s PInteger -> Term s PPosixTime
PAdditiveMonoid PPosixTime Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Time Methods pzero :: forall (s :: S). Term s PPosixTime pscaleNatural :: forall (s :: S). Term s PPosixTime -> Term s PNatural -> Term s PPosixTime
PAdditiveSemigroup PPosixTime Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Time Methods (#+) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PPosixTime pscalePositive :: forall (s :: S). Term s PPosixTime -> Term s PPositive -> Term s PPosixTime
POrd PPosixTime Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Time Methods (#<=) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool (#<) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool pmax :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PPosixTime pmin :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PPosixTime
PlutusType PPosixTime Source #
Instance details Defined in Plutarch.LedgerApi.V1.Time Associated Types type PInner PPosixTime :: PType type PCovariant' PPosixTime type PContravariant' PPosixTime type PVariant' PPosixTime Methods pcon' :: forall (s :: S). PPosixTime s -> Term s (PInner PPosixTime) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PPosixTime) -> (PPosixTime s -> Term s b) -> Term s b
PShow PPosixTime Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Time Methods pshow' :: forall (s :: S). Bool -> Term s PPosixTime -> Term s PString
Generic (PPosixTime s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Time Associated Types type Rep (PPosixTime s) :: Type -> Type Source # Methods from :: PPosixTime s -> Rep (PPosixTime s) x Source # to :: Rep (PPosixTime s) x -> PPosixTime s Source #
Generic (PPosixTime s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Time Associated Types type Code (PPosixTime s) :: [[Type]] Methods from :: PPosixTime s -> Rep (PPosixTime s) to :: Rep (PPosixTime s) -> PPosixTime s
type AsHaskell PPosixTime Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Time type AsHaskell PPosixTime = AsHaskell (DeriveNewtypePLiftable PPosixTime POSIXTime)
type PlutusRepr PPosixTime Source #
Instance details Defined in Plutarch.LedgerApi.V1.Time type PlutusRepr PPosixTime = PlutusRepr (DeriveNewtypePLiftable PPosixTime POSIXTime)
type PContravariant' PPosixTime Source #
Instance details Defined in Plutarch.LedgerApi.V1.Time type PContravariant' PPosixTime = PContravariant' (DeriveNewtypePlutusType PPosixTime)
type PCovariant' PPosixTime Source #
Instance details Defined in Plutarch.LedgerApi.V1.Time type PCovariant' PPosixTime = PCovariant' (DeriveNewtypePlutusType PPosixTime)
type PInner PPosixTime Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Time type PInner PPosixTime = PInner (DeriveNewtypePlutusType PPosixTime)
type PVariant' PPosixTime Source #
Instance details Defined in Plutarch.LedgerApi.V1.Time type PVariant' PPosixTime = PVariant' (DeriveNewtypePlutusType PPosixTime)
type Rep (PPosixTime s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Time type Rep (PPosixTime s) = D1 ('MetaData "PPosixTime" "Plutarch.LedgerApi.V1.Time" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'True) (C1 ('MetaCons "PPosixTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PInteger))))
type Code (PPosixTime s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Time type Code (PPosixTime s) = GCode (PPosixTime s)

pposixTime :: forall (s :: S). Term s PInteger -> Term s PPosixTime Source #

Construct a PPosixTime from a PInteger. Same as using the constructor, but a lot shorter.

Since: 3.3.0

unPPosixTime :: forall (s :: S). Term s PPosixTime -> Term s PInteger Source #

Unwrap a PPosixTime to get a PInteger. Same as using pmatch, but a lot shorter. Also unwraps the Data encoding.

Since: 3.3.0

Interval

data PInterval (a :: S -> Type) (s :: S) Source #

Since: 2.0.0

Constructors

PInterval
Fields pinteral'from :: Term s (PLowerBound a) pinteral'to :: Term s (PUpperBound a)

Instances

Instances details

(PIsData a, PEnumerable a) => PEq (PInterval a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods (#==) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool
PIsData (PInterval a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PInterval a)) -> Term s (PInterval a) pdataImpl :: forall (s :: S). Term s (PInterval a) -> Term s PData
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PInterval a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type AsHaskell (PInterval a) type PlutusRepr (PInterval a) Methods haskToRepr :: AsHaskell (PInterval a) -> PlutusRepr (PInterval a) reprToHask :: PlutusRepr (PInterval a) -> Either LiftError (AsHaskell (PInterval a)) reprToPlut :: forall (s :: S). PlutusRepr (PInterval a) -> PLifted s (PInterval a) plutToRepr :: (forall (s :: S). PLifted s (PInterval a)) -> Either LiftError (PlutusRepr (PInterval a))
PlutusType (PInterval a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type PInner (PInterval a) :: PType type PCovariant' (PInterval a) type PContravariant' (PInterval a) type PVariant' (PInterval a) Methods pcon' :: forall (s :: S). PInterval a s -> Term s (PInner (PInterval a)) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PInterval a)) -> (PInterval a s -> Term s b) -> Term s b
(PIsData a, PShow a) => PShow (PInterval a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PInterval a) -> Term s PString
Generic (PInterval a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Rep (PInterval a s) :: Type -> Type Source # Methods from :: PInterval a s -> Rep (PInterval a s) x Source # to :: Rep (PInterval a s) x -> PInterval a s Source #
Generic (PInterval a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Code (PInterval a s) :: [[Type]] Methods from :: PInterval a s -> Rep (PInterval a s) to :: Rep (PInterval a s) -> PInterval a s
type AsHaskell (PInterval a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval type AsHaskell (PInterval a) = AsHaskell (DeriveDataPLiftable (PInterval a) (Interval (AsHaskell a)))
type PlutusRepr (PInterval a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PInterval a) = PlutusRepr (DeriveDataPLiftable (PInterval a) (Interval (AsHaskell a)))
type PContravariant' (PInterval a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PContravariant' (PInterval a) = PContravariant' (DeriveAsDataStruct (PInterval a))
type PCovariant' (PInterval a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PCovariant' (PInterval a) = PCovariant' (DeriveAsDataStruct (PInterval a))
type PInner (PInterval a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval type PInner (PInterval a) = PInner (DeriveAsDataStruct (PInterval a))
type PVariant' (PInterval a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PVariant' (PInterval a) = PVariant' (DeriveAsDataStruct (PInterval a))
type Rep (PInterval a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Rep (PInterval a s) = D1 ('MetaData "PInterval" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "pinteral'from") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PLowerBound a))) :*: S1 ('MetaSel ('Just "pinteral'to") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PUpperBound a)))))
type Code (PInterval a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Code (PInterval a s) = GCode (PInterval a s)

data PLowerBound (a :: S -> Type) (s :: S) Source #

Since: 2.0.0

Constructors

PLowerBound (Term s (PExtended a)) (Term s (PAsData PBool))

Instances

Instances details

(PIsData a, PCountable a) => PEq (PLowerBound a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods (#==) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool
PIsData (PLowerBound a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PLowerBound a)) -> Term s (PLowerBound a) pdataImpl :: forall (s :: S). Term s (PLowerBound a) -> Term s PData
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PLowerBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type AsHaskell (PLowerBound a) type PlutusRepr (PLowerBound a) Methods haskToRepr :: AsHaskell (PLowerBound a) -> PlutusRepr (PLowerBound a) reprToHask :: PlutusRepr (PLowerBound a) -> Either LiftError (AsHaskell (PLowerBound a)) reprToPlut :: forall (s :: S). PlutusRepr (PLowerBound a) -> PLifted s (PLowerBound a) plutToRepr :: (forall (s :: S). PLifted s (PLowerBound a)) -> Either LiftError (PlutusRepr (PLowerBound a))
(PIsData a, PCountable a) => POrd (PLowerBound a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods (#<=) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool (#<) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool pmax :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s (PLowerBound a) pmin :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s (PLowerBound a)
PlutusType (PLowerBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type PInner (PLowerBound a) :: PType type PCovariant' (PLowerBound a) type PContravariant' (PLowerBound a) type PVariant' (PLowerBound a) Methods pcon' :: forall (s :: S). PLowerBound a s -> Term s (PInner (PLowerBound a)) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PLowerBound a)) -> (PLowerBound a s -> Term s b) -> Term s b
(PIsData a, PShow a) => PShow (PLowerBound a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PLowerBound a) -> Term s PString
Generic (PLowerBound a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Rep (PLowerBound a s) :: Type -> Type Source # Methods from :: PLowerBound a s -> Rep (PLowerBound a s) x Source # to :: Rep (PLowerBound a s) x -> PLowerBound a s Source #
Generic (PLowerBound a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Code (PLowerBound a s) :: [[Type]] Methods from :: PLowerBound a s -> Rep (PLowerBound a s) to :: Rep (PLowerBound a s) -> PLowerBound a s
type AsHaskell (PLowerBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type AsHaskell (PLowerBound a) = AsHaskell (DeriveDataPLiftable (PLowerBound a) (LowerBound (AsHaskell a)))
type PlutusRepr (PLowerBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PLowerBound a) = PlutusRepr (DeriveDataPLiftable (PLowerBound a) (LowerBound (AsHaskell a)))
type PContravariant' (PLowerBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PContravariant' (PLowerBound a) = PContravariant' (DeriveAsDataStruct (PLowerBound a))
type PCovariant' (PLowerBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PCovariant' (PLowerBound a) = PCovariant' (DeriveAsDataStruct (PLowerBound a))
type PInner (PLowerBound a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval type PInner (PLowerBound a) = PInner (DeriveAsDataStruct (PLowerBound a))
type PVariant' (PLowerBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PVariant' (PLowerBound a) = PVariant' (DeriveAsDataStruct (PLowerBound a))
type Rep (PLowerBound a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Rep (PLowerBound a s) = D1 ('MetaData "PLowerBound" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PLowerBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PExtended a))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PBool)))))
type Code (PLowerBound a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Code (PLowerBound a s) = GCode (PLowerBound a s)

data PUpperBound (a :: S -> Type) (s :: S) Source #

Since: 2.0.0

Constructors

PUpperBound (Term s (PExtended a)) (Term s (PAsData PBool))

Instances

Instances details

(PIsData a, PEnumerable a) => PEq (PUpperBound a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods (#==) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool
PIsData (PUpperBound a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PUpperBound a)) -> Term s (PUpperBound a) pdataImpl :: forall (s :: S). Term s (PUpperBound a) -> Term s PData
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PUpperBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type AsHaskell (PUpperBound a) type PlutusRepr (PUpperBound a) Methods haskToRepr :: AsHaskell (PUpperBound a) -> PlutusRepr (PUpperBound a) reprToHask :: PlutusRepr (PUpperBound a) -> Either LiftError (AsHaskell (PUpperBound a)) reprToPlut :: forall (s :: S). PlutusRepr (PUpperBound a) -> PLifted s (PUpperBound a) plutToRepr :: (forall (s :: S). PLifted s (PUpperBound a)) -> Either LiftError (PlutusRepr (PUpperBound a))
(PIsData a, PEnumerable a) => POrd (PUpperBound a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods (#<=) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool (#<) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool pmax :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s (PUpperBound a) pmin :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s (PUpperBound a)
PlutusType (PUpperBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type PInner (PUpperBound a) :: PType type PCovariant' (PUpperBound a) type PContravariant' (PUpperBound a) type PVariant' (PUpperBound a) Methods pcon' :: forall (s :: S). PUpperBound a s -> Term s (PInner (PUpperBound a)) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PUpperBound a)) -> (PUpperBound a s -> Term s b) -> Term s b
(PIsData a, PShow a) => PShow (PUpperBound a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PUpperBound a) -> Term s PString
Generic (PUpperBound a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Rep (PUpperBound a s) :: Type -> Type Source # Methods from :: PUpperBound a s -> Rep (PUpperBound a s) x Source # to :: Rep (PUpperBound a s) x -> PUpperBound a s Source #
Generic (PUpperBound a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Code (PUpperBound a s) :: [[Type]] Methods from :: PUpperBound a s -> Rep (PUpperBound a s) to :: Rep (PUpperBound a s) -> PUpperBound a s
type AsHaskell (PUpperBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type AsHaskell (PUpperBound a) = AsHaskell (DeriveDataPLiftable (PUpperBound a) (UpperBound (AsHaskell a)))
type PlutusRepr (PUpperBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PUpperBound a) = PlutusRepr (DeriveDataPLiftable (PUpperBound a) (UpperBound (AsHaskell a)))
type PContravariant' (PUpperBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PContravariant' (PUpperBound a) = PContravariant' (DeriveAsDataStruct (PUpperBound a))
type PCovariant' (PUpperBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PCovariant' (PUpperBound a) = PCovariant' (DeriveAsDataStruct (PUpperBound a))
type PInner (PUpperBound a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval type PInner (PUpperBound a) = PInner (DeriveAsDataStruct (PUpperBound a))
type PVariant' (PUpperBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PVariant' (PUpperBound a) = PVariant' (DeriveAsDataStruct (PUpperBound a))
type Rep (PUpperBound a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Rep (PUpperBound a s) = D1 ('MetaData "PUpperBound" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PUpperBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PExtended a))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PBool)))))
type Code (PUpperBound a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Code (PUpperBound a s) = GCode (PUpperBound a s)

data PExtended (a :: S -> Type) (s :: S) Source #

Since: 2.0.0

Constructors

PNegInf
PFinite (Term s (PAsData a))
PPosInf

Instances

Instances details

PEq (PExtended a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods (#==) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool
PIsData (PExtended a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PExtended a)) -> Term s (PExtended a) pdataImpl :: forall (s :: S). Term s (PExtended a) -> Term s PData
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type AsHaskell (PExtended a) type PlutusRepr (PExtended a) Methods haskToRepr :: AsHaskell (PExtended a) -> PlutusRepr (PExtended a) reprToHask :: PlutusRepr (PExtended a) -> Either LiftError (AsHaskell (PExtended a)) reprToPlut :: forall (s :: S). PlutusRepr (PExtended a) -> PLifted s (PExtended a) plutToRepr :: (forall (s :: S). PLifted s (PExtended a)) -> Either LiftError (PlutusRepr (PExtended a))
(POrd a, PIsData a) => POrd (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Methods (#<=) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool (#<) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool pmax :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s (PExtended a) pmin :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s (PExtended a)
PlutusType (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type PInner (PExtended a) :: PType type PCovariant' (PExtended a) type PContravariant' (PExtended a) type PVariant' (PExtended a) Methods pcon' :: forall (s :: S). PExtended a s -> Term s (PInner (PExtended a)) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PExtended a)) -> (PExtended a s -> Term s b) -> Term s b
(PIsData a, PShow a) => PShow (PExtended a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PExtended a) -> Term s PString
Generic (PExtended a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Rep (PExtended a s) :: Type -> Type Source # Methods from :: PExtended a s -> Rep (PExtended a s) x Source # to :: Rep (PExtended a s) x -> PExtended a s Source #
Generic (PExtended a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Code (PExtended a s) :: [[Type]] Methods from :: PExtended a s -> Rep (PExtended a s) to :: Rep (PExtended a s) -> PExtended a s
type AsHaskell (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type AsHaskell (PExtended a) = AsHaskell (DeriveDataPLiftable (PExtended a) (Extended (AsHaskell a)))
type PlutusRepr (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PExtended a) = PlutusRepr (DeriveDataPLiftable (PExtended a) (Extended (AsHaskell a)))
type PContravariant' (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PContravariant' (PExtended a) = PContravariant' (DeriveAsDataStruct (PExtended a))
type PCovariant' (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PCovariant' (PExtended a) = PCovariant' (DeriveAsDataStruct (PExtended a))
type PInner (PExtended a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval type PInner (PExtended a) = PInner (DeriveAsDataStruct (PExtended a))
type PVariant' (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PVariant' (PExtended a) = PVariant' (DeriveAsDataStruct (PExtended a))
type Rep (PExtended a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Rep (PExtended a s) = D1 ('MetaData "PExtended" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PNegInf" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PFinite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData a)))) :+: C1 ('MetaCons "PPosInf" 'PrefixI 'False) (U1 :: Type -> Type)))
type Code (PExtended a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Code (PExtended a s) = GCode (PExtended a s)

CIP-1694

data PTxCert (s :: S) Source #

Since: 3.1.0

Constructors

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

Instances

Instances details

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

data PDelegatee (s :: S) Source #

Since: 3.1.0

Constructors

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

Instances

Instances details

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

newtype PDRepCredential (s :: S) Source #

Since: 3.1.0

Constructors

PDRepCredential (Term s PCredential)

Instances

Instances details

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

newtype PColdCommitteeCredential (s :: S) Source #

Since: 3.1.0

Constructors

PColdCommitteeCredential (Term s PCredential)

Instances

Instances details

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

newtype PHotCommitteeCredential (s :: S) Source #

Since: 3.1.0

Constructors

PHotCommitteeCredential (Term s PCredential)

Instances

Instances details

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

data PDRep (s :: S) Source #

Since: 3.1.0

Constructors

PDRep (Term s (PAsData PDRepCredential))
PDRepAlwaysAbstain
PDRepAlwaysNoConfidence

Instances

Instances details

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

data PVoter (s :: S) Source #

Since: 3.1.0

Constructors

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

Instances

Instances details

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

data PGovernanceActionId (s :: S) Source #

Since: 3.1.0

Constructors

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

Instances

Instances details

PEq PGovernanceActionId Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PGovernanceActionId -> Term s PGovernanceActionId -> Term s PBool
PIsData PGovernanceActionId Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PGovernanceActionId) -> Term s PGovernanceActionId pdataImpl :: forall (s :: S). Term s PGovernanceActionId -> Term s PData
PLiftable PGovernanceActionId Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type AsHaskell PGovernanceActionId type PlutusRepr PGovernanceActionId Methods haskToRepr :: AsHaskell PGovernanceActionId -> PlutusRepr PGovernanceActionId reprToHask :: PlutusRepr PGovernanceActionId -> Either LiftError (AsHaskell PGovernanceActionId) reprToPlut :: forall (s :: S). PlutusRepr PGovernanceActionId -> PLifted s PGovernanceActionId plutToRepr :: (forall (s :: S). PLifted s PGovernanceActionId) -> Either LiftError (PlutusRepr PGovernanceActionId)
PlutusType PGovernanceActionId Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type PInner PGovernanceActionId :: PType type PCovariant' PGovernanceActionId type PContravariant' PGovernanceActionId type PVariant' PGovernanceActionId Methods pcon' :: forall (s :: S). PGovernanceActionId s -> Term s (PInner PGovernanceActionId) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PGovernanceActionId) -> (PGovernanceActionId s -> Term s b) -> Term s b
PShow PGovernanceActionId Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PGovernanceActionId -> Term s PString
Generic (PGovernanceActionId s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Rep (PGovernanceActionId s) :: Type -> Type Source # Methods from :: PGovernanceActionId s -> Rep (PGovernanceActionId s) x Source # to :: Rep (PGovernanceActionId s) x -> PGovernanceActionId s Source #
Generic (PGovernanceActionId s) Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts Associated Types type Code (PGovernanceActionId s) :: [[Type]] Methods from :: PGovernanceActionId s -> Rep (PGovernanceActionId s) to :: Rep (PGovernanceActionId s) -> PGovernanceActionId s
type AsHaskell PGovernanceActionId Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PGovernanceActionId = AsHaskell (DeriveDataPLiftable PGovernanceActionId GovernanceActionId)
type PlutusRepr PGovernanceActionId Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PGovernanceActionId = PlutusRepr (DeriveDataPLiftable PGovernanceActionId GovernanceActionId)
type PContravariant' PGovernanceActionId Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PContravariant' PGovernanceActionId = PContravariant' (DeriveAsDataStruct PGovernanceActionId)
type PCovariant' PGovernanceActionId Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PCovariant' PGovernanceActionId = PCovariant' (DeriveAsDataStruct PGovernanceActionId)
type PInner PGovernanceActionId Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PGovernanceActionId = PInner (DeriveAsDataStruct PGovernanceActionId)
type PVariant' PGovernanceActionId Source #
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PVariant' PGovernanceActionId = PVariant' (DeriveAsDataStruct PGovernanceActionId)
type Rep (PGovernanceActionId s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PGovernanceActionId s) = D1 ('MetaData "PGovernanceActionId" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PGovernanceActionId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PTxId))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger)))))
type Code (PGovernanceActionId s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PGovernanceActionId s) = GCode (PGovernanceActionId s)

data PVote (s :: S) Source #

Since: 3.1.0

Constructors

PVoteYes
PVoteNo
PAbstain

Instances

Instances details

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

data PProtocolVersion (s :: S) Source #

Since: 3.1.0

Constructors

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

Instances

Instances details

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

data PProposalProcedure (s :: S) Source #

Since: 3.1.0

Constructors

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

Instances

Instances details

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

data PGovernanceAction (s :: S) Source #

Since: 3.1.0

Constructors

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

Instances

Instances details

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

newtype PChangedParameters (s :: S) Source #

Since: 3.1.0

Constructors

PChangedParameters (Term s PData)

Instances

Instances details

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

newtype PConstitution (s :: S) Source #

A constitution, omitting the optional anchor.

Since: 3.1.0

Constructors

PConstitution (Term s (PMaybeData PScriptHash))

Instances

Instances details

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

data PCommittee (s :: S) Source #

Since: 3.1.0

Constructors

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

Instances

Instances details

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

Crypto

Types

newtype PubKey Source #

Since: 2.0.0

Constructors

PubKey
Fields getPubKey :: LedgerBytes Since: 2.0.0

Instances

Instances details

Show PubKey Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3 Methods showsPrec :: Int -> PubKey -> ShowS Source # show :: PubKey -> String Source # showList :: [PubKey] -> ShowS Source #
Eq PubKey Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3 Methods (==) :: PubKey -> PubKey -> Bool Source # (/=) :: PubKey -> PubKey -> Bool Source #
Ord PubKey Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V3 Methods compare :: PubKey -> PubKey -> Ordering Source # (<) :: PubKey -> PubKey -> Bool Source # (<=) :: PubKey -> PubKey -> Bool Source # (>) :: PubKey -> PubKey -> Bool Source # (>=) :: PubKey -> PubKey -> Bool Source # max :: PubKey -> PubKey -> PubKey Source # min :: PubKey -> PubKey -> PubKey Source #

newtype PPubKeyHash (s :: S) Source #

Since: 2.0.0

Constructors

PPubKeyHash (Term s PByteString)

Instances

Instances details

PEq PPubKeyHash Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Crypto Methods (#==) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool
PIsData PPubKeyHash Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Crypto Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PPubKeyHash) -> Term s PPubKeyHash pdataImpl :: forall (s :: S). Term s PPubKeyHash -> Term s PData
PLiftable PPubKeyHash Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Crypto Associated Types type AsHaskell PPubKeyHash type PlutusRepr PPubKeyHash Methods haskToRepr :: AsHaskell PPubKeyHash -> PlutusRepr PPubKeyHash reprToHask :: PlutusRepr PPubKeyHash -> Either LiftError (AsHaskell PPubKeyHash) reprToPlut :: forall (s :: S). PlutusRepr PPubKeyHash -> PLifted s PPubKeyHash plutToRepr :: (forall (s :: S). PLifted s PPubKeyHash) -> Either LiftError (PlutusRepr PPubKeyHash)
POrd PPubKeyHash Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Crypto Methods (#<=) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool (#<) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool pmax :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PPubKeyHash pmin :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PPubKeyHash
PlutusType PPubKeyHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Crypto Associated Types type PInner PPubKeyHash :: PType type PCovariant' PPubKeyHash type PContravariant' PPubKeyHash type PVariant' PPubKeyHash Methods pcon' :: forall (s :: S). PPubKeyHash s -> Term s (PInner PPubKeyHash) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PPubKeyHash) -> (PPubKeyHash s -> Term s b) -> Term s b
PShow PPubKeyHash Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Crypto Methods pshow' :: forall (s :: S). Bool -> Term s PPubKeyHash -> Term s PString
Generic (PPubKeyHash s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Crypto Associated Types type Rep (PPubKeyHash s) :: Type -> Type Source # Methods from :: PPubKeyHash s -> Rep (PPubKeyHash s) x Source # to :: Rep (PPubKeyHash s) x -> PPubKeyHash s Source #
Generic (PPubKeyHash s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Crypto Associated Types type Code (PPubKeyHash s) :: [[Type]] Methods from :: PPubKeyHash s -> Rep (PPubKeyHash s) to :: Rep (PPubKeyHash s) -> PPubKeyHash s
type AsHaskell PPubKeyHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Crypto type AsHaskell PPubKeyHash = PubKeyHash
type PlutusRepr PPubKeyHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Crypto type PlutusRepr PPubKeyHash = ByteString
type PContravariant' PPubKeyHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Crypto type PContravariant' PPubKeyHash = PContravariant' (DeriveNewtypePlutusType PPubKeyHash)
type PCovariant' PPubKeyHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Crypto type PCovariant' PPubKeyHash = PCovariant' (DeriveNewtypePlutusType PPubKeyHash)
type PInner PPubKeyHash Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Crypto type PInner PPubKeyHash = PInner (DeriveNewtypePlutusType PPubKeyHash)
type PVariant' PPubKeyHash Source #
Instance details Defined in Plutarch.LedgerApi.V1.Crypto type PVariant' PPubKeyHash = PVariant' (DeriveNewtypePlutusType PPubKeyHash)
type Rep (PPubKeyHash s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.V1.Crypto type Rep (PPubKeyHash s) = D1 ('MetaData "PPubKeyHash" "Plutarch.LedgerApi.V1.Crypto" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'True) (C1 ('MetaCons "PPubKeyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString))))
type Code (PPubKeyHash s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Crypto type Code (PPubKeyHash s) = GCode (PPubKeyHash s)

pubKeyHash :: PubKey -> PubKeyHash Source #

Since: 2.0.0

Utilities

Types

data PMaybeData (a :: S -> Type) (s :: S) Source #

Since: 3.3.0

Constructors

PDJust (Term s (PAsData a))
PDNothing

Instances

Instances details

PEq (PMaybeData a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Utils Methods (#==) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool
PIsData (PMaybeData a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Utils Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PMaybeData a)) -> Term s (PMaybeData a) pdataImpl :: forall (s :: S). Term s (PMaybeData a) -> Term s PData
(ToData (AsHaskell a), FromData (AsHaskell a)) => PLiftable (PMaybeData a) Source #
Instance details Defined in Plutarch.LedgerApi.Utils Associated Types type AsHaskell (PMaybeData a) type PlutusRepr (PMaybeData a) Methods haskToRepr :: AsHaskell (PMaybeData a) -> PlutusRepr (PMaybeData a) reprToHask :: PlutusRepr (PMaybeData a) -> Either LiftError (AsHaskell (PMaybeData a)) reprToPlut :: forall (s :: S). PlutusRepr (PMaybeData a) -> PLifted s (PMaybeData a) plutToRepr :: (forall (s :: S). PLifted s (PMaybeData a)) -> Either LiftError (PlutusRepr (PMaybeData a))
(PIsData a, POrd a) => POrd (PMaybeData a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Utils Methods (#<=) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool (#<) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool pmax :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s (PMaybeData a) pmin :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s (PMaybeData a)
PlutusType (PMaybeData a) Source #
Instance details Defined in Plutarch.LedgerApi.Utils Associated Types type PInner (PMaybeData a) :: PType type PCovariant' (PMaybeData a) type PContravariant' (PMaybeData a) type PVariant' (PMaybeData a) Methods pcon' :: forall (s :: S). PMaybeData a s -> Term s (PInner (PMaybeData a)) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PMaybeData a)) -> (PMaybeData a s -> Term s b) -> Term s b
(PIsData a, PShow a) => PShow (PMaybeData a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Utils Methods pshow' :: forall (s :: S). Bool -> Term s (PMaybeData a) -> Term s PString
Generic (PMaybeData a s) Source #
Instance details Defined in Plutarch.LedgerApi.Utils Associated Types type Rep (PMaybeData a s) :: Type -> Type Source # Methods from :: PMaybeData a s -> Rep (PMaybeData a s) x Source # to :: Rep (PMaybeData a s) x -> PMaybeData a s Source #
Generic (PMaybeData a s) Source #
Instance details Defined in Plutarch.LedgerApi.Utils Associated Types type Code (PMaybeData a s) :: [[Type]] Methods from :: PMaybeData a s -> Rep (PMaybeData a s) to :: Rep (PMaybeData a s) -> PMaybeData a s
type AsHaskell (PMaybeData a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Utils type AsHaskell (PMaybeData a) = AsHaskell (DeriveDataPLiftable (PMaybeData a) (Maybe (AsHaskell a)))
type PlutusRepr (PMaybeData a) Source #
Instance details Defined in Plutarch.LedgerApi.Utils type PlutusRepr (PMaybeData a) = PlutusRepr (DeriveDataPLiftable (PMaybeData a) (Maybe (AsHaskell a)))
type PContravariant' (PMaybeData a) Source #
Instance details Defined in Plutarch.LedgerApi.Utils type PContravariant' (PMaybeData a) = PContravariant' (DeriveAsDataStruct (PMaybeData a))
type PCovariant' (PMaybeData a) Source #
Instance details Defined in Plutarch.LedgerApi.Utils type PCovariant' (PMaybeData a) = PCovariant' (DeriveAsDataStruct (PMaybeData a))
type PInner (PMaybeData a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Utils type PInner (PMaybeData a) = PInner (DeriveAsDataStruct (PMaybeData a))
type PVariant' (PMaybeData a) Source #
Instance details Defined in Plutarch.LedgerApi.Utils type PVariant' (PMaybeData a) = PVariant' (DeriveAsDataStruct (PMaybeData a))
type Rep (PMaybeData a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Utils type Rep (PMaybeData a s) = D1 ('MetaData "PMaybeData" "Plutarch.LedgerApi.Utils" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PDJust" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData a)))) :+: C1 ('MetaCons "PDNothing" 'PrefixI 'False) (U1 :: Type -> Type))
type Code (PMaybeData a s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Utils type Code (PMaybeData a s) = GCode (PMaybeData a s)

data PRationalData s Source #

A Rational type that corresponds to the data encoding used by Rational.

Since: 3.1.0

Constructors

PRationalData
Fields prationalData'numerator :: Term s (PAsData PInteger) prationalData'denominator :: Term s (PAsData PPositive)

Instances

Instances details

PEq PRationalData Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.Utils Methods (#==) :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PBool
PIsData PRationalData Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.Utils Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PRationalData) -> Term s PRationalData pdataImpl :: forall (s :: S). Term s PRationalData -> Term s PData
PLiftable PRationalData Source #
Instance details Defined in Plutarch.LedgerApi.Utils Associated Types type AsHaskell PRationalData type PlutusRepr PRationalData Methods haskToRepr :: AsHaskell PRationalData -> PlutusRepr PRationalData reprToHask :: PlutusRepr PRationalData -> Either LiftError (AsHaskell PRationalData) reprToPlut :: forall (s :: S). PlutusRepr PRationalData -> PLifted s PRationalData plutToRepr :: (forall (s :: S). PLifted s PRationalData) -> Either LiftError (PlutusRepr PRationalData)
POrd PRationalData Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.Utils Methods (#<=) :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PBool (#<) :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PBool pmax :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PRationalData pmin :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PRationalData
PlutusType PRationalData Source #
Instance details Defined in Plutarch.LedgerApi.Utils Associated Types type PInner PRationalData :: PType type PCovariant' PRationalData type PContravariant' PRationalData type PVariant' PRationalData Methods pcon' :: forall (s :: S). PRationalData s -> Term s (PInner PRationalData) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PRationalData) -> (PRationalData s -> Term s b) -> Term s b
PShow PRationalData Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.Utils Methods pshow' :: forall (s :: S). Bool -> Term s PRationalData -> Term s PString
Generic (PRationalData s) Source #
Instance details Defined in Plutarch.LedgerApi.Utils Associated Types type Rep (PRationalData s) :: Type -> Type Source # Methods from :: PRationalData s -> Rep (PRationalData s) x Source # to :: Rep (PRationalData s) x -> PRationalData s Source #
Generic (PRationalData s) Source #
Instance details Defined in Plutarch.LedgerApi.Utils Associated Types type Code (PRationalData s) :: [[Type]] Methods from :: PRationalData s -> Rep (PRationalData s) to :: Rep (PRationalData s) -> PRationalData s
type AsHaskell PRationalData Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Utils type AsHaskell PRationalData = AsHaskell (DeriveDataPLiftable PRationalData Rational)
type PlutusRepr PRationalData Source #
Instance details Defined in Plutarch.LedgerApi.Utils type PlutusRepr PRationalData = PlutusRepr (DeriveDataPLiftable PRationalData Rational)
type PContravariant' PRationalData Source #
Instance details Defined in Plutarch.LedgerApi.Utils type PContravariant' PRationalData = PContravariant' (DeriveAsDataStruct PRationalData)
type PCovariant' PRationalData Source #
Instance details Defined in Plutarch.LedgerApi.Utils type PCovariant' PRationalData = PCovariant' (DeriveAsDataStruct PRationalData)
type PInner PRationalData Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Utils type PInner PRationalData = PInner (DeriveAsDataStruct PRationalData)
type PVariant' PRationalData Source #
Instance details Defined in Plutarch.LedgerApi.Utils type PVariant' PRationalData = PVariant' (DeriveAsDataStruct PRationalData)
type Rep (PRationalData s) Source #	Since: 3.1.0
Instance details Defined in Plutarch.LedgerApi.Utils type Rep (PRationalData s) = D1 ('MetaData "PRationalData" "Plutarch.LedgerApi.Utils" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PRationalData" 'PrefixI 'True) (S1 ('MetaSel ('Just "prationalData'numerator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :*: S1 ('MetaSel ('Just "prationalData'denominator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPositive)))))
type Code (PRationalData s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Utils type Code (PRationalData s) = GCode (PRationalData s)

Utilities

pfromDJust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PMaybeData a :--> a) Source #

Extracts the element out of a PDJust and throws an error if its argument is PDNothing.

Since: 2.1.1

pisDJust :: forall (a :: S -> Type) (s :: S). Term s (PMaybeData a :--> PBool) Source #

Yield PTrue if a given PMaybeData is of the form PDJust _.

Since: 2.1.1

pmaybeData :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PIsData a => Term s (b :--> ((a :--> b) :--> (PMaybeData a :--> b))) Source #

Special version of pmaybe that works with PMaybeData.

Since: 2.1.1

pdjust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (a :--> PMaybeData a) Source #

Construct a PDJust value.

Since: 2.1.1

pdnothing :: forall (a :: S -> Type) (s :: S). Term s (PMaybeData a) Source #

Construct a PDNothing value.

Since: 2.1.1

pmaybeToMaybeData :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PMaybe a :--> PMaybeData a) Source #

Construct a PMaybeData given a PMaybe. Could be useful if you want to "lift" from PMaybe to Maybe.

Since: 2.1.1

passertPDJust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PString :--> (PMaybeData a :--> a)) Source #

Extract the value stored in a PMaybeData container. If there's no value, throw an error with the given message.

Since: 2.1.1

prationalFromData :: ClosedTerm (PRationalData :--> PRational) Source #

Since: 3.1.0