| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Plutarch.LedgerApi.V1
Synopsis
- data PScriptPurpose (s :: S)
- = PMinting (Term s (PAsData PCurrencySymbol))
- | PSpending (Term s PTxOutRef)
- | PRewarding (Term s PStakingCredential)
- | PCertifying (Term s PDCert)
- data PScriptContext (s :: S) = PScriptContext {
- pscriptContext'txInfo :: Term s PTxInfo
- pscriptContext'purpose :: Term s PScriptPurpose
- data PDCert (s :: S)
- = PDCertDelegRegKey (Term s PStakingCredential)
- | PDCertDelegDeRegKey (Term s PStakingCredential)
- | PDCertDelegDelegate (Term s PStakingCredential) (Term s (PAsData PPubKeyHash))
- | PDCertPoolRegister (Term s (PAsData PPubKeyHash)) (Term s (PAsData PPubKeyHash))
- | PDCertPoolRetire (Term s (PAsData PPubKeyHash)) (Term s (PAsData PInteger))
- | PDCertGenesis
- | PDCertMir
- 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))
- newtype PRawValue (s :: S) = PRawValue (Term s (PUnsortedMap PCurrencySymbol (PUnsortedMap PTokenName PInteger)))
- data PSortedValue (s :: S)
- data PLedgerValue (s :: S)
- newtype PLovelace (s :: S) = PLovelace (Term s PInteger)
- newtype PTokenName (s :: S) = PTokenName (Term s PByteString)
- newtype PCurrencySymbol (s :: S) = PCurrencySymbol (Term s PByteString)
- 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 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 PExtended (a :: S -> Type) (s :: S)
- 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 PInterval (a :: S -> Type) (s :: S) = PInterval {
- pinterval'from :: Term s (PLowerBound a)
- pinterval'to :: Term s (PUpperBound a)
- newtype PDatum (s :: S) = PDatum (Term s PData)
- newtype PRedeemer (s :: S) = PRedeemer (Term s PData)
- newtype PDatumHash (s :: S) = PDatumHash (Term s PByteString)
- newtype PRedeemerHash (s :: S) = PRedeemerHash (Term s PByteString)
- newtype PScriptHash (s :: S) = PScriptHash (Term s PByteString)
- data PAddress (s :: S) = PAddress {
- paddress'credential :: Term s PCredential
- paddress'stakingCredential :: Term s (PMaybeData PStakingCredential)
- newtype PTxId (s :: S) = PTxId (Term s (PAsData PByteString))
- data PTxOut (s :: S) = PTxOut {
- ptxOut'address :: Term s PAddress
- ptxOut'value :: Term s (PAsData PLedgerValue)
- ptxOut'datumHash :: Term s (PAsData PDatumHash)
- data PTxInInfo (s :: S) = PTxInInfo {
- ptxInInfo'outRef :: Term s PTxOutRef
- ptxInInfo'resolved :: Term s PTxOut
- data PTxOutRef (s :: S) = PTxOutRef {
- ptxOutRef'id :: Term s PTxId
- ptxOutRef'idx :: Term s (PAsData PInteger)
- newtype PPubKeyHash (s :: S) = PPubKeyHash (Term s PByteString)
- data PTxInfo (s :: S) = PTxInfo {
- ptxInfo'inputs :: Term s (PAsData (PBuiltinList PTxInInfo))
- ptxInfo'outputs :: Term s (PAsData (PBuiltinList PTxOut))
- ptxInfo'fee :: Term s (PAsData PLedgerValue)
- ptxInfo'mint :: Term s (PAsData PMintValue)
- ptxInfo'dCert :: Term s (PAsData (PBuiltinList PDCert))
- ptxInfo'wdrl :: Term s (PAsData (PBuiltinList (PAsData (PBuiltinPair (PAsData PStakingCredential) (PAsData PInteger)))))
- ptxInfo'validRange :: Term s (PInterval PPosixTime)
- ptxInfo'signatories :: Term s (PAsData (PBuiltinList (PAsData PPubKeyHash)))
- ptxInfo'data :: Term s (PAsData (PBuiltinList (PAsData (PBuiltinPair (PAsData PDatumHash) (PAsData PDatum)))))
- ptxInfo'id :: Term s (PAsData PTxId)
- 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 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 PScriptPurpose (s :: S) Source #
Since: 3.1.1
Constructors
| PMinting (Term s (PAsData PCurrencySymbol)) | |
| PSpending (Term s PTxOutRef) | |
| PRewarding (Term s PStakingCredential) | |
| PCertifying (Term s PDCert) |
Instances
| PEq PScriptPurpose Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1.Contexts Methods (#==) :: forall (s :: S). Term s PScriptPurpose -> Term s PScriptPurpose -> Term s PBool | |||||||||
| PIsData PScriptPurpose Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1.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.V1.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.V1.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.V1.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: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1.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.V1.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.V1.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.V1.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.V1.Contexts | |||||||||
| type PlutusRepr PScriptPurpose Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Contexts | |||||||||
| type PInner PScriptPurpose Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Contexts | |||||||||
| type PTryFromExcess PData (PAsData PScriptPurpose) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Contexts type PTryFromExcess PData (PAsData PScriptPurpose) = PTryFromExcess PData (PInner (PAsData PScriptPurpose)) | |||||||||
| type Rep (PScriptPurpose s) Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1.Contexts type Rep (PScriptPurpose s) = D1 ('MetaData "PScriptPurpose" "Plutarch.LedgerApi.V1.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 PStakingCredential))) :+: C1 ('MetaCons "PCertifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDCert))))) | |||||||||
| type Code (PScriptPurpose s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Contexts | |||||||||
data PScriptContext (s :: S) Source #
Since: 3.1.1
Constructors
| PScriptContext | |
Fields
| |
Instances
| PEq PScriptContext Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 Methods (#==) :: forall (s :: S). Term s PScriptContext -> Term s PScriptContext -> Term s PBool | |||||||||
| PIsData PScriptContext Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 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.V1 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.V1 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.V1 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: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 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.V1 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.V1 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.V1 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.V1 | |||||||||
| type PlutusRepr PScriptContext Source # | |||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| type PInner PScriptContext Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| type PTryFromExcess PData (PAsData PScriptContext) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1 type PTryFromExcess PData (PAsData PScriptContext) = PTryFromExcess PData (PInner (PAsData PScriptContext)) | |||||||||
| type Rep (PScriptContext s) Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 type Rep (PScriptContext s) = D1 ('MetaData "PScriptContext" "Plutarch.LedgerApi.V1" "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'purpose") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PScriptPurpose)))) | |||||||||
| type Code (PScriptContext s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
Certificates
Since: 3.1.1
Constructors
| PDCertDelegRegKey (Term s PStakingCredential) | |
| PDCertDelegDeRegKey (Term s PStakingCredential) | |
| PDCertDelegDelegate (Term s PStakingCredential) (Term s (PAsData PPubKeyHash)) | |
| PDCertPoolRegister (Term s (PAsData PPubKeyHash)) (Term s (PAsData PPubKeyHash)) | |
| PDCertPoolRetire (Term s (PAsData PPubKeyHash)) (Term s (PAsData PInteger)) | |
| PDCertGenesis | |
| PDCertMir |
Instances
Credentials
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 | |||||||||
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 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 | |||||||||
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 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 | |||||||||
data PMintValue (s :: S) Source #
Represents sorted, well-formed Values with a mandatory zero Ada entry, while all other 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.V1.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.V1.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.V1.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.V1.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.V1.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.V1.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.V1.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.V1.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.V1.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.V1.MintValue Associated Types
| |||||
| Monoid (Term s PMintValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V1.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.V1.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.V1.MintValue Methods inv :: Term s PMintValue -> Term s PMintValue | |||||
| Monoid (Term s PMintValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V1.MintValue Methods mempty :: Term s PMintValue | |||||
| Semigroup (Term s PMintValue) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V1.MintValue Methods (<>) :: Term s PMintValue -> Term s PMintValue -> Term s PMintValue | |||||
| type PInner PMintValue Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V1.MintValue | |||||
| type PTryFromExcess PData (PAsData PMintValue) Source # | |||||
Defined in Plutarch.LedgerApi.V1.MintValue | |||||
| type Rep (PMintValue s) Source # | Since: 3.5.0 | ||||
Defined in Plutarch.LedgerApi.V1.MintValue type Rep (PMintValue s) = D1 ('MetaData "PMintValue" "Plutarch.LedgerApi.V1.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.V1.MintValue | |||||
pemptyMintValue :: forall (s :: S). Term s PMintValue Source #
Construct an empty PMintValue with a zero Ada entry.
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, together with a mandatory zero-Ada entry.
Important note
If the quantity is zero, or if the provided currency symbol is the Ada symbol,
the result is mempty (i.e. a Value with a single zero-Ada entry).
Since: 3.6.0
ptoMintValue :: forall (s :: S). Term s (PSortedValue :--> PMintValue) Source #
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
Intervals
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 | |||||||||
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 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 | |||||||||
Script stuff
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 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 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 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 | |||||||||
Transactions
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 | |||||||||
newtype PTxId (s :: S) Source #
Hashed with BLAKE2b-256.
Since: 3.1.0
Constructors
| PTxId (Term s (PAsData PByteString)) |
Instances
| PEq PTxId Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Tx | |||||||||
| PIsData PTxId Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxId) -> Term s PTxId | |||||||||
| PLiftable PTxId Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.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) | |||||||||
| PValidateData PTxId Source # | Checks that we have a Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.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.V1.Tx Associated Types
| |||||||||
| PShow PTxId Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Tx | |||||||||
| PTryFrom PData (PAsData PTxId) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Tx Associated Types
| |||||||||
| Generic (PTxId s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Tx Associated Types
| |||||||||
| Generic (PTxId s) Source # | |||||||||
| type AsHaskell PTxId Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Tx | |||||||||
| type PlutusRepr PTxId Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Tx | |||||||||
| type PInner PTxId Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Tx | |||||||||
| type PTryFromExcess PData (PAsData PTxId) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Tx | |||||||||
| type Rep (PTxId s) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Tx type Rep (PTxId s) = D1 ('MetaData "PTxId" "Plutarch.LedgerApi.V1.Tx" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PTxId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PByteString))))) | |||||||||
| type Code (PTxId s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Tx | |||||||||
Since: 3.1.1
Constructors
| PTxOut | |
Fields
| |
Instances
| PEq PTxOut Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| PIsData PTxOut Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxOut) -> Term s PTxOut | |||||||||
| PLiftable PTxOut Source # | |||||||||
Defined in Plutarch.LedgerApi.V1 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.V1 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.V1 Associated Types
| |||||||||
| PShow PTxOut Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| PTryFrom PData (PAsData PTxOut) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V1 Associated Types
| |||||||||
| Generic (PTxOut s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1 Associated Types
| |||||||||
| Generic (PTxOut s) Source # | |||||||||
| type AsHaskell PTxOut Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| type PlutusRepr PTxOut Source # | |||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| type PInner PTxOut Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| type PTryFromExcess PData (PAsData PTxOut) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| type Rep (PTxOut s) Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 type Rep (PTxOut s) = D1 ('MetaData "PTxOut" "Plutarch.LedgerApi.V1" "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'datumHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PDatumHash)))))) | |||||||||
| type Code (PTxOut s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
data PTxInInfo (s :: S) Source #
Since: 3.1.1
Constructors
| PTxInInfo | |
Fields
| |
Instances
| PEq PTxInInfo Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| PIsData PTxInInfo Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 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.V1 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.V1 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.V1 Associated Types
| |||||||||
| PShow PTxInInfo Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| PTryFrom PData (PAsData PTxInInfo) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V1 Associated Types
| |||||||||
| Generic (PTxInInfo s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1 Associated Types
| |||||||||
| Generic (PTxInInfo s) Source # | |||||||||
| type AsHaskell PTxInInfo Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| type PlutusRepr PTxInInfo Source # | |||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| type PInner PTxInInfo Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| type PTryFromExcess PData (PAsData PTxInInfo) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| type Rep (PTxInInfo s) Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 type Rep (PTxInInfo s) = D1 ('MetaData "PTxInInfo" "Plutarch.LedgerApi.V1" "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.V1 | |||||||||
data PTxOutRef (s :: S) Source #
Reference to a transaction output, with an index referencing which exact output we mean.
Since: 2.0.0
Constructors
| PTxOutRef | |
Fields
| |
Instances
| PEq PTxOutRef Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Tx | |||||||||
| PIsData PTxOutRef Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.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.V1.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.V1.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.V1.Tx Associated Types
| |||||||||
| PShow PTxOutRef Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Tx | |||||||||
| PTryFrom PData (PAsData PTxOutRef) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Tx Associated Types
| |||||||||
| Generic (PTxOutRef s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Tx Associated Types
| |||||||||
| Generic (PTxOutRef s) Source # | |||||||||
| type AsHaskell PTxOutRef Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Tx | |||||||||
| type PlutusRepr PTxOutRef Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Tx | |||||||||
| type PInner PTxOutRef Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Tx | |||||||||
| type PTryFromExcess PData (PAsData PTxOutRef) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1.Tx | |||||||||
| type Rep (PTxOutRef s) Source # | Since: 2.0.0 | ||||||||
Defined in Plutarch.LedgerApi.V1.Tx type Rep (PTxOutRef s) = D1 ('MetaData "PTxOutRef" "Plutarch.LedgerApi.V1.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 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.V1.Tx | |||||||||
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 | |||||||||
data PTxInfo (s :: S) Source #
Since: 3.3.0
Constructors
| PTxInfo | |
Fields
| |
Instances
| PEq PTxInfo Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| PIsData PTxInfo Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInfo) -> Term s PTxInfo pdataImpl :: forall (s :: S). Term s PTxInfo -> Term s PData | |||||||||
| PLiftable PTxInfo Source # | |||||||||
Defined in Plutarch.LedgerApi.V1 Associated Types
Methods haskToRepr :: AsHaskell PTxInfo -> PlutusRepr PTxInfo reprToHask :: PlutusRepr PTxInfo -> Either LiftError (AsHaskell PTxInfo) reprToPlut :: forall (s :: S). PlutusRepr PTxInfo -> PLifted s PTxInfo plutToRepr :: (forall (s :: S). PLifted s PTxInfo) -> Either LiftError (PlutusRepr PTxInfo) | |||||||||
| PValidateData PTxInfo Source # | Since: 3.6.0 | ||||||||
Defined in Plutarch.LedgerApi.V1 Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r | |||||||||
| PlutusType PTxInfo Source # | |||||||||
Defined in Plutarch.LedgerApi.V1 Associated Types
| |||||||||
| PShow PTxInfo Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| PTryFrom PData (PAsData PTxInfo) Source # | Since: 3.4.0 | ||||||||
Defined in Plutarch.LedgerApi.V1 Associated Types
| |||||||||
| Generic (PTxInfo s) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1 Associated Types
| |||||||||
| Generic (PTxInfo s) Source # | |||||||||
| type AsHaskell PTxInfo Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| type PlutusRepr PTxInfo Source # | |||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| type PInner PTxInfo Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| type PTryFromExcess PData (PAsData PTxInfo) Source # | |||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
| type Rep (PTxInfo s) Source # | Since: 3.1.1 | ||||||||
Defined in Plutarch.LedgerApi.V1 type Rep (PTxInfo s) = D1 ('MetaData "PTxInfo" "Plutarch.LedgerApi.V1" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PTxInfo" 'PrefixI 'True) (((S1 ('MetaSel ('Just "ptxInfo'inputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList PTxInInfo)))) :*: S1 ('MetaSel ('Just "ptxInfo'outputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList PTxOut))))) :*: (S1 ('MetaSel ('Just "ptxInfo'fee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PLedgerValue))) :*: (S1 ('MetaSel ('Just "ptxInfo'mint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PMintValue))) :*: S1 ('MetaSel ('Just "ptxInfo'dCert") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList PDCert))))))) :*: ((S1 ('MetaSel ('Just "ptxInfo'wdrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList (PAsData (PBuiltinPair (PAsData PStakingCredential) (PAsData PInteger))))))) :*: S1 ('MetaSel ('Just "ptxInfo'validRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PInterval PPosixTime)))) :*: (S1 ('MetaSel ('Just "ptxInfo'signatories") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList (PAsData PPubKeyHash))))) :*: (S1 ('MetaSel ('Just "ptxInfo'data") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList (PAsData (PBuiltinPair (PAsData PDatumHash) (PAsData PDatum))))))) :*: S1 ('MetaSel ('Just "ptxInfo'id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PTxId)))))))) | |||||||||
| type Code (PTxInfo s) Source # | Since: 3.3.0 | ||||||||
Defined in Plutarch.LedgerApi.V1 | |||||||||
Helpers
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 | |||||
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