| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Plutarch.LedgerApi.V3
Description
Synopsis
- data PScriptContext (s :: S) = PScriptContext {
- pscriptContext'txInfo :: Term s PTxInfo
- pscriptContext'redeemer :: Term s PRedeemer
- pscriptContext'scriptInfo :: Term s PScriptInfo
- data PTxInfo (s :: S) = PTxInfo {
- ptxInfo'inputs :: Term s (PAsData (PBuiltinList (PAsData PTxInInfo)))
- ptxInfo'referenceInputs :: Term s (PAsData (PBuiltinList (PAsData PTxInInfo)))
- ptxInfo'outputs :: Term s (PAsData (PBuiltinList (PAsData PTxOut)))
- ptxInfo'fee :: Term s (PAsData PLovelace)
- ptxInfo'mint :: Term s (PAsData PMintValue)
- ptxInfo'txCerts :: Term s (PAsData (PBuiltinList (PAsData PTxCert)))
- ptxInfo'wdrl :: Term s (PAsData (PUnsortedMap PCredential PLovelace))
- ptxInfo'validRange :: Term s (PInterval PPosixTime)
- ptxInfo'signatories :: Term s (PAsData (PBuiltinList (PAsData PPubKeyHash)))
- ptxInfo'redeemers :: Term s (PAsData (PUnsortedMap PScriptPurpose PRedeemer))
- ptxInfo'data :: Term s (PAsData (PUnsortedMap PDatumHash PDatum))
- ptxInfo'id :: Term s (PAsData PTxId)
- ptxInfo'votes :: Term s (PAsData (PUnsortedMap PVoter (PUnsortedMap PGovernanceActionId PVote)))
- ptxInfo'proposalProcedures :: Term s (PAsData (PBuiltinList (PAsData PProposalProcedure)))
- ptxInfo'currentTreasuryAmount :: Term s (PMaybeData PLovelace)
- ptxInfo'treasuryDonation :: Term s (PMaybeData PLovelace)
- data PScriptInfo (s :: S)
- = PMintingScript (Term s (PAsData PCurrencySymbol))
- | PSpendingScript (Term s PTxOutRef) (Term s (PMaybeData PDatum))
- | PRewardingScript (Term s PCredential)
- | PCertifyingScript (Term s (PAsData PInteger)) (Term s PTxCert)
- | PVotingScript (Term s PVoter)
- | PProposingScript (Term s (PAsData PInteger)) (Term s PProposalProcedure)
- data PScriptPurpose (s :: S)
- = PMinting (Term s (PAsData PCurrencySymbol))
- | PSpending (Term s PTxOutRef)
- | PRewarding (Term s PCredential)
- | PCertifying (Term s (PAsData PInteger)) (Term s PTxCert)
- | PVoting (Term s PVoter)
- | PProposing (Term s (PAsData PInteger)) (Term s PProposalProcedure)
- data PTxOutRef (s :: S) = PTxOutRef {
- ptxOutRef'id :: Term s (PAsData PTxId)
- ptxOutRef'idx :: Term s (PAsData PInteger)
- data PTxOut (s :: S) = PTxOut {
- ptxOut'address :: Term s PAddress
- ptxOut'value :: Term s (PAsData PLedgerValue)
- ptxOut'datum :: Term s POutputDatum
- ptxOut'referenceScript :: Term s (PMaybeData PScriptHash)
- newtype PTxId (s :: S) = PTxId (Term s PByteString)
- data PTxInInfo (s :: S) = PTxInInfo {
- ptxInInfo'outRef :: Term s PTxOutRef
- ptxInInfo'resolved :: Term s PTxOut
- data POutputDatum (s :: S)
- = PNoOutputDatum
- | POutputDatumHash {
- poutputDatum'datumHash :: Term s (PAsData PDatumHash)
- | POutputDatum {
- poutputDatum'outputDatum :: Term s PDatum
- newtype PDatum (s :: S) = PDatum (Term s PData)
- newtype PDatumHash (s :: S) = PDatumHash (Term s PByteString)
- newtype PRedeemer (s :: S) = PRedeemer (Term s PData)
- newtype PRedeemerHash (s :: S) = PRedeemerHash (Term s PByteString)
- newtype PScriptHash (s :: S) = PScriptHash (Term s PByteString)
- scriptHash :: Script -> ScriptHash
- datumHash :: Datum -> DatumHash
- redeemerHash :: Redeemer -> RedeemerHash
- dataHash :: ToData a => a -> BuiltinByteString
- newtype PRawValue (s :: S) = PRawValue (Term s (PUnsortedMap PCurrencySymbol (PUnsortedMap PTokenName PInteger)))
- data PSortedValue (s :: S)
- data PLedgerValue (s :: S)
- newtype PCurrencySymbol (s :: S) = PCurrencySymbol (Term s PByteString)
- newtype PTokenName (s :: S) = PTokenName (Term s PByteString)
- newtype PLovelace (s :: S) = PLovelace (Term s PInteger)
- data PMintValue (s :: S)
- pemptyMintValue :: forall (s :: S). Term s PMintValue
- psingletonMintValue :: forall (s :: S). Term s (PCurrencySymbol :--> (PTokenName :--> (PInteger :--> PMintValue)))
- ptoMintValue :: forall (s :: S). Term s (PSortedValue :--> PMintValue)
- newtype PAssocMap (k :: S -> Type) (v :: S -> Type) (s :: S) = PAssocMap (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v))))
- newtype PUnsortedMap (k :: S -> Type) (v :: S -> Type) (s :: S) = PUnsortedMap (Term s (PAssocMap k v))
- data PSortedMap (k :: S -> Type) (v :: S -> Type) (s :: S)
- data PCredential (s :: S)
- = PPubKeyCredential (Term s (PAsData PPubKeyHash))
- | PScriptCredential (Term s (PAsData PScriptHash))
- data PStakingCredential (s :: S)
- = PStakingHash (Term s PCredential)
- | PStakingPtr (Term s (PAsData PInteger)) (Term s (PAsData PInteger)) (Term s (PAsData PInteger))
- data PAddress (s :: S) = PAddress {
- paddress'credential :: Term s PCredential
- paddress'stakingCredential :: Term s (PMaybeData PStakingCredential)
- newtype PPosixTime (s :: S) = PPosixTime (Term s PInteger)
- pposixTime :: forall (s :: S). Term s PInteger -> Term s PPosixTime
- unPPosixTime :: forall (s :: S). Term s PPosixTime -> Term s PInteger
- data PInterval (a :: S -> Type) (s :: S) = PInterval {
- pinterval'from :: Term s (PLowerBound a)
- pinterval'to :: Term s (PUpperBound a)
- data PLowerBound (a :: S -> Type) (s :: S) = PLowerBound (Term s (PExtended a)) (Term s (PAsData PBool))
- data PUpperBound (a :: S -> Type) (s :: S) = PUpperBound (Term s (PExtended a)) (Term s (PAsData PBool))
- data PExtended (a :: S -> Type) (s :: S)
- data PTxCert (s :: S)
- = PTxCertRegStaking (Term s PCredential) (Term s (PMaybeData PLovelace))
- | PTxCertUnRegStaking (Term s PCredential) (Term s (PMaybeData PLovelace))
- | PTxCertDelegStaking (Term s PCredential) (Term s PDelegatee)
- | PTxCertRegDeleg (Term s PCredential) (Term s PDelegatee) (Term s (PAsData PLovelace))
- | PTxCertRegDRep (Term s PDRepCredential) (Term s (PAsData PLovelace))
- | PTxCertUpdateDRep (Term s PDRepCredential)
- | PTxCertUnRegDRep (Term s PDRepCredential) (Term s (PAsData PLovelace))
- | PTxCertPoolRegister (Term s (PAsData PPubKeyHash)) (Term s (PAsData PPubKeyHash))
- | PTxCertPoolRetire (Term s (PAsData PPubKeyHash)) (Term s (PAsData PInteger))
- | PTxCertAuthHotCommittee (Term s PColdCommitteeCredential) (Term s PHotCommitteeCredential)
- | PTxCertResignColdCommittee (Term s PColdCommitteeCredential)
- data PDelegatee (s :: S)
- = PDelegStake (Term s (PAsData PPubKeyHash))
- | PDelegVote (Term s PDRep)
- | PDelegStakeVote (Term s (PAsData PPubKeyHash)) (Term s PDRep)
- newtype PDRepCredential (s :: S) = PDRepCredential (Term s PCredential)
- newtype PColdCommitteeCredential (s :: S) = PColdCommitteeCredential (Term s PCredential)
- newtype PHotCommitteeCredential (s :: S) = PHotCommitteeCredential (Term s PCredential)
- data PDRep (s :: S)
- = PDRep (Term s (PAsData PDRepCredential))
- | PDRepAlwaysAbstain
- | PDRepAlwaysNoConfidence
- data PVoter (s :: S)
- = PCommitteeVoter (Term s PHotCommitteeCredential)
- | PDRepVoter (Term s PDRepCredential)
- | PStakePoolVoter (Term s (PAsData PPubKeyHash))
- data PGovernanceActionId (s :: S) = PGovernanceActionId (Term s (PAsData PTxId)) (Term s (PAsData PInteger))
- data PVote (s :: S)
- data PProtocolVersion (s :: S) = PProtocolVersion {
- pprotocolVersion'major :: Term s (PAsData PInteger)
- pprotocolVersion'minor :: Term s (PAsData PInteger)
- data PProposalProcedure (s :: S) = PProposalProcedure {
- pproposalProcedure'deposit :: Term s (PAsData PLovelace)
- pproposalProcedure'returnAddr :: Term s PCredential
- pproposalProcedure'governanceAction :: Term s PGovernanceAction
- data PGovernanceAction (s :: S)
- = PParameterChange (Term s (PMaybeData PGovernanceActionId)) (Term s PChangedParameters) (Term s (PMaybeData PScriptHash))
- | PHardForkInitiation (Term s (PMaybeData PGovernanceActionId)) (Term s PProtocolVersion)
- | PTreasuryWithdrawals (Term s (PAsData (PUnsortedMap PCredential PLovelace))) (Term s (PMaybeData PScriptHash))
- | PNoConfidence (Term s (PMaybeData PGovernanceActionId))
- | PUpdateCommittee (Term s (PMaybeData PGovernanceActionId)) (Term s (PAsData (PBuiltinList (PAsData PColdCommitteeCredential)))) (Term s (PAsData (PUnsortedMap PColdCommitteeCredential PInteger))) (Term s PRationalData)
- | PNewConstitution (Term s (PMaybeData PGovernanceActionId)) (Term s PConstitution)
- | PInfoAction
- newtype PChangedParameters (s :: S) = PChangedParameters (Term s PData)
- newtype PConstitution (s :: S) = PConstitution (Term s (PMaybeData PScriptHash))
- data PCommittee (s :: S) = PCommittee {
- pcommittee'members :: Term s (PAsData (PUnsortedMap PColdCommitteeCredential PInteger))
- pcommittee'quorum :: Term s PRationalData
- newtype PubKey = PubKey {
- getPubKey :: LedgerBytes
- newtype PPubKeyHash (s :: S) = PPubKeyHash (Term s PByteString)
- pubKeyHash :: PubKey -> PubKeyHash
- data PMaybeData (a :: S -> Type) (s :: S)
- data PRationalData (s :: S) = PRationalData {
- prationalData'numerator :: Term s (PAsData PInteger)
- prationalData'denominator :: Term s (PAsData PPositive)
- pfromDJust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PMaybeData a :--> a)
- pisDJust :: forall (a :: S -> Type) (s :: S). Term s (PMaybeData a :--> PBool)
- pmaybeData :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PIsData a => Term s (b :--> ((a :--> b) :--> (PMaybeData a :--> b)))
- pdjust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (a :--> PMaybeData a)
- pdnothing :: forall (a :: S -> Type) (s :: S). Term s (PMaybeData a)
- pmaybeToMaybeData :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PMaybe a :--> PMaybeData a)
- passertPDJust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PString :--> (PMaybeData a :--> a))
- prationalFromData :: forall (s :: S). Term s (PRationalData :--> PRational)
Contexts
data PScriptContext (s :: S) Source #
Since: 3.1.0
Constructors
| PScriptContext | |
Fields
| |
Instances
| PEq PScriptContext Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PScriptContext -> Term s PScriptContext -> Term s PBool | |||||||||
| PIsData PScriptContext Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptContext) -> Term s PScriptContext pdataImpl :: forall (s :: S). Term s PScriptContext -> Term s PData | |||||||||
| PLiftable PScriptContext Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PScriptContext -> PlutusRepr PScriptContext reprToHask :: PlutusRepr PScriptContext -> Either LiftError (AsHaskell PScriptContext) reprToPlut :: forall (s :: S). PlutusRepr PScriptContext -> PLifted s PScriptContext plutToRepr :: (forall (s :: S). PLifted s PScriptContext) -> Either LiftError (PlutusRepr PScriptContext) | |||||||||
| PValidateData PScriptContext Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PScriptContext Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods pcon' :: forall (s :: S). PScriptContext s -> Term s (PInner PScriptContext) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PScriptContext) -> (PScriptContext s -> Term s b) -> Term s b | |||||||||
| PShow PScriptContext Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PScriptContext -> Term s PString | |||||||||
| PTryFrom PData (PAsData PScriptContext) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PScriptContext), Reduce (PTryFromExcess PData (PAsData PScriptContext) s)) -> Term s r) -> Term s r | |||||||||
| Generic (PScriptContext s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PScriptContext s -> Rep (PScriptContext s) x Source # to :: Rep (PScriptContext s) x -> PScriptContext s Source # | |||||||||
| Generic (PScriptContext s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PScriptContext s -> Rep (PScriptContext s) to :: Rep (PScriptContext s) -> PScriptContext s | |||||||||
| type AsHaskell PScriptContext Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PlutusRepr PScriptContext Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PInner PScriptContext Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PScriptContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "pscriptContext'txInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxInfo)) :*: (S1 ('MetaSel ('Just "pscriptContext'redeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PRedeemer)) :*: S1 ('MetaSel ('Just "pscriptContext'scriptInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PScriptInfo))))) | |||||||||
| type Code (PScriptContext s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
data PTxInfo (s :: S) Source #
Constructors
Instances
data PScriptInfo (s :: S) Source #
Since: 3.1.0
Constructors
| PMintingScript (Term s (PAsData PCurrencySymbol)) | |
| PSpendingScript (Term s PTxOutRef) (Term s (PMaybeData PDatum)) | |
| PRewardingScript (Term s PCredential) | |
| PCertifyingScript (Term s (PAsData PInteger)) (Term s PTxCert) | |
| PVotingScript (Term s PVoter) | |
| PProposingScript (Term s (PAsData PInteger)) (Term s PProposalProcedure) |
Instances
| PEq PScriptInfo Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PScriptInfo -> Term s PScriptInfo -> Term s PBool | |||||||||
| PIsData PScriptInfo Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptInfo) -> Term s PScriptInfo pdataImpl :: forall (s :: S). Term s PScriptInfo -> Term s PData | |||||||||
| PLiftable PScriptInfo Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PScriptInfo -> PlutusRepr PScriptInfo reprToHask :: PlutusRepr PScriptInfo -> Either LiftError (AsHaskell PScriptInfo) reprToPlut :: forall (s :: S). PlutusRepr PScriptInfo -> PLifted s PScriptInfo plutToRepr :: (forall (s :: S). PLifted s PScriptInfo) -> Either LiftError (PlutusRepr PScriptInfo) | |||||||||
| PValidateData PScriptInfo Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PScriptInfo Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods pcon' :: forall (s :: S). PScriptInfo s -> Term s (PInner PScriptInfo) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PScriptInfo) -> (PScriptInfo s -> Term s b) -> Term s b | |||||||||
| PShow PScriptInfo Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PScriptInfo -> Term s PString | |||||||||
| PTryFrom PData (PAsData PScriptInfo) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PScriptInfo), Reduce (PTryFromExcess PData (PAsData PScriptInfo) s)) -> Term s r) -> Term s r | |||||||||
| Generic (PScriptInfo s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PScriptInfo s -> Rep (PScriptInfo s) x Source # to :: Rep (PScriptInfo s) x -> PScriptInfo s Source # | |||||||||
| Generic (PScriptInfo s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| type AsHaskell PScriptInfo Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PlutusRepr PScriptInfo Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PInner PScriptInfo Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) ((C1 ('MetaCons "PMintingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PCurrencySymbol)))) :+: (C1 ('MetaCons "PSpendingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxOutRef)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PDatum)))) :+: C1 ('MetaCons "PRewardingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))) :+: (C1 ('MetaCons "PCertifyingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxCert))) :+: (C1 ('MetaCons "PVotingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PVoter))) :+: C1 ('MetaCons "PProposingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PProposalProcedure)))))) | |||||||||
| type Code (PScriptInfo s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
data PScriptPurpose (s :: S) Source #
Since: 2.0.0
Constructors
| PMinting (Term s (PAsData PCurrencySymbol)) | |
| PSpending (Term s PTxOutRef) | |
| PRewarding (Term s PCredential) | Since: 3.1.0 |
| PCertifying (Term s (PAsData PInteger)) (Term s PTxCert) | |
| PVoting (Term s PVoter) | Since: 3.1.0 |
| PProposing (Term s (PAsData PInteger)) (Term s PProposalProcedure) | Since: 3.1.0 |
Instances
| PEq PScriptPurpose Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PScriptPurpose -> Term s PScriptPurpose -> Term s PBool | |||||||||
| PIsData PScriptPurpose Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptPurpose) -> Term s PScriptPurpose pdataImpl :: forall (s :: S). Term s PScriptPurpose -> Term s PData | |||||||||
| PLiftable PScriptPurpose Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PScriptPurpose -> PlutusRepr PScriptPurpose reprToHask :: PlutusRepr PScriptPurpose -> Either LiftError (AsHaskell PScriptPurpose) reprToPlut :: forall (s :: S). PlutusRepr PScriptPurpose -> PLifted s PScriptPurpose plutToRepr :: (forall (s :: S). PLifted s PScriptPurpose) -> Either LiftError (PlutusRepr PScriptPurpose) | |||||||||
| PValidateData PScriptPurpose Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PScriptPurpose Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods pcon' :: forall (s :: S). PScriptPurpose s -> Term s (PInner PScriptPurpose) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PScriptPurpose) -> (PScriptPurpose s -> Term s b) -> Term s b | |||||||||
| PShow PScriptPurpose Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PScriptPurpose -> Term s PString | |||||||||
| PTryFrom PData (PAsData PScriptPurpose) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PScriptPurpose), Reduce (PTryFromExcess PData (PAsData PScriptPurpose) s)) -> Term s r) -> Term s r | |||||||||
| Generic (PScriptPurpose s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PScriptPurpose s -> Rep (PScriptPurpose s) x Source # to :: Rep (PScriptPurpose s) x -> PScriptPurpose s Source # | |||||||||
| Generic (PScriptPurpose s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PScriptPurpose s -> Rep (PScriptPurpose s) to :: Rep (PScriptPurpose s) -> PScriptPurpose s | |||||||||
| type AsHaskell PScriptPurpose Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PlutusRepr PScriptPurpose Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PInner PScriptPurpose Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) ((C1 ('MetaCons "PMinting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PCurrencySymbol)))) :+: (C1 ('MetaCons "PSpending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxOutRef))) :+: C1 ('MetaCons "PRewarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))) :+: (C1 ('MetaCons "PCertifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxCert))) :+: (C1 ('MetaCons "PVoting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PVoter))) :+: C1 ('MetaCons "PProposing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PProposalProcedure)))))) | |||||||||
| type Code (PScriptPurpose s) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
Tx
Types
data PTxOutRef (s :: S) Source #
Since: 3.1.0
Constructors
| PTxOutRef | |
Fields
| |
Instances
| PEq PTxOutRef Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Tx | |||||||||
| PIsData PTxOutRef Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxOutRef) -> Term s PTxOutRef pdataImpl :: forall (s :: S). Term s PTxOutRef -> Term s PData | |||||||||
| PLiftable PTxOutRef Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Tx Associated Types
Methods haskToRepr :: AsHaskell PTxOutRef -> PlutusRepr PTxOutRef reprToHask :: PlutusRepr PTxOutRef -> Either LiftError (AsHaskell PTxOutRef) reprToPlut :: forall (s :: S). PlutusRepr PTxOutRef -> PLifted s PTxOutRef plutToRepr :: (forall (s :: S). PLifted s PTxOutRef) -> Either LiftError (PlutusRepr PTxOutRef) | |||||||||
| PValidateData PTxOutRef Source # | Checks that we have a valid Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Tx Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PTxOutRef Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Tx Associated Types
| |||||||||
| PShow PTxOutRef Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Tx | |||||||||
| PTryFrom PData (PAsData PTxOutRef) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Tx Associated Types
| |||||||||
| Generic (PTxOutRef s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Tx Associated Types
| |||||||||
| Generic (PTxOutRef s) Source # | |||||||||
| type AsHaskell PTxOutRef Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Tx | |||||||||
| type PlutusRepr PTxOutRef Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Tx | |||||||||
| type PInner PTxOutRef Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PTxOutRef" 'PrefixI 'True) (S1 ('MetaSel ('Just "ptxOutRef'id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PTxId))) :*: S1 ('MetaSel ('Just "ptxOutRef'idx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))))) | |||||||||
| type Code (PTxOutRef s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Tx | |||||||||
Since: 2.0.0
Constructors
| PTxOut | |
Fields
| |
Instances
| PEq PTxOut Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V2.Tx | |||||||||
| PIsData PTxOut Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V2.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxOut) -> Term s PTxOut | |||||||||
| PLiftable PTxOut Source # | |||||||||
Defined in Plutarch.LedgerApi.V2.Tx Associated Types
Methods haskToRepr :: AsHaskell PTxOut -> PlutusRepr PTxOut reprToHask :: PlutusRepr PTxOut -> Either LiftError (AsHaskell PTxOut) reprToPlut :: forall (s :: S). PlutusRepr PTxOut -> PLifted s PTxOut plutToRepr :: (forall (s :: S). PLifted s PTxOut) -> Either LiftError (PlutusRepr PTxOut) | |||||||||
| PValidateData PTxOut Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V2.Tx Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PTxOut Source # | |||||||||
Defined in Plutarch.LedgerApi.V2.Tx Associated Types
| |||||||||
| PShow PTxOut Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V2.Tx | |||||||||
| PTryFrom PData (PAsData PTxOut) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V2.Tx Associated Types
| |||||||||
| Generic (PTxOut s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V2.Tx Associated Types
| |||||||||
| Generic (PTxOut s) Source # | |||||||||
| type AsHaskell PTxOut Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V2.Tx | |||||||||
| type PlutusRepr PTxOut Source # | |||||||||
Defined in Plutarch.LedgerApi.V2.Tx | |||||||||
| type PInner PTxOut Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PTxOut" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ptxOut'address") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PAddress)) :*: S1 ('MetaSel ('Just "ptxOut'value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PLedgerValue)))) :*: (S1 ('MetaSel ('Just "ptxOut'datum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POutputDatum)) :*: S1 ('MetaSel ('Just "ptxOut'referenceScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PScriptHash)))))) | |||||||||
| type Code (PTxOut s) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V2.Tx | |||||||||
newtype PTxId (s :: S) Source #
Hashed with BLAKE2b-256.
Since: 3.1.0
Constructors
| PTxId (Term s PByteString) |
Instances
| PEq PTxId Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Tx | |||||||||
| PIsData PTxId Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxId) -> Term s PTxId | |||||||||
| PLiftable PTxId Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Tx Associated Types
Methods haskToRepr :: AsHaskell PTxId -> PlutusRepr PTxId reprToHask :: PlutusRepr PTxId -> Either LiftError (AsHaskell PTxId) reprToPlut :: forall (s :: S). PlutusRepr PTxId -> PLifted s PTxId plutToRepr :: (forall (s :: S). PLifted s PTxId) -> Either LiftError (PlutusRepr PTxId) | |||||||||
| POrd PTxId Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Tx | |||||||||
| PValidateData PTxId Source # | Checks that we have a Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Tx Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PTxId Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Tx Associated Types
| |||||||||
| PShow PTxId Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Tx | |||||||||
| PTryFrom PData (PAsData PTxId) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Tx Associated Types
| |||||||||
| Generic (PTxId s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Tx Associated Types
| |||||||||
| Generic (PTxId s) Source # | |||||||||
| type AsHaskell PTxId Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Tx type AsHaskell PTxId = TxId | |||||||||
| type PlutusRepr PTxId Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Tx | |||||||||
| type PInner PTxId Source # | Since: 3.3.0 | ||||||||
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 Code (PTxId s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Tx | |||||||||
data PTxInInfo (s :: S) Source #
An input of the transaction.
Since: 2.0.0
Constructors
| PTxInInfo | |
Fields
| |
Instances
| PEq PTxInInfo Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| PIsData PTxInInfo Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInInfo) -> Term s PTxInInfo pdataImpl :: forall (s :: S). Term s PTxInInfo -> Term s PData | |||||||||
| PLiftable PTxInInfo Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PTxInInfo -> PlutusRepr PTxInInfo reprToHask :: PlutusRepr PTxInInfo -> Either LiftError (AsHaskell PTxInInfo) reprToPlut :: forall (s :: S). PlutusRepr PTxInInfo -> PLifted s PTxInInfo plutToRepr :: (forall (s :: S). PLifted s PTxInInfo) -> Either LiftError (PlutusRepr PTxInInfo) | |||||||||
| PValidateData PTxInInfo Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PTxInInfo Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| PShow PTxInInfo Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| PTryFrom PData (PAsData PTxInInfo) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| Generic (PTxInInfo s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| Generic (PTxInInfo s) Source # | |||||||||
| type AsHaskell PTxInInfo Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PlutusRepr PTxInInfo Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PInner PTxInInfo Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PTxInInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "ptxInInfo'outRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxOutRef)) :*: S1 ('MetaSel ('Just "ptxInInfo'resolved") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxOut)))) | |||||||||
| type Code (PTxInInfo s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
data POutputDatum (s :: S) Source #
Since: 2.0.0
Constructors
| PNoOutputDatum | |
| POutputDatumHash | |
Fields
| |
| POutputDatum | Inline datum as per CIP-0032 |
Fields
| |
Instances
| PEq POutputDatum Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V2.Tx Methods (#==) :: forall (s :: S). Term s POutputDatum -> Term s POutputDatum -> Term s PBool | |||||||||
| PIsData POutputDatum Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V2.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData POutputDatum) -> Term s POutputDatum pdataImpl :: forall (s :: S). Term s POutputDatum -> Term s PData | |||||||||
| PLiftable POutputDatum Source # | |||||||||
Defined in Plutarch.LedgerApi.V2.Tx Associated Types
Methods haskToRepr :: AsHaskell POutputDatum -> PlutusRepr POutputDatum reprToHask :: PlutusRepr POutputDatum -> Either LiftError (AsHaskell POutputDatum) reprToPlut :: forall (s :: S). PlutusRepr POutputDatum -> PLifted s POutputDatum plutToRepr :: (forall (s :: S). PLifted s POutputDatum) -> Either LiftError (PlutusRepr POutputDatum) | |||||||||
| PValidateData POutputDatum Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V2.Tx Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType POutputDatum Source # | |||||||||
Defined in Plutarch.LedgerApi.V2.Tx Associated Types
Methods pcon' :: forall (s :: S). POutputDatum s -> Term s (PInner POutputDatum) pmatch' :: forall (s :: S) (b :: S -> Type). 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 Methods pshow' :: forall (s :: S). Bool -> Term s POutputDatum -> Term s PString | |||||||||
| PTryFrom PData (PAsData POutputDatum) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V2.Tx Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). 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 Associated Types
Methods from :: POutputDatum s -> Rep (POutputDatum s) x Source # to :: Rep (POutputDatum s) x -> POutputDatum s Source # | |||||||||
| Generic (POutputDatum s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V2.Tx Associated Types
| |||||||||
| type AsHaskell POutputDatum Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V2.Tx | |||||||||
| type PlutusRepr POutputDatum Source # | |||||||||
Defined in Plutarch.LedgerApi.V2.Tx | |||||||||
| type PInner POutputDatum Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PNoOutputDatum" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "POutputDatumHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "poutputDatum'datumHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PDatumHash)))) :+: C1 ('MetaCons "POutputDatum" 'PrefixI 'True) (S1 ('MetaSel ('Just "poutputDatum'outputDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDatum))))) | |||||||||
| type Code (POutputDatum s) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V2.Tx | |||||||||
Script
Types
newtype PDatum (s :: S) Source #
Since: 2.0.0
Constructors
| PDatum (Term s PData) |
Instances
| PEq PDatum Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
| PIsData PDatum Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PDatum) -> Term s PDatum | |||||||||
| PLiftable PDatum Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
Methods haskToRepr :: AsHaskell PDatum -> PlutusRepr PDatum reprToHask :: PlutusRepr PDatum -> Either LiftError (AsHaskell PDatum) reprToPlut :: forall (s :: S). PlutusRepr PDatum -> PLifted s PDatum plutToRepr :: (forall (s :: S). PLifted s PDatum) -> Either LiftError (PlutusRepr PDatum) | |||||||||
| PValidateData PDatum Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PDatum Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
| |||||||||
| PShow PDatum Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
| PTryFrom PData (PAsData PDatum) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
| |||||||||
| Generic (PDatum s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
| |||||||||
| Generic (PDatum s) Source # | |||||||||
| type AsHaskell PDatum Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
| type PlutusRepr PDatum Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
| type PInner PDatum Source # | Since: 2.0.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 | |||||||||
| type Code (PDatum s) Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
newtype PDatumHash (s :: S) Source #
Since: 2.0.0
Constructors
| PDatumHash (Term s PByteString) |
Instances
| PEq PDatumHash Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods (#==) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool | |||||||||
| PIsData PDatumHash Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PDatumHash) -> Term s PDatumHash pdataImpl :: forall (s :: S). Term s PDatumHash -> Term s PData | |||||||||
| PLiftable PDatumHash Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
Methods haskToRepr :: AsHaskell PDatumHash -> PlutusRepr PDatumHash reprToHask :: PlutusRepr PDatumHash -> Either LiftError (AsHaskell PDatumHash) reprToPlut :: forall (s :: S). PlutusRepr PDatumHash -> PLifted s PDatumHash plutToRepr :: (forall (s :: S). PLifted s PDatumHash) -> Either LiftError (PlutusRepr PDatumHash) | |||||||||
| POrd PDatumHash Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods (#<=) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool (#<) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool pmax :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PDatumHash pmin :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PDatumHash | |||||||||
| PValidateData PDatumHash Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PDatumHash Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
Methods pcon' :: forall (s :: S). PDatumHash s -> Term s (PInner PDatumHash) pmatch' :: forall (s :: S) (b :: S -> Type). 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 Methods pshow' :: forall (s :: S). Bool -> Term s PDatumHash -> Term s PString | |||||||||
| PTryFrom PData (PAsData PDatumHash) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). 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 Associated Types
Methods from :: PDatumHash s -> Rep (PDatumHash s) x Source # to :: Rep (PDatumHash s) x -> PDatumHash s Source # | |||||||||
| Generic (PDatumHash s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
| |||||||||
| type AsHaskell PDatumHash Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts type AsHaskell PDatumHash = DatumHash | |||||||||
| type PlutusRepr PDatumHash Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
| type PInner PDatumHash Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString)))) | |||||||||
| type Code (PDatumHash s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
newtype PRedeemer (s :: S) Source #
Since: 2.0.0
Constructors
| PRedeemer (Term s PData) |
Instances
| PEq PRedeemer Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
| PIsData PRedeemer Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PRedeemer) -> Term s PRedeemer pdataImpl :: forall (s :: S). Term s PRedeemer -> Term s PData | |||||||||
| PLiftable PRedeemer Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
Methods haskToRepr :: AsHaskell PRedeemer -> PlutusRepr PRedeemer reprToHask :: PlutusRepr PRedeemer -> Either LiftError (AsHaskell PRedeemer) reprToPlut :: forall (s :: S). PlutusRepr PRedeemer -> PLifted s PRedeemer plutToRepr :: (forall (s :: S). PLifted s PRedeemer) -> Either LiftError (PlutusRepr PRedeemer) | |||||||||
| PValidateData PRedeemer Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PRedeemer Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
| |||||||||
| PShow PRedeemer Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
| PTryFrom PData (PAsData PRedeemer) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
| |||||||||
| Generic (PRedeemer s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
| |||||||||
| Generic (PRedeemer s) Source # | |||||||||
| type AsHaskell PRedeemer Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
| type PlutusRepr PRedeemer Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
| type PInner PRedeemer Source # | Since: 2.0.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PRedeemer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PData)))) | |||||||||
| type Code (PRedeemer s) Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
newtype PRedeemerHash (s :: S) Source #
Since: 2.0.0
Constructors
| PRedeemerHash (Term s PByteString) |
Instances
| PEq PRedeemerHash Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods (#==) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool | |||||||||
| PIsData PRedeemerHash Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PRedeemerHash) -> Term s PRedeemerHash pdataImpl :: forall (s :: S). Term s PRedeemerHash -> Term s PData | |||||||||
| PLiftable PRedeemerHash Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
Methods haskToRepr :: AsHaskell PRedeemerHash -> PlutusRepr PRedeemerHash reprToHask :: PlutusRepr PRedeemerHash -> Either LiftError (AsHaskell PRedeemerHash) reprToPlut :: forall (s :: S). PlutusRepr PRedeemerHash -> PLifted s PRedeemerHash plutToRepr :: (forall (s :: S). PLifted s PRedeemerHash) -> Either LiftError (PlutusRepr PRedeemerHash) | |||||||||
| POrd PRedeemerHash Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods (#<=) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool (#<) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool pmax :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PRedeemerHash pmin :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PRedeemerHash | |||||||||
| PValidateData PRedeemerHash Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PRedeemerHash Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
Methods pcon' :: forall (s :: S). PRedeemerHash s -> Term s (PInner PRedeemerHash) pmatch' :: forall (s :: S) (b :: S -> Type). 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 Methods pshow' :: forall (s :: S). Bool -> Term s PRedeemerHash -> Term s PString | |||||||||
| PTryFrom PData (PAsData PRedeemerHash) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). 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 Associated Types
Methods from :: PRedeemerHash s -> Rep (PRedeemerHash s) x Source # to :: Rep (PRedeemerHash s) x -> PRedeemerHash s Source # | |||||||||
| Generic (PRedeemerHash s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
Methods from :: PRedeemerHash s -> Rep (PRedeemerHash s) to :: Rep (PRedeemerHash s) -> PRedeemerHash s | |||||||||
| type AsHaskell PRedeemerHash Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts type AsHaskell PRedeemerHash = RedeemerHash | |||||||||
| type PlutusRepr PRedeemerHash Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
| type PInner PRedeemerHash Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PRedeemerHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString)))) | |||||||||
| type Code (PRedeemerHash s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
newtype PScriptHash (s :: S) Source #
Since: 2.0.0
Constructors
| PScriptHash (Term s PByteString) |
Instances
| PEq PScriptHash Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods (#==) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool | |||||||||
| PIsData PScriptHash Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptHash) -> Term s PScriptHash pdataImpl :: forall (s :: S). Term s PScriptHash -> Term s PData | |||||||||
| PLiftable PScriptHash Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
Methods haskToRepr :: AsHaskell PScriptHash -> PlutusRepr PScriptHash reprToHask :: PlutusRepr PScriptHash -> Either LiftError (AsHaskell PScriptHash) reprToPlut :: forall (s :: S). PlutusRepr PScriptHash -> PLifted s PScriptHash plutToRepr :: (forall (s :: S). PLifted s PScriptHash) -> Either LiftError (PlutusRepr PScriptHash) | |||||||||
| POrd PScriptHash Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods (#<=) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool (#<) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool pmax :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PScriptHash pmin :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PScriptHash | |||||||||
| PValidateData PScriptHash Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PScriptHash Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
Methods pcon' :: forall (s :: S). PScriptHash s -> Term s (PInner PScriptHash) pmatch' :: forall (s :: S) (b :: S -> Type). 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 Methods pshow' :: forall (s :: S). Bool -> Term s PScriptHash -> Term s PString | |||||||||
| PTryFrom PData (PAsData PScriptHash) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). 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 Associated Types
Methods from :: PScriptHash s -> Rep (PScriptHash s) x Source # to :: Rep (PScriptHash s) x -> PScriptHash s Source # | |||||||||
| Generic (PScriptHash s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts Associated Types
| |||||||||
| type AsHaskell PScriptHash Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts type AsHaskell PScriptHash = ScriptHash | |||||||||
| type PlutusRepr PScriptHash Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
| type PInner PScriptHash Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
| type PTryFromExcess PData (PAsData PScriptHash) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData (PAsData PScriptHash) = PTryFromExcess PData (PInner (PAsData PScriptHash)) | |||||||||
| 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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString)))) | |||||||||
| type Code (PScriptHash s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Scripts | |||||||||
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
Value
newtype PRawValue (s :: S) Source #
Represents Values without any guarantees.
Values of this type may be unsorted, have duplicate keys, contain empty token maps, and include entries with zero token quantities.
Since: 3.5.0
Constructors
| PRawValue (Term s (PUnsortedMap PCurrencySymbol (PUnsortedMap PTokenName PInteger))) |
Instances
| PIsData PRawValue Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.Value Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PRawValue) -> Term s PRawValue pdataImpl :: forall (s :: S). Term s PRawValue -> Term s PData | |||||||||
| PLiftable PRawValue Source # | |||||||||
Defined in Plutarch.LedgerApi.Value Associated Types
Methods haskToRepr :: AsHaskell PRawValue -> PlutusRepr PRawValue reprToHask :: PlutusRepr PRawValue -> Either LiftError (AsHaskell PRawValue) reprToPlut :: forall (s :: S). PlutusRepr PRawValue -> PLifted s PRawValue plutToRepr :: (forall (s :: S). PLifted s PRawValue) -> Either LiftError (PlutusRepr PRawValue) | |||||||||
| PValidateData PRawValue Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.Value Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PRawValue Source # | |||||||||
Defined in Plutarch.LedgerApi.Value Associated Types
| |||||||||
| PShow PRawValue Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.Value | |||||||||
| PTryFrom PData (PAsData PRawValue) Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.Value Associated Types
| |||||||||
| Generic (PRawValue s) Source # | |||||||||
Defined in Plutarch.LedgerApi.Value Associated Types
| |||||||||
| Generic (PRawValue s) Source # | |||||||||
| type AsHaskell PRawValue Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.Value | |||||||||
| type PlutusRepr PRawValue Source # | |||||||||
Defined in Plutarch.LedgerApi.Value | |||||||||
| type PInner PRawValue Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.Value | |||||||||
| type PTryFromExcess PData (PAsData PRawValue) Source # | |||||||||
Defined in Plutarch.LedgerApi.Value | |||||||||
| type Rep (PRawValue s) Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.Value type Rep (PRawValue s) = D1 ('MetaData "PRawValue" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PRawValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PUnsortedMap PCurrencySymbol (PUnsortedMap PTokenName PInteger)))))) | |||||||||
| type Code (PRawValue s) Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.Value | |||||||||
data PSortedValue (s :: S) Source #
Represents sorted, well-formed Values without empty token maps.
Duplicate currency symbols or duplicate token names within the same token map are not allowed (since wip).
Compared to PRawValue, this type provides stronger guarantees, though
PSortedValues may still contain entries with zero token quantities.
Since: 3.5.0
Instances
| PEq PSortedValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods (#==) :: forall (s :: S). Term s PSortedValue -> Term s PSortedValue -> Term s PBool | |||||
| PIsData PSortedValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PSortedValue) -> Term s PSortedValue pdataImpl :: forall (s :: S). Term s PSortedValue -> Term s PData | |||||
| PValidateData PSortedValue Source # | Checks that we have a valid Since: 3.6.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||
| PlutusType PSortedValue Source # | |||||
Defined in Plutarch.LedgerApi.Value Associated Types
Methods pcon' :: forall (s :: S). PSortedValue s -> Term s (PInner PSortedValue) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PSortedValue) -> (PSortedValue s -> Term s b) -> Term s b | |||||
| PMonoid PSortedValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods pmempty :: forall (s :: S). Term s PSortedValue pmtimes :: forall (s :: S). Term s PNatural -> Term s PSortedValue -> Term s PSortedValue | |||||
| PSemigroup PSortedValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods (#<>) :: forall (s :: S). Term s PSortedValue -> Term s PSortedValue -> Term s PSortedValue pstimes :: forall (s :: S). Term s PPositive -> Term s PSortedValue -> Term s PSortedValue | |||||
| PShow PSortedValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods pshow' :: forall (s :: S). Bool -> Term s PSortedValue -> Term s PString | |||||
| PTryFrom PData (PAsData PSortedValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PSortedValue), Reduce (PTryFromExcess PData (PAsData PSortedValue) s)) -> Term s r) -> Term s r | |||||
| Generic (PSortedValue s) Source # | |||||
Defined in Plutarch.LedgerApi.Value Associated Types
Methods from :: PSortedValue s -> Rep (PSortedValue s) x Source # to :: Rep (PSortedValue s) x -> PSortedValue s Source # | |||||
| Generic (PSortedValue s) Source # | |||||
Defined in Plutarch.LedgerApi.Value Associated Types
| |||||
| Monoid (Term s PSortedValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods mempty :: Term s PSortedValue Source # mappend :: Term s PSortedValue -> Term s PSortedValue -> Term s PSortedValue Source # mconcat :: [Term s PSortedValue] -> Term s PSortedValue Source # | |||||
| Semigroup (Term s PSortedValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods (<>) :: Term s PSortedValue -> Term s PSortedValue -> Term s PSortedValue Source # sconcat :: NonEmpty (Term s PSortedValue) -> Term s PSortedValue Source # stimes :: Integral b => b -> Term s PSortedValue -> Term s PSortedValue Source # | |||||
| Group (Term s PSortedValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods inv :: Term s PSortedValue -> Term s PSortedValue | |||||
| Monoid (Term s PSortedValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods mempty :: Term s PSortedValue | |||||
| Semigroup (Term s PSortedValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods (<>) :: Term s PSortedValue -> Term s PSortedValue -> Term s PSortedValue | |||||
| type PInner PSortedValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value | |||||
| type PTryFromExcess PData (PAsData PSortedValue) Source # | |||||
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData PSortedValue) = PTryFromExcess PData (PInner (PAsData PSortedValue)) | |||||
| type Rep (PSortedValue s) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value type Rep (PSortedValue s) = D1 ('MetaData "PSortedValue" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PSortedValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PSortedMap PCurrencySymbol (PSortedMap PTokenName PInteger)))))) | |||||
| type Code (PSortedValue s) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value | |||||
data PLedgerValue (s :: S) Source #
Represents sorted, well-formed Values with a mandatory Ada entry.
Duplicate currency symbols or duplicate token names within the same token map are not allowed (since wip).
Like PSortedValue, but requires the presence of an Ada entry, which may have a
zero quantity. Values of this type may still contain entries with zero token
quantities.
Since: 3.5.0
Instances
| PEq PLedgerValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods (#==) :: forall (s :: S). Term s PLedgerValue -> Term s PLedgerValue -> Term s PBool | |||||
| PIsData PLedgerValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PLedgerValue) -> Term s PLedgerValue pdataImpl :: forall (s :: S). Term s PLedgerValue -> Term s PData | |||||
| PValidateData PLedgerValue Source # | Checks that we have a valid Since: 3.6.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||
| PlutusType PLedgerValue Source # | |||||
Defined in Plutarch.LedgerApi.Value Associated Types
Methods pcon' :: forall (s :: S). PLedgerValue s -> Term s (PInner PLedgerValue) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PLedgerValue) -> (PLedgerValue s -> Term s b) -> Term s b | |||||
| PMonoid PLedgerValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods pmempty :: forall (s :: S). Term s PLedgerValue pmtimes :: forall (s :: S). Term s PNatural -> Term s PLedgerValue -> Term s PLedgerValue | |||||
| PSemigroup PLedgerValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods (#<>) :: forall (s :: S). Term s PLedgerValue -> Term s PLedgerValue -> Term s PLedgerValue pstimes :: forall (s :: S). Term s PPositive -> Term s PLedgerValue -> Term s PLedgerValue | |||||
| PShow PLedgerValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods pshow' :: forall (s :: S). Bool -> Term s PLedgerValue -> Term s PString | |||||
| PTryFrom PData (PAsData PLedgerValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PLedgerValue), Reduce (PTryFromExcess PData (PAsData PLedgerValue) s)) -> Term s r) -> Term s r | |||||
| Generic (PLedgerValue s) Source # | |||||
Defined in Plutarch.LedgerApi.Value Associated Types
Methods from :: PLedgerValue s -> Rep (PLedgerValue s) x Source # to :: Rep (PLedgerValue s) x -> PLedgerValue s Source # | |||||
| Generic (PLedgerValue s) Source # | |||||
Defined in Plutarch.LedgerApi.Value Associated Types
| |||||
| Monoid (Term s PLedgerValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods mempty :: Term s PLedgerValue Source # mappend :: Term s PLedgerValue -> Term s PLedgerValue -> Term s PLedgerValue Source # mconcat :: [Term s PLedgerValue] -> Term s PLedgerValue Source # | |||||
| Semigroup (Term s PLedgerValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods (<>) :: Term s PLedgerValue -> Term s PLedgerValue -> Term s PLedgerValue Source # sconcat :: NonEmpty (Term s PLedgerValue) -> Term s PLedgerValue Source # stimes :: Integral b => b -> Term s PLedgerValue -> Term s PLedgerValue Source # | |||||
| Group (Term s PLedgerValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods inv :: Term s PLedgerValue -> Term s PLedgerValue | |||||
| Monoid (Term s PLedgerValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods mempty :: Term s PLedgerValue | |||||
| Semigroup (Term s PLedgerValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value Methods (<>) :: Term s PLedgerValue -> Term s PLedgerValue -> Term s PLedgerValue | |||||
| type PInner PLedgerValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value | |||||
| type PTryFromExcess PData (PAsData PLedgerValue) Source # | |||||
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData PLedgerValue) = PTryFromExcess PData (PInner (PAsData PLedgerValue)) | |||||
| type Rep (PLedgerValue s) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value type Rep (PLedgerValue s) = D1 ('MetaData "PLedgerValue" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PLedgerValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PSortedValue)))) | |||||
| type Code (PLedgerValue s) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.Value | |||||
newtype PCurrencySymbol (s :: S) Source #
Since: 2.0.0
Constructors
| PCurrencySymbol (Term s PByteString) |
Instances
| PEq PCurrencySymbol Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.CurrencySymbol Methods (#==) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool | |||||||||
| PIsData PCurrencySymbol Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.CurrencySymbol Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PCurrencySymbol) -> Term s PCurrencySymbol pdataImpl :: forall (s :: S). Term s PCurrencySymbol -> Term s PData | |||||||||
| PLiftable PCurrencySymbol Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.CurrencySymbol Associated Types
Methods haskToRepr :: AsHaskell PCurrencySymbol -> PlutusRepr PCurrencySymbol reprToHask :: PlutusRepr PCurrencySymbol -> Either LiftError (AsHaskell PCurrencySymbol) reprToPlut :: forall (s :: S). PlutusRepr PCurrencySymbol -> PLifted s PCurrencySymbol plutToRepr :: (forall (s :: S). PLifted s PCurrencySymbol) -> Either LiftError (PlutusRepr PCurrencySymbol) | |||||||||
| POrd PCurrencySymbol Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.CurrencySymbol Methods (#<=) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool (#<) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool pmax :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PCurrencySymbol pmin :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PCurrencySymbol | |||||||||
| PValidateData PCurrencySymbol Source # | Checks that we have a Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.CurrencySymbol Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PCurrencySymbol Source # | |||||||||
Defined in Plutarch.LedgerApi.Value.CurrencySymbol Associated Types
Methods pcon' :: forall (s :: S). PCurrencySymbol s -> Term s (PInner PCurrencySymbol) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PCurrencySymbol) -> (PCurrencySymbol s -> Term s b) -> Term s b | |||||||||
| PShow PCurrencySymbol Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.CurrencySymbol Methods pshow' :: forall (s :: S). Bool -> Term s PCurrencySymbol -> Term s PString | |||||||||
| PTryFrom PData (PAsData PCurrencySymbol) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.CurrencySymbol Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). 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.CurrencySymbol Associated Types
Methods from :: PCurrencySymbol s -> Rep (PCurrencySymbol s) x Source # to :: Rep (PCurrencySymbol s) x -> PCurrencySymbol s Source # | |||||||||
| Generic (PCurrencySymbol s) Source # | |||||||||
Defined in Plutarch.LedgerApi.Value.CurrencySymbol Associated Types
Methods from :: PCurrencySymbol s -> Rep (PCurrencySymbol s) to :: Rep (PCurrencySymbol s) -> PCurrencySymbol s | |||||||||
| type AsHaskell PCurrencySymbol Source # | |||||||||
Defined in Plutarch.LedgerApi.Value.CurrencySymbol type AsHaskell PCurrencySymbol = CurrencySymbol | |||||||||
| type PlutusRepr PCurrencySymbol Source # | |||||||||
Defined in Plutarch.LedgerApi.Value.CurrencySymbol | |||||||||
| type PInner PCurrencySymbol Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.CurrencySymbol | |||||||||
| type PTryFromExcess PData (PAsData PCurrencySymbol) Source # | |||||||||
Defined in Plutarch.LedgerApi.Value.CurrencySymbol type PTryFromExcess PData (PAsData PCurrencySymbol) = PTryFromExcess PData (PInner (PAsData PCurrencySymbol)) | |||||||||
| type Rep (PCurrencySymbol s) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.CurrencySymbol type Rep (PCurrencySymbol s) = D1 ('MetaData "PCurrencySymbol" "Plutarch.LedgerApi.Value.CurrencySymbol" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PCurrencySymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString)))) | |||||||||
| type Code (PCurrencySymbol s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.CurrencySymbol | |||||||||
newtype PTokenName (s :: S) Source #
Since: 2.0.0
Constructors
| PTokenName (Term s PByteString) |
Instances
| PEq PTokenName Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.TokenName Methods (#==) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool | |||||||||
| PIsData PTokenName Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.TokenName Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTokenName) -> Term s PTokenName pdataImpl :: forall (s :: S). Term s PTokenName -> Term s PData | |||||||||
| PLiftable PTokenName Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.TokenName Associated Types
Methods haskToRepr :: AsHaskell PTokenName -> PlutusRepr PTokenName reprToHask :: PlutusRepr PTokenName -> Either LiftError (AsHaskell PTokenName) reprToPlut :: forall (s :: S). PlutusRepr PTokenName -> PLifted s PTokenName plutToRepr :: (forall (s :: S). PLifted s PTokenName) -> Either LiftError (PlutusRepr PTokenName) | |||||||||
| POrd PTokenName Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.TokenName Methods (#<=) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool (#<) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool pmax :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PTokenName pmin :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PTokenName | |||||||||
| PValidateData PTokenName Source # | Checks that we have a Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.TokenName Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PTokenName Source # | |||||||||
Defined in Plutarch.LedgerApi.Value.TokenName Associated Types
Methods pcon' :: forall (s :: S). PTokenName s -> Term s (PInner PTokenName) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PTokenName) -> (PTokenName s -> Term s b) -> Term s b | |||||||||
| PShow PTokenName Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.TokenName Methods pshow' :: forall (s :: S). Bool -> Term s PTokenName -> Term s PString | |||||||||
| PTryFrom PData (PAsData PTokenName) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.TokenName Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). 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.TokenName Associated Types
Methods from :: PTokenName s -> Rep (PTokenName s) x Source # to :: Rep (PTokenName s) x -> PTokenName s Source # | |||||||||
| Generic (PTokenName s) Source # | |||||||||
Defined in Plutarch.LedgerApi.Value.TokenName Associated Types
| |||||||||
| type AsHaskell PTokenName Source # | |||||||||
Defined in Plutarch.LedgerApi.Value.TokenName type AsHaskell PTokenName = TokenName | |||||||||
| type PlutusRepr PTokenName Source # | |||||||||
Defined in Plutarch.LedgerApi.Value.TokenName | |||||||||
| type PInner PTokenName Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.TokenName | |||||||||
| type PTryFromExcess PData (PAsData PTokenName) Source # | |||||||||
Defined in Plutarch.LedgerApi.Value.TokenName | |||||||||
| type Rep (PTokenName s) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.TokenName type Rep (PTokenName s) = D1 ('MetaData "PTokenName" "Plutarch.LedgerApi.Value.TokenName" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PTokenName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString)))) | |||||||||
| type Code (PTokenName s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.TokenName | |||||||||
newtype PLovelace (s :: S) Source #
Since: 2.2.0
Constructors
| PLovelace (Term s PInteger) |
Instances
| PEq PLovelace Source # | Since: 2.2.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.Lovelace | |||||||||
| PIsData PLovelace Source # | Since: 2.2.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.Lovelace Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PLovelace) -> Term s PLovelace pdataImpl :: forall (s :: S). Term s PLovelace -> Term s PData | |||||||||
| PLiftable PLovelace Source # | |||||||||
Defined in Plutarch.LedgerApi.Value.Lovelace Associated Types
Methods haskToRepr :: AsHaskell PLovelace -> PlutusRepr PLovelace reprToHask :: PlutusRepr PLovelace -> Either LiftError (AsHaskell PLovelace) reprToPlut :: forall (s :: S). PlutusRepr PLovelace -> PLifted s PLovelace plutToRepr :: (forall (s :: S). PLifted s PLovelace) -> Either LiftError (PlutusRepr PLovelace) | |||||||||
| POrd PLovelace Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.Lovelace Methods (#<=) :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PBool (#<) :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PBool pmax :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PLovelace pmin :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PLovelace | |||||||||
| PValidateData PLovelace Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.Lovelace Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PLovelace Source # | |||||||||
Defined in Plutarch.LedgerApi.Value.Lovelace Associated Types
| |||||||||
| PShow PLovelace Source # | Since: 2.2.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.Lovelace | |||||||||
| PTryFrom PData (PAsData PLovelace) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.Lovelace Associated Types
| |||||||||
| Generic (PLovelace s) Source # | |||||||||
Defined in Plutarch.LedgerApi.Value.Lovelace Associated Types
| |||||||||
| Generic (PLovelace s) Source # | |||||||||
| type AsHaskell PLovelace Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.Lovelace | |||||||||
| type PlutusRepr PLovelace Source # | |||||||||
Defined in Plutarch.LedgerApi.Value.Lovelace | |||||||||
| type PInner PLovelace Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.Lovelace | |||||||||
| type PTryFromExcess PData (PAsData PLovelace) Source # | |||||||||
Defined in Plutarch.LedgerApi.Value.Lovelace | |||||||||
| type Rep (PLovelace s) Source # | Since: 2.2.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.Lovelace type Rep (PLovelace s) = D1 ('MetaData "PLovelace" "Plutarch.LedgerApi.Value.Lovelace" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PLovelace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PInteger)))) | |||||||||
| type Code (PLovelace s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Value.Lovelace | |||||||||
data PMintValue (s :: S) Source #
Represents sorted, well-formed Values without an Ada entry, while all non-Ada token quantities must be non-zero.
Duplicate currency symbols or duplicate token names within the same token map are not allowed (since wip).
Since: 3.5.0
Instances
| PEq PMintValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V3.MintValue Methods (#==) :: forall (s :: S). Term s PMintValue -> Term s PMintValue -> Term s PBool | |||||
| PIsData PMintValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V3.MintValue Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PMintValue) -> Term s PMintValue pdataImpl :: forall (s :: S). Term s PMintValue -> Term s PData | |||||
| PValidateData PMintValue Source # | Checks that we have a valid Since: 3.6.0 | ||||
Defined in Plutarch.LedgerApi.V3.MintValue Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||
| PlutusType PMintValue Source # | |||||
Defined in Plutarch.LedgerApi.V3.MintValue Associated Types
Methods pcon' :: forall (s :: S). PMintValue s -> Term s (PInner PMintValue) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PMintValue) -> (PMintValue s -> Term s b) -> Term s b | |||||
| PMonoid PMintValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V3.MintValue Methods pmempty :: forall (s :: S). Term s PMintValue pmtimes :: forall (s :: S). Term s PNatural -> Term s PMintValue -> Term s PMintValue | |||||
| PSemigroup PMintValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V3.MintValue Methods (#<>) :: forall (s :: S). Term s PMintValue -> Term s PMintValue -> Term s PMintValue pstimes :: forall (s :: S). Term s PPositive -> Term s PMintValue -> Term s PMintValue | |||||
| PShow PMintValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V3.MintValue Methods pshow' :: forall (s :: S). Bool -> Term s PMintValue -> Term s PString | |||||
| PTryFrom PData (PAsData PMintValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V3.MintValue Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PMintValue), Reduce (PTryFromExcess PData (PAsData PMintValue) s)) -> Term s r) -> Term s r | |||||
| Generic (PMintValue s) Source # | |||||
Defined in Plutarch.LedgerApi.V3.MintValue Associated Types
Methods from :: PMintValue s -> Rep (PMintValue s) x Source # to :: Rep (PMintValue s) x -> PMintValue s Source # | |||||
| Generic (PMintValue s) Source # | |||||
Defined in Plutarch.LedgerApi.V3.MintValue Associated Types
| |||||
| Monoid (Term s PMintValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V3.MintValue Methods mempty :: Term s PMintValue Source # mappend :: Term s PMintValue -> Term s PMintValue -> Term s PMintValue Source # mconcat :: [Term s PMintValue] -> Term s PMintValue Source # | |||||
| Semigroup (Term s PMintValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V3.MintValue Methods (<>) :: Term s PMintValue -> Term s PMintValue -> Term s PMintValue Source # sconcat :: NonEmpty (Term s PMintValue) -> Term s PMintValue Source # stimes :: Integral b => b -> Term s PMintValue -> Term s PMintValue Source # | |||||
| Group (Term s PMintValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V3.MintValue Methods inv :: Term s PMintValue -> Term s PMintValue | |||||
| Monoid (Term s PMintValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V3.MintValue Methods mempty :: Term s PMintValue | |||||
| Semigroup (Term s PMintValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V3.MintValue Methods (<>) :: Term s PMintValue -> Term s PMintValue -> Term s PMintValue | |||||
| type PInner PMintValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V3.MintValue | |||||
| type PTryFromExcess PData (PAsData PMintValue) Source # | |||||
Defined in Plutarch.LedgerApi.V3.MintValue | |||||
| type Rep (PMintValue s) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V3.MintValue type Rep (PMintValue s) = D1 ('MetaData "PMintValue" "Plutarch.LedgerApi.V3.MintValue" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PMintValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PSortedValue)))) | |||||
| type Code (PMintValue s) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V3.MintValue | |||||
pemptyMintValue :: forall (s :: S). Term s PMintValue Source #
Construct an empty PMintValue.
Since: 3.6.0
psingletonMintValue :: forall (s :: S). Term s (PCurrencySymbol :--> (PTokenName :--> (PInteger :--> PMintValue))) Source #
Construct a singleton PMintValue containing only the given quantity of
the given currency.
Important note
If the quantity is zero, or if the provided currency symbol is the Ada symbol,
the result is an empty PMintValue.
Since: 3.6.0
ptoMintValue :: forall (s :: S). Term s (PSortedValue :--> PMintValue) Source #
Assoc map
Types
newtype PAssocMap (k :: S -> Type) (v :: S -> Type) (s :: S) Source #
Since: 3.5.0
Constructors
| PAssocMap (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v)))) |
Instances
| PIsData (PAssocMap k v) Source # | Since: 3.6.0 | ||||
Defined in Plutarch.LedgerApi.AssocMap Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PAssocMap k v)) -> Term s (PAssocMap k v) pdataImpl :: forall (s :: S). Term s (PAssocMap k v) -> Term s PData | |||||
| (PValidateData k, PValidateData v) => PValidateData (PAssocMap k v) Source # | Since: 3.6.0 | ||||
Defined in Plutarch.LedgerApi.AssocMap Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||
| PlutusType (PAssocMap k v) Source # | |||||
Defined in Plutarch.LedgerApi.AssocMap Associated Types
| |||||
| (PIsData k, PIsData v, PShow k, PShow v) => PShow (PAssocMap k v) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.AssocMap | |||||
| Generic (PAssocMap k v s) Source # | |||||
Defined in Plutarch.LedgerApi.AssocMap Associated Types
| |||||
| Generic (PAssocMap k v s) Source # | |||||
Defined in Plutarch.LedgerApi.AssocMap Associated Types
| |||||
| type PInner (PAssocMap k v) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.AssocMap | |||||
| type Rep (PAssocMap k v s) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.AssocMap type Rep (PAssocMap k v s) = D1 ('MetaData "PAssocMap" "Plutarch.LedgerApi.AssocMap" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PAssocMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v))))))) | |||||
| type Code (PAssocMap k v s) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.AssocMap | |||||
newtype PUnsortedMap (k :: S -> Type) (v :: S -> Type) (s :: S) Source #
Since: 3.5.0
Constructors
| PUnsortedMap (Term s (PAssocMap k v)) |
Instances
| (PTryFrom PData (PAsData k), PTryFrom PData (PAsData v)) => PTryFrom PData (PAsData (PUnsortedMap k v)) Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.AssocMap Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PUnsortedMap k v)), Reduce (PTryFromExcess PData (PAsData (PUnsortedMap k v)) s)) -> Term s r) -> Term s r | |||||||||
| PIsData (PUnsortedMap k v) Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.AssocMap Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PUnsortedMap k v)) -> Term s (PUnsortedMap k v) pdataImpl :: forall (s :: S). Term s (PUnsortedMap k v) -> Term s PData | |||||||||
| (ToData (AsHaskell k), ToData (AsHaskell v), FromData (AsHaskell k), FromData (AsHaskell v)) => PLiftable (PUnsortedMap k v) Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.AssocMap Associated Types
Methods haskToRepr :: AsHaskell (PUnsortedMap k v) -> PlutusRepr (PUnsortedMap k v) reprToHask :: PlutusRepr (PUnsortedMap k v) -> Either LiftError (AsHaskell (PUnsortedMap k v)) reprToPlut :: forall (s :: S). PlutusRepr (PUnsortedMap k v) -> PLifted s (PUnsortedMap k v) plutToRepr :: (forall (s :: S). PLifted s (PUnsortedMap k v)) -> Either LiftError (PlutusRepr (PUnsortedMap k v)) | |||||||||
| (PValidateData k, PValidateData v) => PValidateData (PUnsortedMap k v) Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.AssocMap Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType (PUnsortedMap k v) Source # | |||||||||
Defined in Plutarch.LedgerApi.AssocMap Associated Types
Methods pcon' :: forall (s :: S). PUnsortedMap k v s -> Term s (PInner (PUnsortedMap k v)) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner (PUnsortedMap k v)) -> (PUnsortedMap k v s -> Term s b) -> Term s b | |||||||||
| (PIsData k, PIsData v, PShow k, PShow v) => PShow (PUnsortedMap k v) Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.AssocMap Methods pshow' :: forall (s :: S). Bool -> Term s (PUnsortedMap k v) -> Term s PString | |||||||||
| Generic (PUnsortedMap k v s) Source # | |||||||||
Defined in Plutarch.LedgerApi.AssocMap Associated Types
Methods from :: PUnsortedMap k v s -> Rep (PUnsortedMap k v s) x Source # to :: Rep (PUnsortedMap k v s) x -> PUnsortedMap k v s Source # | |||||||||
| Generic (PUnsortedMap k v s) Source # | |||||||||
Defined in Plutarch.LedgerApi.AssocMap Associated Types
Methods from :: PUnsortedMap k v s -> Rep (PUnsortedMap k v s) to :: Rep (PUnsortedMap k v s) -> PUnsortedMap k v s | |||||||||
| type PTryFromExcess PData (PAsData (PUnsortedMap k v)) Source # | |||||||||
Defined in Plutarch.LedgerApi.AssocMap type PTryFromExcess PData (PAsData (PUnsortedMap k v)) = PTryFromExcess PData (PInner (PAsData (PUnsortedMap k v))) | |||||||||
| type AsHaskell (PUnsortedMap k v) Source # | |||||||||
Defined in Plutarch.LedgerApi.AssocMap type AsHaskell (PUnsortedMap k v) = Map (AsHaskell k) (AsHaskell v) | |||||||||
| type PlutusRepr (PUnsortedMap k v) Source # | |||||||||
Defined in Plutarch.LedgerApi.AssocMap type PlutusRepr (PUnsortedMap k v) = [(Data, Data)] | |||||||||
| type PInner (PUnsortedMap k v) Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.AssocMap | |||||||||
| type Rep (PUnsortedMap k v s) Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.AssocMap type Rep (PUnsortedMap k v s) = D1 ('MetaData "PUnsortedMap" "Plutarch.LedgerApi.AssocMap" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PUnsortedMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAssocMap k v))))) | |||||||||
| type Code (PUnsortedMap k v s) Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.AssocMap | |||||||||
data PSortedMap (k :: S -> Type) (v :: S -> Type) (s :: S) Source #
Instances
| (POrd k, PIsData k, PTryFrom PData (PAsData k), PTryFrom PData (PAsData v)) => PTryFrom PData (PAsData (PSortedMap k v)) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.AssocMap Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PSortedMap k v)), Reduce (PTryFromExcess PData (PAsData (PSortedMap k v)) s)) -> Term s r) -> Term s r | |||||
| PEq (PSortedMap k v) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.AssocMap Methods (#==) :: forall (s :: S). Term s (PSortedMap k v) -> Term s (PSortedMap k v) -> Term s PBool | |||||
| PIsData (PSortedMap k v) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.AssocMap Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PSortedMap k v)) -> Term s (PSortedMap k v) pdataImpl :: forall (s :: S). Term s (PSortedMap k v) -> Term s PData | |||||
| (PValidateData k, PValidateData v, POrd k, PIsData k) => PValidateData (PSortedMap k v) Source # | Checks that we have a valid Since: 3.6.0 | ||||
Defined in Plutarch.LedgerApi.AssocMap Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||
| PlutusType (PSortedMap k v) Source # | |||||
Defined in Plutarch.LedgerApi.AssocMap Associated Types
Methods pcon' :: forall (s :: S). PSortedMap k v s -> Term s (PInner (PSortedMap k v)) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner (PSortedMap k v)) -> (PSortedMap k v s -> Term s b) -> Term s b | |||||
| (PIsData k, PIsData v, PShow k, PShow v) => PShow (PSortedMap k v) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.AssocMap Methods pshow' :: forall (s :: S). Bool -> Term s (PSortedMap k v) -> Term s PString | |||||
| Generic (PSortedMap k v s) Source # | |||||
Defined in Plutarch.LedgerApi.AssocMap Associated Types
Methods from :: PSortedMap k v s -> Rep (PSortedMap k v s) x Source # to :: Rep (PSortedMap k v s) x -> PSortedMap k v s Source # | |||||
| Generic (PSortedMap k v s) Source # | |||||
Defined in Plutarch.LedgerApi.AssocMap Associated Types
Methods from :: PSortedMap k v s -> Rep (PSortedMap k v s) to :: Rep (PSortedMap k v s) -> PSortedMap k v s | |||||
| type PTryFromExcess PData (PAsData (PSortedMap k v)) Source # | |||||
Defined in Plutarch.LedgerApi.AssocMap type PTryFromExcess PData (PAsData (PSortedMap k v)) = PTryFromExcess PData (PInner (PAsData (PSortedMap k v))) | |||||
| type PInner (PSortedMap k v) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.AssocMap | |||||
| type Rep (PSortedMap k v s) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.AssocMap type Rep (PSortedMap k v s) = D1 ('MetaData "PSortedMap" "Plutarch.LedgerApi.AssocMap" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PSortedMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAssocMap k v))))) | |||||
| type Code (PSortedMap k v s) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.AssocMap | |||||
Address
data PCredential (s :: S) Source #
Since: 2.0.0
Constructors
| PPubKeyCredential (Term s (PAsData PPubKeyHash)) | |
| PScriptCredential (Term s (PAsData PScriptHash)) |
Instances
| PEq PCredential Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential Methods (#==) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool | |||||||||
| PIsData PCredential Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PCredential) -> Term s PCredential pdataImpl :: forall (s :: S). Term s PCredential -> Term s PData | |||||||||
| PLiftable PCredential Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Credential Associated Types
Methods haskToRepr :: AsHaskell PCredential -> PlutusRepr PCredential reprToHask :: PlutusRepr PCredential -> Either LiftError (AsHaskell PCredential) reprToPlut :: forall (s :: S). PlutusRepr PCredential -> PLifted s PCredential plutToRepr :: (forall (s :: S). PLifted s PCredential) -> Either LiftError (PlutusRepr PCredential) | |||||||||
| POrd PCredential Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential Methods (#<=) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool (#<) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool 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 | |||||||||
| PValidateData PCredential Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PCredential Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Credential Associated Types
Methods pcon' :: forall (s :: S). PCredential s -> Term s (PInner PCredential) pmatch' :: forall (s :: S) (b :: S -> Type). 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 Methods pshow' :: forall (s :: S). Bool -> Term s PCredential -> Term s PString | |||||||||
| PTryFrom PData (PAsData PCredential) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). 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 Associated Types
Methods from :: PCredential s -> Rep (PCredential s) x Source # to :: Rep (PCredential s) x -> PCredential s Source # | |||||||||
| Generic (PCredential s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Credential Associated Types
| |||||||||
| type AsHaskell PCredential Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential | |||||||||
| type PlutusRepr PCredential Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Credential | |||||||||
| type PInner PCredential Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PPubKeyCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash)))) :+: C1 ('MetaCons "PScriptCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PScriptHash))))) | |||||||||
| type Code (PCredential s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential | |||||||||
data PStakingCredential (s :: S) Source #
Since: 2.0.0
Constructors
| PStakingHash (Term s PCredential) | |
| PStakingPtr (Term s (PAsData PInteger)) (Term s (PAsData PInteger)) (Term s (PAsData PInteger)) |
Instances
| PEq PStakingCredential Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential Methods (#==) :: forall (s :: S). Term s PStakingCredential -> Term s PStakingCredential -> Term s PBool | |||||||||
| PIsData PStakingCredential Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PStakingCredential) -> Term s PStakingCredential pdataImpl :: forall (s :: S). Term s PStakingCredential -> Term s PData | |||||||||
| PLiftable PStakingCredential Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Credential Associated Types
Methods haskToRepr :: AsHaskell PStakingCredential -> PlutusRepr PStakingCredential reprToHask :: PlutusRepr PStakingCredential -> Either LiftError (AsHaskell PStakingCredential) reprToPlut :: forall (s :: S). PlutusRepr PStakingCredential -> PLifted s PStakingCredential plutToRepr :: (forall (s :: S). PLifted s PStakingCredential) -> Either LiftError (PlutusRepr PStakingCredential) | |||||||||
| PValidateData PStakingCredential Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PStakingCredential Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Credential Associated Types
Methods pcon' :: forall (s :: S). PStakingCredential s -> Term s (PInner PStakingCredential) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PStakingCredential) -> (PStakingCredential s -> Term s b) -> Term s b | |||||||||
| PShow PStakingCredential Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential Methods pshow' :: forall (s :: S). Bool -> Term s PStakingCredential -> Term s PString | |||||||||
| PTryFrom PData (PAsData PStakingCredential) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PStakingCredential), Reduce (PTryFromExcess PData (PAsData PStakingCredential) s)) -> Term s r) -> Term s r | |||||||||
| Generic (PStakingCredential s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Credential Associated Types
Methods from :: PStakingCredential s -> Rep (PStakingCredential s) x Source # to :: Rep (PStakingCredential s) x -> PStakingCredential s Source # | |||||||||
| Generic (PStakingCredential s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Credential Associated Types
Methods from :: PStakingCredential s -> Rep (PStakingCredential s) to :: Rep (PStakingCredential s) -> PStakingCredential s | |||||||||
| type AsHaskell PStakingCredential Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential type AsHaskell PStakingCredential = AsHaskell (DeriveDataPLiftable PStakingCredential StakingCredential) | |||||||||
| type PlutusRepr PStakingCredential Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Credential type PlutusRepr PStakingCredential = PlutusRepr (DeriveDataPLiftable PStakingCredential StakingCredential) | |||||||||
| type PInner PStakingCredential Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential | |||||||||
| type PTryFromExcess PData (PAsData PStakingCredential) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Credential type PTryFromExcess PData (PAsData PStakingCredential) = PTryFromExcess PData (PInner (PAsData PStakingCredential)) | |||||||||
| type Rep (PStakingCredential s) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential type Rep (PStakingCredential s) = D1 ('MetaData "PStakingCredential" "Plutarch.LedgerApi.V1.Credential" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PStakingHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))) :+: C1 ('MetaCons "PStakingPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger)))))) | |||||||||
| type Code (PStakingCredential s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Credential | |||||||||
data PAddress (s :: S) Source #
Since: 2.0.0
Constructors
| PAddress | |
Fields
| |
Instances
| PEq PAddress Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Address | |||||||||
| PIsData PAddress Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Address Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PAddress) -> Term s PAddress pdataImpl :: forall (s :: S). Term s PAddress -> Term s PData | |||||||||
| PLiftable PAddress Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Address Associated Types
Methods haskToRepr :: AsHaskell PAddress -> PlutusRepr PAddress reprToHask :: PlutusRepr PAddress -> Either LiftError (AsHaskell PAddress) reprToPlut :: forall (s :: S). PlutusRepr PAddress -> PLifted s PAddress plutToRepr :: (forall (s :: S). PLifted s PAddress) -> Either LiftError (PlutusRepr PAddress) | |||||||||
| PValidateData PAddress Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Address Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PAddress Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Address Associated Types
| |||||||||
| PShow PAddress Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Address | |||||||||
| PTryFrom PData (PAsData PAddress) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Address Associated Types
| |||||||||
| Generic (PAddress s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Address Associated Types
| |||||||||
| Generic (PAddress s) Source # | |||||||||
| type AsHaskell PAddress Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Address | |||||||||
| type PlutusRepr PAddress Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Address | |||||||||
| type PInner PAddress Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PAddress" 'PrefixI 'True) (S1 ('MetaSel ('Just "paddress'credential") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)) :*: S1 ('MetaSel ('Just "paddress'stakingCredential") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PStakingCredential))))) | |||||||||
| type Code (PAddress s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Address | |||||||||
Time
newtype PPosixTime (s :: S) Source #
Since: 2.0.0
Constructors
| PPosixTime (Term s PInteger) |
Instances
| PCountable PPosixTime Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Time Methods psuccessor :: forall (s :: S). Term s (PPosixTime :--> PPosixTime) psuccessorN :: forall (s :: S). Term s (PPositive :--> (PPosixTime :--> PPosixTime)) | |||||||||
| PEnumerable PPosixTime Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Time Methods ppredecessor :: forall (s :: S). Term s (PPosixTime :--> PPosixTime) ppredecessorN :: forall (s :: S). Term s (PPositive :--> (PPosixTime :--> PPosixTime)) | |||||||||
| PEq PPosixTime Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Time Methods (#==) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool | |||||||||
| PIsData PPosixTime Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Time Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PPosixTime) -> Term s PPosixTime pdataImpl :: forall (s :: S). Term s PPosixTime -> Term s PData | |||||||||
| PLiftable PPosixTime Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Time Associated Types
Methods haskToRepr :: AsHaskell PPosixTime -> PlutusRepr PPosixTime reprToHask :: PlutusRepr PPosixTime -> Either LiftError (AsHaskell PPosixTime) reprToPlut :: forall (s :: S). PlutusRepr PPosixTime -> PLifted s PPosixTime plutToRepr :: (forall (s :: S). PLifted s PPosixTime) -> Either LiftError (PlutusRepr PPosixTime) | |||||||||
| PAdditiveGroup PPosixTime Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Time Methods pnegate :: forall (s :: S). Term s (PPosixTime :--> PPosixTime) (#-) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PPosixTime pscaleInteger :: forall (s :: S). Term s PPosixTime -> Term s PInteger -> Term s PPosixTime | |||||||||
| PAdditiveMonoid PPosixTime Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Time Methods pzero :: forall (s :: S). Term s PPosixTime pscaleNatural :: forall (s :: S). Term s PPosixTime -> Term s PNatural -> Term s PPosixTime | |||||||||
| PAdditiveSemigroup PPosixTime Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Time Methods (#+) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PPosixTime pscalePositive :: forall (s :: S). Term s PPosixTime -> Term s PPositive -> Term s PPosixTime | |||||||||
| POrd PPosixTime Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Time Methods (#<=) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool (#<) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool pmax :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PPosixTime pmin :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PPosixTime | |||||||||
| PValidateData PPosixTime Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Time Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PPosixTime Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Time Associated Types
Methods pcon' :: forall (s :: S). PPosixTime s -> Term s (PInner PPosixTime) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PPosixTime) -> (PPosixTime s -> Term s b) -> Term s b | |||||||||
| PShow PPosixTime Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Time Methods pshow' :: forall (s :: S). Bool -> Term s PPosixTime -> Term s PString | |||||||||
| PTryFrom PData (PAsData PPosixTime) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Time Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). 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 Associated Types
Methods from :: PPosixTime s -> Rep (PPosixTime s) x Source # to :: Rep (PPosixTime s) x -> PPosixTime s Source # | |||||||||
| Generic (PPosixTime s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Time Associated Types
| |||||||||
| type AsHaskell PPosixTime Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Time | |||||||||
| type PlutusRepr PPosixTime Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Time | |||||||||
| type PInner PPosixTime Source # | Since: 3.3.0 | ||||||||
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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PPosixTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PInteger)))) | |||||||||
| type Code (PPosixTime s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Time | |||||||||
pposixTime :: forall (s :: S). Term s PInteger -> Term s PPosixTime Source #
Construct a PPosixTime from a PInteger. Same as using the constructor,
but a lot shorter.
Since: 3.3.0
unPPosixTime :: forall (s :: S). Term s PPosixTime -> Term s PInteger Source #
Unwrap a PPosixTime to get a PInteger. Same as using pmatch, but a
lot shorter. Also unwraps the Data encoding.
Since: 3.3.0
Interval
data PInterval (a :: S -> Type) (s :: S) Source #
Since: 2.0.0
Constructors
| PInterval | |
Fields
| |
Instances
| PTryFrom PData (PAsData a) => PTryFrom PData (PAsData (PInterval a)) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
| |||||||||
| (PIsData a, PEnumerable a) => PEq (PInterval a) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval | |||||||||
| PIsData (PInterval a) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PInterval a)) -> Term s (PInterval a) pdataImpl :: forall (s :: S). Term s (PInterval a) -> Term s PData | |||||||||
| (FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PInterval a) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
Methods haskToRepr :: AsHaskell (PInterval a) -> PlutusRepr (PInterval a) reprToHask :: PlutusRepr (PInterval a) -> Either LiftError (AsHaskell (PInterval a)) reprToPlut :: forall (s :: S). PlutusRepr (PInterval a) -> PLifted s (PInterval a) plutToRepr :: (forall (s :: S). PLifted s (PInterval a)) -> Either LiftError (PlutusRepr (PInterval a)) | |||||||||
| PValidateData a => PValidateData (PInterval a) Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType (PInterval a) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
| |||||||||
| (PIsData a, PShow a) => PShow (PInterval a) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval | |||||||||
| Generic (PInterval a s) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
| |||||||||
| Generic (PInterval a s) Source # | |||||||||
| type PTryFromExcess PData (PAsData (PInterval a)) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval | |||||||||
| type AsHaskell (PInterval a) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval | |||||||||
| type PlutusRepr (PInterval a) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval | |||||||||
| type PInner (PInterval a) Source # | Since: 3.3.0 | ||||||||
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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "pinterval'from") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PLowerBound a))) :*: S1 ('MetaSel ('Just "pinterval'to") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PUpperBound a))))) | |||||||||
| type Code (PInterval a s) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval | |||||||||
data PLowerBound (a :: S -> Type) (s :: S) Source #
Since: 2.0.0
Constructors
| PLowerBound (Term s (PExtended a)) (Term s (PAsData PBool)) |
Instances
| PTryFrom PData (PAsData a) => PTryFrom PData (PAsData (PLowerBound a)) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PLowerBound a)), Reduce (PTryFromExcess PData (PAsData (PLowerBound a)) s)) -> Term s r) -> Term s r | |||||||||
| (PIsData a, PCountable a) => PEq (PLowerBound a) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Methods (#==) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool | |||||||||
| PIsData (PLowerBound a) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PLowerBound a)) -> Term s (PLowerBound a) pdataImpl :: forall (s :: S). Term s (PLowerBound a) -> Term s PData | |||||||||
| (FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PLowerBound a) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
Methods haskToRepr :: AsHaskell (PLowerBound a) -> PlutusRepr (PLowerBound a) reprToHask :: PlutusRepr (PLowerBound a) -> Either LiftError (AsHaskell (PLowerBound a)) reprToPlut :: forall (s :: S). PlutusRepr (PLowerBound a) -> PLifted s (PLowerBound a) plutToRepr :: (forall (s :: S). PLifted s (PLowerBound a)) -> Either LiftError (PlutusRepr (PLowerBound a)) | |||||||||
| (PIsData a, PCountable a) => POrd (PLowerBound a) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Methods (#<=) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool (#<) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool pmax :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s (PLowerBound a) pmin :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s (PLowerBound a) | |||||||||
| PValidateData a => PValidateData (PLowerBound a) Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType (PLowerBound a) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
Methods pcon' :: forall (s :: S). PLowerBound a s -> Term s (PInner (PLowerBound a)) pmatch' :: forall (s :: S) (b :: S -> Type). 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 Methods pshow' :: forall (s :: S). Bool -> Term s (PLowerBound a) -> Term s PString | |||||||||
| Generic (PLowerBound a s) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
Methods from :: PLowerBound a s -> Rep (PLowerBound a s) x Source # to :: Rep (PLowerBound a s) x -> PLowerBound a s Source # | |||||||||
| Generic (PLowerBound a s) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
Methods from :: PLowerBound a s -> Rep (PLowerBound a s) to :: Rep (PLowerBound a s) -> PLowerBound a s | |||||||||
| 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 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 PInner (PLowerBound a) Source # | Since: 3.3.0 | ||||||||
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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PLowerBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PExtended a))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PBool))))) | |||||||||
| type Code (PLowerBound a s) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval | |||||||||
data PUpperBound (a :: S -> Type) (s :: S) Source #
Since: 2.0.0
Constructors
| PUpperBound (Term s (PExtended a)) (Term s (PAsData PBool)) |
Instances
| PTryFrom PData (PAsData a) => PTryFrom PData (PAsData (PUpperBound a)) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PUpperBound a)), Reduce (PTryFromExcess PData (PAsData (PUpperBound a)) s)) -> Term s r) -> Term s r | |||||||||
| (PIsData a, PEnumerable a) => PEq (PUpperBound a) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Methods (#==) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool | |||||||||
| PIsData (PUpperBound a) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PUpperBound a)) -> Term s (PUpperBound a) pdataImpl :: forall (s :: S). Term s (PUpperBound a) -> Term s PData | |||||||||
| (FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PUpperBound a) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
Methods haskToRepr :: AsHaskell (PUpperBound a) -> PlutusRepr (PUpperBound a) reprToHask :: PlutusRepr (PUpperBound a) -> Either LiftError (AsHaskell (PUpperBound a)) reprToPlut :: forall (s :: S). PlutusRepr (PUpperBound a) -> PLifted s (PUpperBound a) plutToRepr :: (forall (s :: S). PLifted s (PUpperBound a)) -> Either LiftError (PlutusRepr (PUpperBound a)) | |||||||||
| (PIsData a, PEnumerable a) => POrd (PUpperBound a) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Methods (#<=) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool (#<) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool pmax :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s (PUpperBound a) pmin :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s (PUpperBound a) | |||||||||
| PValidateData a => PValidateData (PUpperBound a) Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType (PUpperBound a) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
Methods pcon' :: forall (s :: S). PUpperBound a s -> Term s (PInner (PUpperBound a)) pmatch' :: forall (s :: S) (b :: S -> Type). 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 Methods pshow' :: forall (s :: S). Bool -> Term s (PUpperBound a) -> Term s PString | |||||||||
| Generic (PUpperBound a s) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
Methods from :: PUpperBound a s -> Rep (PUpperBound a s) x Source # to :: Rep (PUpperBound a s) x -> PUpperBound a s Source # | |||||||||
| Generic (PUpperBound a s) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
Methods from :: PUpperBound a s -> Rep (PUpperBound a s) to :: Rep (PUpperBound a s) -> PUpperBound a s | |||||||||
| 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 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 PInner (PUpperBound a) Source # | Since: 3.3.0 | ||||||||
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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PUpperBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PExtended a))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PBool))))) | |||||||||
| type Code (PUpperBound a s) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval | |||||||||
data PExtended (a :: S -> Type) (s :: S) Source #
Since: 2.0.0
Instances
| PTryFrom PData (PAsData a) => PTryFrom PData (PAsData (PExtended a)) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
| |||||||||
| PEq (PExtended a) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval | |||||||||
| PIsData (PExtended a) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PExtended a)) -> Term s (PExtended a) pdataImpl :: forall (s :: S). Term s (PExtended a) -> Term s PData | |||||||||
| (FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PExtended a) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
Methods haskToRepr :: AsHaskell (PExtended a) -> PlutusRepr (PExtended a) reprToHask :: PlutusRepr (PExtended a) -> Either LiftError (AsHaskell (PExtended a)) reprToPlut :: forall (s :: S). PlutusRepr (PExtended a) -> PLifted s (PExtended a) plutToRepr :: (forall (s :: S). PLifted s (PExtended a)) -> Either LiftError (PlutusRepr (PExtended a)) | |||||||||
| (POrd a, PIsData a) => POrd (PExtended a) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval Methods (#<=) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool (#<) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool pmax :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s (PExtended a) pmin :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s (PExtended a) | |||||||||
| PValidateData a => PValidateData (PExtended a) Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType (PExtended a) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
| |||||||||
| (PIsData a, PShow a) => PShow (PExtended a) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval | |||||||||
| Generic (PExtended a s) Source # | |||||||||
Defined in Plutarch.LedgerApi.Interval Associated Types
| |||||||||
| Generic (PExtended a s) Source # | |||||||||
| type PTryFromExcess PData (PAsData (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 PInner (PExtended a) Source # | Since: 3.3.0 | ||||||||
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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PNegInf" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PFinite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData a)))) :+: C1 ('MetaCons "PPosInf" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||||||
| type Code (PExtended a s) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Interval | |||||||||
CIP-1694
data PTxCert (s :: S) Source #
Since: 3.1.0
Constructors
| PTxCertRegStaking (Term s PCredential) (Term s (PMaybeData PLovelace)) | |
| PTxCertUnRegStaking (Term s PCredential) (Term s (PMaybeData PLovelace)) | |
| PTxCertDelegStaking (Term s PCredential) (Term s PDelegatee) | |
| PTxCertRegDeleg (Term s PCredential) (Term s PDelegatee) (Term s (PAsData PLovelace)) | |
| PTxCertRegDRep (Term s PDRepCredential) (Term s (PAsData PLovelace)) | |
| PTxCertUpdateDRep (Term s PDRepCredential) | |
| PTxCertUnRegDRep (Term s PDRepCredential) (Term s (PAsData PLovelace)) | |
| PTxCertPoolRegister (Term s (PAsData PPubKeyHash)) (Term s (PAsData PPubKeyHash)) | |
| PTxCertPoolRetire (Term s (PAsData PPubKeyHash)) (Term s (PAsData PInteger)) | |
| PTxCertAuthHotCommittee (Term s PColdCommitteeCredential) (Term s PHotCommitteeCredential) | |
| PTxCertResignColdCommittee (Term s PColdCommitteeCredential) |
Instances
| PEq PTxCert Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| PIsData PTxCert Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxCert) -> Term s PTxCert pdataImpl :: forall (s :: S). Term s PTxCert -> Term s PData | |||||||||
| PLiftable PTxCert Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PTxCert -> PlutusRepr PTxCert reprToHask :: PlutusRepr PTxCert -> Either LiftError (AsHaskell PTxCert) reprToPlut :: forall (s :: S). PlutusRepr PTxCert -> PLifted s PTxCert plutToRepr :: (forall (s :: S). PLifted s PTxCert) -> Either LiftError (PlutusRepr PTxCert) | |||||||||
| PValidateData PTxCert Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PTxCert Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| PShow PTxCert Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| PTryFrom PData (PAsData PTxCert) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| Generic (PTxCert s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| Generic (PTxCert s) Source # | |||||||||
| type AsHaskell PTxCert Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PlutusRepr PTxCert Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PInner PTxCert Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PTryFromExcess PData (PAsData PTxCert) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type Rep (PTxCert s) Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PTxCert s) = D1 ('MetaData "PTxCert" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (((C1 ('MetaCons "PTxCertRegStaking" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PLovelace)))) :+: C1 ('MetaCons "PTxCertUnRegStaking" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PLovelace))))) :+: (C1 ('MetaCons "PTxCertDelegStaking" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDelegatee))) :+: (C1 ('MetaCons "PTxCertRegDeleg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDelegatee)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PLovelace))))) :+: C1 ('MetaCons "PTxCertRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRepCredential)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PLovelace))))))) :+: ((C1 ('MetaCons "PTxCertUpdateDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRepCredential))) :+: (C1 ('MetaCons "PTxCertUnRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRepCredential)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PLovelace)))) :+: C1 ('MetaCons "PTxCertPoolRegister" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash)))))) :+: (C1 ('MetaCons "PTxCertPoolRetire" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger)))) :+: (C1 ('MetaCons "PTxCertAuthHotCommittee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PColdCommitteeCredential)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PHotCommitteeCredential))) :+: C1 ('MetaCons "PTxCertResignColdCommittee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PColdCommitteeCredential))))))) | |||||||||
| type Code (PTxCert s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
data PDelegatee (s :: S) Source #
Since: 3.1.0
Constructors
| PDelegStake (Term s (PAsData PPubKeyHash)) | |
| PDelegVote (Term s PDRep) | |
| PDelegStakeVote (Term s (PAsData PPubKeyHash)) (Term s PDRep) |
Instances
| PEq PDelegatee Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PDelegatee -> Term s PDelegatee -> Term s PBool | |||||||||
| PIsData PDelegatee Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PDelegatee) -> Term s PDelegatee pdataImpl :: forall (s :: S). Term s PDelegatee -> Term s PData | |||||||||
| PLiftable PDelegatee Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PDelegatee -> PlutusRepr PDelegatee reprToHask :: PlutusRepr PDelegatee -> Either LiftError (AsHaskell PDelegatee) reprToPlut :: forall (s :: S). PlutusRepr PDelegatee -> PLifted s PDelegatee plutToRepr :: (forall (s :: S). PLifted s PDelegatee) -> Either LiftError (PlutusRepr PDelegatee) | |||||||||
| PValidateData PDelegatee Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PDelegatee Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods pcon' :: forall (s :: S). PDelegatee s -> Term s (PInner PDelegatee) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PDelegatee) -> (PDelegatee s -> Term s b) -> Term s b | |||||||||
| PShow PDelegatee Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PDelegatee -> Term s PString | |||||||||
| PTryFrom PData (PAsData PDelegatee) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PDelegatee), Reduce (PTryFromExcess PData (PAsData PDelegatee) s)) -> Term s r) -> Term s r | |||||||||
| Generic (PDelegatee s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PDelegatee s -> Rep (PDelegatee s) x Source # to :: Rep (PDelegatee s) x -> PDelegatee s Source # | |||||||||
| Generic (PDelegatee s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| type AsHaskell PDelegatee Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PlutusRepr PDelegatee Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PInner PDelegatee Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PDelegStake" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash)))) :+: (C1 ('MetaCons "PDelegVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRep))) :+: C1 ('MetaCons "PDelegStakeVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRep))))) | |||||||||
| type Code (PDelegatee s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
newtype PDRepCredential (s :: S) Source #
Since: 3.1.0
Constructors
| PDRepCredential (Term s PCredential) |
Instances
| PEq PDRepCredential Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PDRepCredential -> Term s PDRepCredential -> Term s PBool | |||||||||
| PIsData PDRepCredential Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PDRepCredential) -> Term s PDRepCredential pdataImpl :: forall (s :: S). Term s PDRepCredential -> Term s PData | |||||||||
| PLiftable PDRepCredential Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PDRepCredential -> PlutusRepr PDRepCredential reprToHask :: PlutusRepr PDRepCredential -> Either LiftError (AsHaskell PDRepCredential) reprToPlut :: forall (s :: S). PlutusRepr PDRepCredential -> PLifted s PDRepCredential plutToRepr :: (forall (s :: S). PLifted s PDRepCredential) -> Either LiftError (PlutusRepr PDRepCredential) | |||||||||
| PValidateData PDRepCredential Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PDRepCredential Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods pcon' :: forall (s :: S). PDRepCredential s -> Term s (PInner PDRepCredential) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PDRepCredential) -> (PDRepCredential s -> Term s b) -> Term s b | |||||||||
| PShow PDRepCredential Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PDRepCredential -> Term s PString | |||||||||
| PTryFrom PData (PAsData PDRepCredential) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PDRepCredential), Reduce (PTryFromExcess PData (PAsData PDRepCredential) s)) -> Term s r) -> Term s r | |||||||||
| Generic (PDRepCredential s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PDRepCredential s -> Rep (PDRepCredential s) x Source # to :: Rep (PDRepCredential s) x -> PDRepCredential s Source # | |||||||||
| Generic (PDRepCredential s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PDRepCredential s -> Rep (PDRepCredential s) to :: Rep (PDRepCredential s) -> PDRepCredential s | |||||||||
| type AsHaskell PDRepCredential Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PlutusRepr PDRepCredential Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PInner PDRepCredential Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PDRepCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)))) | |||||||||
| type Code (PDRepCredential s) Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
newtype PColdCommitteeCredential (s :: S) Source #
Since: 3.1.0
Constructors
| PColdCommitteeCredential (Term s PCredential) |
Instances
| PEq PColdCommitteeCredential Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PColdCommitteeCredential -> Term s PColdCommitteeCredential -> Term s PBool | |||||||||
| PIsData PColdCommitteeCredential Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PColdCommitteeCredential) -> Term s PColdCommitteeCredential pdataImpl :: forall (s :: S). Term s PColdCommitteeCredential -> Term s PData | |||||||||
| PLiftable PColdCommitteeCredential Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PColdCommitteeCredential -> PlutusRepr PColdCommitteeCredential reprToHask :: PlutusRepr PColdCommitteeCredential -> Either LiftError (AsHaskell PColdCommitteeCredential) reprToPlut :: forall (s :: S). PlutusRepr PColdCommitteeCredential -> PLifted s PColdCommitteeCredential plutToRepr :: (forall (s :: S). PLifted s PColdCommitteeCredential) -> Either LiftError (PlutusRepr PColdCommitteeCredential) | |||||||||
| PValidateData PColdCommitteeCredential Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PColdCommitteeCredential Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods pcon' :: forall (s :: S). PColdCommitteeCredential s -> Term s (PInner PColdCommitteeCredential) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PColdCommitteeCredential) -> (PColdCommitteeCredential s -> Term s b) -> Term s b | |||||||||
| PShow PColdCommitteeCredential Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PColdCommitteeCredential -> Term s PString | |||||||||
| PTryFrom PData (PAsData PColdCommitteeCredential) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PColdCommitteeCredential), Reduce (PTryFromExcess PData (PAsData PColdCommitteeCredential) s)) -> Term s r) -> Term s r | |||||||||
| Generic (PColdCommitteeCredential s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PColdCommitteeCredential s -> Rep (PColdCommitteeCredential s) x Source # to :: Rep (PColdCommitteeCredential s) x -> PColdCommitteeCredential s Source # | |||||||||
| Generic (PColdCommitteeCredential s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PColdCommitteeCredential s -> Rep (PColdCommitteeCredential s) to :: Rep (PColdCommitteeCredential s) -> PColdCommitteeCredential s | |||||||||
| type AsHaskell PColdCommitteeCredential Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PColdCommitteeCredential = AsHaskell (DeriveDataPLiftable PColdCommitteeCredential ColdCommitteeCredential) | |||||||||
| type PlutusRepr PColdCommitteeCredential Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PColdCommitteeCredential = PlutusRepr (DeriveDataPLiftable PColdCommitteeCredential ColdCommitteeCredential) | |||||||||
| type PInner PColdCommitteeCredential Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PTryFromExcess PData (PAsData PColdCommitteeCredential) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PColdCommitteeCredential) = PTryFromExcess PData (PInner (PAsData PColdCommitteeCredential)) | |||||||||
| type Rep (PColdCommitteeCredential s) Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PColdCommitteeCredential s) = D1 ('MetaData "PColdCommitteeCredential" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PColdCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)))) | |||||||||
| type Code (PColdCommitteeCredential s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
newtype PHotCommitteeCredential (s :: S) Source #
Since: 3.1.0
Constructors
| PHotCommitteeCredential (Term s PCredential) |
Instances
| PEq PHotCommitteeCredential Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PHotCommitteeCredential -> Term s PHotCommitteeCredential -> Term s PBool | |||||||||
| PIsData PHotCommitteeCredential Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PHotCommitteeCredential) -> Term s PHotCommitteeCredential pdataImpl :: forall (s :: S). Term s PHotCommitteeCredential -> Term s PData | |||||||||
| PLiftable PHotCommitteeCredential Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PHotCommitteeCredential -> PlutusRepr PHotCommitteeCredential reprToHask :: PlutusRepr PHotCommitteeCredential -> Either LiftError (AsHaskell PHotCommitteeCredential) reprToPlut :: forall (s :: S). PlutusRepr PHotCommitteeCredential -> PLifted s PHotCommitteeCredential plutToRepr :: (forall (s :: S). PLifted s PHotCommitteeCredential) -> Either LiftError (PlutusRepr PHotCommitteeCredential) | |||||||||
| PValidateData PHotCommitteeCredential Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PHotCommitteeCredential Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods pcon' :: forall (s :: S). PHotCommitteeCredential s -> Term s (PInner PHotCommitteeCredential) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PHotCommitteeCredential) -> (PHotCommitteeCredential s -> Term s b) -> Term s b | |||||||||
| PShow PHotCommitteeCredential Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PHotCommitteeCredential -> Term s PString | |||||||||
| PTryFrom PData (PAsData PHotCommitteeCredential) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PHotCommitteeCredential), Reduce (PTryFromExcess PData (PAsData PHotCommitteeCredential) s)) -> Term s r) -> Term s r | |||||||||
| Generic (PHotCommitteeCredential s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PHotCommitteeCredential s -> Rep (PHotCommitteeCredential s) x Source # to :: Rep (PHotCommitteeCredential s) x -> PHotCommitteeCredential s Source # | |||||||||
| Generic (PHotCommitteeCredential s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PHotCommitteeCredential s -> Rep (PHotCommitteeCredential s) to :: Rep (PHotCommitteeCredential s) -> PHotCommitteeCredential s | |||||||||
| type AsHaskell PHotCommitteeCredential Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PHotCommitteeCredential = AsHaskell (DeriveDataPLiftable PHotCommitteeCredential HotCommitteeCredential) | |||||||||
| type PlutusRepr PHotCommitteeCredential Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PHotCommitteeCredential = PlutusRepr (DeriveDataPLiftable PHotCommitteeCredential HotCommitteeCredential) | |||||||||
| type PInner PHotCommitteeCredential Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PTryFromExcess PData (PAsData PHotCommitteeCredential) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PHotCommitteeCredential) = PTryFromExcess PData (PInner (PAsData PHotCommitteeCredential)) | |||||||||
| type Rep (PHotCommitteeCredential s) Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PHotCommitteeCredential s) = D1 ('MetaData "PHotCommitteeCredential" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PHotCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)))) | |||||||||
| type Code (PHotCommitteeCredential s) Source # | @since | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
Since: 3.1.0
Constructors
| PDRep (Term s (PAsData PDRepCredential)) | |
| PDRepAlwaysAbstain | |
| PDRepAlwaysNoConfidence |
Instances
| PEq PDRep Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| PIsData PDRep Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PDRep) -> Term s PDRep | |||||||||
| PLiftable PDRep Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PDRep -> PlutusRepr PDRep reprToHask :: PlutusRepr PDRep -> Either LiftError (AsHaskell PDRep) reprToPlut :: forall (s :: S). PlutusRepr PDRep -> PLifted s PDRep plutToRepr :: (forall (s :: S). PLifted s PDRep) -> Either LiftError (PlutusRepr PDRep) | |||||||||
| PValidateData PDRep Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PDRep Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| PShow PDRep Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| PTryFrom PData (PAsData PDRep) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| Generic (PDRep s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| Generic (PDRep s) Source # | |||||||||
| type AsHaskell PDRep Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PlutusRepr PDRep Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PInner PDRep Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PDRepCredential)))) :+: (C1 ('MetaCons "PDRepAlwaysAbstain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PDRepAlwaysNoConfidence" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||||||
| type Code (PDRep s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
Since: 3.1.0
Constructors
| PCommitteeVoter (Term s PHotCommitteeCredential) | |
| PDRepVoter (Term s PDRepCredential) | |
| PStakePoolVoter (Term s (PAsData PPubKeyHash)) |
Instances
| PEq PVoter Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| PIsData PVoter Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PVoter) -> Term s PVoter | |||||||||
| PLiftable PVoter Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PVoter -> PlutusRepr PVoter reprToHask :: PlutusRepr PVoter -> Either LiftError (AsHaskell PVoter) reprToPlut :: forall (s :: S). PlutusRepr PVoter -> PLifted s PVoter plutToRepr :: (forall (s :: S). PLifted s PVoter) -> Either LiftError (PlutusRepr PVoter) | |||||||||
| PValidateData PVoter Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PVoter Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| PShow PVoter Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| PTryFrom PData (PAsData PVoter) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| Generic (PVoter s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| Generic (PVoter s) Source # | |||||||||
| type AsHaskell PVoter Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PlutusRepr PVoter Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PInner PVoter Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PCommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PHotCommitteeCredential))) :+: (C1 ('MetaCons "PDRepVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRepCredential))) :+: C1 ('MetaCons "PStakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash)))))) | |||||||||
| type Code (PVoter s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
data PGovernanceActionId (s :: S) Source #
Since: 3.1.0
Constructors
| PGovernanceActionId (Term s (PAsData PTxId)) (Term s (PAsData PInteger)) |
Instances
| PEq PGovernanceActionId Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PGovernanceActionId -> Term s PGovernanceActionId -> Term s PBool | |||||||||
| PIsData PGovernanceActionId Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PGovernanceActionId) -> Term s PGovernanceActionId pdataImpl :: forall (s :: S). Term s PGovernanceActionId -> Term s PData | |||||||||
| PLiftable PGovernanceActionId Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PGovernanceActionId -> PlutusRepr PGovernanceActionId reprToHask :: PlutusRepr PGovernanceActionId -> Either LiftError (AsHaskell PGovernanceActionId) reprToPlut :: forall (s :: S). PlutusRepr PGovernanceActionId -> PLifted s PGovernanceActionId plutToRepr :: (forall (s :: S). PLifted s PGovernanceActionId) -> Either LiftError (PlutusRepr PGovernanceActionId) | |||||||||
| PValidateData PGovernanceActionId Source # | Checks that we have a valid Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PGovernanceActionId Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods pcon' :: forall (s :: S). PGovernanceActionId s -> Term s (PInner PGovernanceActionId) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PGovernanceActionId) -> (PGovernanceActionId s -> Term s b) -> Term s b | |||||||||
| PShow PGovernanceActionId Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PGovernanceActionId -> Term s PString | |||||||||
| PTryFrom PData (PAsData PGovernanceActionId) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PGovernanceActionId), Reduce (PTryFromExcess PData (PAsData PGovernanceActionId) s)) -> Term s r) -> Term s r | |||||||||
| Generic (PGovernanceActionId s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PGovernanceActionId s -> Rep (PGovernanceActionId s) x Source # to :: Rep (PGovernanceActionId s) x -> PGovernanceActionId s Source # | |||||||||
| Generic (PGovernanceActionId s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PGovernanceActionId s -> Rep (PGovernanceActionId s) to :: Rep (PGovernanceActionId s) -> PGovernanceActionId s | |||||||||
| type AsHaskell PGovernanceActionId Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PGovernanceActionId = AsHaskell (DeriveDataPLiftable PGovernanceActionId GovernanceActionId) | |||||||||
| type PlutusRepr PGovernanceActionId Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PGovernanceActionId = PlutusRepr (DeriveDataPLiftable PGovernanceActionId GovernanceActionId) | |||||||||
| type PInner PGovernanceActionId Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PTryFromExcess PData (PAsData PGovernanceActionId) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PGovernanceActionId) = PTryFromExcess PData (PInner (PAsData PGovernanceActionId)) | |||||||||
| type Rep (PGovernanceActionId s) Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PGovernanceActionId s) = D1 ('MetaData "PGovernanceActionId" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PGovernanceActionId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PTxId))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))))) | |||||||||
| type Code (PGovernanceActionId s) Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
Since: 3.1.0
Instances
| PEq PVote Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| PIsData PVote Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PVote) -> Term s PVote | |||||||||
| PLiftable PVote Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PVote -> PlutusRepr PVote reprToHask :: PlutusRepr PVote -> Either LiftError (AsHaskell PVote) reprToPlut :: forall (s :: S). PlutusRepr PVote -> PLifted s PVote plutToRepr :: (forall (s :: S). PLifted s PVote) -> Either LiftError (PlutusRepr PVote) | |||||||||
| PValidateData PVote Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PVote Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| PShow PVote Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| PTryFrom PData (PAsData PVote) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| Generic (PVote s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| Generic (PVote s) Source # | |||||||||
| type AsHaskell PVote Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PlutusRepr PVote Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PInner PVote Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PVoteYes" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PVoteNo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PAbstain" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||||||
| type Code (PVote s) Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
data PProtocolVersion (s :: S) Source #
Since: 3.1.0
Constructors
| PProtocolVersion | |
Fields
| |
Instances
| PEq PProtocolVersion Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PProtocolVersion -> Term s PProtocolVersion -> Term s PBool | |||||||||
| PIsData PProtocolVersion Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PProtocolVersion) -> Term s PProtocolVersion pdataImpl :: forall (s :: S). Term s PProtocolVersion -> Term s PData | |||||||||
| PLiftable PProtocolVersion Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PProtocolVersion -> PlutusRepr PProtocolVersion reprToHask :: PlutusRepr PProtocolVersion -> Either LiftError (AsHaskell PProtocolVersion) reprToPlut :: forall (s :: S). PlutusRepr PProtocolVersion -> PLifted s PProtocolVersion plutToRepr :: (forall (s :: S). PLifted s PProtocolVersion) -> Either LiftError (PlutusRepr PProtocolVersion) | |||||||||
| PValidateData PProtocolVersion Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PProtocolVersion Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods pcon' :: forall (s :: S). PProtocolVersion s -> Term s (PInner PProtocolVersion) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PProtocolVersion) -> (PProtocolVersion s -> Term s b) -> Term s b | |||||||||
| PShow PProtocolVersion Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PProtocolVersion -> Term s PString | |||||||||
| PTryFrom PData (PAsData PProtocolVersion) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PProtocolVersion), Reduce (PTryFromExcess PData (PAsData PProtocolVersion) s)) -> Term s r) -> Term s r | |||||||||
| Generic (PProtocolVersion s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PProtocolVersion s -> Rep (PProtocolVersion s) x Source # to :: Rep (PProtocolVersion s) x -> PProtocolVersion s Source # | |||||||||
| Generic (PProtocolVersion s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PProtocolVersion s -> Rep (PProtocolVersion s) to :: Rep (PProtocolVersion s) -> PProtocolVersion s | |||||||||
| type AsHaskell PProtocolVersion Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PlutusRepr PProtocolVersion Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PProtocolVersion = PlutusRepr (DeriveDataPLiftable PProtocolVersion ProtocolVersion) | |||||||||
| type PInner PProtocolVersion Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PProtocolVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "pprotocolVersion'major") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :*: S1 ('MetaSel ('Just "pprotocolVersion'minor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))))) | |||||||||
| type Code (PProtocolVersion s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
data PProposalProcedure (s :: S) Source #
Since: 3.1.0
Constructors
| PProposalProcedure | |
Fields
| |
Instances
| PEq PProposalProcedure Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PProposalProcedure -> Term s PProposalProcedure -> Term s PBool | |||||||||
| PIsData PProposalProcedure Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PProposalProcedure) -> Term s PProposalProcedure pdataImpl :: forall (s :: S). Term s PProposalProcedure -> Term s PData | |||||||||
| PLiftable PProposalProcedure Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PProposalProcedure -> PlutusRepr PProposalProcedure reprToHask :: PlutusRepr PProposalProcedure -> Either LiftError (AsHaskell PProposalProcedure) reprToPlut :: forall (s :: S). PlutusRepr PProposalProcedure -> PLifted s PProposalProcedure plutToRepr :: (forall (s :: S). PLifted s PProposalProcedure) -> Either LiftError (PlutusRepr PProposalProcedure) | |||||||||
| PValidateData PProposalProcedure Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PProposalProcedure Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods pcon' :: forall (s :: S). PProposalProcedure s -> Term s (PInner PProposalProcedure) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PProposalProcedure) -> (PProposalProcedure s -> Term s b) -> Term s b | |||||||||
| PShow PProposalProcedure Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PProposalProcedure -> Term s PString | |||||||||
| PTryFrom PData (PAsData PProposalProcedure) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PProposalProcedure), Reduce (PTryFromExcess PData (PAsData PProposalProcedure) s)) -> Term s r) -> Term s r | |||||||||
| Generic (PProposalProcedure s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PProposalProcedure s -> Rep (PProposalProcedure s) x Source # to :: Rep (PProposalProcedure s) x -> PProposalProcedure s Source # | |||||||||
| Generic (PProposalProcedure s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PProposalProcedure s -> Rep (PProposalProcedure s) to :: Rep (PProposalProcedure s) -> PProposalProcedure s | |||||||||
| type AsHaskell PProposalProcedure Source # | Since: 3.3.0 | ||||||||
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 PInner PProposalProcedure Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PProposalProcedure" 'PrefixI 'True) (S1 ('MetaSel ('Just "pproposalProcedure'deposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PLovelace))) :*: (S1 ('MetaSel ('Just "pproposalProcedure'returnAddr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)) :*: S1 ('MetaSel ('Just "pproposalProcedure'governanceAction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PGovernanceAction))))) | |||||||||
| type Code (PProposalProcedure s) Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
data PGovernanceAction (s :: S) Source #
Since: 3.1.0
Constructors
| PParameterChange (Term s (PMaybeData PGovernanceActionId)) (Term s PChangedParameters) (Term s (PMaybeData PScriptHash)) | |
| PHardForkInitiation (Term s (PMaybeData PGovernanceActionId)) (Term s PProtocolVersion) | |
| PTreasuryWithdrawals (Term s (PAsData (PUnsortedMap PCredential PLovelace))) (Term s (PMaybeData PScriptHash)) | |
| PNoConfidence (Term s (PMaybeData PGovernanceActionId)) | |
| PUpdateCommittee (Term s (PMaybeData PGovernanceActionId)) (Term s (PAsData (PBuiltinList (PAsData PColdCommitteeCredential)))) (Term s (PAsData (PUnsortedMap PColdCommitteeCredential PInteger))) (Term s PRationalData) | |
| PNewConstitution (Term s (PMaybeData PGovernanceActionId)) (Term s PConstitution) | |
| PInfoAction |
Instances
| PEq PGovernanceAction Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PGovernanceAction -> Term s PGovernanceAction -> Term s PBool | |||||||||
| PIsData PGovernanceAction Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PGovernanceAction) -> Term s PGovernanceAction pdataImpl :: forall (s :: S). Term s PGovernanceAction -> Term s PData | |||||||||
| PLiftable PGovernanceAction Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PGovernanceAction -> PlutusRepr PGovernanceAction reprToHask :: PlutusRepr PGovernanceAction -> Either LiftError (AsHaskell PGovernanceAction) reprToPlut :: forall (s :: S). PlutusRepr PGovernanceAction -> PLifted s PGovernanceAction plutToRepr :: (forall (s :: S). PLifted s PGovernanceAction) -> Either LiftError (PlutusRepr PGovernanceAction) | |||||||||
| PValidateData PGovernanceAction Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PGovernanceAction Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods pcon' :: forall (s :: S). PGovernanceAction s -> Term s (PInner PGovernanceAction) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PGovernanceAction) -> (PGovernanceAction s -> Term s b) -> Term s b | |||||||||
| PShow PGovernanceAction Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PGovernanceAction -> Term s PString | |||||||||
| PTryFrom PData (PAsData PGovernanceAction) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PGovernanceAction), Reduce (PTryFromExcess PData (PAsData PGovernanceAction) s)) -> Term s r) -> Term s r | |||||||||
| Generic (PGovernanceAction s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PGovernanceAction s -> Rep (PGovernanceAction s) x Source # to :: Rep (PGovernanceAction s) x -> PGovernanceAction s Source # | |||||||||
| Generic (PGovernanceAction s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PGovernanceAction s -> Rep (PGovernanceAction s) to :: Rep (PGovernanceAction s) -> PGovernanceAction s | |||||||||
| type AsHaskell PGovernanceAction Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PGovernanceAction = AsHaskell (DeriveDataPLiftable PGovernanceAction GovernanceAction) | |||||||||
| type PlutusRepr PGovernanceAction Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PGovernanceAction = PlutusRepr (DeriveDataPLiftable PGovernanceAction GovernanceAction) | |||||||||
| type PInner PGovernanceAction Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PTryFromExcess PData (PAsData PGovernanceAction) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PGovernanceAction) = PTryFromExcess PData (PInner (PAsData PGovernanceAction)) | |||||||||
| type Rep (PGovernanceAction s) Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PGovernanceAction s) = D1 ('MetaData "PGovernanceAction" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) ((C1 ('MetaCons "PParameterChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PGovernanceActionId))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PChangedParameters)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PScriptHash))))) :+: (C1 ('MetaCons "PHardForkInitiation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PGovernanceActionId))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PProtocolVersion))) :+: C1 ('MetaCons "PTreasuryWithdrawals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PUnsortedMap PCredential PLovelace)))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PScriptHash)))))) :+: ((C1 ('MetaCons "PNoConfidence" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PGovernanceActionId)))) :+: C1 ('MetaCons "PUpdateCommittee" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PGovernanceActionId))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList (PAsData PColdCommitteeCredential)))))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PUnsortedMap PColdCommitteeCredential PInteger)))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PRationalData))))) :+: (C1 ('MetaCons "PNewConstitution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PGovernanceActionId))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PConstitution))) :+: C1 ('MetaCons "PInfoAction" 'PrefixI 'False) (U1 :: Type -> Type)))) | |||||||||
| type Code (PGovernanceAction s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
newtype PChangedParameters (s :: S) Source #
Since: 3.1.0
Constructors
| PChangedParameters (Term s PData) |
Instances
| PEq PChangedParameters Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PChangedParameters -> Term s PChangedParameters -> Term s PBool | |||||||||
| PIsData PChangedParameters Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PChangedParameters) -> Term s PChangedParameters pdataImpl :: forall (s :: S). Term s PChangedParameters -> Term s PData | |||||||||
| PLiftable PChangedParameters Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PChangedParameters -> PlutusRepr PChangedParameters reprToHask :: PlutusRepr PChangedParameters -> Either LiftError (AsHaskell PChangedParameters) reprToPlut :: forall (s :: S). PlutusRepr PChangedParameters -> PLifted s PChangedParameters plutToRepr :: (forall (s :: S). PLifted s PChangedParameters) -> Either LiftError (PlutusRepr PChangedParameters) | |||||||||
| PValidateData PChangedParameters Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PChangedParameters Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods pcon' :: forall (s :: S). PChangedParameters s -> Term s (PInner PChangedParameters) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PChangedParameters) -> (PChangedParameters s -> Term s b) -> Term s b | |||||||||
| PShow PChangedParameters Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PChangedParameters -> Term s PString | |||||||||
| PTryFrom PData (PAsData PChangedParameters) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PChangedParameters), Reduce (PTryFromExcess PData (PAsData PChangedParameters) s)) -> Term s r) -> Term s r | |||||||||
| Generic (PChangedParameters s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PChangedParameters s -> Rep (PChangedParameters s) x Source # to :: Rep (PChangedParameters s) x -> PChangedParameters s Source # | |||||||||
| Generic (PChangedParameters s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PChangedParameters s -> Rep (PChangedParameters s) to :: Rep (PChangedParameters s) -> PChangedParameters s | |||||||||
| type AsHaskell PChangedParameters Source # | Since: 3.3.0 | ||||||||
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 PInner PChangedParameters Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PChangedParameters" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PData)))) | |||||||||
| type Code (PChangedParameters s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
newtype PConstitution (s :: S) Source #
A constitution, omitting the optional anchor.
Since: 3.1.0
Constructors
| PConstitution (Term s (PMaybeData PScriptHash)) |
Instances
| PEq PConstitution Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PConstitution -> Term s PConstitution -> Term s PBool | |||||||||
| PIsData PConstitution Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PConstitution) -> Term s PConstitution pdataImpl :: forall (s :: S). Term s PConstitution -> Term s PData | |||||||||
| PLiftable PConstitution Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PConstitution -> PlutusRepr PConstitution reprToHask :: PlutusRepr PConstitution -> Either LiftError (AsHaskell PConstitution) reprToPlut :: forall (s :: S). PlutusRepr PConstitution -> PLifted s PConstitution plutToRepr :: (forall (s :: S). PLifted s PConstitution) -> Either LiftError (PlutusRepr PConstitution) | |||||||||
| PValidateData PConstitution Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PConstitution Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods pcon' :: forall (s :: S). PConstitution s -> Term s (PInner PConstitution) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PConstitution) -> (PConstitution s -> Term s b) -> Term s b | |||||||||
| PShow PConstitution Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PConstitution -> Term s PString | |||||||||
| PTryFrom PData (PAsData PConstitution) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PConstitution), Reduce (PTryFromExcess PData (PAsData PConstitution) s)) -> Term s r) -> Term s r | |||||||||
| Generic (PConstitution s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PConstitution s -> Rep (PConstitution s) x Source # to :: Rep (PConstitution s) x -> PConstitution s Source # | |||||||||
| Generic (PConstitution s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PConstitution s -> Rep (PConstitution s) to :: Rep (PConstitution s) -> PConstitution s | |||||||||
| type AsHaskell PConstitution Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PlutusRepr PConstitution Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PInner PConstitution Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PConstitution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PScriptHash))))) | |||||||||
| type Code (PConstitution s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
data PCommittee (s :: S) Source #
Since: 3.1.0
Constructors
| PCommittee | |
Fields
| |
Instances
| PEq PCommittee Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods (#==) :: forall (s :: S). Term s PCommittee -> Term s PCommittee -> Term s PBool | |||||||||
| PIsData PCommittee Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PCommittee) -> Term s PCommittee pdataImpl :: forall (s :: S). Term s PCommittee -> Term s PData | |||||||||
| PLiftable PCommittee Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods haskToRepr :: AsHaskell PCommittee -> PlutusRepr PCommittee reprToHask :: PlutusRepr PCommittee -> Either LiftError (AsHaskell PCommittee) reprToPlut :: forall (s :: S). PlutusRepr PCommittee -> PLifted s PCommittee plutToRepr :: (forall (s :: S). PLifted s PCommittee) -> Either LiftError (PlutusRepr PCommittee) | |||||||||
| PValidateData PCommittee Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PCommittee Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods pcon' :: forall (s :: S). PCommittee s -> Term s (PInner PCommittee) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PCommittee) -> (PCommittee s -> Term s b) -> Term s b | |||||||||
| PShow PCommittee Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PCommittee -> Term s PString | |||||||||
| PTryFrom PData (PAsData PCommittee) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PCommittee), Reduce (PTryFromExcess PData (PAsData PCommittee) s)) -> Term s r) -> Term s r | |||||||||
| Generic (PCommittee s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
Methods from :: PCommittee s -> Rep (PCommittee s) x Source # to :: Rep (PCommittee s) x -> PCommittee s Source # | |||||||||
| Generic (PCommittee s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts Associated Types
| |||||||||
| type AsHaskell PCommittee Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PlutusRepr PCommittee Source # | |||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
| type PInner PCommittee Source # | Since: 3.3.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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PCommittee" 'PrefixI 'True) (S1 ('MetaSel ('Just "pcommittee'members") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PUnsortedMap PColdCommitteeCredential PInteger)))) :*: S1 ('MetaSel ('Just "pcommittee'quorum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PRationalData)))) | |||||||||
| type Code (PCommittee s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V3.Contexts | |||||||||
Crypto
Types
Since: 2.0.0
Instances
| Show PubKey Source # | Since: 2.0.0 |
| Eq PubKey Source # | Since: 2.0.0 |
| Ord PubKey Source # | Since: 2.0.0 |
newtype PPubKeyHash (s :: S) Source #
Since: 2.0.0
Constructors
| PPubKeyHash (Term s PByteString) |
Instances
| PEq PPubKeyHash Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Crypto Methods (#==) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool | |||||||||
| PIsData PPubKeyHash Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Crypto Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PPubKeyHash) -> Term s PPubKeyHash pdataImpl :: forall (s :: S). Term s PPubKeyHash -> Term s PData | |||||||||
| PLiftable PPubKeyHash Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Crypto Associated Types
Methods haskToRepr :: AsHaskell PPubKeyHash -> PlutusRepr PPubKeyHash reprToHask :: PlutusRepr PPubKeyHash -> Either LiftError (AsHaskell PPubKeyHash) reprToPlut :: forall (s :: S). PlutusRepr PPubKeyHash -> PLifted s PPubKeyHash plutToRepr :: (forall (s :: S). PLifted s PPubKeyHash) -> Either LiftError (PlutusRepr PPubKeyHash) | |||||||||
| POrd PPubKeyHash Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Crypto Methods (#<=) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool (#<) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool pmax :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PPubKeyHash pmin :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PPubKeyHash | |||||||||
| PValidateData PPubKeyHash Source # | Checks that we have a Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Crypto Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PPubKeyHash Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Crypto Associated Types
Methods pcon' :: forall (s :: S). PPubKeyHash s -> Term s (PInner PPubKeyHash) pmatch' :: forall (s :: S) (b :: S -> Type). 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 Methods pshow' :: forall (s :: S). Bool -> Term s PPubKeyHash -> Term s PString | |||||||||
| PTryFrom PData (PAsData PPubKeyHash) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Crypto Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). 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 Associated Types
Methods from :: PPubKeyHash s -> Rep (PPubKeyHash s) x Source # to :: Rep (PPubKeyHash s) x -> PPubKeyHash s Source # | |||||||||
| Generic (PPubKeyHash s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Crypto Associated Types
| |||||||||
| type AsHaskell PPubKeyHash Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Crypto type AsHaskell PPubKeyHash = PubKeyHash | |||||||||
| type PlutusRepr PPubKeyHash Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Crypto | |||||||||
| type PInner PPubKeyHash Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Crypto | |||||||||
| type PTryFromExcess PData (PAsData PPubKeyHash) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Crypto type PTryFromExcess PData (PAsData PPubKeyHash) = PTryFromExcess PData (PInner (PAsData PPubKeyHash)) | |||||||||
| 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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PPubKeyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PByteString)))) | |||||||||
| type Code (PPubKeyHash s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Crypto | |||||||||
pubKeyHash :: PubKey -> PubKeyHash Source #
Since: 2.0.0
Utilities
Types
data PMaybeData (a :: S -> Type) (s :: S) Source #
Since: 3.3.0
Instances
| PTryFrom PData a => PTryFrom PData (PAsData (PMaybeData a)) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.Utils Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PMaybeData a)), Reduce (PTryFromExcess PData (PAsData (PMaybeData a)) s)) -> Term s r) -> Term s r | |||||||||
| PEq (PMaybeData a) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Utils Methods (#==) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool | |||||||||
| PIsData (PMaybeData a) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Utils Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PMaybeData a)) -> Term s (PMaybeData a) pdataImpl :: forall (s :: S). Term s (PMaybeData a) -> Term s PData | |||||||||
| (ToData (AsHaskell a), FromData (AsHaskell a)) => PLiftable (PMaybeData a) Source # | |||||||||
Defined in Plutarch.LedgerApi.Utils Associated Types
Methods haskToRepr :: AsHaskell (PMaybeData a) -> PlutusRepr (PMaybeData a) reprToHask :: PlutusRepr (PMaybeData a) -> Either LiftError (AsHaskell (PMaybeData a)) reprToPlut :: forall (s :: S). PlutusRepr (PMaybeData a) -> PLifted s (PMaybeData a) plutToRepr :: (forall (s :: S). PLifted s (PMaybeData a)) -> Either LiftError (PlutusRepr (PMaybeData a)) | |||||||||
| (PIsData a, POrd a) => POrd (PMaybeData a) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.Utils Methods (#<=) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool (#<) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool pmax :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s (PMaybeData a) pmin :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s (PMaybeData a) | |||||||||
| PValidateData a => PValidateData (PMaybeData a) Source # | Since: 3.5.0 | ||||||||
Defined in Plutarch.LedgerApi.Utils Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType (PMaybeData a) Source # | |||||||||
Defined in Plutarch.LedgerApi.Utils Associated Types
Methods pcon' :: forall (s :: S). PMaybeData a s -> Term s (PInner (PMaybeData a)) pmatch' :: forall (s :: S) (b :: S -> Type). 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 Methods pshow' :: forall (s :: S). Bool -> Term s (PMaybeData a) -> Term s PString | |||||||||
| Generic (PMaybeData a s) Source # | |||||||||
Defined in Plutarch.LedgerApi.Utils Associated Types
Methods from :: PMaybeData a s -> Rep (PMaybeData a s) x Source # to :: Rep (PMaybeData a s) x -> PMaybeData a s Source # | |||||||||
| Generic (PMaybeData a s) Source # | |||||||||
Defined in Plutarch.LedgerApi.Utils Associated Types
| |||||||||
| 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 AsHaskell (PMaybeData a) Source # | Since: 3.3.0 | ||||||||
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 PInner (PMaybeData a) Source # | Since: 3.3.0 | ||||||||
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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PDJust" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData a)))) :+: C1 ('MetaCons "PDNothing" 'PrefixI 'False) (U1 :: Type -> Type)) | |||||||||
| type Code (PMaybeData a s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Utils | |||||||||
data PRationalData (s :: S) Source #
A Rational type that corresponds to the data encoding used by Rational.
Since: 3.1.0
Constructors
| PRationalData | |
Fields
| |
Instances
| PEq PRationalData Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.Utils Methods (#==) :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PBool | |||||||||
| PIsData PRationalData Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.Utils Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PRationalData) -> Term s PRationalData pdataImpl :: forall (s :: S). Term s PRationalData -> Term s PData | |||||||||
| PLiftable PRationalData Source # | |||||||||
Defined in Plutarch.LedgerApi.Utils Associated Types
Methods haskToRepr :: AsHaskell PRationalData -> PlutusRepr PRationalData reprToHask :: PlutusRepr PRationalData -> Either LiftError (AsHaskell PRationalData) reprToPlut :: forall (s :: S). PlutusRepr PRationalData -> PLifted s PRationalData plutToRepr :: (forall (s :: S). PLifted s PRationalData) -> Either LiftError (PlutusRepr PRationalData) | |||||||||
| POrd PRationalData Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.Utils Methods (#<=) :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PBool (#<) :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PBool pmax :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PRationalData pmin :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PRationalData | |||||||||
| PValidateData PRationalData Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.Utils Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PRationalData Source # | |||||||||
Defined in Plutarch.LedgerApi.Utils Associated Types
Methods pcon' :: forall (s :: S). PRationalData s -> Term s (PInner PRationalData) pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PRationalData) -> (PRationalData s -> Term s b) -> Term s b | |||||||||
| PShow PRationalData Source # | Since: 3.1.0 | ||||||||
Defined in Plutarch.LedgerApi.Utils Methods pshow' :: forall (s :: S). Bool -> Term s PRationalData -> Term s PString | |||||||||
| PTryFrom PData (PAsData PRationalData) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.Utils Associated Types
Methods ptryFrom' :: forall (s :: S) (r :: S -> Type). 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 Associated Types
Methods from :: PRationalData s -> Rep (PRationalData s) x Source # to :: Rep (PRationalData s) x -> PRationalData s Source # | |||||||||
| Generic (PRationalData s) Source # | |||||||||
Defined in Plutarch.LedgerApi.Utils Associated Types
Methods from :: PRationalData s -> Rep (PRationalData s) to :: Rep (PRationalData s) -> PRationalData s | |||||||||
| type AsHaskell PRationalData Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Utils | |||||||||
| type PlutusRepr PRationalData Source # | |||||||||
Defined in Plutarch.LedgerApi.Utils | |||||||||
| type PInner PRationalData Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Utils | |||||||||
| type PTryFromExcess PData (PAsData PRationalData) Source # | |||||||||
Defined in Plutarch.LedgerApi.Utils type PTryFromExcess PData (PAsData PRationalData) = PTryFromExcess PData (PInner (PAsData PRationalData)) | |||||||||
| 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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PRationalData" 'PrefixI 'True) (S1 ('MetaSel ('Just "prationalData'numerator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :*: S1 ('MetaSel ('Just "prationalData'denominator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPositive))))) | |||||||||
| type Code (PRationalData s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.Utils | |||||||||
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 :: forall (s :: S). Term s (PRationalData :--> PRational) Source #
Since: 3.1.0