Safe Haskell	Safe-Inferred
Language	Haskell2010

Plutarch.LedgerApi.V2

Contents

Contexts
Certificates
Credentials
Value
Time
Intervals
Script stuff
Transactions
Helpers
Utilities
- Types
- Utilities

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 PValue (keys :: KeyGuarantees) (amounts :: AmountGuarantees) (s :: S) = PValue (Term s (PMap keys PCurrencySymbol (PMap keys PTokenName PInteger)))
data AmountGuarantees
- = NoGuarantees
- | NonZero
- | Positive
newtype PLovelace (s :: S) = PLovelace (Term s PInteger)
newtype PTokenName (s :: S) = PTokenName (Term s PByteString)
newtype PCurrencySymbol (s :: S) = PCurrencySymbol (Term s PByteString)
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)
- = PNegInf
- | PFinite (Term s (PAsData a))
- | PPosInf
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 {
- pinteral'from :: Term s (PLowerBound a)
- pinteral'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 PPubKeyHash (s :: S) = PPubKeyHash (Term s PByteString)
newtype PTxId (s :: S) = PTxId (Term s (PAsData PByteString))
data PTxInfo (s :: S) = PTxInfo {
- ptxInfo'inputs :: Term s (PAsData (PBuiltinList (PAsData PTxInInfo)))
- ptxInfo'referenceInputs :: Term s (PAsData (PBuiltinList (PAsData PTxInInfo)))
- ptxInfo'outputs :: Term s (PAsData (PBuiltinList (PAsData PTxOut)))
- ptxInfo'fee :: Term s (PAsData (PValue 'Sorted 'Positive))
- ptxInfo'mint :: Term s (PAsData (PValue 'Sorted 'NoGuarantees))
- ptxInfo'dcert :: Term s (PAsData (PBuiltinList (PAsData PDCert)))
- ptxInfo'wdrl :: Term s (PAsData (PMap 'Unsorted PStakingCredential PInteger))
- ptxInfo'validRange :: Term s (PInterval PPosixTime)
- ptxInfo'signatories :: Term s (PAsData (PBuiltinList (PAsData PPubKeyHash)))
- ptxInfo'redeemers :: Term s (PAsData (PMap 'Unsorted PScriptPurpose PRedeemer))
- ptxInfo'data :: Term s (PAsData (PMap 'Unsorted PDatumHash PDatum))
- ptxInfo'id :: Term s PTxId
}
data PTxOut (s :: S) = PTxOut {
- ptxOut'address :: Term s PAddress
- ptxOut'value :: Term s (PAsData (PValue 'Sorted 'Positive))
- ptxOut'datum :: Term s POutputDatum
- ptxOut'referenceScript :: Term s (PMaybeData PScriptHash)
}
data PTxOutRef (s :: S) = PTxOutRef {
- ptxOutRef'id :: Term s PTxId
- ptxOutRef'idx :: Term s (PAsData PInteger)
}
data PTxInInfo (s :: S) = PTxInInfo {
- ptxInInfo'outRef :: Term s PTxOutRef
- ptxInInfo'resolved :: Term s PTxOut
}
data POutputDatum (s :: S)
- = PNoOutputDatum
- | POutputDatumHash {
  - poutputDatum'datumHash :: Term s (PAsData PDatumHash)
  }
- | POutputDatum {
  - poutputDatum'outputDatum :: Term s PDatum
  }
newtype PMap (keysort :: KeyGuarantees) (k :: S -> Type) (v :: S -> Type) (s :: S) = PMap (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v))))
data KeyGuarantees
- = Sorted
- | Unsorted
data Commutativity
- = Commutative
- | NonCommutative
data PMaybeData (a :: S -> Type) (s :: S)
- = PDJust (Term s (PAsData a))
- | PDNothing
data PRationalData s = PRationalData {
- prationalData'numerator :: Term s (PAsData PInteger)
- prationalData'denominator :: Term s (PAsData PPositive)
}
pfromDJust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PMaybeData a :--> a)
pisDJust :: forall (a :: S -> Type) (s :: S). Term s (PMaybeData a :--> PBool)
pmaybeData :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PIsData a => Term s (b :--> ((a :--> b) :--> (PMaybeData a :--> b)))
pdjust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (a :--> PMaybeData a)
pdnothing :: forall (a :: S -> Type) (s :: S). Term s (PMaybeData a)
pmaybeToMaybeData :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PMaybe a :--> PMaybeData a)
passertPDJust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PString :--> (PMaybeData a :--> a))
prationalFromData :: ClosedTerm (PRationalData :--> PRational)

Contexts

data 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

Instances details

PEq PScriptPurpose Source #	Since: 3.1.1
Instance details 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
Instance details 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 #
Instance details Defined in Plutarch.LedgerApi.V1.Contexts Associated Types type AsHaskell PScriptPurpose type PlutusRepr PScriptPurpose Methods haskToRepr :: AsHaskell PScriptPurpose -> PlutusRepr PScriptPurpose reprToHask :: PlutusRepr PScriptPurpose -> Either LiftError (AsHaskell PScriptPurpose) reprToPlut :: forall (s :: S). PlutusRepr PScriptPurpose -> PLifted s PScriptPurpose plutToRepr :: (forall (s :: S). PLifted s PScriptPurpose) -> Either LiftError (PlutusRepr PScriptPurpose)
PlutusType PScriptPurpose Source #
Instance details Defined in Plutarch.LedgerApi.V1.Contexts Associated Types type PInner PScriptPurpose :: PType type PCovariant' PScriptPurpose type PContravariant' PScriptPurpose type PVariant' PScriptPurpose Methods pcon' :: forall (s :: S). PScriptPurpose s -> Term s (PInner PScriptPurpose) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PScriptPurpose) -> (PScriptPurpose s -> Term s b) -> Term s b
PShow PScriptPurpose Source #	Since: 3.1.1
Instance details Defined in Plutarch.LedgerApi.V1.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PScriptPurpose -> Term s PString
Generic (PScriptPurpose s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Contexts Associated Types type Rep (PScriptPurpose s) :: Type -> Type Source # Methods from :: PScriptPurpose s -> Rep (PScriptPurpose s) x Source # to :: Rep (PScriptPurpose s) x -> PScriptPurpose s Source #
Generic (PScriptPurpose s) Source #
Instance details Defined in Plutarch.LedgerApi.V1.Contexts Associated Types type Code (PScriptPurpose s) :: [[Type]] Methods from :: PScriptPurpose s -> Rep (PScriptPurpose s) to :: Rep (PScriptPurpose s) -> PScriptPurpose s
type AsHaskell PScriptPurpose Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Contexts type AsHaskell PScriptPurpose = AsHaskell (DeriveDataPLiftable PScriptPurpose ScriptPurpose)
type PlutusRepr PScriptPurpose Source #
Instance details Defined in Plutarch.LedgerApi.V1.Contexts type PlutusRepr PScriptPurpose = PlutusRepr (DeriveDataPLiftable PScriptPurpose ScriptPurpose)
type PContravariant' PScriptPurpose Source #
Instance details Defined in Plutarch.LedgerApi.V1.Contexts type PContravariant' PScriptPurpose = PContravariant' (DeriveAsDataStruct PScriptPurpose)
type PCovariant' PScriptPurpose Source #
Instance details Defined in Plutarch.LedgerApi.V1.Contexts type PCovariant' PScriptPurpose = PCovariant' (DeriveAsDataStruct PScriptPurpose)
type PInner PScriptPurpose Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V1.Contexts type PInner PScriptPurpose = PInner (DeriveAsDataStruct PScriptPurpose)
type PVariant' PScriptPurpose Source #
Instance details Defined in Plutarch.LedgerApi.V1.Contexts type PVariant' PScriptPurpose = PVariant' (DeriveAsDataStruct PScriptPurpose)
type Rep (PScriptPurpose s) Source #	Since: 3.1.1
Instance details Defined in Plutarch.LedgerApi.V1.Contexts type Rep (PScriptPurpose s) = D1 ('MetaData "PScriptPurpose" "Plutarch.LedgerApi.V1.Contexts" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) ((C1 ('MetaCons "PMinting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PCurrencySymbol)))) :+: C1 ('MetaCons "PSpending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxOutRef)))) :+: (C1 ('MetaCons "PRewarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s 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
Instance details Defined in Plutarch.LedgerApi.V1.Contexts type Code (PScriptPurpose s) = GCode (PScriptPurpose s)

data PScriptContext (s :: S) Source #

Since: 3.1.1

Constructors

PScriptContext
Fields pscriptContext'txInfo :: Term s PTxInfo pscriptContext'purpose :: Term s PScriptPurpose

Instances

Instances details

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

Certificates

data PDCert (s :: S) Source #

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

Instances details

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

Credentials

data PCredential (s :: S) Source #

Since: 2.0.0

Constructors

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

Instances

Instances details

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

data PStakingCredential (s :: S) Source #

Since: 2.0.0

Constructors

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

Instances

Instances details

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

Value

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

Since: 2.0.0

Constructors

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

Instances

Instances details

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

data AmountGuarantees Source #

Since: 2.0.0

Constructors

NoGuarantees
NonZero
Positive

newtype PLovelace (s :: S) Source #

Since: 2.2.0

Constructors

PLovelace (Term s PInteger)

Instances

Instances details

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

newtype PTokenName (s :: S) Source #

Since: 2.0.0

Constructors

PTokenName (Term s PByteString)

Instances

Instances details

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

newtype PCurrencySymbol (s :: S) Source #

Since: 2.0.0

Constructors

PCurrencySymbol (Term s PByteString)

Instances

Instances details

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

Time

newtype PPosixTime (s :: S) Source #

Since: 2.0.0

Constructors

PPosixTime (Term s PInteger)

Instances

Instances details

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

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

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

Since: 3.3.0

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

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

Since: 3.3.0

Intervals

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

Since: 2.0.0

Constructors

PNegInf
PFinite (Term s (PAsData a))
PPosInf

Instances

Instances details

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

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

Since: 2.0.0

Constructors

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

Instances

Instances details

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

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

Since: 2.0.0

Constructors

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

Instances

Instances details

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

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

Since: 2.0.0

Constructors

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

Instances

Instances details

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

Script stuff

newtype PDatum (s :: S) Source #

Since: 2.0.0

Constructors

PDatum (Term s PData)

Instances

Instances details

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

newtype PRedeemer (s :: S) Source #

Since: 2.0.0

Constructors

PRedeemer (Term s PData)

Instances

Instances details

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

newtype PDatumHash (s :: S) Source #

Since: 2.0.0

Constructors

PDatumHash (Term s PByteString)

Instances

Instances details

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

newtype PRedeemerHash (s :: S) Source #

Since: 2.0.0

Constructors

PRedeemerHash (Term s PByteString)

Instances

Instances details

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

newtype PScriptHash (s :: S) Source #

Since: 2.0.0

Constructors

PScriptHash (Term s PByteString)

Instances

Instances details

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

Transactions

data PAddress (s :: S) Source #

Since: 2.0.0

Constructors

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

Instances

Instances details

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

newtype PPubKeyHash (s :: S) Source #

Since: 2.0.0

Constructors

PPubKeyHash (Term s PByteString)

Instances

Instances details

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

newtype PTxId (s :: S) Source #

Hashed with BLAKE2b-256.

Since: 3.1.0

Constructors

PTxId (Term s (PAsData PByteString))

Instances

Instances details

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

data PTxInfo (s :: S) Source #

Since: 3.1.1

Constructors

PTxInfo

Fields

ptxInfo'inputs :: Term s (PAsData (PBuiltinList (PAsData PTxInInfo)))
ptxInfo'referenceInputs :: Term s (PAsData (PBuiltinList (PAsData PTxInInfo)))
ptxInfo'outputs :: Term s (PAsData (PBuiltinList (PAsData PTxOut)))
ptxInfo'fee :: Term s (PAsData (PValue 'Sorted 'Positive))
ptxInfo'mint :: Term s (PAsData (PValue 'Sorted 'NoGuarantees))
ptxInfo'dcert :: Term s (PAsData (PBuiltinList (PAsData PDCert)))
ptxInfo'wdrl :: Term s (PAsData (PMap 'Unsorted PStakingCredential PInteger))
ptxInfo'validRange :: Term s (PInterval PPosixTime)
ptxInfo'signatories :: Term s (PAsData (PBuiltinList (PAsData PPubKeyHash)))
ptxInfo'redeemers :: Term s (PAsData (PMap 'Unsorted PScriptPurpose PRedeemer))
ptxInfo'data :: Term s (PAsData (PMap 'Unsorted PDatumHash PDatum))
ptxInfo'id :: Term s PTxId

Instances

Instances details

PEq PTxInfo Source #	Since: 3.1.1
Instance details Defined in Plutarch.LedgerApi.V2 Methods (#==) :: forall (s :: S). Term s PTxInfo -> Term s PTxInfo -> Term s PBool
PIsData PTxInfo Source #	Since: 3.1.1
Instance details Defined in Plutarch.LedgerApi.V2 Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInfo) -> Term s PTxInfo pdataImpl :: forall (s :: S). Term s PTxInfo -> Term s PData
PLiftable PTxInfo Source #
Instance details Defined in Plutarch.LedgerApi.V2 Associated Types type AsHaskell PTxInfo type PlutusRepr PTxInfo Methods haskToRepr :: AsHaskell PTxInfo -> PlutusRepr PTxInfo reprToHask :: PlutusRepr PTxInfo -> Either LiftError (AsHaskell PTxInfo) reprToPlut :: forall (s :: S). PlutusRepr PTxInfo -> PLifted s PTxInfo plutToRepr :: (forall (s :: S). PLifted s PTxInfo) -> Either LiftError (PlutusRepr PTxInfo)
PlutusType PTxInfo Source #
Instance details Defined in Plutarch.LedgerApi.V2 Associated Types type PInner PTxInfo :: PType type PCovariant' PTxInfo type PContravariant' PTxInfo type PVariant' PTxInfo Methods pcon' :: forall (s :: S). PTxInfo s -> Term s (PInner PTxInfo) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxInfo) -> (PTxInfo s -> Term s b) -> Term s b
PShow PTxInfo Source #	Since: 3.1.1
Instance details Defined in Plutarch.LedgerApi.V2 Methods pshow' :: forall (s :: S). Bool -> Term s PTxInfo -> Term s PString
Generic (PTxInfo s) Source #
Instance details Defined in Plutarch.LedgerApi.V2 Associated Types type Rep (PTxInfo s) :: Type -> Type Source # Methods from :: PTxInfo s -> Rep (PTxInfo s) x Source # to :: Rep (PTxInfo s) x -> PTxInfo s Source #
Generic (PTxInfo s) Source #
Instance details Defined in Plutarch.LedgerApi.V2 Associated Types type Code (PTxInfo s) :: [[Type]] Methods from :: PTxInfo s -> Rep (PTxInfo s) to :: Rep (PTxInfo s) -> PTxInfo s
type AsHaskell PTxInfo Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V2 type AsHaskell PTxInfo = AsHaskell (DeriveDataPLiftable PTxInfo TxInfo)
type PlutusRepr PTxInfo Source #
Instance details Defined in Plutarch.LedgerApi.V2 type PlutusRepr PTxInfo = PlutusRepr (DeriveDataPLiftable PTxInfo TxInfo)
type PContravariant' PTxInfo Source #
Instance details Defined in Plutarch.LedgerApi.V2 type PContravariant' PTxInfo = PContravariant' (DeriveAsDataStruct PTxInfo)
type PCovariant' PTxInfo Source #
Instance details Defined in Plutarch.LedgerApi.V2 type PCovariant' PTxInfo = PCovariant' (DeriveAsDataStruct PTxInfo)
type PInner PTxInfo Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V2 type PInner PTxInfo = PInner (DeriveAsDataStruct PTxInfo)
type PVariant' PTxInfo Source #
Instance details Defined in Plutarch.LedgerApi.V2 type PVariant' PTxInfo = PVariant' (DeriveAsDataStruct PTxInfo)
type Rep (PTxInfo s) Source #	Since: 3.1.1
Instance details Defined in Plutarch.LedgerApi.V2 type Rep (PTxInfo s) = D1 ('MetaData "PTxInfo" "Plutarch.LedgerApi.V2" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PTxInfo" 'PrefixI 'True) (((S1 ('MetaSel ('Just "ptxInfo'inputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList (PAsData PTxInInfo))))) :: (S1 ('MetaSel ('Just "ptxInfo'referenceInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList (PAsData PTxInInfo))))) :: S1 ('MetaSel ('Just "ptxInfo'outputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList (PAsData PTxOut))))))) :: (S1 ('MetaSel ('Just "ptxInfo'fee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PValue 'Sorted 'Positive)))) :: (S1 ('MetaSel ('Just "ptxInfo'mint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PValue 'Sorted 'NoGuarantees)))) :: S1 ('MetaSel ('Just "ptxInfo'dcert") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PBuiltinList (PAsData PDCert)))))))) :: ((S1 ('MetaSel ('Just "ptxInfo'wdrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PMap 'Unsorted PStakingCredential 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'redeemers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PMap 'Unsorted PScriptPurpose PRedeemer)))) :: (S1 ('MetaSel ('Just "ptxInfo'data") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PMap 'Unsorted PDatumHash PDatum)))) :*: S1 ('MetaSel ('Just "ptxInfo'id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxId)))))))
type Code (PTxInfo s) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.V2 type Code (PTxInfo s) = GCode (PTxInfo s)

data PTxOut (s :: S) Source #

Since: 2.0.0

Constructors

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

Instances

Instances details

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

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 ptxOutRef'id :: Term s PTxId ptxOutRef'idx :: Term s (PAsData PInteger)

Instances

Instances details

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

data PTxInInfo (s :: S) Source #

Since: 3.1.1

Constructors

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

Instances

Instances details

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

data POutputDatum (s :: S) Source #

Since: 2.0.0

Constructors

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

Instances

Instances details

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

Helpers

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

Since: 2.0.0

Constructors

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

Instances

Instances details

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

data KeyGuarantees Source #

Since: 2.0.0

Constructors

Sorted
Unsorted

data Commutativity Source #

Since: 2.0.0

Constructors

Commutative
NonCommutative

Instances

Instances details

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

Utilities

Types

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

Since: 3.3.0

Constructors

PDJust (Term s (PAsData a))
PDNothing

Instances

Instances details

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

data PRationalData s Source #

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

Since: 3.1.0

Constructors

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

Instances

Instances details

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

Utilities

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

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

Since: 2.1.1

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

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

Since: 2.1.1

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

Special version of pmaybe that works with PMaybeData.

Since: 2.1.1

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

Construct a PDJust value.

Since: 2.1.1

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

Construct a PDNothing value.

Since: 2.1.1

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

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

Since: 2.1.1

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

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

Since: 2.1.1

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

Since: 3.1.0