Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- newtype PScriptContext (s :: S) = PScriptContext (Term s (PDataRecord '["txInfo" ':= PTxInfo, "redeemer" ':= PRedeemer, "scriptInfo" ':= PScriptInfo]))
- newtype PTxInfo (s :: S) = PTxInfo (Term s (PDataRecord '["inputs" ':= PBuiltinList (PAsData PTxInInfo), "referenceInputs" ':= PBuiltinList (PAsData PTxInInfo), "outputs" ':= PBuiltinList (PAsData PTxOut), "fee" ':= PLovelace, "mint" ':= PValue 'Sorted 'NonZero, "txCerts" ':= PBuiltinList (PAsData PTxCert), "wdrl" ':= PMap 'Unsorted PCredential PLovelace, "validRange" ':= PInterval PPosixTime, "signatories" ':= PBuiltinList (PAsData PPubKeyHash), "redeemers" ':= PMap 'Unsorted PScriptPurpose PRedeemer, "data" ':= PMap 'Unsorted PDatumHash PDatum, "id" ':= PTxId, "votes" ':= PMap 'Unsorted PVoter (PMap 'Unsorted PGovernanceActionId PVote), "proposalProcedures" ':= PBuiltinList (PAsData PProposalProcedure), "currentTreasuryAmount" ':= PMaybeData PLovelace, "treasuryDonation" ':= PMaybeData PLovelace]))
- data PScriptInfo (s :: S)
- = PMintingScript (Term s (PDataRecord '["_0" ':= PCurrencySymbol]))
- | PSpendingScript (Term s (PDataRecord '["_0" ':= PTxOutRef, "_1" ':= PMaybeData PDatum]))
- | PRewardingScript (Term s (PDataRecord '["_0" ':= PCredential]))
- | PCertifyingScript (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PTxCert]))
- | PVotingScript (Term s (PDataRecord '["_0" ':= PVoter]))
- | PProposingScript (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PProposalProcedure]))
- data PScriptPurpose (s :: S)
- = PMinting (Term s (PDataRecord '["_0" ':= PCurrencySymbol]))
- | PSpending (Term s (PDataRecord '["_0" ':= PTxOutRef]))
- | PRewarding (Term s (PDataRecord '["_0" ':= PCredential]))
- | PCertifying (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PTxCert]))
- | PVoting (Term s (PDataRecord '["_0" ':= PVoter]))
- | PProposing (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PProposalProcedure]))
- newtype PTxOutRef (s :: S) = PTxOutRef (Term s (PDataRecord '["id" ':= PTxId, "idx" ':= PInteger]))
- newtype PTxOut (s :: S) = PTxOut (Term s (PDataRecord '["address" ':= PAddress, "value" ':= PValue 'Sorted 'Positive, "datum" ':= POutputDatum, "referenceScript" ':= PMaybeData PScriptHash]))
- newtype PTxId (s :: S) = PTxId (Term s (PDataNewtype PByteString))
- newtype PTxInInfo (s :: S) = PTxInInfo (Term s (PDataRecord '["outRef" ':= PTxOutRef, "resolved" ':= PTxOut]))
- data POutputDatum (s :: S)
- = PNoOutputDatum (Term s (PDataRecord '[]))
- | POutputDatumHash (Term s (PDataRecord '["datumHash" ':= PDatumHash]))
- | POutputDatum (Term s (PDataRecord '["outputDatum" ':= 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 (PDataNewtype PByteString))
- newtype PRedeemer (s :: S) = PRedeemer (Term s PData)
- newtype PRedeemerHash (s :: S) = PRedeemerHash (Term s (PDataNewtype PByteString))
- newtype PScriptHash (s :: S) = PScriptHash (Term s (PDataNewtype 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
- newtype PCurrencySymbol (s :: S) = PCurrencySymbol (Term s (PDataNewtype PByteString))
- newtype PTokenName (s :: S) = PTokenName (Term s (PDataNewtype PByteString))
- newtype PLovelace (s :: S) = PLovelace (Term s (PDataNewtype PInteger))
- newtype PMap (keysort :: KeyGuarantees) (k :: S -> Type) (v :: S -> Type) (s :: S) = PMap (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v))))
- data KeyGuarantees
- data Commutativity
- data PCredential (s :: S)
- = PPubKeyCredential (Term s (PDataRecord '["_0" ':= PPubKeyHash]))
- | PScriptCredential (Term s (PDataRecord '["_0" ':= PScriptHash]))
- data PStakingCredential (s :: S)
- = PStakingHash (Term s (PDataRecord '["_0" ':= PCredential]))
- | PStakingPtr (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PInteger, "_2" ':= PInteger]))
- newtype PAddress (s :: S) = PAddress (Term s (PDataRecord '["credential" ':= PCredential, "stakingCredential" ':= PMaybeData PStakingCredential]))
- newtype PPosixTime (s :: S) = PPosixTime (Term s (PDataNewtype PInteger))
- pposixTime :: forall (s :: S). Term s PInteger -> Term s PPosixTime
- unPPosixTime :: forall (s :: S). Term s PPosixTime -> Term s PInteger
- newtype PInterval (a :: S -> Type) (s :: S) = PInterval (Term s (PDataRecord '["from" ':= PLowerBound a, "to" ':= PUpperBound a]))
- newtype PLowerBound (a :: S -> Type) (s :: S) = PLowerBound (Term s (PDataRecord '["_0" ':= PExtended a, "_1" ':= PBool]))
- newtype PUpperBound (a :: S -> Type) (s :: S) = PUpperBound (Term s (PDataRecord '["_0" ':= PExtended a, "_1" ':= PBool]))
- data PExtended (a :: S -> Type) (s :: S)
- data PTxCert (s :: S)
- = PTxCertRegStaking (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PMaybeData PLovelace]))
- | PTxCertUnRegStaking (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PMaybeData PLovelace]))
- | PTxCertDelegStaking (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PDelegatee]))
- | PTxCertRegDeleg (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PDelegatee, "_2" ':= PLovelace]))
- | PTxCertRegDRep (Term s (PDataRecord '["_0" ':= PDRepCredential, "_1" ':= PLovelace]))
- | PTxCertUpdateDRep (Term s (PDataRecord '["_0" ':= PDRepCredential]))
- | PTxCertUnRegDRep (Term s (PDataRecord '["_0" ':= PDRepCredential, "_1" ':= PLovelace]))
- | PTxCertPoolRegister (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PPubKeyHash]))
- | PTxCertPoolRetire (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PInteger]))
- | PTxCertAuthHotCommittee (Term s (PDataRecord '["_0" ':= PColdCommitteeCredential, "_1" ':= PHotCommitteeCredential]))
- | PTxCertResignColdCommittee (Term s (PDataRecord '["_0" ':= PColdCommitteeCredential]))
- data PDelegatee (s :: S)
- = PDelegStake (Term s (PDataRecord '["_0" ':= PPubKeyHash]))
- | PDelegVote (Term s (PDataRecord '["_0" ':= PDRep]))
- | PDelegStakeVote (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= 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 (PDataRecord '["_0" ':= PDRepCredential]))
- | PDRepAlwaysAbstain (Term s (PDataRecord '[]))
- | PDRepAlwaysNoConfidence (Term s (PDataRecord '[]))
- data PVoter (s :: S)
- = PCommitteeVoter (Term s (PDataRecord '["_0" ':= PHotCommitteeCredential]))
- | PDRepVoter (Term s (PDataRecord '["_0" ':= PDRepCredential]))
- | PStakePoolVoter (Term s (PDataRecord '["_0" ':= PPubKeyHash]))
- newtype PGovernanceActionId (s :: S) = PGovernanceActionId (Term s (PDataRecord '["txId" ':= PTxId, "govActionIx" ':= PInteger]))
- data PVote (s :: S)
- newtype PProtocolVersion (s :: S) = PProtocolVersion (Term s (PDataRecord '["major" ':= PInteger, "minor" ':= PInteger]))
- newtype PProposalProcedure (s :: S) = PProposalProcedure (Term s (PDataRecord '["deposit" ':= PLovelace, "returnAddr" ':= PCredential, "governanceAction" ':= PGovernanceAction]))
- data PGovernanceAction (s :: S)
- = PParameterChange (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PChangedParameters, "_2" ':= PMaybeData PScriptHash]))
- | PHardForkInitiation (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PProtocolVersion]))
- | PTreasuryWithdrawals (Term s (PDataRecord '["_0" ':= PMap 'Unsorted PCredential PLovelace, "_1" ':= PMaybeData PScriptHash]))
- | PNoConfidence (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId]))
- | PUpdateCommittee (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PBuiltinList (PAsData PColdCommitteeCredential), "_2" ':= PMap 'Unsorted PColdCommitteeCredential PInteger, "_3" ':= PRationalData]))
- | PNewConstitution (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PConstitution]))
- | PInfoAction (Term s (PDataRecord '[]))
- newtype PChangedParameters (s :: S) = PChangedParameters (Term s PData)
- newtype PConstitution (s :: S) = PConstitution (Term s (PDataRecord '["_0" := PMaybeData PScriptHash]))
- newtype PCommittee (s :: S) = PCommittee (Term s (PDataRecord '["members" ':= PMap 'Unsorted PColdCommitteeCredential PInteger, "quorum" ':= PRationalData]))
- newtype PubKey = PubKey {
- getPubKey :: LedgerBytes
- newtype PPubKeyHash (s :: S) = PPubKeyHash (Term s (PDataNewtype PByteString))
- pubKeyHash :: PubKey -> PubKeyHash
- data PMaybeData (a :: S -> Type) (s :: S)
- newtype PRationalData s = PRationalData (Term s (PDataRecord '["numerator" ':= PInteger, "denominator" ':= 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
newtype PScriptContext (s :: S) Source #
Since: 3.1.0
PScriptContext (Term s (PDataRecord '["txInfo" ':= PTxInfo, "redeemer" ':= PRedeemer, "scriptInfo" ':= PScriptInfo])) |
Instances
PIsData PScriptContext Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptContext) -> Term s PScriptContext pdataImpl :: forall (s :: S). Term s PScriptContext -> Term s PData | |
PDataFields PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PFields PScriptContext :: [PLabeledType] ptoFields :: forall (s :: S). Term s PScriptContext -> Term s (PDataRecord (PFields PScriptContext)) | |
PEq PScriptContext Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts (#==) :: forall (s :: S). Term s PScriptContext -> Term s PScriptContext -> Term s PBool | |
PLiftable PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PScriptContext type PlutusRepr PScriptContext toPlutarchRepr :: AsHaskell PScriptContext -> PlutusRepr PScriptContext toPlutarch :: forall (s :: S). AsHaskell PScriptContext -> PLifted s PScriptContext fromPlutarchRepr :: PlutusRepr PScriptContext -> Maybe (AsHaskell PScriptContext) fromPlutarch :: (forall (s :: S). PLifted s PScriptContext) -> Either LiftError (AsHaskell PScriptContext) | |
DerivePlutusType PScriptContext Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PScriptContext | |
PlutusType PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PInner PScriptContext :: PType type PCovariant' PScriptContext type PContravariant' PScriptContext type PVariant' PScriptContext 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 |
Defined in Plutarch.LedgerApi.V3.Contexts pshow' :: forall (s :: S). Bool -> Term s PScriptContext -> Term s PString | |
PTryFrom PData PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData PScriptContext :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PScriptContext, Reduce (PTryFromExcess PData PScriptContext s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PScriptContext) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PScriptContext) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PScriptContext), Reduce (PTryFromExcess PData (PAsData PScriptContext) s)) -> Term s r) -> Term s r | |
Generic (PScriptContext s) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts from :: PScriptContext s -> Rep (PScriptContext s) x Source # to :: Rep (PScriptContext s) x -> PScriptContext s Source # | |
type PFields PScriptContext Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type AsHaskell PScriptContext Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PlutusRepr PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type DPTStrat PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PScriptContext = PlutusTypeData | |
type PContravariant' PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PCovariant' PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PInner PScriptContext Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PVariant' PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData PScriptContext Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData (PAsData PScriptContext) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PScriptContext) = PTryFromExcess PData (PInner (PAsData PScriptContext)) | |
type Rep (PScriptContext s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PScriptContext s) = D1 ('MetaData "PScriptContext" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PScriptContext" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["txInfo" ':= PTxInfo, "redeemer" ':= PRedeemer, "scriptInfo" ':= PScriptInfo]))))) |
newtype PTxInfo (s :: S) Source #
PTxInfo (Term s (PDataRecord '["inputs" ':= PBuiltinList (PAsData PTxInInfo), "referenceInputs" ':= PBuiltinList (PAsData PTxInInfo), "outputs" ':= PBuiltinList (PAsData PTxOut), "fee" ':= PLovelace, "mint" ':= PValue 'Sorted 'NonZero, "txCerts" ':= PBuiltinList (PAsData PTxCert), "wdrl" ':= PMap 'Unsorted PCredential PLovelace, "validRange" ':= PInterval PPosixTime, "signatories" ':= PBuiltinList (PAsData PPubKeyHash), "redeemers" ':= PMap 'Unsorted PScriptPurpose PRedeemer, "data" ':= PMap 'Unsorted PDatumHash PDatum, "id" ':= PTxId, "votes" ':= PMap 'Unsorted PVoter (PMap 'Unsorted PGovernanceActionId PVote), "proposalProcedures" ':= PBuiltinList (PAsData PProposalProcedure), "currentTreasuryAmount" ':= PMaybeData PLovelace, "treasuryDonation" ':= PMaybeData PLovelace])) |
Instances
PIsData PTxInfo Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInfo) -> Term s PTxInfo pdataImpl :: forall (s :: S). Term s PTxInfo -> Term s PData | |
PDataFields PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PFields PTxInfo :: [PLabeledType] | |
PEq PTxInfo Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
PLiftable PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts toPlutarchRepr :: AsHaskell PTxInfo -> PlutusRepr PTxInfo toPlutarch :: forall (s :: S). AsHaskell PTxInfo -> PLifted s PTxInfo fromPlutarchRepr :: PlutusRepr PTxInfo -> Maybe (AsHaskell PTxInfo) fromPlutarch :: (forall (s :: S). PLifted s PTxInfo) -> Either LiftError (AsHaskell PTxInfo) | |
DerivePlutusType PTxInfo Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PTxInfo | |
PlutusType PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
PShow PTxInfo Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
PTryFrom PData PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData PTxInfo :: PType | |
PTryFrom PData (PAsData PTxInfo) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PTxInfo) :: PType | |
Generic (PTxInfo s) Source # | |
type PFields PTxInfo Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type AsHaskell PTxInfo Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PlutusRepr PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type DPTStrat PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PTxInfo = PlutusTypeData | |
type PContravariant' PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PCovariant' PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PInner PTxInfo Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PVariant' PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData PTxInfo Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData (PAsData PTxInfo) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type Rep (PTxInfo s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PTxInfo s) = D1 ('MetaData "PTxInfo" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PTxInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["inputs" ':= PBuiltinList (PAsData PTxInInfo), "referenceInputs" ':= PBuiltinList (PAsData PTxInInfo), "outputs" ':= PBuiltinList (PAsData PTxOut), "fee" ':= PLovelace, "mint" ':= PValue 'Sorted 'NonZero, "txCerts" ':= PBuiltinList (PAsData PTxCert), "wdrl" ':= PMap 'Unsorted PCredential PLovelace, "validRange" ':= PInterval PPosixTime, "signatories" ':= PBuiltinList (PAsData PPubKeyHash), "redeemers" ':= PMap 'Unsorted PScriptPurpose PRedeemer, "data" ':= PMap 'Unsorted PDatumHash PDatum, "id" ':= PTxId, "votes" ':= PMap 'Unsorted PVoter (PMap 'Unsorted PGovernanceActionId PVote), "proposalProcedures" ':= PBuiltinList (PAsData PProposalProcedure), "currentTreasuryAmount" ':= PMaybeData PLovelace, "treasuryDonation" ':= PMaybeData PLovelace]))))) |
data PScriptInfo (s :: S) Source #
Since: 3.1.0
PMintingScript (Term s (PDataRecord '["_0" ':= PCurrencySymbol])) | |
PSpendingScript (Term s (PDataRecord '["_0" ':= PTxOutRef, "_1" ':= PMaybeData PDatum])) | |
PRewardingScript (Term s (PDataRecord '["_0" ':= PCredential])) | |
PCertifyingScript (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PTxCert])) | |
PVotingScript (Term s (PDataRecord '["_0" ':= PVoter])) | |
PProposingScript (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PProposalProcedure])) |
Instances
PIsData PScriptInfo Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptInfo) -> Term s PScriptInfo pdataImpl :: forall (s :: S). Term s PScriptInfo -> Term s PData | |
PEq PScriptInfo Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts (#==) :: forall (s :: S). Term s PScriptInfo -> Term s PScriptInfo -> Term s PBool | |
PLiftable PScriptInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PScriptInfo type PlutusRepr PScriptInfo toPlutarchRepr :: AsHaskell PScriptInfo -> PlutusRepr PScriptInfo toPlutarch :: forall (s :: S). AsHaskell PScriptInfo -> PLifted s PScriptInfo fromPlutarchRepr :: PlutusRepr PScriptInfo -> Maybe (AsHaskell PScriptInfo) fromPlutarch :: (forall (s :: S). PLifted s PScriptInfo) -> Either LiftError (AsHaskell PScriptInfo) | |
DerivePlutusType PScriptInfo Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PScriptInfo | |
PlutusType PScriptInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PInner PScriptInfo :: PType type PCovariant' PScriptInfo type PContravariant' PScriptInfo type PVariant' PScriptInfo 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 |
Defined in Plutarch.LedgerApi.V3.Contexts pshow' :: forall (s :: S). Bool -> Term s PScriptInfo -> Term s PString | |
PTryFrom PData PScriptInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData PScriptInfo :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PScriptInfo, Reduce (PTryFromExcess PData PScriptInfo s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PScriptInfo) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PScriptInfo) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PScriptInfo), Reduce (PTryFromExcess PData (PAsData PScriptInfo) s)) -> Term s r) -> Term s r | |
Generic (PScriptInfo s) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts from :: PScriptInfo s -> Rep (PScriptInfo s) x Source # to :: Rep (PScriptInfo s) x -> PScriptInfo s Source # | |
type AsHaskell PScriptInfo Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PlutusRepr PScriptInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type DPTStrat PScriptInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PScriptInfo = PlutusTypeData | |
type PContravariant' PScriptInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PCovariant' PScriptInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PInner PScriptInfo Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PVariant' PScriptInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData PScriptInfo Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData (PAsData PScriptInfo) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PScriptInfo) = PTryFromExcess PData (PInner (PAsData PScriptInfo)) | |
type Rep (PScriptInfo s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PScriptInfo s) = D1 ('MetaData "PScriptInfo" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'False) ((C1 ('MetaCons "PMintingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PCurrencySymbol])))) :+: (C1 ('MetaCons "PSpendingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PTxOutRef, "_1" ':= PMaybeData PDatum])))) :+: C1 ('MetaCons "PRewardingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PCredential])))))) :+: (C1 ('MetaCons "PCertifyingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PTxCert])))) :+: (C1 ('MetaCons "PVotingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PVoter])))) :+: C1 ('MetaCons "PProposingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PProposalProcedure]))))))) |
data PScriptPurpose (s :: S) Source #
Since: 2.0.0
PMinting (Term s (PDataRecord '["_0" ':= PCurrencySymbol])) | |
PSpending (Term s (PDataRecord '["_0" ':= PTxOutRef])) | |
PRewarding (Term s (PDataRecord '["_0" ':= PCredential])) | Since: 3.1.0 |
PCertifying (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PTxCert])) | |
PVoting (Term s (PDataRecord '["_0" ':= PVoter])) | Since: 3.1.0 |
PProposing (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PProposalProcedure])) | Since: 3.1.0 |
Instances
PIsData PScriptPurpose Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptPurpose) -> Term s PScriptPurpose pdataImpl :: forall (s :: S). Term s PScriptPurpose -> Term s PData | |
PEq PScriptPurpose Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts (#==) :: forall (s :: S). Term s PScriptPurpose -> Term s PScriptPurpose -> Term s PBool | |
PLiftable PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PScriptPurpose type PlutusRepr PScriptPurpose toPlutarchRepr :: AsHaskell PScriptPurpose -> PlutusRepr PScriptPurpose toPlutarch :: forall (s :: S). AsHaskell PScriptPurpose -> PLifted s PScriptPurpose fromPlutarchRepr :: PlutusRepr PScriptPurpose -> Maybe (AsHaskell PScriptPurpose) fromPlutarch :: (forall (s :: S). PLifted s PScriptPurpose) -> Either LiftError (AsHaskell PScriptPurpose) | |
DerivePlutusType PScriptPurpose Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PScriptPurpose | |
PlutusType PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PInner PScriptPurpose :: PType type PCovariant' PScriptPurpose type PContravariant' PScriptPurpose type PVariant' PScriptPurpose 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 |
Defined in Plutarch.LedgerApi.V3.Contexts pshow' :: forall (s :: S). Bool -> Term s PScriptPurpose -> Term s PString | |
PTryFrom PData PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData PScriptPurpose :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PScriptPurpose, Reduce (PTryFromExcess PData PScriptPurpose s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PScriptPurpose) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PScriptPurpose) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PScriptPurpose), Reduce (PTryFromExcess PData (PAsData PScriptPurpose) s)) -> Term s r) -> Term s r | |
Generic (PScriptPurpose s) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts from :: PScriptPurpose s -> Rep (PScriptPurpose s) x Source # to :: Rep (PScriptPurpose s) x -> PScriptPurpose s Source # | |
type AsHaskell PScriptPurpose Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PlutusRepr PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type DPTStrat PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PScriptPurpose = PlutusTypeData | |
type PContravariant' PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PCovariant' PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PInner PScriptPurpose Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PVariant' PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData PScriptPurpose Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData (PAsData PScriptPurpose) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PScriptPurpose) = PTryFromExcess PData (PInner (PAsData PScriptPurpose)) | |
type Rep (PScriptPurpose s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PScriptPurpose s) = D1 ('MetaData "PScriptPurpose" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'False) ((C1 ('MetaCons "PMinting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PCurrencySymbol])))) :+: (C1 ('MetaCons "PSpending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PTxOutRef])))) :+: C1 ('MetaCons "PRewarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PCredential])))))) :+: (C1 ('MetaCons "PCertifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PTxCert])))) :+: (C1 ('MetaCons "PVoting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PVoter])))) :+: C1 ('MetaCons "PProposing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PProposalProcedure]))))))) |
Tx
Types
newtype PTxOutRef (s :: S) Source #
Since: 3.1.0
Instances
PIsData PTxOutRef Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Tx pfromDataImpl :: forall (s :: S). Term s (PAsData PTxOutRef) -> Term s PTxOutRef pdataImpl :: forall (s :: S). Term s PTxOutRef -> Term s PData | |
PDataFields PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V3.Tx type PFields PTxOutRef :: [PLabeledType] | |
PEq PTxOutRef Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Tx | |
PLiftable PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V3.Tx toPlutarchRepr :: AsHaskell PTxOutRef -> PlutusRepr PTxOutRef toPlutarch :: forall (s :: S). AsHaskell PTxOutRef -> PLifted s PTxOutRef fromPlutarchRepr :: PlutusRepr PTxOutRef -> Maybe (AsHaskell PTxOutRef) fromPlutarch :: (forall (s :: S). PLifted s PTxOutRef) -> Either LiftError (AsHaskell PTxOutRef) | |
POrd PTxOutRef Source # | Since: 3.1.0 |
PPartialOrd PTxOutRef Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Tx (#<=) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool (#<) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool (#>=) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool (#>) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool | |
DerivePlutusType PTxOutRef Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Tx type DPTStrat PTxOutRef | |
PlutusType PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V3.Tx | |
PShow PTxOutRef Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Tx | |
PTryFrom PData PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V3.Tx type PTryFromExcess PData PTxOutRef :: PType | |
PTryFrom PData (PAsData PTxOutRef) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Tx type PTryFromExcess PData (PAsData PTxOutRef) :: PType | |
Generic (PTxOutRef s) Source # | |
type PFields PTxOutRef Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Tx | |
type AsHaskell PTxOutRef Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Tx | |
type PlutusRepr PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V3.Tx | |
type DPTStrat PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V3.Tx type DPTStrat PTxOutRef = PlutusTypeData | |
type PContravariant' PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V3.Tx | |
type PCovariant' PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V3.Tx | |
type PInner PTxOutRef Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Tx | |
type PVariant' PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V3.Tx | |
type PTryFromExcess PData PTxOutRef Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Tx | |
type PTryFromExcess PData (PAsData PTxOutRef) Source # | |
Defined in Plutarch.LedgerApi.V3.Tx | |
type Rep (PTxOutRef s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Tx type Rep (PTxOutRef s) = D1 ('MetaData "PTxOutRef" "Plutarch.LedgerApi.V3.Tx" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PTxOutRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["id" ':= PTxId, "idx" ':= PInteger]))))) |
newtype PTxOut (s :: S) Source #
Since: 2.0.0
PTxOut (Term s (PDataRecord '["address" ':= PAddress, "value" ':= PValue 'Sorted 'Positive, "datum" ':= POutputDatum, "referenceScript" ':= PMaybeData PScriptHash])) |
Instances
PIsData PTxOut Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V2.Tx pfromDataImpl :: forall (s :: S). Term s (PAsData PTxOut) -> Term s PTxOut | |
PDataFields PTxOut Source # | |
Defined in Plutarch.LedgerApi.V2.Tx type PFields PTxOut :: [PLabeledType] | |
PEq PTxOut Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V2.Tx | |
PLiftable PTxOut Source # | |
Defined in Plutarch.LedgerApi.V2.Tx toPlutarchRepr :: AsHaskell PTxOut -> PlutusRepr PTxOut toPlutarch :: forall (s :: S). AsHaskell PTxOut -> PLifted s PTxOut fromPlutarchRepr :: PlutusRepr PTxOut -> Maybe (AsHaskell PTxOut) fromPlutarch :: (forall (s :: S). PLifted s PTxOut) -> Either LiftError (AsHaskell PTxOut) | |
DerivePlutusType PTxOut Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V2.Tx type DPTStrat PTxOut | |
PlutusType PTxOut Source # | |
PShow PTxOut Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V2.Tx | |
PTryFrom PData PTxOut Source # | |
Defined in Plutarch.LedgerApi.V2.Tx type PTryFromExcess PData PTxOut :: PType | |
PTryFrom PData (PAsData PTxOut) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V2.Tx type PTryFromExcess PData (PAsData PTxOut) :: PType | |
Generic (PTxOut s) Source # | |
type PFields PTxOut Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V2.Tx | |
type AsHaskell PTxOut Source # | @since WIP |
Defined in Plutarch.LedgerApi.V2.Tx | |
type PlutusRepr PTxOut Source # | |
Defined in Plutarch.LedgerApi.V2.Tx | |
type DPTStrat PTxOut Source # | |
Defined in Plutarch.LedgerApi.V2.Tx type DPTStrat PTxOut = PlutusTypeData | |
type PContravariant' PTxOut Source # | |
Defined in Plutarch.LedgerApi.V2.Tx | |
type PCovariant' PTxOut Source # | |
Defined in Plutarch.LedgerApi.V2.Tx | |
type PInner PTxOut Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V2.Tx | |
type PVariant' PTxOut Source # | |
Defined in Plutarch.LedgerApi.V2.Tx | |
type PTryFromExcess PData PTxOut Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V2.Tx | |
type PTryFromExcess PData (PAsData PTxOut) Source # | |
Defined in Plutarch.LedgerApi.V2.Tx | |
type Rep (PTxOut s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V2.Tx type Rep (PTxOut s) = D1 ('MetaData "PTxOut" "Plutarch.LedgerApi.V2.Tx" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["address" ':= PAddress, "value" ':= PValue 'Sorted 'Positive, "datum" ':= POutputDatum, "referenceScript" ':= PMaybeData PScriptHash]))))) |
newtype PTxId (s :: S) Source #
Hashed with BLAKE2b-256
.
Since: 3.1.0
PTxId (Term s (PDataNewtype PByteString)) |
Instances
PIsData PTxId Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Tx pfromDataImpl :: forall (s :: S). Term s (PAsData PTxId) -> Term s PTxId | |
PEq PTxId Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Tx | |
PLiftable PTxId Source # | |
Defined in Plutarch.LedgerApi.V3.Tx toPlutarchRepr :: AsHaskell PTxId -> PlutusRepr PTxId toPlutarch :: forall (s :: S). AsHaskell PTxId -> PLifted s PTxId fromPlutarchRepr :: PlutusRepr PTxId -> Maybe (AsHaskell PTxId) fromPlutarch :: (forall (s :: S). PLifted s PTxId) -> Either LiftError (AsHaskell PTxId) | |
POrd PTxId Source # | Since: 2.0.0 |
PPartialOrd PTxId Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Tx | |
DerivePlutusType PTxId Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Tx type DPTStrat PTxId | |
PlutusType PTxId Source # | |
PShow PTxId Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Tx | |
PTryFrom PData PTxId Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Tx type PTryFromExcess PData PTxId :: PType | |
PTryFrom PData (PAsData PTxId) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Tx type PTryFromExcess PData (PAsData PTxId) :: PType | |
Generic (PTxId s) Source # | |
type AsHaskell PTxId Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Tx | |
type PlutusRepr PTxId Source # | |
Defined in Plutarch.LedgerApi.V3.Tx | |
type DPTStrat PTxId Source # | |
Defined in Plutarch.LedgerApi.V3.Tx type DPTStrat PTxId = PlutusTypeNewtype | |
type PContravariant' PTxId Source # | |
Defined in Plutarch.LedgerApi.V3.Tx | |
type PCovariant' PTxId Source # | |
Defined in Plutarch.LedgerApi.V3.Tx | |
type PInner PTxId Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Tx | |
type PVariant' PTxId Source # | |
Defined in Plutarch.LedgerApi.V3.Tx | |
type PTryFromExcess PData PTxId Source # | |
Defined in Plutarch.LedgerApi.V3.Tx | |
type PTryFromExcess PData (PAsData PTxId) Source # | |
Defined in Plutarch.LedgerApi.V3.Tx | |
type Rep (PTxId s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Tx type Rep (PTxId s) = D1 ('MetaData "PTxId" "Plutarch.LedgerApi.V3.Tx" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PTxId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString))))) |
newtype PTxInInfo (s :: S) Source #
An input of the pending transaction.
Since: 2.0.0
Instances
PIsData PTxInInfo Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInInfo) -> Term s PTxInInfo pdataImpl :: forall (s :: S). Term s PTxInInfo -> Term s PData | |
PDataFields PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PFields PTxInInfo :: [PLabeledType] | |
PEq PTxInInfo Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
PLiftable PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts toPlutarchRepr :: AsHaskell PTxInInfo -> PlutusRepr PTxInInfo toPlutarch :: forall (s :: S). AsHaskell PTxInInfo -> PLifted s PTxInInfo fromPlutarchRepr :: PlutusRepr PTxInInfo -> Maybe (AsHaskell PTxInInfo) fromPlutarch :: (forall (s :: S). PLifted s PTxInInfo) -> Either LiftError (AsHaskell PTxInInfo) | |
DerivePlutusType PTxInInfo Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PTxInInfo | |
PlutusType PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
PShow PTxInInfo Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
PTryFrom PData PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData PTxInInfo :: PType | |
PTryFrom PData (PAsData PTxInInfo) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PTxInInfo) :: PType | |
Generic (PTxInInfo s) Source # | |
type PFields PTxInInfo Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type AsHaskell PTxInInfo Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PlutusRepr PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type DPTStrat PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PTxInInfo = PlutusTypeData | |
type PContravariant' PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PCovariant' PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PInner PTxInInfo Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PVariant' PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData PTxInInfo Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData (PAsData PTxInInfo) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type Rep (PTxInInfo s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PTxInInfo s) = D1 ('MetaData "PTxInInfo" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PTxInInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["outRef" ':= PTxOutRef, "resolved" ':= PTxOut]))))) |
data POutputDatum (s :: S) Source #
Since: 2.0.0
PNoOutputDatum (Term s (PDataRecord '[])) | |
POutputDatumHash (Term s (PDataRecord '["datumHash" ':= PDatumHash])) | |
POutputDatum (Term s (PDataRecord '["outputDatum" ':= PDatum])) | Inline datum as per CIP-0032 |
Instances
PIsData POutputDatum Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V2.Tx pfromDataImpl :: forall (s :: S). Term s (PAsData POutputDatum) -> Term s POutputDatum pdataImpl :: forall (s :: S). Term s POutputDatum -> Term s PData | |
PEq POutputDatum Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V2.Tx (#==) :: forall (s :: S). Term s POutputDatum -> Term s POutputDatum -> Term s PBool | |
PLiftable POutputDatum Source # | |
Defined in Plutarch.LedgerApi.V2.Tx type AsHaskell POutputDatum type PlutusRepr POutputDatum toPlutarchRepr :: AsHaskell POutputDatum -> PlutusRepr POutputDatum toPlutarch :: forall (s :: S). AsHaskell POutputDatum -> PLifted s POutputDatum fromPlutarchRepr :: PlutusRepr POutputDatum -> Maybe (AsHaskell POutputDatum) fromPlutarch :: (forall (s :: S). PLifted s POutputDatum) -> Either LiftError (AsHaskell POutputDatum) | |
DerivePlutusType POutputDatum Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V2.Tx type DPTStrat POutputDatum | |
PlutusType POutputDatum Source # | |
Defined in Plutarch.LedgerApi.V2.Tx type PInner POutputDatum :: PType type PCovariant' POutputDatum type PContravariant' POutputDatum type PVariant' POutputDatum 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 |
Defined in Plutarch.LedgerApi.V2.Tx pshow' :: forall (s :: S). Bool -> Term s POutputDatum -> Term s PString | |
PTryFrom PData POutputDatum Source # | |
Defined in Plutarch.LedgerApi.V2.Tx type PTryFromExcess PData POutputDatum :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s POutputDatum, Reduce (PTryFromExcess PData POutputDatum s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData POutputDatum) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V2.Tx type PTryFromExcess PData (PAsData POutputDatum) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData POutputDatum), Reduce (PTryFromExcess PData (PAsData POutputDatum) s)) -> Term s r) -> Term s r | |
Generic (POutputDatum s) Source # | |
Defined in Plutarch.LedgerApi.V2.Tx from :: POutputDatum s -> Rep (POutputDatum s) x Source # to :: Rep (POutputDatum s) x -> POutputDatum s Source # | |
type AsHaskell POutputDatum Source # | @since WIP |
Defined in Plutarch.LedgerApi.V2.Tx | |
type PlutusRepr POutputDatum Source # | |
Defined in Plutarch.LedgerApi.V2.Tx | |
type DPTStrat POutputDatum Source # | |
Defined in Plutarch.LedgerApi.V2.Tx type DPTStrat POutputDatum = PlutusTypeData | |
type PContravariant' POutputDatum Source # | |
Defined in Plutarch.LedgerApi.V2.Tx | |
type PCovariant' POutputDatum Source # | |
Defined in Plutarch.LedgerApi.V2.Tx | |
type PInner POutputDatum Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V2.Tx | |
type PVariant' POutputDatum Source # | |
Defined in Plutarch.LedgerApi.V2.Tx | |
type PTryFromExcess PData POutputDatum Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V2.Tx | |
type PTryFromExcess PData (PAsData POutputDatum) Source # | |
Defined in Plutarch.LedgerApi.V2.Tx type PTryFromExcess PData (PAsData POutputDatum) = PTryFromExcess PData (PInner (PAsData POutputDatum)) | |
type Rep (POutputDatum s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V2.Tx type Rep (POutputDatum s) = D1 ('MetaData "POutputDatum" "Plutarch.LedgerApi.V2.Tx" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'False) (C1 ('MetaCons "PNoOutputDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))) :+: (C1 ('MetaCons "POutputDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["datumHash" ':= PDatumHash])))) :+: C1 ('MetaCons "POutputDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["outputDatum" ':= PDatum])))))) |
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
PDatum (Term s PData) |
Instances
PIsData PDatum Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts pfromDataImpl :: forall (s :: S). Term s (PAsData PDatum) -> Term s PDatum | |
PEq PDatum Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
PLiftable PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts toPlutarchRepr :: AsHaskell PDatum -> PlutusRepr PDatum toPlutarch :: forall (s :: S). AsHaskell PDatum -> PLifted s PDatum fromPlutarchRepr :: PlutusRepr PDatum -> Maybe (AsHaskell PDatum) fromPlutarch :: (forall (s :: S). PLifted s PDatum) -> Either LiftError (AsHaskell PDatum) | |
DerivePlutusType PDatum Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PDatum | |
PlutusType PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
PShow PDatum Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
PTryFrom PData PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData PDatum :: PType | |
PTryFrom PData (PAsData PDatum) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData (PAsData PDatum) :: PType | |
Generic (PDatum s) Source # | |
type AsHaskell PDatum Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PlutusRepr PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type DPTStrat PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PDatum = PlutusTypeNewtype | |
type PContravariant' PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PCovariant' PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PInner PDatum Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PVariant' PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData PDatum Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData (PAsData PDatum) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type Rep (PDatum s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts |
newtype PDatumHash (s :: S) Source #
Since: 2.0.0
PDatumHash (Term s (PDataNewtype PByteString)) |
Instances
PIsData PDatumHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts pfromDataImpl :: forall (s :: S). Term s (PAsData PDatumHash) -> Term s PDatumHash pdataImpl :: forall (s :: S). Term s PDatumHash -> Term s PData | |
PEq PDatumHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts (#==) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool | |
PLiftable PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type AsHaskell PDatumHash type PlutusRepr PDatumHash toPlutarchRepr :: AsHaskell PDatumHash -> PlutusRepr PDatumHash toPlutarch :: forall (s :: S). AsHaskell PDatumHash -> PLifted s PDatumHash fromPlutarchRepr :: PlutusRepr PDatumHash -> Maybe (AsHaskell PDatumHash) fromPlutarch :: (forall (s :: S). PLifted s PDatumHash) -> Either LiftError (AsHaskell PDatumHash) | |
POrd PDatumHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts 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 | |
PPartialOrd PDatumHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts (#<=) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool (#<) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool (#>=) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool (#>) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool | |
DerivePlutusType PDatumHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PDatumHash | |
PlutusType PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PInner PDatumHash :: PType type PCovariant' PDatumHash type PContravariant' PDatumHash type PVariant' PDatumHash 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 |
Defined in Plutarch.LedgerApi.V1.Scripts pshow' :: forall (s :: S). Bool -> Term s PDatumHash -> Term s PString | |
PTryFrom PData PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData PDatumHash :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PDatumHash, Reduce (PTryFromExcess PData PDatumHash s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PDatumHash) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData (PAsData PDatumHash) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PDatumHash), Reduce (PTryFromExcess PData (PAsData PDatumHash) s)) -> Term s r) -> Term s r | |
Generic (PDatumHash s) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts from :: PDatumHash s -> Rep (PDatumHash s) x Source # to :: Rep (PDatumHash s) x -> PDatumHash s Source # | |
type AsHaskell PDatumHash Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PlutusRepr PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type DPTStrat PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PDatumHash = PlutusTypeNewtype | |
type PContravariant' PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PCovariant' PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PInner PDatumHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PVariant' PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData PDatumHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData (PAsData PDatumHash) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type Rep (PDatumHash s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type Rep (PDatumHash s) = D1 ('MetaData "PDatumHash" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString))))) |
newtype PRedeemer (s :: S) Source #
Since: 2.0.0
PRedeemer (Term s PData) |
Instances
PIsData PRedeemer Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts pfromDataImpl :: forall (s :: S). Term s (PAsData PRedeemer) -> Term s PRedeemer pdataImpl :: forall (s :: S). Term s PRedeemer -> Term s PData | |
PEq PRedeemer Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
PLiftable PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts toPlutarchRepr :: AsHaskell PRedeemer -> PlutusRepr PRedeemer toPlutarch :: forall (s :: S). AsHaskell PRedeemer -> PLifted s PRedeemer fromPlutarchRepr :: PlutusRepr PRedeemer -> Maybe (AsHaskell PRedeemer) fromPlutarch :: (forall (s :: S). PLifted s PRedeemer) -> Either LiftError (AsHaskell PRedeemer) | |
DerivePlutusType PRedeemer Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PRedeemer | |
PlutusType PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
PShow PRedeemer Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
PTryFrom PData PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData PRedeemer :: PType | |
PTryFrom PData (PAsData PRedeemer) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData (PAsData PRedeemer) :: PType | |
Generic (PRedeemer s) Source # | |
type AsHaskell PRedeemer Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PlutusRepr PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type DPTStrat PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PRedeemer = PlutusTypeNewtype | |
type PContravariant' PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PCovariant' PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PInner PRedeemer Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PVariant' PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData PRedeemer Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData (PAsData PRedeemer) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type Rep (PRedeemer s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type Rep (PRedeemer s) = D1 ('MetaData "PRedeemer" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PRedeemer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PData)))) |
newtype PRedeemerHash (s :: S) Source #
Since: 2.0.0
PRedeemerHash (Term s (PDataNewtype PByteString)) |
Instances
PIsData PRedeemerHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts pfromDataImpl :: forall (s :: S). Term s (PAsData PRedeemerHash) -> Term s PRedeemerHash pdataImpl :: forall (s :: S). Term s PRedeemerHash -> Term s PData | |
PEq PRedeemerHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts (#==) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool | |
PLiftable PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type AsHaskell PRedeemerHash type PlutusRepr PRedeemerHash toPlutarchRepr :: AsHaskell PRedeemerHash -> PlutusRepr PRedeemerHash toPlutarch :: forall (s :: S). AsHaskell PRedeemerHash -> PLifted s PRedeemerHash fromPlutarchRepr :: PlutusRepr PRedeemerHash -> Maybe (AsHaskell PRedeemerHash) fromPlutarch :: (forall (s :: S). PLifted s PRedeemerHash) -> Either LiftError (AsHaskell PRedeemerHash) | |
POrd PRedeemerHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts 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 | |
PPartialOrd PRedeemerHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts (#<=) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool (#<) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool (#>=) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool (#>) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool | |
DerivePlutusType PRedeemerHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PRedeemerHash | |
PlutusType PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PInner PRedeemerHash :: PType type PCovariant' PRedeemerHash type PContravariant' PRedeemerHash type PVariant' PRedeemerHash 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 |
Defined in Plutarch.LedgerApi.V1.Scripts pshow' :: forall (s :: S). Bool -> Term s PRedeemerHash -> Term s PString | |
PTryFrom PData PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData PRedeemerHash :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PRedeemerHash, Reduce (PTryFromExcess PData PRedeemerHash s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PRedeemerHash) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData (PAsData PRedeemerHash) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PRedeemerHash), Reduce (PTryFromExcess PData (PAsData PRedeemerHash) s)) -> Term s r) -> Term s r | |
Generic (PRedeemerHash s) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts from :: PRedeemerHash s -> Rep (PRedeemerHash s) x Source # to :: Rep (PRedeemerHash s) x -> PRedeemerHash s Source # | |
type AsHaskell PRedeemerHash Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PlutusRepr PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type DPTStrat PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PRedeemerHash = PlutusTypeNewtype | |
type PContravariant' PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PCovariant' PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PInner PRedeemerHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PVariant' PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData PRedeemerHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData (PAsData PRedeemerHash) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData (PAsData PRedeemerHash) = PTryFromExcess PData (PInner (PAsData PRedeemerHash)) | |
type Rep (PRedeemerHash s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type Rep (PRedeemerHash s) = D1 ('MetaData "PRedeemerHash" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PRedeemerHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString))))) |
newtype PScriptHash (s :: S) Source #
Since: 2.0.0
PScriptHash (Term s (PDataNewtype PByteString)) |
Instances
PIsData PScriptHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptHash) -> Term s PScriptHash pdataImpl :: forall (s :: S). Term s PScriptHash -> Term s PData | |
PEq PScriptHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts (#==) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool | |
PLiftable PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type AsHaskell PScriptHash type PlutusRepr PScriptHash toPlutarchRepr :: AsHaskell PScriptHash -> PlutusRepr PScriptHash toPlutarch :: forall (s :: S). AsHaskell PScriptHash -> PLifted s PScriptHash fromPlutarchRepr :: PlutusRepr PScriptHash -> Maybe (AsHaskell PScriptHash) fromPlutarch :: (forall (s :: S). PLifted s PScriptHash) -> Either LiftError (AsHaskell PScriptHash) | |
POrd PScriptHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts 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 | |
PPartialOrd PScriptHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts (#<=) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool (#<) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool (#>=) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool (#>) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool | |
DerivePlutusType PScriptHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PScriptHash | |
PlutusType PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PInner PScriptHash :: PType type PCovariant' PScriptHash type PContravariant' PScriptHash type PVariant' PScriptHash 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 |
Defined in Plutarch.LedgerApi.V1.Scripts pshow' :: forall (s :: S). Bool -> Term s PScriptHash -> Term s PString | |
PTryFrom PData PScriptHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData PScriptHash :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PScriptHash, Reduce (PTryFromExcess PData PScriptHash s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PScriptHash) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData (PAsData PScriptHash) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PScriptHash), Reduce (PTryFromExcess PData (PAsData PScriptHash) s)) -> Term s r) -> Term s r | |
Generic (PScriptHash s) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts from :: PScriptHash s -> Rep (PScriptHash s) x Source # to :: Rep (PScriptHash s) x -> PScriptHash s Source # | |
type AsHaskell PScriptHash Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PlutusRepr PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type DPTStrat PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PScriptHash = PlutusTypeNewtype | |
type PContravariant' PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PCovariant' PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PInner PScriptHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PVariant' PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData (PAsData PScriptHash) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type Rep (PScriptHash s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type Rep (PScriptHash s) = D1 ('MetaData "PScriptHash" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString))))) |
Functions
scriptHash :: Script -> ScriptHash Source #
Hash a script, appending the Plutus V2 prefix.
Since: 2.0.0
redeemerHash :: Redeemer -> RedeemerHash 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
PValue (Term s (PMap keys PCurrencySymbol (PMap keys PTokenName PInteger))) |
Instances
PTryFrom PData (PAsData (PValue 'Sorted 'NoGuarantees)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData (PValue 'Sorted 'NoGuarantees)) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PValue 'Sorted 'NoGuarantees)), Reduce (PTryFromExcess PData (PAsData (PValue 'Sorted 'NoGuarantees)) s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData (PValue 'Sorted 'NonZero)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
PTryFrom PData (PAsData (PValue 'Sorted 'Positive)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
PTryFrom PData (PAsData (PValue 'Unsorted 'NoGuarantees)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NoGuarantees)) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PValue 'Unsorted 'NoGuarantees)), Reduce (PTryFromExcess PData (PAsData (PValue 'Unsorted 'NoGuarantees)) s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData (PValue 'Unsorted 'NonZero)) Source # | Since: 2.1.1 |
Defined in Plutarch.LedgerApi.Value | |
PTryFrom PData (PAsData (PValue 'Unsorted 'Positive)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
Semigroup (Term s (PValue 'Sorted normalization)) => Monoid (Term s (PValue 'Sorted normalization)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
Semigroup (Term s (PValue 'Sorted 'NoGuarantees)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (<>) :: 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 |
Defined in Plutarch.LedgerApi.Value (<>) :: 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 |
Defined in Plutarch.LedgerApi.Value (<>) :: 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 # | |
PIsData (PValue keys amounts) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value 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 | |
PEq (PValue 'Sorted 'NoGuarantees) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (#==) :: 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 |
PEq (PValue 'Sorted 'Positive) Source # | Since: 2.0.0 |
PLiftable (PValue 'Unsorted 'NoGuarantees) Source # | |
Defined in Plutarch.LedgerApi.Value type AsHaskell (PValue 'Unsorted 'NoGuarantees) type PlutusRepr (PValue 'Unsorted 'NoGuarantees) toPlutarchRepr :: AsHaskell (PValue 'Unsorted 'NoGuarantees) -> PlutusRepr (PValue 'Unsorted 'NoGuarantees) toPlutarch :: forall (s :: S). AsHaskell (PValue 'Unsorted 'NoGuarantees) -> PLifted s (PValue 'Unsorted 'NoGuarantees) fromPlutarchRepr :: PlutusRepr (PValue 'Unsorted 'NoGuarantees) -> Maybe (AsHaskell (PValue 'Unsorted 'NoGuarantees)) fromPlutarch :: (forall (s :: S). PLifted s (PValue 'Unsorted 'NoGuarantees)) -> Either LiftError (AsHaskell (PValue 'Unsorted 'NoGuarantees)) | |
PPartialOrd (PValue 'Sorted 'NonZero) Source # | Partial ordering implementation for sorted Use Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (#<=) :: forall (s :: S). Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s PBool (#<) :: forall (s :: S). Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s PBool (#>=) :: forall (s :: S). Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s PBool (#>) :: forall (s :: S). Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s PBool | |
PPartialOrd (PValue 'Sorted 'Positive) Source # | Partial ordering implementation for sorted Use Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (#<=) :: forall (s :: S). Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s PBool (#<) :: forall (s :: S). Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s PBool (#>=) :: forall (s :: S). Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s PBool (#>) :: forall (s :: S). Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s PBool | |
DerivePlutusType (PValue keys amounts) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type DPTStrat (PValue keys amounts) | |
PlutusType (PValue keys amounts) Source # | |
Defined in Plutarch.LedgerApi.Value | |
PShow (PValue keys amounts) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
Semigroup (Term s (PValue 'Sorted 'NoGuarantees)) => Group (Term s (PValue 'Sorted 'NoGuarantees)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value 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 |
Semigroup (Term s (PValue 'Sorted normalization)) => Monoid (Term s (PValue 'Sorted normalization)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
Semigroup (Term s (PValue 'Sorted 'NoGuarantees)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (<>) :: 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 |
Semigroup (Term s (PValue 'Sorted 'Positive)) Source # | Since: 2.0.0 |
Generic (PValue keys amounts s) Source # | |
type PTryFromExcess PData (PAsData (PValue 'Sorted 'NoGuarantees)) Source # | |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData (PValue 'Sorted 'NoGuarantees)) = PTryFromExcess PData (PInner (PAsData (PValue 'Sorted 'NoGuarantees))) | |
type PTryFromExcess PData (PAsData (PValue 'Sorted 'NonZero)) Source # | |
type PTryFromExcess PData (PAsData (PValue 'Sorted 'Positive)) Source # | |
type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NoGuarantees)) Source # | |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NoGuarantees)) = PTryFromExcess PData (PInner (PAsData (PValue 'Unsorted 'NoGuarantees))) | |
type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NonZero)) Source # | |
type PTryFromExcess PData (PAsData (PValue 'Unsorted 'Positive)) Source # | |
type AsHaskell (PValue 'Unsorted 'NoGuarantees) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Value type AsHaskell (PValue 'Unsorted 'NoGuarantees) = AsHaskell (DeriveNewtypePLiftable (PValue 'Unsorted 'NoGuarantees) (PMap 'Unsorted PCurrencySymbol (PMap 'Unsorted PTokenName PInteger)) Value) | |
type PlutusRepr (PValue 'Unsorted 'NoGuarantees) Source # | |
Defined in Plutarch.LedgerApi.Value type PlutusRepr (PValue 'Unsorted 'NoGuarantees) = PlutusRepr (DeriveNewtypePLiftable (PValue 'Unsorted 'NoGuarantees) (PMap 'Unsorted PCurrencySymbol (PMap 'Unsorted PTokenName PInteger)) Value) | |
type DPTStrat (PValue keys amounts) Source # | |
Defined in Plutarch.LedgerApi.Value type DPTStrat (PValue keys amounts) = PlutusTypeNewtype | |
type PContravariant' (PValue keys amounts) Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PCovariant' (PValue keys amounts) Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PInner (PValue keys amounts) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
type PVariant' (PValue keys amounts) Source # | |
Defined in Plutarch.LedgerApi.Value | |
type Rep (PValue keys amounts s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type Rep (PValue keys amounts s) = D1 ('MetaData "PValue" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMap keys PCurrencySymbol (PMap keys PTokenName PInteger)))))) |
newtype PCurrencySymbol (s :: S) Source #
Since: 2.0.0
PCurrencySymbol (Term s (PDataNewtype PByteString)) |
Instances
PIsData PCurrencySymbol Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value pfromDataImpl :: forall (s :: S). Term s (PAsData PCurrencySymbol) -> Term s PCurrencySymbol pdataImpl :: forall (s :: S). Term s PCurrencySymbol -> Term s PData | |
PEq PCurrencySymbol Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (#==) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool | |
PLiftable PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value type AsHaskell PCurrencySymbol type PlutusRepr PCurrencySymbol toPlutarchRepr :: AsHaskell PCurrencySymbol -> PlutusRepr PCurrencySymbol toPlutarch :: forall (s :: S). AsHaskell PCurrencySymbol -> PLifted s PCurrencySymbol fromPlutarchRepr :: PlutusRepr PCurrencySymbol -> Maybe (AsHaskell PCurrencySymbol) fromPlutarch :: (forall (s :: S). PLifted s PCurrencySymbol) -> Either LiftError (AsHaskell PCurrencySymbol) | |
POrd PCurrencySymbol Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value 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 | |
PPartialOrd PCurrencySymbol Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (#<=) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool (#<) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool (#>=) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool (#>) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool | |
DerivePlutusType PCurrencySymbol Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type DPTStrat PCurrencySymbol | |
PlutusType PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value type PInner PCurrencySymbol :: PType type PCovariant' PCurrencySymbol type PContravariant' PCurrencySymbol type PVariant' PCurrencySymbol 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 |
Defined in Plutarch.LedgerApi.Value pshow' :: forall (s :: S). Bool -> Term s PCurrencySymbol -> Term s PString | |
PTryFrom PData PCurrencySymbol Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData PCurrencySymbol :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PCurrencySymbol, Reduce (PTryFromExcess PData PCurrencySymbol s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PCurrencySymbol) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData PCurrencySymbol) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PCurrencySymbol), Reduce (PTryFromExcess PData (PAsData PCurrencySymbol) s)) -> Term s r) -> Term s r | |
Generic (PCurrencySymbol s) Source # | |
Defined in Plutarch.LedgerApi.Value from :: PCurrencySymbol s -> Rep (PCurrencySymbol s) x Source # to :: Rep (PCurrencySymbol s) x -> PCurrencySymbol s Source # | |
type AsHaskell PCurrencySymbol Source # | @since WIP |
Defined in Plutarch.LedgerApi.Value | |
type PlutusRepr PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value | |
type DPTStrat PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value type DPTStrat PCurrencySymbol = PlutusTypeNewtype | |
type PContravariant' PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PCovariant' PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PInner PCurrencySymbol Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
type PVariant' PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PTryFromExcess PData PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PTryFromExcess PData (PAsData PCurrencySymbol) Source # | |
Defined in Plutarch.LedgerApi.Value | |
type Rep (PCurrencySymbol s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type Rep (PCurrencySymbol s) = D1 ('MetaData "PCurrencySymbol" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PCurrencySymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString))))) |
newtype PTokenName (s :: S) Source #
Since: 2.0.0
PTokenName (Term s (PDataNewtype PByteString)) |
Instances
PIsData PTokenName Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value pfromDataImpl :: forall (s :: S). Term s (PAsData PTokenName) -> Term s PTokenName pdataImpl :: forall (s :: S). Term s PTokenName -> Term s PData | |
PEq PTokenName Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (#==) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool | |
PLiftable PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value type AsHaskell PTokenName type PlutusRepr PTokenName toPlutarchRepr :: AsHaskell PTokenName -> PlutusRepr PTokenName toPlutarch :: forall (s :: S). AsHaskell PTokenName -> PLifted s PTokenName fromPlutarchRepr :: PlutusRepr PTokenName -> Maybe (AsHaskell PTokenName) fromPlutarch :: (forall (s :: S). PLifted s PTokenName) -> Either LiftError (AsHaskell PTokenName) | |
POrd PTokenName Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value 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 | |
PPartialOrd PTokenName Source # | @wsince 2.0.0 |
Defined in Plutarch.LedgerApi.Value (#<=) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool (#<) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool (#>=) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool (#>) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool | |
DerivePlutusType PTokenName Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type DPTStrat PTokenName | |
PlutusType PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value type PInner PTokenName :: PType type PCovariant' PTokenName type PContravariant' PTokenName type PVariant' PTokenName 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 |
Defined in Plutarch.LedgerApi.Value pshow' :: forall (s :: S). Bool -> Term s PTokenName -> Term s PString | |
PTryFrom PData PTokenName Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData PTokenName :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PTokenName, Reduce (PTryFromExcess PData PTokenName s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PTokenName) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData PTokenName) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PTokenName), Reduce (PTryFromExcess PData (PAsData PTokenName) s)) -> Term s r) -> Term s r | |
Generic (PTokenName s) Source # | |
Defined in Plutarch.LedgerApi.Value from :: PTokenName s -> Rep (PTokenName s) x Source # to :: Rep (PTokenName s) x -> PTokenName s Source # | |
type AsHaskell PTokenName Source # | @since WIP |
Defined in Plutarch.LedgerApi.Value | |
type PlutusRepr PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value | |
type DPTStrat PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value type DPTStrat PTokenName = PlutusTypeNewtype | |
type PContravariant' PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PCovariant' PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PInner PTokenName Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
type PVariant' PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PTryFromExcess PData PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PTryFromExcess PData (PAsData PTokenName) Source # | |
Defined in Plutarch.LedgerApi.Value | |
type Rep (PTokenName s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type Rep (PTokenName s) = D1 ('MetaData "PTokenName" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PTokenName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString))))) |
newtype PLovelace (s :: S) Source #
Since: 2.2.0
PLovelace (Term s (PDataNewtype PInteger)) |
Instances
PIsData PLovelace Source # | Since: 2.2.0 |
Defined in Plutarch.LedgerApi.Value pfromDataImpl :: forall (s :: S). Term s (PAsData PLovelace) -> Term s PLovelace pdataImpl :: forall (s :: S). Term s PLovelace -> Term s PData | |
PEq PLovelace Source # | Since: 2.2.0 |
Defined in Plutarch.LedgerApi.Value | |
PLiftable PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value toPlutarchRepr :: AsHaskell PLovelace -> PlutusRepr PLovelace toPlutarch :: forall (s :: S). AsHaskell PLovelace -> PLifted s PLovelace fromPlutarchRepr :: PlutusRepr PLovelace -> Maybe (AsHaskell PLovelace) fromPlutarch :: (forall (s :: S). PLifted s PLovelace) -> Either LiftError (AsHaskell PLovelace) | |
PPartialOrd PLovelace Source # | Since: 2.2.0 |
Defined in Plutarch.LedgerApi.Value (#<=) :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PBool (#<) :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PBool (#>=) :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PBool (#>) :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PBool | |
DerivePlutusType PLovelace Source # | Since: 2.2.0 |
Defined in Plutarch.LedgerApi.Value type DPTStrat PLovelace | |
PlutusType PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value | |
PShow PLovelace Source # | Since: 2.2.0 |
Defined in Plutarch.LedgerApi.Value | |
PTryFrom PData PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData PLovelace :: PType | |
PTryFrom PData (PAsData PLovelace) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData PLovelace) :: PType | |
Generic (PLovelace s) Source # | |
type AsHaskell PLovelace Source # | @since WIP |
Defined in Plutarch.LedgerApi.Value | |
type PlutusRepr PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value | |
type DPTStrat PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value type DPTStrat PLovelace = PlutusTypeNewtype | |
type PContravariant' PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PCovariant' PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PInner PLovelace Source # | Since: 2.2.0 |
Defined in Plutarch.LedgerApi.Value | |
type PVariant' PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PTryFromExcess PData PLovelace Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Value | |
type PTryFromExcess PData (PAsData PLovelace) Source # | |
Defined in Plutarch.LedgerApi.Value | |
type Rep (PLovelace s) Source # | Since: 2.2.0 |
Defined in Plutarch.LedgerApi.Value type Rep (PLovelace s) = D1 ('MetaData "PLovelace" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PLovelace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PInteger))))) |
Assoc map
Types
newtype PMap (keysort :: KeyGuarantees) (k :: S -> Type) (v :: S -> Type) (s :: S) Source #
Since: 2.0.0
PMap (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v)))) |
Instances
(POrd k, PIsData k, PTryFrom PData (PAsData k), PTryFrom PData (PAsData v)) => PTryFrom PData (PAsData (PMap 'Sorted k v)) Source # | Since: 2.0.0 |
(PTryFrom PData (PAsData k), PTryFrom PData (PAsData v)) => PTryFrom PData (PAsData (PMap 'Unsorted k v)) Source # | Since: 2.0.0 |
PIsData (PMap keysort k v) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap 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 | |
PEq (PMap 'Sorted k v) Source # | Since: 2.0.0 |
(ToData (AsHaskell k), ToData (AsHaskell v), FromData (AsHaskell k), FromData (AsHaskell v)) => PLiftable (PMap 'Unsorted k v) Source # | @since WIP |
Defined in Plutarch.LedgerApi.AssocMap toPlutarchRepr :: AsHaskell (PMap 'Unsorted k v) -> PlutusRepr (PMap 'Unsorted k v) toPlutarch :: forall (s :: S). AsHaskell (PMap 'Unsorted k v) -> PLifted s (PMap 'Unsorted k v) fromPlutarchRepr :: PlutusRepr (PMap 'Unsorted k v) -> Maybe (AsHaskell (PMap 'Unsorted k v)) fromPlutarch :: (forall (s :: S). PLifted s (PMap 'Unsorted k v)) -> Either LiftError (AsHaskell (PMap 'Unsorted k v)) | |
DerivePlutusType (PMap keysort k v) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap type DPTStrat (PMap keysort k v) | |
PlutusType (PMap keysort k v) Source # | |
Defined in Plutarch.LedgerApi.AssocMap | |
(PIsData k, PIsData v, PShow k, PShow v) => PShow (PMap keysort k v) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap | |
Generic (PMap keysort k v s) Source # | |
type PTryFromExcess PData (PAsData (PMap 'Sorted k v)) Source # | |
type PTryFromExcess PData (PAsData (PMap 'Unsorted k v)) Source # | |
type AsHaskell (PMap 'Unsorted k v) Source # | |
Defined in Plutarch.LedgerApi.AssocMap | |
type PlutusRepr (PMap 'Unsorted k v) Source # | |
Defined in Plutarch.LedgerApi.AssocMap | |
type DPTStrat (PMap keysort k v) Source # | |
Defined in Plutarch.LedgerApi.AssocMap type DPTStrat (PMap keysort k v) = PlutusTypeNewtype | |
type PContravariant' (PMap keysort k v) Source # | |
Defined in Plutarch.LedgerApi.AssocMap | |
type PCovariant' (PMap keysort k v) Source # | |
Defined in Plutarch.LedgerApi.AssocMap | |
type PInner (PMap keysort k v) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap | |
type PVariant' (PMap keysort k v) Source # | |
Defined in Plutarch.LedgerApi.AssocMap | |
type Rep (PMap keysort k v s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap type Rep (PMap keysort k v s) = D1 ('MetaData "PMap" "Plutarch.LedgerApi.AssocMap" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v))))))) |
data Commutativity Source #
Since: 2.0.0
Instances
Show Commutativity Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap | |
Eq Commutativity Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap (==) :: Commutativity -> Commutativity -> Bool Source # (/=) :: Commutativity -> Commutativity -> Bool Source # | |
Ord Commutativity Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap 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
PPubKeyCredential (Term s (PDataRecord '["_0" ':= PPubKeyHash])) | |
PScriptCredential (Term s (PDataRecord '["_0" ':= PScriptHash])) |
Instances
PIsData PCredential Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential pfromDataImpl :: forall (s :: S). Term s (PAsData PCredential) -> Term s PCredential pdataImpl :: forall (s :: S). Term s PCredential -> Term s PData | |
PEq PCredential Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential (#==) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool | |
PLiftable PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential type AsHaskell PCredential type PlutusRepr PCredential toPlutarchRepr :: AsHaskell PCredential -> PlutusRepr PCredential toPlutarch :: forall (s :: S). AsHaskell PCredential -> PLifted s PCredential fromPlutarchRepr :: PlutusRepr PCredential -> Maybe (AsHaskell PCredential) fromPlutarch :: (forall (s :: S). PLifted s PCredential) -> Either LiftError (AsHaskell PCredential) | |
POrd PCredential Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential pmax :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PCredential pmin :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PCredential | |
PPartialOrd PCredential Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential (#<=) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool (#<) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool (#>=) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool (#>) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool | |
DerivePlutusType PCredential Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential type DPTStrat PCredential | |
PlutusType PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential type PInner PCredential :: PType type PCovariant' PCredential type PContravariant' PCredential type PVariant' PCredential 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 |
Defined in Plutarch.LedgerApi.V1.Credential pshow' :: forall (s :: S). Bool -> Term s PCredential -> Term s PString | |
PTryFrom PData PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential type PTryFromExcess PData PCredential :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PCredential, Reduce (PTryFromExcess PData PCredential s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PCredential) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential type PTryFromExcess PData (PAsData PCredential) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PCredential), Reduce (PTryFromExcess PData (PAsData PCredential) s)) -> Term s r) -> Term s r | |
Generic (PCredential s) Source # | |
Defined in Plutarch.LedgerApi.V1.Credential from :: PCredential s -> Rep (PCredential s) x Source # to :: Rep (PCredential s) x -> PCredential s Source # | |
type AsHaskell PCredential Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Credential | |
type PlutusRepr PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential | |
type DPTStrat PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential type DPTStrat PCredential = PlutusTypeData | |
type PContravariant' PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential | |
type PCovariant' PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential | |
type PInner PCredential Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential | |
type PVariant' PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential | |
type PTryFromExcess PData PCredential Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential | |
type PTryFromExcess PData (PAsData PCredential) Source # | |
Defined in Plutarch.LedgerApi.V1.Credential type PTryFromExcess PData (PAsData PCredential) = PTryFromExcess PData (PInner (PAsData PCredential)) | |
type Rep (PCredential s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential type Rep (PCredential s) = D1 ('MetaData "PCredential" "Plutarch.LedgerApi.V1.Credential" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'False) (C1 ('MetaCons "PPubKeyCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PPubKeyHash])))) :+: C1 ('MetaCons "PScriptCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PScriptHash]))))) |
data PStakingCredential (s :: S) Source #
Since: 2.0.0
PStakingHash (Term s (PDataRecord '["_0" ':= PCredential])) | |
PStakingPtr (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PInteger, "_2" ':= PInteger])) |
Instances
newtype PAddress (s :: S) Source #
Since: 2.0.0
PAddress (Term s (PDataRecord '["credential" ':= PCredential, "stakingCredential" ':= PMaybeData PStakingCredential])) |
Instances
PIsData PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address pfromDataImpl :: forall (s :: S). Term s (PAsData PAddress) -> Term s PAddress pdataImpl :: forall (s :: S). Term s PAddress -> Term s PData | |
PDataFields PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address type PFields PAddress :: [PLabeledType] | |
PEq PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address | |
PLiftable PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address toPlutarchRepr :: AsHaskell PAddress -> PlutusRepr PAddress toPlutarch :: forall (s :: S). AsHaskell PAddress -> PLifted s PAddress fromPlutarchRepr :: PlutusRepr PAddress -> Maybe (AsHaskell PAddress) fromPlutarch :: (forall (s :: S). PLifted s PAddress) -> Either LiftError (AsHaskell PAddress) | |
POrd PAddress Source # | Since: 2.0.0 |
PPartialOrd PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address (#<=) :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PBool (#<) :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PBool (#>=) :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PBool (#>) :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PBool | |
DerivePlutusType PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address type DPTStrat PAddress | |
PlutusType PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address | |
PShow PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address | |
PTryFrom PData PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address type PTryFromExcess PData PAddress :: PType | |
PTryFrom PData (PAsData PAddress) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address type PTryFromExcess PData (PAsData PAddress) :: PType | |
Generic (PAddress s) Source # | |
type PFields PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address | |
type AsHaskell PAddress Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Address | |
type PlutusRepr PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address | |
type DPTStrat PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address type DPTStrat PAddress = PlutusTypeData | |
type PContravariant' PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address | |
type PCovariant' PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address | |
type PInner PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address | |
type PVariant' PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address | |
type PTryFromExcess PData PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address | |
type PTryFromExcess PData (PAsData PAddress) Source # | |
Defined in Plutarch.LedgerApi.V1.Address | |
type Rep (PAddress s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address type Rep (PAddress s) = D1 ('MetaData "PAddress" "Plutarch.LedgerApi.V1.Address" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["credential" ':= PCredential, "stakingCredential" ':= PMaybeData PStakingCredential]))))) |
Time
newtype PPosixTime (s :: S) Source #
Since: 2.0.0
PPosixTime (Term s (PDataNewtype PInteger)) |
Instances
PIsData PPosixTime Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time pfromDataImpl :: forall (s :: S). Term s (PAsData PPosixTime) -> Term s PPosixTime pdataImpl :: forall (s :: S). Term s PPosixTime -> Term s PData | |
PCountable PPosixTime Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Time psuccessor :: forall (s :: S). Term s (PPosixTime :--> PPosixTime) psuccessorN :: forall (s :: S). Term s (PPositive :--> (PPosixTime :--> PPosixTime)) | |
PEnumerable PPosixTime Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Time ppredecessor :: forall (s :: S). Term s (PPosixTime :--> PPosixTime) ppredecessorN :: forall (s :: S). Term s (PPositive :--> (PPosixTime :--> PPosixTime)) | |
PIntegral PPosixTime Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time pdiv :: forall (s :: S). Term s (PPosixTime :--> (PPosixTime :--> PPosixTime)) pmod :: forall (s :: S). Term s (PPosixTime :--> (PPosixTime :--> PPosixTime)) pquot :: forall (s :: S). Term s (PPosixTime :--> (PPosixTime :--> PPosixTime)) prem :: forall (s :: S). Term s (PPosixTime :--> (PPosixTime :--> PPosixTime)) | |
PEq PPosixTime Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time (#==) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool | |
PLiftable PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time type AsHaskell PPosixTime type PlutusRepr PPosixTime toPlutarchRepr :: AsHaskell PPosixTime -> PlutusRepr PPosixTime toPlutarch :: forall (s :: S). AsHaskell PPosixTime -> PLifted s PPosixTime fromPlutarchRepr :: PlutusRepr PPosixTime -> Maybe (AsHaskell PPosixTime) fromPlutarch :: (forall (s :: S). PLifted s PPosixTime) -> Either LiftError (AsHaskell PPosixTime) | |
POrd PPosixTime Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time 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 | |
PPartialOrd PPosixTime Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time (#<=) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool (#<) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool (#>=) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool (#>) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool | |
DerivePlutusType PPosixTime Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time type DPTStrat PPosixTime | |
PlutusType PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time type PInner PPosixTime :: PType type PCovariant' PPosixTime type PContravariant' PPosixTime type PVariant' PPosixTime 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 | |
PNum PPosixTime Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time (#+) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PPosixTime (#-) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PPosixTime (#*) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PPosixTime pnegate :: forall (s :: S). Term s (PPosixTime :--> PPosixTime) pabs :: forall (s :: S). Term s (PPosixTime :--> PPosixTime) psignum :: forall (s :: S). Term s (PPosixTime :--> PPosixTime) pfromInteger :: forall (s :: S). Integer -> Term s PPosixTime | |
PShow PPosixTime Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time pshow' :: forall (s :: S). Bool -> Term s PPosixTime -> Term s PString | |
PTryFrom PData PPosixTime Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Time type PTryFromExcess PData PPosixTime :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PPosixTime, Reduce (PTryFromExcess PData PPosixTime s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PPosixTime) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time type PTryFromExcess PData (PAsData PPosixTime) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PPosixTime), Reduce (PTryFromExcess PData (PAsData PPosixTime) s)) -> Term s r) -> Term s r | |
Generic (PPosixTime s) Source # | |
Defined in Plutarch.LedgerApi.V1.Time from :: PPosixTime s -> Rep (PPosixTime s) x Source # to :: Rep (PPosixTime s) x -> PPosixTime s Source # | |
type AsHaskell PPosixTime Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Time | |
type PlutusRepr PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time | |
type DPTStrat PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time type DPTStrat PPosixTime = PlutusTypeNewtype | |
type PContravariant' PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time | |
type PCovariant' PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time | |
type PInner PPosixTime Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time | |
type PVariant' PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time | |
type PTryFromExcess PData PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time | |
type PTryFromExcess PData (PAsData PPosixTime) Source # | |
Defined in Plutarch.LedgerApi.V1.Time | |
type Rep (PPosixTime s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time type Rep (PPosixTime s) = D1 ('MetaData "PPosixTime" "Plutarch.LedgerApi.V1.Time" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PPosixTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PInteger))))) |
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 WIP
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 WIP
Interval
newtype PInterval (a :: S -> Type) (s :: S) Source #
Since: 2.0.0
PInterval (Term s (PDataRecord '["from" ':= PLowerBound a, "to" ':= PUpperBound a])) |
Instances
PTryFrom PData a => PTryFrom PData (PAsData (PInterval a)) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PInterval a)) :: PType | |
PTryFrom PData a => PTryFrom PData (PInterval a) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PInterval a) :: PType | |
PIsData (PInterval a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval pfromDataImpl :: forall (s :: S). Term s (PAsData (PInterval a)) -> Term s (PInterval a) pdataImpl :: forall (s :: S). Term s (PInterval a) -> Term s PData | |
PDataFields (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval type PFields (PInterval a) :: [PLabeledType] | |
PEq (PInterval a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval toPlutarchRepr :: AsHaskell (PInterval a) -> PlutusRepr (PInterval a) toPlutarch :: forall (s :: S). AsHaskell (PInterval a) -> PLifted s (PInterval a) fromPlutarchRepr :: PlutusRepr (PInterval a) -> Maybe (AsHaskell (PInterval a)) fromPlutarch :: (forall (s :: S). PLifted s (PInterval a)) -> Either LiftError (AsHaskell (PInterval a)) | |
(PIsData a, PEnumerable a) => POrd (PInterval a) Source # | Since: 2.0.0 |
(PIsData a, PEnumerable a) => PPartialOrd (PInterval a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval (#<=) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool (#<) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool (#>=) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool (#>) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool | |
DerivePlutusType (PInterval a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PInterval a) | |
PlutusType (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
(PIsData a, PShow a) => PShow (PInterval a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
Generic (PInterval a s) Source # | |
type PTryFromExcess PData (PAsData (PInterval a)) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PTryFromExcess PData (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PFields (PInterval a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
type AsHaskell (PInterval a) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Interval | |
type PlutusRepr (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type DPTStrat (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PInterval a) = PlutusTypeData | |
type PContravariant' (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PCovariant' (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PInner (PInterval a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
type PVariant' (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type Rep (PInterval a s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type Rep (PInterval a s) = D1 ('MetaData "PInterval" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PInterval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["from" ':= PLowerBound a, "to" ':= PUpperBound a]))))) |
newtype PLowerBound (a :: S -> Type) (s :: S) Source #
Since: 2.0.0
PLowerBound (Term s (PDataRecord '["_0" ':= PExtended a, "_1" ':= PBool])) |
Instances
PTryFrom PData a => PTryFrom PData (PAsData (PLowerBound a)) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PLowerBound a)) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PLowerBound a)), Reduce (PTryFromExcess PData (PAsData (PLowerBound a)) s)) -> Term s r) -> Term s r | |
PTryFrom PData a => PTryFrom PData (PLowerBound a) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PLowerBound a) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PLowerBound a), Reduce (PTryFromExcess PData (PLowerBound a) s)) -> Term s r) -> Term s r | |
PIsData (PLowerBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval pfromDataImpl :: forall (s :: S). Term s (PAsData (PLowerBound a)) -> Term s (PLowerBound a) pdataImpl :: forall (s :: S). Term s (PLowerBound a) -> Term s PData | |
PDataFields (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type PFields (PLowerBound a) :: [PLabeledType] ptoFields :: forall (s :: S). Term s (PLowerBound a) -> Term s (PDataRecord (PFields (PLowerBound a))) | |
(PIsData a, PCountable a) => PEq (PLowerBound a) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Interval (#==) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool | |
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type AsHaskell (PLowerBound a) type PlutusRepr (PLowerBound a) toPlutarchRepr :: AsHaskell (PLowerBound a) -> PlutusRepr (PLowerBound a) toPlutarch :: forall (s :: S). AsHaskell (PLowerBound a) -> PLifted s (PLowerBound a) fromPlutarchRepr :: PlutusRepr (PLowerBound a) -> Maybe (AsHaskell (PLowerBound a)) fromPlutarch :: (forall (s :: S). PLifted s (PLowerBound a)) -> Either LiftError (AsHaskell (PLowerBound a)) | |
(PIsData a, PCountable a) => POrd (PLowerBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval 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) | |
(PIsData a, PCountable a) => PPartialOrd (PLowerBound a) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Interval (#<=) :: 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 (#>=) :: 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 | |
DerivePlutusType (PLowerBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PLowerBound a) | |
PlutusType (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type PInner (PLowerBound a) :: PType type PCovariant' (PLowerBound a) type PContravariant' (PLowerBound a) type PVariant' (PLowerBound a) 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 |
Defined in Plutarch.LedgerApi.Interval pshow' :: forall (s :: S). Bool -> Term s (PLowerBound a) -> Term s PString | |
Generic (PLowerBound a s) Source # | |
Defined in Plutarch.LedgerApi.Interval from :: PLowerBound a s -> Rep (PLowerBound a s) x Source # to :: Rep (PLowerBound a s) x -> PLowerBound a s Source # | |
type PTryFromExcess PData (PAsData (PLowerBound a)) Source # | |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PLowerBound a)) = PTryFromExcess PData (PInner (PAsData (PLowerBound a))) | |
type PTryFromExcess PData (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PFields (PLowerBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
type AsHaskell (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type AsHaskell (PLowerBound a) = AsHaskell (DeriveDataPLiftable (PLowerBound a) (LowerBound (AsHaskell a))) | |
type PlutusRepr (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PLowerBound a) = PlutusRepr (DeriveDataPLiftable (PLowerBound a) (LowerBound (AsHaskell a))) | |
type DPTStrat (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PLowerBound a) = PlutusTypeData | |
type PContravariant' (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PCovariant' (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PInner (PLowerBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
type PVariant' (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type Rep (PLowerBound a s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type Rep (PLowerBound a s) = D1 ('MetaData "PLowerBound" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PLowerBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PExtended a, "_1" ':= PBool]))))) |
newtype PUpperBound (a :: S -> Type) (s :: S) Source #
Since: 2.0.0
PUpperBound (Term s (PDataRecord '["_0" ':= PExtended a, "_1" ':= PBool])) |
Instances
PTryFrom PData a => PTryFrom PData (PAsData (PUpperBound a)) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PUpperBound a)) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PUpperBound a)), Reduce (PTryFromExcess PData (PAsData (PUpperBound a)) s)) -> Term s r) -> Term s r | |
PTryFrom PData a => PTryFrom PData (PUpperBound a) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PUpperBound a) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PUpperBound a), Reduce (PTryFromExcess PData (PUpperBound a) s)) -> Term s r) -> Term s r | |
PIsData (PUpperBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval pfromDataImpl :: forall (s :: S). Term s (PAsData (PUpperBound a)) -> Term s (PUpperBound a) pdataImpl :: forall (s :: S). Term s (PUpperBound a) -> Term s PData | |
PDataFields (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type PFields (PUpperBound a) :: [PLabeledType] ptoFields :: forall (s :: S). Term s (PUpperBound a) -> Term s (PDataRecord (PFields (PUpperBound a))) | |
(PIsData a, PEnumerable a) => PEq (PUpperBound a) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Interval (#==) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool | |
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type AsHaskell (PUpperBound a) type PlutusRepr (PUpperBound a) toPlutarchRepr :: AsHaskell (PUpperBound a) -> PlutusRepr (PUpperBound a) toPlutarch :: forall (s :: S). AsHaskell (PUpperBound a) -> PLifted s (PUpperBound a) fromPlutarchRepr :: PlutusRepr (PUpperBound a) -> Maybe (AsHaskell (PUpperBound a)) fromPlutarch :: (forall (s :: S). PLifted s (PUpperBound a)) -> Either LiftError (AsHaskell (PUpperBound a)) | |
(PIsData a, PEnumerable a) => POrd (PUpperBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval 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) | |
(PIsData a, PEnumerable a) => PPartialOrd (PUpperBound a) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Interval (#<=) :: 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 (#>=) :: 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 | |
DerivePlutusType (PUpperBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PUpperBound a) | |
PlutusType (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type PInner (PUpperBound a) :: PType type PCovariant' (PUpperBound a) type PContravariant' (PUpperBound a) type PVariant' (PUpperBound a) 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 |
Defined in Plutarch.LedgerApi.Interval pshow' :: forall (s :: S). Bool -> Term s (PUpperBound a) -> Term s PString | |
Generic (PUpperBound a s) Source # | |
Defined in Plutarch.LedgerApi.Interval from :: PUpperBound a s -> Rep (PUpperBound a s) x Source # to :: Rep (PUpperBound a s) x -> PUpperBound a s Source # | |
type PTryFromExcess PData (PAsData (PUpperBound a)) Source # | |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PUpperBound a)) = PTryFromExcess PData (PInner (PAsData (PUpperBound a))) | |
type PTryFromExcess PData (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PFields (PUpperBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
type AsHaskell (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type AsHaskell (PUpperBound a) = AsHaskell (DeriveDataPLiftable (PUpperBound a) (UpperBound (AsHaskell a))) | |
type PlutusRepr (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PUpperBound a) = PlutusRepr (DeriveDataPLiftable (PUpperBound a) (UpperBound (AsHaskell a))) | |
type DPTStrat (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PUpperBound a) = PlutusTypeData | |
type PContravariant' (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PCovariant' (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PInner (PUpperBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
type PVariant' (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type Rep (PUpperBound a s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type Rep (PUpperBound a s) = D1 ('MetaData "PUpperBound" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PUpperBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PExtended a, "_1" ':= PBool]))))) |
data PExtended (a :: S -> Type) (s :: S) Source #
Since: 2.0.0
PNegInf (Term s (PDataRecord '[])) | |
PFinite (Term s (PDataRecord '["_0" ':= a])) | |
PPosInf (Term s (PDataRecord '[])) |
Instances
PTryFrom PData a => PTryFrom PData (PAsData (PExtended a)) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PExtended a)) :: PType | |
PTryFrom PData a => PTryFrom PData (PExtended a) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PExtended a) :: PType | |
PIsData (PExtended a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval pfromDataImpl :: forall (s :: S). Term s (PAsData (PExtended a)) -> Term s (PExtended a) pdataImpl :: forall (s :: S). Term s (PExtended a) -> Term s PData | |
PEq (PExtended a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval toPlutarchRepr :: AsHaskell (PExtended a) -> PlutusRepr (PExtended a) toPlutarch :: forall (s :: S). AsHaskell (PExtended a) -> PLifted s (PExtended a) fromPlutarchRepr :: PlutusRepr (PExtended a) -> Maybe (AsHaskell (PExtended a)) fromPlutarch :: (forall (s :: S). PLifted s (PExtended a)) -> Either LiftError (AsHaskell (PExtended a)) | |
(POrd a, PIsData a) => POrd (PExtended a) Source # | Since: 2.0.0 |
(POrd a, PIsData a) => PPartialOrd (PExtended a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval (#<=) :: 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 (#>=) :: 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 | |
DerivePlutusType (PExtended a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PExtended a) | |
PlutusType (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
(PIsData a, PShow a) => PShow (PExtended a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
Generic (PExtended a s) Source # | |
type PTryFromExcess PData (PAsData (PExtended a)) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PTryFromExcess PData (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type AsHaskell (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PlutusRepr (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type DPTStrat (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PExtended a) = PlutusTypeData | |
type PContravariant' (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PCovariant' (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PInner (PExtended a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
type PVariant' (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type Rep (PExtended a s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type Rep (PExtended a s) = D1 ('MetaData "PExtended" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'False) (C1 ('MetaCons "PNegInf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))) :+: (C1 ('MetaCons "PFinite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= a])))) :+: C1 ('MetaCons "PPosInf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))))) |
CIP-1694
data PTxCert (s :: S) Source #
Since: 3.1.0
PTxCertRegStaking (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PMaybeData PLovelace])) | |
PTxCertUnRegStaking (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PMaybeData PLovelace])) | |
PTxCertDelegStaking (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PDelegatee])) | |
PTxCertRegDeleg (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PDelegatee, "_2" ':= PLovelace])) | |
PTxCertRegDRep (Term s (PDataRecord '["_0" ':= PDRepCredential, "_1" ':= PLovelace])) | |
PTxCertUpdateDRep (Term s (PDataRecord '["_0" ':= PDRepCredential])) | |
PTxCertUnRegDRep (Term s (PDataRecord '["_0" ':= PDRepCredential, "_1" ':= PLovelace])) | |
PTxCertPoolRegister (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PPubKeyHash])) | |
PTxCertPoolRetire (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PInteger])) | |
PTxCertAuthHotCommittee (Term s (PDataRecord '["_0" ':= PColdCommitteeCredential, "_1" ':= PHotCommitteeCredential])) | |
PTxCertResignColdCommittee (Term s (PDataRecord '["_0" ':= PColdCommitteeCredential])) |
Instances
data PDelegatee (s :: S) Source #
Since: 3.1.0
PDelegStake (Term s (PDataRecord '["_0" ':= PPubKeyHash])) | |
PDelegVote (Term s (PDataRecord '["_0" ':= PDRep])) | |
PDelegStakeVote (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PDRep])) |
Instances
PIsData PDelegatee Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PDelegatee) -> Term s PDelegatee pdataImpl :: forall (s :: S). Term s PDelegatee -> Term s PData | |
PEq PDelegatee Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts (#==) :: forall (s :: S). Term s PDelegatee -> Term s PDelegatee -> Term s PBool | |
PLiftable PDelegatee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PDelegatee type PlutusRepr PDelegatee toPlutarchRepr :: AsHaskell PDelegatee -> PlutusRepr PDelegatee toPlutarch :: forall (s :: S). AsHaskell PDelegatee -> PLifted s PDelegatee fromPlutarchRepr :: PlutusRepr PDelegatee -> Maybe (AsHaskell PDelegatee) fromPlutarch :: (forall (s :: S). PLifted s PDelegatee) -> Either LiftError (AsHaskell PDelegatee) | |
DerivePlutusType PDelegatee Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PDelegatee | |
PlutusType PDelegatee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PInner PDelegatee :: PType type PCovariant' PDelegatee type PContravariant' PDelegatee type PVariant' PDelegatee 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 |
Defined in Plutarch.LedgerApi.V3.Contexts pshow' :: forall (s :: S). Bool -> Term s PDelegatee -> Term s PString | |
PTryFrom PData PDelegatee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData PDelegatee :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PDelegatee, Reduce (PTryFromExcess PData PDelegatee s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PDelegatee) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PDelegatee) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PDelegatee), Reduce (PTryFromExcess PData (PAsData PDelegatee) s)) -> Term s r) -> Term s r | |
Generic (PDelegatee s) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts from :: PDelegatee s -> Rep (PDelegatee s) x Source # to :: Rep (PDelegatee s) x -> PDelegatee s Source # | |
type AsHaskell PDelegatee Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PlutusRepr PDelegatee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type DPTStrat PDelegatee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PDelegatee = PlutusTypeData | |
type PContravariant' PDelegatee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PCovariant' PDelegatee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PInner PDelegatee Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PVariant' PDelegatee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData PDelegatee Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData (PAsData PDelegatee) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type Rep (PDelegatee s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PDelegatee s) = D1 ('MetaData "PDelegatee" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'False) (C1 ('MetaCons "PDelegStake" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PPubKeyHash])))) :+: (C1 ('MetaCons "PDelegVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PDRep])))) :+: C1 ('MetaCons "PDelegStakeVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PDRep])))))) |
newtype PDRepCredential (s :: S) Source #
Since: 3.1.0
PDRepCredential (Term s PCredential) |
Instances
PIsData PDRepCredential Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PDRepCredential) -> Term s PDRepCredential pdataImpl :: forall (s :: S). Term s PDRepCredential -> Term s PData | |
PEq PDRepCredential Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts (#==) :: forall (s :: S). Term s PDRepCredential -> Term s PDRepCredential -> Term s PBool | |
PLiftable PDRepCredential Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PDRepCredential type PlutusRepr PDRepCredential toPlutarchRepr :: AsHaskell PDRepCredential -> PlutusRepr PDRepCredential toPlutarch :: forall (s :: S). AsHaskell PDRepCredential -> PLifted s PDRepCredential fromPlutarchRepr :: PlutusRepr PDRepCredential -> Maybe (AsHaskell PDRepCredential) fromPlutarch :: (forall (s :: S). PLifted s PDRepCredential) -> Either LiftError (AsHaskell PDRepCredential) | |
DerivePlutusType PDRepCredential Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PDRepCredential | |
PlutusType PDRepCredential Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PInner PDRepCredential :: PType type PCovariant' PDRepCredential type PContravariant' PDRepCredential type PVariant' PDRepCredential 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 |
Defined in Plutarch.LedgerApi.V3.Contexts pshow' :: forall (s :: S). Bool -> Term s PDRepCredential -> Term s PString | |
PTryFrom PData PDRepCredential Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData PDRepCredential :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PDRepCredential, Reduce (PTryFromExcess PData PDRepCredential s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PDRepCredential) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PDRepCredential) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PDRepCredential), Reduce (PTryFromExcess PData (PAsData PDRepCredential) s)) -> Term s r) -> Term s r | |
Generic (PDRepCredential s) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts from :: PDRepCredential s -> Rep (PDRepCredential s) x Source # to :: Rep (PDRepCredential s) x -> PDRepCredential s Source # | |
type AsHaskell PDRepCredential Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PlutusRepr PDRepCredential Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type DPTStrat PDRepCredential Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PDRepCredential = PlutusTypeNewtype | |
type PContravariant' PDRepCredential Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PCovariant' PDRepCredential Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PInner PDRepCredential Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PVariant' PDRepCredential Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData PDRepCredential Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData (PAsData PDRepCredential) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PDRepCredential) = PTryFromExcess PData (PInner (PAsData PDRepCredential)) | |
type Rep (PDRepCredential s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PDRepCredential s) = D1 ('MetaData "PDRepCredential" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PDRepCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)))) |
newtype PColdCommitteeCredential (s :: S) Source #
Since: 3.1.0
PColdCommitteeCredential (Term s PCredential) |
Instances
newtype PHotCommitteeCredential (s :: S) Source #
Since: 3.1.0
PHotCommitteeCredential (Term s PCredential) |
Instances
Since: 3.1.0
PDRep (Term s (PDataRecord '["_0" ':= PDRepCredential])) | |
PDRepAlwaysAbstain (Term s (PDataRecord '[])) | |
PDRepAlwaysNoConfidence (Term s (PDataRecord '[])) |
Instances
PIsData PDRep Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PDRep) -> Term s PDRep | |
PEq PDRep Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
PLiftable PDRep Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts toPlutarchRepr :: AsHaskell PDRep -> PlutusRepr PDRep toPlutarch :: forall (s :: S). AsHaskell PDRep -> PLifted s PDRep fromPlutarchRepr :: PlutusRepr PDRep -> Maybe (AsHaskell PDRep) fromPlutarch :: (forall (s :: S). PLifted s PDRep) -> Either LiftError (AsHaskell PDRep) | |
DerivePlutusType PDRep Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PDRep | |
PlutusType PDRep Source # | |
PShow PDRep Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
PTryFrom PData PDRep Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData PDRep :: PType | |
PTryFrom PData (PAsData PDRep) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PDRep) :: PType | |
Generic (PDRep s) Source # | |
type AsHaskell PDRep Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PlutusRepr PDRep Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type DPTStrat PDRep Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PDRep = PlutusTypeData | |
type PContravariant' PDRep Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PCovariant' PDRep Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PInner PDRep Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PVariant' PDRep Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData PDRep Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData (PAsData PDRep) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type Rep (PDRep s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PDRep s) = D1 ('MetaData "PDRep" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'False) (C1 ('MetaCons "PDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PDRepCredential])))) :+: (C1 ('MetaCons "PDRepAlwaysAbstain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))) :+: C1 ('MetaCons "PDRepAlwaysNoConfidence" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))))) |
Since: 3.1.0
PCommitteeVoter (Term s (PDataRecord '["_0" ':= PHotCommitteeCredential])) | |
PDRepVoter (Term s (PDataRecord '["_0" ':= PDRepCredential])) | |
PStakePoolVoter (Term s (PDataRecord '["_0" ':= PPubKeyHash])) |
Instances
PIsData PVoter Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PVoter) -> Term s PVoter | |
PEq PVoter Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
PLiftable PVoter Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts toPlutarchRepr :: AsHaskell PVoter -> PlutusRepr PVoter toPlutarch :: forall (s :: S). AsHaskell PVoter -> PLifted s PVoter fromPlutarchRepr :: PlutusRepr PVoter -> Maybe (AsHaskell PVoter) fromPlutarch :: (forall (s :: S). PLifted s PVoter) -> Either LiftError (AsHaskell PVoter) | |
DerivePlutusType PVoter Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PVoter | |
PlutusType PVoter Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
PShow PVoter Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
PTryFrom PData PVoter Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData PVoter :: PType | |
PTryFrom PData (PAsData PVoter) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PVoter) :: PType | |
Generic (PVoter s) Source # | |
type AsHaskell PVoter Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PlutusRepr PVoter Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type DPTStrat PVoter Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PVoter = PlutusTypeData | |
type PContravariant' PVoter Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PCovariant' PVoter Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PInner PVoter Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PVariant' PVoter Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData PVoter Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData (PAsData PVoter) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type Rep (PVoter s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PVoter s) = D1 ('MetaData "PVoter" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'False) (C1 ('MetaCons "PCommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PHotCommitteeCredential])))) :+: (C1 ('MetaCons "PDRepVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PDRepCredential])))) :+: C1 ('MetaCons "PStakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PPubKeyHash])))))) |
newtype PGovernanceActionId (s :: S) Source #
Since: 3.1.0
PGovernanceActionId (Term s (PDataRecord '["txId" ':= PTxId, "govActionIx" ':= PInteger])) |
Instances
Since: 3.1.0
PVoteYes (Term s (PDataRecord '[])) | |
PVoteNo (Term s (PDataRecord '[])) | |
PAbstain (Term s (PDataRecord '[])) |
Instances
PIsData PVote Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PVote) -> Term s PVote | |
PEq PVote Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
PLiftable PVote Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts toPlutarchRepr :: AsHaskell PVote -> PlutusRepr PVote toPlutarch :: forall (s :: S). AsHaskell PVote -> PLifted s PVote fromPlutarchRepr :: PlutusRepr PVote -> Maybe (AsHaskell PVote) fromPlutarch :: (forall (s :: S). PLifted s PVote) -> Either LiftError (AsHaskell PVote) | |
DerivePlutusType PVote Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PVote | |
PlutusType PVote Source # | |
PShow PVote Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
PTryFrom PData PVote Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData PVote :: PType | |
PTryFrom PData (PAsData PVote) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PVote) :: PType | |
Generic (PVote s) Source # | |
type AsHaskell PVote Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PlutusRepr PVote Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type DPTStrat PVote Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PVote = PlutusTypeData | |
type PContravariant' PVote Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PCovariant' PVote Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PInner PVote Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PVariant' PVote Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData PVote Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData (PAsData PVote) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type Rep (PVote s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PVote s) = D1 ('MetaData "PVote" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'False) (C1 ('MetaCons "PVoteYes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))) :+: (C1 ('MetaCons "PVoteNo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))) :+: C1 ('MetaCons "PAbstain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))))) |
newtype PProtocolVersion (s :: S) Source #
Since: 3.1.0
PProtocolVersion (Term s (PDataRecord '["major" ':= PInteger, "minor" ':= PInteger])) |
Instances
PIsData PProtocolVersion Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PProtocolVersion) -> Term s PProtocolVersion pdataImpl :: forall (s :: S). Term s PProtocolVersion -> Term s PData | |
PDataFields PProtocolVersion Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PFields PProtocolVersion :: [PLabeledType] ptoFields :: forall (s :: S). Term s PProtocolVersion -> Term s (PDataRecord (PFields PProtocolVersion)) | |
PEq PProtocolVersion Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts (#==) :: forall (s :: S). Term s PProtocolVersion -> Term s PProtocolVersion -> Term s PBool | |
PLiftable PProtocolVersion Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PProtocolVersion type PlutusRepr PProtocolVersion toPlutarchRepr :: AsHaskell PProtocolVersion -> PlutusRepr PProtocolVersion toPlutarch :: forall (s :: S). AsHaskell PProtocolVersion -> PLifted s PProtocolVersion fromPlutarchRepr :: PlutusRepr PProtocolVersion -> Maybe (AsHaskell PProtocolVersion) fromPlutarch :: (forall (s :: S). PLifted s PProtocolVersion) -> Either LiftError (AsHaskell PProtocolVersion) | |
DerivePlutusType PProtocolVersion Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PProtocolVersion | |
PlutusType PProtocolVersion Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PInner PProtocolVersion :: PType type PCovariant' PProtocolVersion type PContravariant' PProtocolVersion type PVariant' PProtocolVersion 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 |
Defined in Plutarch.LedgerApi.V3.Contexts pshow' :: forall (s :: S). Bool -> Term s PProtocolVersion -> Term s PString | |
PTryFrom PData PProtocolVersion Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData PProtocolVersion :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PProtocolVersion, Reduce (PTryFromExcess PData PProtocolVersion s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PProtocolVersion) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PProtocolVersion) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PProtocolVersion), Reduce (PTryFromExcess PData (PAsData PProtocolVersion) s)) -> Term s r) -> Term s r | |
Generic (PProtocolVersion s) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts from :: PProtocolVersion s -> Rep (PProtocolVersion s) x Source # to :: Rep (PProtocolVersion s) x -> PProtocolVersion s Source # | |
type PFields PProtocolVersion Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type AsHaskell PProtocolVersion Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PlutusRepr PProtocolVersion Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PProtocolVersion = PlutusRepr (DeriveDataPLiftable PProtocolVersion ProtocolVersion) | |
type DPTStrat PProtocolVersion Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PProtocolVersion = PlutusTypeData | |
type PContravariant' PProtocolVersion Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PCovariant' PProtocolVersion Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PInner PProtocolVersion Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PVariant' PProtocolVersion Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData PProtocolVersion Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData (PAsData PProtocolVersion) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PProtocolVersion) = PTryFromExcess PData (PInner (PAsData PProtocolVersion)) | |
type Rep (PProtocolVersion s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PProtocolVersion s) = D1 ('MetaData "PProtocolVersion" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PProtocolVersion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["major" ':= PInteger, "minor" ':= PInteger]))))) |
newtype PProposalProcedure (s :: S) Source #
Since: 3.1.0
PProposalProcedure (Term s (PDataRecord '["deposit" ':= PLovelace, "returnAddr" ':= PCredential, "governanceAction" ':= PGovernanceAction])) |
Instances
PIsData PProposalProcedure Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PProposalProcedure) -> Term s PProposalProcedure pdataImpl :: forall (s :: S). Term s PProposalProcedure -> Term s PData | |
PDataFields PProposalProcedure Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PFields PProposalProcedure :: [PLabeledType] ptoFields :: forall (s :: S). Term s PProposalProcedure -> Term s (PDataRecord (PFields PProposalProcedure)) | |
PEq PProposalProcedure Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts (#==) :: forall (s :: S). Term s PProposalProcedure -> Term s PProposalProcedure -> Term s PBool | |
PLiftable PProposalProcedure Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PProposalProcedure type PlutusRepr PProposalProcedure toPlutarchRepr :: AsHaskell PProposalProcedure -> PlutusRepr PProposalProcedure toPlutarch :: forall (s :: S). AsHaskell PProposalProcedure -> PLifted s PProposalProcedure fromPlutarchRepr :: PlutusRepr PProposalProcedure -> Maybe (AsHaskell PProposalProcedure) fromPlutarch :: (forall (s :: S). PLifted s PProposalProcedure) -> Either LiftError (AsHaskell PProposalProcedure) | |
DerivePlutusType PProposalProcedure Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PProposalProcedure | |
PlutusType PProposalProcedure Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PInner PProposalProcedure :: PType type PCovariant' PProposalProcedure type PContravariant' PProposalProcedure type PVariant' PProposalProcedure 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 |
Defined in Plutarch.LedgerApi.V3.Contexts pshow' :: forall (s :: S). Bool -> Term s PProposalProcedure -> Term s PString | |
PTryFrom PData PProposalProcedure Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData PProposalProcedure :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PProposalProcedure, Reduce (PTryFromExcess PData PProposalProcedure s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PProposalProcedure) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PProposalProcedure) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PProposalProcedure), Reduce (PTryFromExcess PData (PAsData PProposalProcedure) s)) -> Term s r) -> Term s r | |
Generic (PProposalProcedure s) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts from :: PProposalProcedure s -> Rep (PProposalProcedure s) x Source # to :: Rep (PProposalProcedure s) x -> PProposalProcedure s Source # | |
type PFields PProposalProcedure Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type AsHaskell PProposalProcedure Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PProposalProcedure = AsHaskell (DeriveDataPLiftable PProposalProcedure ProposalProcedure) | |
type PlutusRepr PProposalProcedure Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PProposalProcedure = PlutusRepr (DeriveDataPLiftable PProposalProcedure ProposalProcedure) | |
type DPTStrat PProposalProcedure Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PProposalProcedure = PlutusTypeData | |
type PContravariant' PProposalProcedure Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PCovariant' PProposalProcedure Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PInner PProposalProcedure Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PVariant' PProposalProcedure Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData PProposalProcedure Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData (PAsData PProposalProcedure) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PProposalProcedure) = PTryFromExcess PData (PInner (PAsData PProposalProcedure)) | |
type Rep (PProposalProcedure s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PProposalProcedure s) = D1 ('MetaData "PProposalProcedure" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PProposalProcedure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["deposit" ':= PLovelace, "returnAddr" ':= PCredential, "governanceAction" ':= PGovernanceAction]))))) |
data PGovernanceAction (s :: S) Source #
Since: 3.1.0
PParameterChange (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PChangedParameters, "_2" ':= PMaybeData PScriptHash])) | |
PHardForkInitiation (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PProtocolVersion])) | |
PTreasuryWithdrawals (Term s (PDataRecord '["_0" ':= PMap 'Unsorted PCredential PLovelace, "_1" ':= PMaybeData PScriptHash])) | |
PNoConfidence (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId])) | |
PUpdateCommittee (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PBuiltinList (PAsData PColdCommitteeCredential), "_2" ':= PMap 'Unsorted PColdCommitteeCredential PInteger, "_3" ':= PRationalData])) | |
PNewConstitution (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PConstitution])) | |
PInfoAction (Term s (PDataRecord '[])) |
Instances
newtype PChangedParameters (s :: S) Source #
Since: 3.1.0
PChangedParameters (Term s PData) |
Instances
PIsData PChangedParameters Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PChangedParameters) -> Term s PChangedParameters pdataImpl :: forall (s :: S). Term s PChangedParameters -> Term s PData | |
PEq PChangedParameters Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts (#==) :: forall (s :: S). Term s PChangedParameters -> Term s PChangedParameters -> Term s PBool | |
PLiftable PChangedParameters Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PChangedParameters type PlutusRepr PChangedParameters toPlutarchRepr :: AsHaskell PChangedParameters -> PlutusRepr PChangedParameters toPlutarch :: forall (s :: S). AsHaskell PChangedParameters -> PLifted s PChangedParameters fromPlutarchRepr :: PlutusRepr PChangedParameters -> Maybe (AsHaskell PChangedParameters) fromPlutarch :: (forall (s :: S). PLifted s PChangedParameters) -> Either LiftError (AsHaskell PChangedParameters) | |
DerivePlutusType PChangedParameters Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PChangedParameters | |
PlutusType PChangedParameters Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PInner PChangedParameters :: PType type PCovariant' PChangedParameters type PContravariant' PChangedParameters type PVariant' PChangedParameters 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 |
Defined in Plutarch.LedgerApi.V3.Contexts pshow' :: forall (s :: S). Bool -> Term s PChangedParameters -> Term s PString | |
PTryFrom PData PChangedParameters Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData PChangedParameters :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PChangedParameters, Reduce (PTryFromExcess PData PChangedParameters s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PChangedParameters) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PChangedParameters) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PChangedParameters), Reduce (PTryFromExcess PData (PAsData PChangedParameters) s)) -> Term s r) -> Term s r | |
Generic (PChangedParameters s) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts from :: PChangedParameters s -> Rep (PChangedParameters s) x Source # to :: Rep (PChangedParameters s) x -> PChangedParameters s Source # | |
type AsHaskell PChangedParameters Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PChangedParameters = AsHaskell (DeriveDataPLiftable PChangedParameters ChangedParameters) | |
type PlutusRepr PChangedParameters Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PChangedParameters = PlutusRepr (DeriveDataPLiftable PChangedParameters ChangedParameters) | |
type DPTStrat PChangedParameters Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PChangedParameters = PlutusTypeNewtype | |
type PContravariant' PChangedParameters Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PCovariant' PChangedParameters Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PInner PChangedParameters Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PVariant' PChangedParameters Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData PChangedParameters Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData (PAsData PChangedParameters) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PChangedParameters) = PTryFromExcess PData (PInner (PAsData PChangedParameters)) | |
type Rep (PChangedParameters s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PChangedParameters s) = D1 ('MetaData "PChangedParameters" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PChangedParameters" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PData)))) |
newtype PConstitution (s :: S) Source #
A constitution, omitting the optional anchor.
Since: 3.1.0
PConstitution (Term s (PDataRecord '["_0" := PMaybeData PScriptHash])) |
Instances
PIsData PConstitution Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PConstitution) -> Term s PConstitution pdataImpl :: forall (s :: S). Term s PConstitution -> Term s PData | |
PEq PConstitution Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts (#==) :: forall (s :: S). Term s PConstitution -> Term s PConstitution -> Term s PBool | |
PLiftable PConstitution Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PConstitution type PlutusRepr PConstitution toPlutarchRepr :: AsHaskell PConstitution -> PlutusRepr PConstitution toPlutarch :: forall (s :: S). AsHaskell PConstitution -> PLifted s PConstitution fromPlutarchRepr :: PlutusRepr PConstitution -> Maybe (AsHaskell PConstitution) fromPlutarch :: (forall (s :: S). PLifted s PConstitution) -> Either LiftError (AsHaskell PConstitution) | |
DerivePlutusType PConstitution Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PConstitution | |
PlutusType PConstitution Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PInner PConstitution :: PType type PCovariant' PConstitution type PContravariant' PConstitution type PVariant' PConstitution 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 |
Defined in Plutarch.LedgerApi.V3.Contexts pshow' :: forall (s :: S). Bool -> Term s PConstitution -> Term s PString | |
PTryFrom PData PConstitution Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData PConstitution :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PConstitution, Reduce (PTryFromExcess PData PConstitution s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PConstitution) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PConstitution) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PConstitution), Reduce (PTryFromExcess PData (PAsData PConstitution) s)) -> Term s r) -> Term s r | |
Generic (PConstitution s) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts from :: PConstitution s -> Rep (PConstitution s) x Source # to :: Rep (PConstitution s) x -> PConstitution s Source # | |
type AsHaskell PConstitution Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PlutusRepr PConstitution Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type DPTStrat PConstitution Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PConstitution = PlutusTypeData | |
type PContravariant' PConstitution Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PCovariant' PConstitution Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PInner PConstitution Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PVariant' PConstitution Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData PConstitution Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData (PAsData PConstitution) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PConstitution) = PTryFromExcess PData (PInner (PAsData PConstitution)) | |
type Rep (PConstitution s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PConstitution s) = D1 ('MetaData "PConstitution" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PConstitution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PMaybeData PScriptHash]))))) |
newtype PCommittee (s :: S) Source #
Since: 3.1.0
PCommittee (Term s (PDataRecord '["members" ':= PMap 'Unsorted PColdCommitteeCredential PInteger, "quorum" ':= PRationalData])) |
Instances
PIsData PCommittee Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PCommittee) -> Term s PCommittee pdataImpl :: forall (s :: S). Term s PCommittee -> Term s PData | |
PDataFields PCommittee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PFields PCommittee :: [PLabeledType] ptoFields :: forall (s :: S). Term s PCommittee -> Term s (PDataRecord (PFields PCommittee)) | |
PEq PCommittee Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts (#==) :: forall (s :: S). Term s PCommittee -> Term s PCommittee -> Term s PBool | |
PLiftable PCommittee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PCommittee type PlutusRepr PCommittee toPlutarchRepr :: AsHaskell PCommittee -> PlutusRepr PCommittee toPlutarch :: forall (s :: S). AsHaskell PCommittee -> PLifted s PCommittee fromPlutarchRepr :: PlutusRepr PCommittee -> Maybe (AsHaskell PCommittee) fromPlutarch :: (forall (s :: S). PLifted s PCommittee) -> Either LiftError (AsHaskell PCommittee) | |
DerivePlutusType PCommittee Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PCommittee | |
PlutusType PCommittee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PInner PCommittee :: PType type PCovariant' PCommittee type PContravariant' PCommittee type PVariant' PCommittee 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 |
Defined in Plutarch.LedgerApi.V3.Contexts pshow' :: forall (s :: S). Bool -> Term s PCommittee -> Term s PString | |
PTryFrom PData PCommittee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData PCommittee :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PCommittee, Reduce (PTryFromExcess PData PCommittee s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PCommittee) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PCommittee) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PCommittee), Reduce (PTryFromExcess PData (PAsData PCommittee) s)) -> Term s r) -> Term s r | |
Generic (PCommittee s) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts from :: PCommittee s -> Rep (PCommittee s) x Source # to :: Rep (PCommittee s) x -> PCommittee s Source # | |
type PFields PCommittee Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type AsHaskell PCommittee Source # | @since WIP |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PlutusRepr PCommittee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type DPTStrat PCommittee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts type DPTStrat PCommittee = PlutusTypeData | |
type PContravariant' PCommittee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PCovariant' PCommittee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PInner PCommittee Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PVariant' PCommittee Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData PCommittee Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type PTryFromExcess PData (PAsData PCommittee) Source # | |
Defined in Plutarch.LedgerApi.V3.Contexts | |
type Rep (PCommittee s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PCommittee s) = D1 ('MetaData "PCommittee" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PCommittee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["members" ':= PMap 'Unsorted PColdCommitteeCredential PInteger, "quorum" ':= PRationalData]))))) |
Crypto
Types
Since: 2.0.0
newtype PPubKeyHash (s :: S) Source #
Since: 2.0.0
PPubKeyHash (Term s (PDataNewtype PByteString)) |
Instances
PIsData PPubKeyHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto pfromDataImpl :: forall (s :: S). Term s (PAsData PPubKeyHash) -> Term s PPubKeyHash pdataImpl :: forall (s :: S). Term s PPubKeyHash -> Term s PData | |
PEq PPubKeyHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto (#==) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool | |
PLiftable PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto type AsHaskell PPubKeyHash type PlutusRepr PPubKeyHash toPlutarchRepr :: AsHaskell PPubKeyHash -> PlutusRepr PPubKeyHash toPlutarch :: forall (s :: S). AsHaskell PPubKeyHash -> PLifted s PPubKeyHash fromPlutarchRepr :: PlutusRepr PPubKeyHash -> Maybe (AsHaskell PPubKeyHash) fromPlutarch :: (forall (s :: S). PLifted s PPubKeyHash) -> Either LiftError (AsHaskell PPubKeyHash) | |
POrd PPubKeyHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto 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 | |
PPartialOrd PPubKeyHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto (#<=) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool (#<) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool (#>=) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool (#>) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool | |
DerivePlutusType PPubKeyHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto type DPTStrat PPubKeyHash | |
PlutusType PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto type PInner PPubKeyHash :: PType type PCovariant' PPubKeyHash type PContravariant' PPubKeyHash type PVariant' PPubKeyHash 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 |
Defined in Plutarch.LedgerApi.V1.Crypto pshow' :: forall (s :: S). Bool -> Term s PPubKeyHash -> Term s PString | |
PTryFrom PData PPubKeyHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Crypto type PTryFromExcess PData PPubKeyHash :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PPubKeyHash, Reduce (PTryFromExcess PData PPubKeyHash s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PPubKeyHash) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto type PTryFromExcess PData (PAsData PPubKeyHash) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PPubKeyHash), Reduce (PTryFromExcess PData (PAsData PPubKeyHash) s)) -> Term s r) -> Term s r | |
Generic (PPubKeyHash s) Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto from :: PPubKeyHash s -> Rep (PPubKeyHash s) x Source # to :: Rep (PPubKeyHash s) x -> PPubKeyHash s Source # | |
type AsHaskell PPubKeyHash Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type PlutusRepr PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type DPTStrat PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto type DPTStrat PPubKeyHash = PlutusTypeNewtype | |
type PContravariant' PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type PCovariant' PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type PInner PPubKeyHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type PVariant' PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type PTryFromExcess PData PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type PTryFromExcess PData (PAsData PPubKeyHash) Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type Rep (PPubKeyHash s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto type Rep (PPubKeyHash s) = D1 ('MetaData "PPubKeyHash" "Plutarch.LedgerApi.V1.Crypto" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PPubKeyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString))))) |
pubKeyHash :: PubKey -> PubKeyHash Source #
Since: 2.0.0
Utilities
Types
data PMaybeData (a :: S -> Type) (s :: S) Source #
@since WIP
Instances
PTryFrom PData a => PTryFrom PData (PAsData (PMaybeData a)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Utils type PTryFromExcess PData (PAsData (PMaybeData a)) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PMaybeData a)), Reduce (PTryFromExcess PData (PAsData (PMaybeData a)) s)) -> Term s r) -> Term s r | |
PTryFrom PData a => PTryFrom PData (PMaybeData a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Utils type PTryFromExcess PData (PMaybeData a) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PMaybeData a), Reduce (PTryFromExcess PData (PMaybeData a) s)) -> Term s r) -> Term s r | |
PIsData (PMaybeData a) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Utils pfromDataImpl :: forall (s :: S). Term s (PAsData (PMaybeData a)) -> Term s (PMaybeData a) pdataImpl :: forall (s :: S). Term s (PMaybeData a) -> Term s PData | |
PEq (PMaybeData a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Utils (#==) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool | |
(ToData (AsHaskell a), FromData (AsHaskell a)) => PLiftable (PMaybeData a) Source # | |
Defined in Plutarch.LedgerApi.Utils type AsHaskell (PMaybeData a) type PlutusRepr (PMaybeData a) toPlutarchRepr :: AsHaskell (PMaybeData a) -> PlutusRepr (PMaybeData a) toPlutarch :: forall (s :: S). AsHaskell (PMaybeData a) -> PLifted s (PMaybeData a) fromPlutarchRepr :: PlutusRepr (PMaybeData a) -> Maybe (AsHaskell (PMaybeData a)) fromPlutarch :: (forall (s :: S). PLifted s (PMaybeData a)) -> Either LiftError (AsHaskell (PMaybeData a)) | |
(PIsData a, PPartialOrd a) => POrd (PMaybeData a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Utils 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) | |
(PIsData a, PPartialOrd a) => PPartialOrd (PMaybeData a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Utils (#<=) :: 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 (#>=) :: 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 | |
PlutusType (PMaybeData a) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Utils type PInner (PMaybeData a) :: PType type PCovariant' (PMaybeData a) type PContravariant' (PMaybeData a) type PVariant' (PMaybeData a) 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 |
Defined in Plutarch.LedgerApi.Utils pshow' :: forall (s :: S). Bool -> Term s (PMaybeData a) -> Term s PString | |
Generic (PMaybeData a s) Source # | |
Defined in Plutarch.LedgerApi.Utils from :: PMaybeData a s -> Rep (PMaybeData a s) x Source # to :: Rep (PMaybeData a s) x -> PMaybeData a s Source # | |
type PTryFromExcess PData (PAsData (PMaybeData a)) Source # | |
Defined in Plutarch.LedgerApi.Utils type PTryFromExcess PData (PAsData (PMaybeData a)) = PTryFromExcess PData (PInner (PAsData (PMaybeData a))) | |
type PTryFromExcess PData (PMaybeData a) Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type AsHaskell (PMaybeData a) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Utils type AsHaskell (PMaybeData a) = AsHaskell (DeriveDataPLiftable (PMaybeData a) (Maybe (AsHaskell a))) | |
type PlutusRepr (PMaybeData a) Source # | |
Defined in Plutarch.LedgerApi.Utils type PlutusRepr (PMaybeData a) = PlutusRepr (DeriveDataPLiftable (PMaybeData a) (Maybe (AsHaskell a))) | |
type PContravariant' (PMaybeData a) Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type PCovariant' (PMaybeData a) Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type PInner (PMaybeData a) Source # | |
Defined in Plutarch.LedgerApi.Utils type PInner (PMaybeData a) = PData | |
type PVariant' (PMaybeData a) Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type Rep (PMaybeData a s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Utils type Rep (PMaybeData a s) = D1 ('MetaData "PMaybeData" "Plutarch.LedgerApi.Utils" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" '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)) |
newtype PRationalData s Source #
A Rational type that corresponds to the data encoding used by Rational
.
Since: 3.1.0
PRationalData (Term s (PDataRecord '["numerator" ':= PInteger, "denominator" ':= PPositive])) |
Instances
PIsData PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils pfromDataImpl :: forall (s :: S). Term s (PAsData PRationalData) -> Term s PRationalData pdataImpl :: forall (s :: S). Term s PRationalData -> Term s PData | |
PDataFields PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils type PFields PRationalData :: [PLabeledType] ptoFields :: forall (s :: S). Term s PRationalData -> Term s (PDataRecord (PFields PRationalData)) | |
PEq PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils (#==) :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PBool | |
PLiftable PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils type AsHaskell PRationalData type PlutusRepr PRationalData toPlutarchRepr :: AsHaskell PRationalData -> PlutusRepr PRationalData toPlutarch :: forall (s :: S). AsHaskell PRationalData -> PLifted s PRationalData fromPlutarchRepr :: PlutusRepr PRationalData -> Maybe (AsHaskell PRationalData) fromPlutarch :: (forall (s :: S). PLifted s PRationalData) -> Either LiftError (AsHaskell PRationalData) | |
POrd PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils 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 | |
PPartialOrd PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils (#<=) :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PBool (#<) :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PBool (#>=) :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PBool (#>) :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PBool | |
DerivePlutusType PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils type DPTStrat PRationalData | |
PlutusType PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils type PInner PRationalData :: PType type PCovariant' PRationalData type PContravariant' PRationalData type PVariant' PRationalData 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 |
Defined in Plutarch.LedgerApi.Utils pshow' :: forall (s :: S). Bool -> Term s PRationalData -> Term s PString | |
PTryFrom PData PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils type PTryFromExcess PData PRationalData :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PRationalData, Reduce (PTryFromExcess PData PRationalData s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PRationalData) Source # | This instance produces a verified positive denominator as the excess output. Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils type PTryFromExcess PData (PAsData PRationalData) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PRationalData), Reduce (PTryFromExcess PData (PAsData PRationalData) s)) -> Term s r) -> Term s r | |
Generic (PRationalData s) Source # | |
Defined in Plutarch.LedgerApi.Utils from :: PRationalData s -> Rep (PRationalData s) x Source # to :: Rep (PRationalData s) x -> PRationalData s Source # | |
type PFields PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils | |
type AsHaskell PRationalData Source # | @since WIP |
Defined in Plutarch.LedgerApi.Utils | |
type PlutusRepr PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type DPTStrat PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils type DPTStrat PRationalData = PlutusTypeData | |
type PContravariant' PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type PCovariant' PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type PInner PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils | |
type PVariant' PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type PTryFromExcess PData PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type PTryFromExcess PData (PAsData PRationalData) Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type Rep (PRationalData s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils type Rep (PRationalData s) = D1 ('MetaData "PRationalData" "Plutarch.LedgerApi.Utils" "plutarch-ledger-api-3.2.1-6pZLN6XlvMZ4r7ZEuopoAx" 'True) (C1 ('MetaCons "PRationalData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["numerator" ':= PInteger, "denominator" ':= PPositive]))))) |
Utilities
pfromDJust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PMaybeData a :--> a) Source #
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