Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data PScriptPurpose (s :: S)
- = PMinting (Term s (PDataRecord '["_0" ':= PCurrencySymbol]))
- | PSpending (Term s (PDataRecord '["_0" ':= PTxOutRef]))
- | PRewarding (Term s (PDataRecord '["_0" ':= PStakingCredential]))
- | PCertifying (Term s (PDataRecord '["_0" ':= PDCert]))
- newtype PScriptContext (s :: S) = PScriptContext (Term s (PDataRecord '["txInfo" ':= PTxInfo, "purpose" ':= PScriptPurpose]))
- data PDCert (s :: S)
- = PDCertDelegRegKey (Term s (PDataRecord '["_0" ':= PStakingCredential]))
- | PDCertDelegDeRegKey (Term s (PDataRecord '["_0" ':= PStakingCredential]))
- | PDCertDelegDelegate (Term s (PDataRecord '["_0" ':= PStakingCredential, "_1" ':= PPubKeyHash]))
- | PDCertPoolRegister (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PPubKeyHash]))
- | PDCertPoolRetire (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PInteger]))
- | PDCertGenesis (Term s (PDataRecord '[]))
- | PDCertMir (Term s (PDataRecord '[]))
- data PCredential (s :: S)
- = PPubKeyCredential (Term s (PDataRecord '["_0" ':= PPubKeyHash]))
- | PScriptCredential (Term s (PDataRecord '["_0" ':= PScriptHash]))
- data PStakingCredential (s :: S)
- = PStakingHash (Term s (PDataRecord '["_0" ':= PCredential]))
- | PStakingPtr (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PInteger, "_2" ':= PInteger]))
- newtype PValue (keys :: KeyGuarantees) (amounts :: AmountGuarantees) (s :: S) = PValue (Term s (PMap keys PCurrencySymbol (PMap keys PTokenName PInteger)))
- data AmountGuarantees
- newtype PLovelace (s :: S) = PLovelace (Term s (PDataNewtype PInteger))
- newtype PTokenName (s :: S) = PTokenName (Term s (PDataNewtype PByteString))
- newtype PCurrencySymbol (s :: S) = PCurrencySymbol (Term s (PDataNewtype PByteString))
- newtype PPosixTime (s :: S) = PPosixTime (Term s (PDataNewtype PInteger))
- pposixTime :: forall (s :: S). Term s PInteger -> Term s PPosixTime
- unPPosixTime :: forall (s :: S). Term s PPosixTime -> Term s PInteger
- data PExtended (a :: S -> Type) (s :: S)
- newtype PLowerBound (a :: S -> Type) (s :: S) = PLowerBound (Term s (PDataRecord '["_0" ':= PExtended a, "_1" ':= PBool]))
- newtype PUpperBound (a :: S -> Type) (s :: S) = PUpperBound (Term s (PDataRecord '["_0" ':= PExtended a, "_1" ':= PBool]))
- newtype PInterval (a :: S -> Type) (s :: S) = PInterval (Term s (PDataRecord '["from" ':= PLowerBound a, "to" ':= 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 (PDataNewtype PByteString))
- newtype PRedeemerHash (s :: S) = PRedeemerHash (Term s (PDataNewtype PByteString))
- newtype PScriptHash (s :: S) = PScriptHash (Term s (PDataNewtype PByteString))
- newtype PAddress (s :: S) = PAddress (Term s (PDataRecord '["credential" ':= PCredential, "stakingCredential" ':= PMaybeData PStakingCredential]))
- newtype PTxId (s :: S) = PTxId (Term s (PDataRecord '["_0" ':= PByteString]))
- newtype PTxOut (s :: S) = PTxOut (Term s (PDataRecord '["address" ':= PAddress, "value" ':= PValue 'Sorted 'Positive, "datumHash" ':= PDatumHash]))
- newtype PTxInInfo (s :: S) = PTxInInfo (Term s (PDataRecord '["outRef" ':= PTxOutRef, "resolved" ':= PTxOut]))
- newtype PTxOutRef (s :: S) = PTxOutRef (Term s (PDataRecord '["id" ':= PTxId, "idx" ':= PInteger]))
- newtype PPubKeyHash (s :: S) = PPubKeyHash (Term s (PDataNewtype PByteString))
- newtype PTxInfo (s :: S) = PTxInfo (Term s (PDataRecord '["inputs" ':= PBuiltinList (PAsData PTxInInfo), "outputs" ':= PBuiltinList (PAsData PTxOut), "fee" ':= PValue 'Sorted 'Positive, "mint" ':= PValue 'Sorted 'NoGuarantees, "dCert" ':= PBuiltinList (PAsData PDCert), "wdrl" ':= PBuiltinList (PAsData (PBuiltinPair (PAsData PStakingCredential) (PAsData PInteger))), "validRange" ':= PInterval PPosixTime, "signatories" ':= PBuiltinList (PAsData PPubKeyHash), "data" ':= PBuiltinList (PAsData (PBuiltinPair (PAsData PDatumHash) (PAsData PDatum))), "id" ':= PTxId]))
- newtype PMap (keysort :: KeyGuarantees) (k :: S -> Type) (v :: S -> Type) (s :: S) = PMap (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v))))
- data KeyGuarantees
- data Commutativity
- data PMaybeData (a :: S -> Type) (s :: S)
- newtype PRationalData s = PRationalData (Term s (PDataRecord '["numerator" ':= PInteger, "denominator" ':= PPositive]))
- pfromDJust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PMaybeData a :--> a)
- pisDJust :: forall (a :: S -> Type) (s :: S). Term s (PMaybeData a :--> PBool)
- pmaybeData :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PIsData a => Term s (b :--> ((a :--> b) :--> (PMaybeData a :--> b)))
- pdjust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (a :--> PMaybeData a)
- pdnothing :: forall (a :: S -> Type) (s :: S). Term s (PMaybeData a)
- pmaybeToMaybeData :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PMaybe a :--> PMaybeData a)
- passertPDJust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PString :--> (PMaybeData a :--> a))
- prationalFromData :: ClosedTerm (PRationalData :--> PRational)
Contexts
data PScriptPurpose (s :: S) Source #
Since: 3.1.1
PMinting (Term s (PDataRecord '["_0" ':= PCurrencySymbol])) | |
PSpending (Term s (PDataRecord '["_0" ':= PTxOutRef])) | |
PRewarding (Term s (PDataRecord '["_0" ':= PStakingCredential])) | |
PCertifying (Term s (PDataRecord '["_0" ':= PDCert])) |
Instances
PEq PScriptPurpose Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1.Contexts (#==) :: forall (s :: S). Term s PScriptPurpose -> Term s PScriptPurpose -> Term s PBool | |
PIsData PScriptPurpose Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1.Contexts pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptPurpose) -> Term s PScriptPurpose pdataImpl :: forall (s :: S). Term s PScriptPurpose -> Term s PData | |
PLiftable PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V1.Contexts type AsHaskell PScriptPurpose type PlutusRepr PScriptPurpose toPlutarchRepr :: AsHaskell PScriptPurpose -> PlutusRepr PScriptPurpose toPlutarch :: forall (s :: S). AsHaskell PScriptPurpose -> PLifted s PScriptPurpose fromPlutarchRepr :: PlutusRepr PScriptPurpose -> Maybe (AsHaskell PScriptPurpose) fromPlutarch :: (forall (s :: S). PLifted s PScriptPurpose) -> Either LiftError (AsHaskell PScriptPurpose) | |
DerivePlutusType PScriptPurpose Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1.Contexts type DPTStrat PScriptPurpose | |
PlutusType PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V1.Contexts type PInner PScriptPurpose :: PType type PCovariant' PScriptPurpose type PContravariant' PScriptPurpose type PVariant' PScriptPurpose pcon' :: forall (s :: S). PScriptPurpose s -> Term s (PInner PScriptPurpose) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PScriptPurpose) -> (PScriptPurpose s -> Term s b) -> Term s b | |
PShow PScriptPurpose Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1.Contexts pshow' :: forall (s :: S). Bool -> Term s PScriptPurpose -> Term s PString | |
PTryFrom PData PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V1.Contexts type PTryFromExcess PData PScriptPurpose :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PScriptPurpose, Reduce (PTryFromExcess PData PScriptPurpose s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PScriptPurpose) Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1.Contexts type PTryFromExcess PData (PAsData PScriptPurpose) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PScriptPurpose), Reduce (PTryFromExcess PData (PAsData PScriptPurpose) s)) -> Term s r) -> Term s r | |
Generic (PScriptPurpose s) Source # | |
Defined in Plutarch.LedgerApi.V1.Contexts from :: PScriptPurpose s -> Rep (PScriptPurpose s) x Source # to :: Rep (PScriptPurpose s) x -> PScriptPurpose s Source # | |
type AsHaskell PScriptPurpose Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Contexts | |
type PlutusRepr PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V1.Contexts | |
type DPTStrat PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V1.Contexts type DPTStrat PScriptPurpose = PlutusTypeData | |
type PContravariant' PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V1.Contexts | |
type PCovariant' PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V1.Contexts | |
type PInner PScriptPurpose Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1.Contexts | |
type PVariant' PScriptPurpose Source # | |
Defined in Plutarch.LedgerApi.V1.Contexts | |
type PTryFromExcess PData PScriptPurpose Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1.Contexts | |
type PTryFromExcess PData (PAsData PScriptPurpose) Source # | |
Defined in Plutarch.LedgerApi.V1.Contexts type PTryFromExcess PData (PAsData PScriptPurpose) = PTryFromExcess PData (PInner (PAsData PScriptPurpose)) | |
type Rep (PScriptPurpose s) Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1.Contexts type Rep (PScriptPurpose s) = D1 ('MetaData "PScriptPurpose" "Plutarch.LedgerApi.V1.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'False) ((C1 ('MetaCons "PMinting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PCurrencySymbol])))) :+: C1 ('MetaCons "PSpending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PTxOutRef]))))) :+: (C1 ('MetaCons "PRewarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PStakingCredential])))) :+: C1 ('MetaCons "PCertifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PDCert])))))) |
newtype PScriptContext (s :: S) Source #
Since: 3.1.1
PScriptContext (Term s (PDataRecord '["txInfo" ':= PTxInfo, "purpose" ':= PScriptPurpose])) |
Instances
PDataFields PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V1 type PFields PScriptContext :: [PLabeledType] ptoFields :: forall (s :: S). Term s PScriptContext -> Term s (PDataRecord (PFields PScriptContext)) | |
PEq PScriptContext Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 (#==) :: forall (s :: S). Term s PScriptContext -> Term s PScriptContext -> Term s PBool | |
PIsData PScriptContext Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptContext) -> Term s PScriptContext pdataImpl :: forall (s :: S). Term s PScriptContext -> Term s PData | |
PLiftable PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V1 type AsHaskell PScriptContext type PlutusRepr PScriptContext toPlutarchRepr :: AsHaskell PScriptContext -> PlutusRepr PScriptContext toPlutarch :: forall (s :: S). AsHaskell PScriptContext -> PLifted s PScriptContext fromPlutarchRepr :: PlutusRepr PScriptContext -> Maybe (AsHaskell PScriptContext) fromPlutarch :: (forall (s :: S). PLifted s PScriptContext) -> Either LiftError (AsHaskell PScriptContext) | |
DerivePlutusType PScriptContext Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 type DPTStrat PScriptContext | |
PlutusType PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V1 type PInner PScriptContext :: PType type PCovariant' PScriptContext type PContravariant' PScriptContext type PVariant' PScriptContext pcon' :: forall (s :: S). PScriptContext s -> Term s (PInner PScriptContext) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PScriptContext) -> (PScriptContext s -> Term s b) -> Term s b | |
PShow PScriptContext Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 pshow' :: forall (s :: S). Bool -> Term s PScriptContext -> Term s PString | |
PTryFrom PData PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V1 type PTryFromExcess PData PScriptContext :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PScriptContext, Reduce (PTryFromExcess PData PScriptContext s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PScriptContext) Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 type PTryFromExcess PData (PAsData PScriptContext) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PScriptContext), Reduce (PTryFromExcess PData (PAsData PScriptContext) s)) -> Term s r) -> Term s r | |
Generic (PScriptContext s) Source # | |
Defined in Plutarch.LedgerApi.V1 from :: PScriptContext s -> Rep (PScriptContext s) x Source # to :: Rep (PScriptContext s) x -> PScriptContext s Source # | |
type PFields PScriptContext Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
type AsHaskell PScriptContext Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1 | |
type PlutusRepr PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type DPTStrat PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V1 type DPTStrat PScriptContext = PlutusTypeData | |
type PContravariant' PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type PCovariant' PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type PInner PScriptContext Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
type PVariant' PScriptContext Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type PTryFromExcess PData PScriptContext Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
type PTryFromExcess PData (PAsData PScriptContext) Source # | |
Defined in Plutarch.LedgerApi.V1 type PTryFromExcess PData (PAsData PScriptContext) = PTryFromExcess PData (PInner (PAsData PScriptContext)) | |
type Rep (PScriptContext s) Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 type Rep (PScriptContext s) = D1 ('MetaData "PScriptContext" "Plutarch.LedgerApi.V1" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PScriptContext" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["txInfo" ':= PTxInfo, "purpose" ':= PScriptPurpose]))))) |
Certificates
Since: 3.1.1
PDCertDelegRegKey (Term s (PDataRecord '["_0" ':= PStakingCredential])) | |
PDCertDelegDeRegKey (Term s (PDataRecord '["_0" ':= PStakingCredential])) | |
PDCertDelegDelegate (Term s (PDataRecord '["_0" ':= PStakingCredential, "_1" ':= PPubKeyHash])) | |
PDCertPoolRegister (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PPubKeyHash])) | |
PDCertPoolRetire (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PInteger])) | |
PDCertGenesis (Term s (PDataRecord '[])) | |
PDCertMir (Term s (PDataRecord '[])) |
Instances
PEq PDCert Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1.DCert | |
PIsData PDCert Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1.DCert pfromDataImpl :: forall (s :: S). Term s (PAsData PDCert) -> Term s PDCert | |
PLiftable PDCert Source # | |
Defined in Plutarch.LedgerApi.V1.DCert toPlutarchRepr :: AsHaskell PDCert -> PlutusRepr PDCert toPlutarch :: forall (s :: S). AsHaskell PDCert -> PLifted s PDCert fromPlutarchRepr :: PlutusRepr PDCert -> Maybe (AsHaskell PDCert) fromPlutarch :: (forall (s :: S). PLifted s PDCert) -> Either LiftError (AsHaskell PDCert) | |
DerivePlutusType PDCert Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1.DCert type DPTStrat PDCert | |
PlutusType PDCert Source # | |
PShow PDCert Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1.DCert | |
PTryFrom PData PDCert Source # | |
Defined in Plutarch.LedgerApi.V1.DCert type PTryFromExcess PData PDCert :: PType | |
PTryFrom PData (PAsData PDCert) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.DCert type PTryFromExcess PData (PAsData PDCert) :: PType | |
Generic (PDCert s) Source # | |
type AsHaskell PDCert Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.DCert | |
type PlutusRepr PDCert Source # | |
Defined in Plutarch.LedgerApi.V1.DCert | |
type DPTStrat PDCert Source # | |
Defined in Plutarch.LedgerApi.V1.DCert type DPTStrat PDCert = PlutusTypeData | |
type PContravariant' PDCert Source # | |
Defined in Plutarch.LedgerApi.V1.DCert | |
type PCovariant' PDCert Source # | |
Defined in Plutarch.LedgerApi.V1.DCert | |
type PInner PDCert Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1.DCert | |
type PVariant' PDCert Source # | |
Defined in Plutarch.LedgerApi.V1.DCert | |
type PTryFromExcess PData PDCert Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1.DCert | |
type PTryFromExcess PData (PAsData PDCert) Source # | |
Defined in Plutarch.LedgerApi.V1.DCert | |
type Rep (PDCert s) Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1.DCert type Rep (PDCert s) = D1 ('MetaData "PDCert" "Plutarch.LedgerApi.V1.DCert" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'False) ((C1 ('MetaCons "PDCertDelegRegKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PStakingCredential])))) :+: (C1 ('MetaCons "PDCertDelegDeRegKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PStakingCredential])))) :+: C1 ('MetaCons "PDCertDelegDelegate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PStakingCredential, "_1" ':= PPubKeyHash])))))) :+: ((C1 ('MetaCons "PDCertPoolRegister" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PPubKeyHash])))) :+: C1 ('MetaCons "PDCertPoolRetire" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PInteger]))))) :+: (C1 ('MetaCons "PDCertGenesis" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))) :+: C1 ('MetaCons "PDCertMir" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType])))))))) |
Credentials
data PCredential (s :: S) Source #
Since: 2.0.0
PPubKeyCredential (Term s (PDataRecord '["_0" ':= PPubKeyHash])) | |
PScriptCredential (Term s (PDataRecord '["_0" ':= PScriptHash])) |
Instances
PEq PCredential Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential (#==) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool | |
PIsData PCredential Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential pfromDataImpl :: forall (s :: S). Term s (PAsData PCredential) -> Term s PCredential pdataImpl :: forall (s :: S). Term s PCredential -> Term s PData | |
PLiftable PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential type AsHaskell PCredential type PlutusRepr PCredential toPlutarchRepr :: AsHaskell PCredential -> PlutusRepr PCredential toPlutarch :: forall (s :: S). AsHaskell PCredential -> PLifted s PCredential fromPlutarchRepr :: PlutusRepr PCredential -> Maybe (AsHaskell PCredential) fromPlutarch :: (forall (s :: S). PLifted s PCredential) -> Either LiftError (AsHaskell PCredential) | |
POrd PCredential Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential (#<=) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool (#<) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool pmax :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PCredential pmin :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PCredential | |
DerivePlutusType PCredential Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential type DPTStrat PCredential | |
PlutusType PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential type PInner PCredential :: PType type PCovariant' PCredential type PContravariant' PCredential type PVariant' PCredential pcon' :: forall (s :: S). PCredential s -> Term s (PInner PCredential) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PCredential) -> (PCredential s -> Term s b) -> Term s b | |
PShow PCredential Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential pshow' :: forall (s :: S). Bool -> Term s PCredential -> Term s PString | |
PTryFrom PData PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential type PTryFromExcess PData PCredential :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PCredential, Reduce (PTryFromExcess PData PCredential s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PCredential) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential type PTryFromExcess PData (PAsData PCredential) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PCredential), Reduce (PTryFromExcess PData (PAsData PCredential) s)) -> Term s r) -> Term s r | |
Generic (PCredential s) Source # | |
Defined in Plutarch.LedgerApi.V1.Credential from :: PCredential s -> Rep (PCredential s) x Source # to :: Rep (PCredential s) x -> PCredential s Source # | |
type AsHaskell PCredential Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Credential | |
type PlutusRepr PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential | |
type DPTStrat PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential type DPTStrat PCredential = PlutusTypeData | |
type PContravariant' PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential | |
type PCovariant' PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential | |
type PInner PCredential Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential | |
type PVariant' PCredential Source # | |
Defined in Plutarch.LedgerApi.V1.Credential | |
type PTryFromExcess PData PCredential Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential | |
type PTryFromExcess PData (PAsData PCredential) Source # | |
Defined in Plutarch.LedgerApi.V1.Credential type PTryFromExcess PData (PAsData PCredential) = PTryFromExcess PData (PInner (PAsData PCredential)) | |
type Rep (PCredential s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Credential type Rep (PCredential s) = D1 ('MetaData "PCredential" "Plutarch.LedgerApi.V1.Credential" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'False) (C1 ('MetaCons "PPubKeyCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PPubKeyHash])))) :+: C1 ('MetaCons "PScriptCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PScriptHash]))))) |
data PStakingCredential (s :: S) Source #
Since: 2.0.0
PStakingHash (Term s (PDataRecord '["_0" ':= PCredential])) | |
PStakingPtr (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PInteger, "_2" ':= PInteger])) |
Instances
Value
newtype PValue (keys :: KeyGuarantees) (amounts :: AmountGuarantees) (s :: S) Source #
Since: 2.0.0
PValue (Term s (PMap keys PCurrencySymbol (PMap keys PTokenName PInteger))) |
Instances
PTryFrom PData (PAsData (PValue 'Sorted 'NoGuarantees)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData (PValue 'Sorted 'NoGuarantees)) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PValue 'Sorted 'NoGuarantees)), Reduce (PTryFromExcess PData (PAsData (PValue 'Sorted 'NoGuarantees)) s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData (PValue 'Sorted 'NonZero)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
PTryFrom PData (PAsData (PValue 'Sorted 'Positive)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
PTryFrom PData (PAsData (PValue 'Unsorted 'NoGuarantees)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NoGuarantees)) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PValue 'Unsorted 'NoGuarantees)), Reduce (PTryFromExcess PData (PAsData (PValue 'Unsorted 'NoGuarantees)) s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData (PValue 'Unsorted 'NonZero)) Source # | Since: 2.1.1 |
Defined in Plutarch.LedgerApi.Value | |
PTryFrom PData (PAsData (PValue 'Unsorted 'Positive)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
Semigroup (Term s (PValue 'Sorted normalization)) => Monoid (Term s (PValue 'Sorted normalization)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
Semigroup (Term s (PValue 'Sorted 'NoGuarantees)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (<>) :: Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) Source # sconcat :: NonEmpty (Term s (PValue 'Sorted 'NoGuarantees)) -> Term s (PValue 'Sorted 'NoGuarantees) Source # stimes :: Integral b => b -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) Source # | |
Semigroup (Term s (PValue 'Sorted 'NonZero)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (<>) :: Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) Source # sconcat :: NonEmpty (Term s (PValue 'Sorted 'NonZero)) -> Term s (PValue 'Sorted 'NonZero) Source # stimes :: Integral b => b -> Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) Source # | |
Semigroup (Term s (PValue 'Sorted 'Positive)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (<>) :: Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) Source # sconcat :: NonEmpty (Term s (PValue 'Sorted 'Positive)) -> Term s (PValue 'Sorted 'Positive) Source # stimes :: Integral b => b -> Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) Source # | |
PEq (PValue 'Sorted 'NoGuarantees) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (#==) :: forall (s :: S). Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s PBool | |
PEq (PValue 'Sorted 'NonZero) Source # | Since: 2.0.0 |
PEq (PValue 'Sorted 'Positive) Source # | Since: 2.0.0 |
PIsData (PValue keys amounts) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value pfromDataImpl :: forall (s :: S). Term s (PAsData (PValue keys amounts)) -> Term s (PValue keys amounts) pdataImpl :: forall (s :: S). Term s (PValue keys amounts) -> Term s PData | |
PLiftable (PValue 'Unsorted 'NoGuarantees) Source # | |
Defined in Plutarch.LedgerApi.Value type AsHaskell (PValue 'Unsorted 'NoGuarantees) type PlutusRepr (PValue 'Unsorted 'NoGuarantees) toPlutarchRepr :: AsHaskell (PValue 'Unsorted 'NoGuarantees) -> PlutusRepr (PValue 'Unsorted 'NoGuarantees) toPlutarch :: forall (s :: S). AsHaskell (PValue 'Unsorted 'NoGuarantees) -> PLifted s (PValue 'Unsorted 'NoGuarantees) fromPlutarchRepr :: PlutusRepr (PValue 'Unsorted 'NoGuarantees) -> Maybe (AsHaskell (PValue 'Unsorted 'NoGuarantees)) fromPlutarch :: (forall (s :: S). PLifted s (PValue 'Unsorted 'NoGuarantees)) -> Either LiftError (AsHaskell (PValue 'Unsorted 'NoGuarantees)) | |
DerivePlutusType (PValue keys amounts) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type DPTStrat (PValue keys amounts) | |
PlutusType (PValue keys amounts) Source # | |
Defined in Plutarch.LedgerApi.Value | |
PShow (PValue keys amounts) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
Semigroup (Term s (PValue 'Sorted 'NoGuarantees)) => Group (Term s (PValue 'Sorted 'NoGuarantees)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value inv :: Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) | |
Semigroup (Term s (PValue 'Sorted 'NonZero)) => Group (Term s (PValue 'Sorted 'NonZero)) Source # | Since: 2.0.0 |
Semigroup (Term s (PValue 'Sorted normalization)) => Monoid (Term s (PValue 'Sorted normalization)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
Semigroup (Term s (PValue 'Sorted 'NoGuarantees)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (<>) :: Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) | |
Semigroup (Term s (PValue 'Sorted 'NonZero)) Source # | Since: 2.0.0 |
Semigroup (Term s (PValue 'Sorted 'Positive)) Source # | Since: 2.0.0 |
Generic (PValue keys amounts s) Source # | |
type PTryFromExcess PData (PAsData (PValue 'Sorted 'NoGuarantees)) Source # | |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData (PValue 'Sorted 'NoGuarantees)) = PTryFromExcess PData (PInner (PAsData (PValue 'Sorted 'NoGuarantees))) | |
type PTryFromExcess PData (PAsData (PValue 'Sorted 'NonZero)) Source # | |
type PTryFromExcess PData (PAsData (PValue 'Sorted 'Positive)) Source # | |
type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NoGuarantees)) Source # | |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NoGuarantees)) = PTryFromExcess PData (PInner (PAsData (PValue 'Unsorted 'NoGuarantees))) | |
type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NonZero)) Source # | |
type PTryFromExcess PData (PAsData (PValue 'Unsorted 'Positive)) Source # | |
type AsHaskell (PValue 'Unsorted 'NoGuarantees) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Value type AsHaskell (PValue 'Unsorted 'NoGuarantees) = AsHaskell (DeriveNewtypePLiftable (PValue 'Unsorted 'NoGuarantees) (PMap 'Unsorted PCurrencySymbol (PMap 'Unsorted PTokenName PInteger)) Value) | |
type PlutusRepr (PValue 'Unsorted 'NoGuarantees) Source # | |
Defined in Plutarch.LedgerApi.Value type PlutusRepr (PValue 'Unsorted 'NoGuarantees) = PlutusRepr (DeriveNewtypePLiftable (PValue 'Unsorted 'NoGuarantees) (PMap 'Unsorted PCurrencySymbol (PMap 'Unsorted PTokenName PInteger)) Value) | |
type DPTStrat (PValue keys amounts) Source # | |
Defined in Plutarch.LedgerApi.Value type DPTStrat (PValue keys amounts) = PlutusTypeNewtype | |
type PContravariant' (PValue keys amounts) Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PCovariant' (PValue keys amounts) Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PInner (PValue keys amounts) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
type PVariant' (PValue keys amounts) Source # | |
Defined in Plutarch.LedgerApi.Value | |
type Rep (PValue keys amounts s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type Rep (PValue keys amounts s) = D1 ('MetaData "PValue" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMap keys PCurrencySymbol (PMap keys PTokenName PInteger)))))) |
newtype PLovelace (s :: S) Source #
Since: 2.2.0
PLovelace (Term s (PDataNewtype PInteger)) |
Instances
PEq PLovelace Source # | Since: 2.2.0 |
Defined in Plutarch.LedgerApi.Value | |
PIsData PLovelace Source # | Since: 2.2.0 |
Defined in Plutarch.LedgerApi.Value pfromDataImpl :: forall (s :: S). Term s (PAsData PLovelace) -> Term s PLovelace pdataImpl :: forall (s :: S). Term s PLovelace -> Term s PData | |
PLiftable PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value toPlutarchRepr :: AsHaskell PLovelace -> PlutusRepr PLovelace toPlutarch :: forall (s :: S). AsHaskell PLovelace -> PLifted s PLovelace fromPlutarchRepr :: PlutusRepr PLovelace -> Maybe (AsHaskell PLovelace) fromPlutarch :: (forall (s :: S). PLifted s PLovelace) -> Either LiftError (AsHaskell PLovelace) | |
POrd PLovelace Source # | @since WIP |
Defined in Plutarch.LedgerApi.Value (#<=) :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PBool (#<) :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PBool 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 | |
DerivePlutusType PLovelace Source # | Since: 2.2.0 |
Defined in Plutarch.LedgerApi.Value type DPTStrat PLovelace | |
PlutusType PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value | |
PShow PLovelace Source # | Since: 2.2.0 |
Defined in Plutarch.LedgerApi.Value | |
PTryFrom PData PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData PLovelace :: PType | |
PTryFrom PData (PAsData PLovelace) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData PLovelace) :: PType | |
Generic (PLovelace s) Source # | |
type AsHaskell PLovelace Source # | @since WIP |
Defined in Plutarch.LedgerApi.Value | |
type PlutusRepr PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value | |
type DPTStrat PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value type DPTStrat PLovelace = PlutusTypeNewtype | |
type PContravariant' PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PCovariant' PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PInner PLovelace Source # | Since: 2.2.0 |
Defined in Plutarch.LedgerApi.Value | |
type PVariant' PLovelace Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PTryFromExcess PData PLovelace Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Value | |
type PTryFromExcess PData (PAsData PLovelace) Source # | |
Defined in Plutarch.LedgerApi.Value | |
type Rep (PLovelace s) Source # | Since: 2.2.0 |
Defined in Plutarch.LedgerApi.Value type Rep (PLovelace s) = D1 ('MetaData "PLovelace" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PLovelace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PInteger))))) |
newtype PTokenName (s :: S) Source #
Since: 2.0.0
PTokenName (Term s (PDataNewtype PByteString)) |
Instances
PEq PTokenName Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (#==) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool | |
PIsData PTokenName Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value pfromDataImpl :: forall (s :: S). Term s (PAsData PTokenName) -> Term s PTokenName pdataImpl :: forall (s :: S). Term s PTokenName -> Term s PData | |
PLiftable PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value type AsHaskell PTokenName type PlutusRepr PTokenName toPlutarchRepr :: AsHaskell PTokenName -> PlutusRepr PTokenName toPlutarch :: forall (s :: S). AsHaskell PTokenName -> PLifted s PTokenName fromPlutarchRepr :: PlutusRepr PTokenName -> Maybe (AsHaskell PTokenName) fromPlutarch :: (forall (s :: S). PLifted s PTokenName) -> Either LiftError (AsHaskell PTokenName) | |
POrd PTokenName Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (#<=) :: 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 | |
DerivePlutusType PTokenName Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type DPTStrat PTokenName | |
PlutusType PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value type PInner PTokenName :: PType type PCovariant' PTokenName type PContravariant' PTokenName type PVariant' PTokenName pcon' :: forall (s :: S). PTokenName s -> Term s (PInner PTokenName) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTokenName) -> (PTokenName s -> Term s b) -> Term s b | |
PShow PTokenName Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value pshow' :: forall (s :: S). Bool -> Term s PTokenName -> Term s PString | |
PTryFrom PData PTokenName Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData PTokenName :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PTokenName, Reduce (PTryFromExcess PData PTokenName s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PTokenName) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData PTokenName) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PTokenName), Reduce (PTryFromExcess PData (PAsData PTokenName) s)) -> Term s r) -> Term s r | |
Generic (PTokenName s) Source # | |
Defined in Plutarch.LedgerApi.Value from :: PTokenName s -> Rep (PTokenName s) x Source # to :: Rep (PTokenName s) x -> PTokenName s Source # | |
type AsHaskell PTokenName Source # | @since WIP |
Defined in Plutarch.LedgerApi.Value | |
type PlutusRepr PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value | |
type DPTStrat PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value type DPTStrat PTokenName = PlutusTypeNewtype | |
type PContravariant' PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PCovariant' PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PInner PTokenName Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
type PVariant' PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PTryFromExcess PData PTokenName Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PTryFromExcess PData (PAsData PTokenName) Source # | |
Defined in Plutarch.LedgerApi.Value | |
type Rep (PTokenName s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type Rep (PTokenName s) = D1 ('MetaData "PTokenName" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PTokenName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString))))) |
newtype PCurrencySymbol (s :: S) Source #
Since: 2.0.0
PCurrencySymbol (Term s (PDataNewtype PByteString)) |
Instances
PEq PCurrencySymbol Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (#==) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool | |
PIsData PCurrencySymbol Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value pfromDataImpl :: forall (s :: S). Term s (PAsData PCurrencySymbol) -> Term s PCurrencySymbol pdataImpl :: forall (s :: S). Term s PCurrencySymbol -> Term s PData | |
PLiftable PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value type AsHaskell PCurrencySymbol type PlutusRepr PCurrencySymbol toPlutarchRepr :: AsHaskell PCurrencySymbol -> PlutusRepr PCurrencySymbol toPlutarch :: forall (s :: S). AsHaskell PCurrencySymbol -> PLifted s PCurrencySymbol fromPlutarchRepr :: PlutusRepr PCurrencySymbol -> Maybe (AsHaskell PCurrencySymbol) fromPlutarch :: (forall (s :: S). PLifted s PCurrencySymbol) -> Either LiftError (AsHaskell PCurrencySymbol) | |
POrd PCurrencySymbol Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value (#<=) :: 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 | |
DerivePlutusType PCurrencySymbol Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type DPTStrat PCurrencySymbol | |
PlutusType PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value type PInner PCurrencySymbol :: PType type PCovariant' PCurrencySymbol type PContravariant' PCurrencySymbol type PVariant' PCurrencySymbol pcon' :: forall (s :: S). PCurrencySymbol s -> Term s (PInner PCurrencySymbol) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PCurrencySymbol) -> (PCurrencySymbol s -> Term s b) -> Term s b | |
PShow PCurrencySymbol Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value pshow' :: forall (s :: S). Bool -> Term s PCurrencySymbol -> Term s PString | |
PTryFrom PData PCurrencySymbol Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData PCurrencySymbol :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PCurrencySymbol, Reduce (PTryFromExcess PData PCurrencySymbol s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PCurrencySymbol) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type PTryFromExcess PData (PAsData PCurrencySymbol) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PCurrencySymbol), Reduce (PTryFromExcess PData (PAsData PCurrencySymbol) s)) -> Term s r) -> Term s r | |
Generic (PCurrencySymbol s) Source # | |
Defined in Plutarch.LedgerApi.Value from :: PCurrencySymbol s -> Rep (PCurrencySymbol s) x Source # to :: Rep (PCurrencySymbol s) x -> PCurrencySymbol s Source # | |
type AsHaskell PCurrencySymbol Source # | @since WIP |
Defined in Plutarch.LedgerApi.Value | |
type PlutusRepr PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value | |
type DPTStrat PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value type DPTStrat PCurrencySymbol = PlutusTypeNewtype | |
type PContravariant' PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PCovariant' PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PInner PCurrencySymbol Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value | |
type PVariant' PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PTryFromExcess PData PCurrencySymbol Source # | |
Defined in Plutarch.LedgerApi.Value | |
type PTryFromExcess PData (PAsData PCurrencySymbol) Source # | |
Defined in Plutarch.LedgerApi.Value | |
type Rep (PCurrencySymbol s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Value type Rep (PCurrencySymbol s) = D1 ('MetaData "PCurrencySymbol" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PCurrencySymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString))))) |
Time
newtype PPosixTime (s :: S) Source #
Since: 2.0.0
PPosixTime (Term s (PDataNewtype PInteger)) |
Instances
PCountable PPosixTime Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Time psuccessor :: forall (s :: S). Term s (PPosixTime :--> PPosixTime) psuccessorN :: forall (s :: S). Term s (PPositive :--> (PPosixTime :--> PPosixTime)) | |
PEnumerable PPosixTime Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Time ppredecessor :: forall (s :: S). Term s (PPosixTime :--> PPosixTime) ppredecessorN :: forall (s :: S). Term s (PPositive :--> (PPosixTime :--> PPosixTime)) | |
PEq PPosixTime Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time (#==) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool | |
PIsData PPosixTime Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time pfromDataImpl :: forall (s :: S). Term s (PAsData PPosixTime) -> Term s PPosixTime pdataImpl :: forall (s :: S). Term s PPosixTime -> Term s PData | |
PLiftable PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time type AsHaskell PPosixTime type PlutusRepr PPosixTime toPlutarchRepr :: AsHaskell PPosixTime -> PlutusRepr PPosixTime toPlutarch :: forall (s :: S). AsHaskell PPosixTime -> PLifted s PPosixTime fromPlutarchRepr :: PlutusRepr PPosixTime -> Maybe (AsHaskell PPosixTime) fromPlutarch :: (forall (s :: S). PLifted s PPosixTime) -> Either LiftError (AsHaskell PPosixTime) | |
PAdditiveGroup PPosixTime Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Time 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 :--> (PInteger :--> PPosixTime)) | |
PAdditiveMonoid PPosixTime Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Time pzero :: forall (s :: S). Term s PPosixTime | |
PAdditiveSemigroup PPosixTime Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Time (#+) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PPosixTime pscalePositive :: forall (s :: S). Term s (PPosixTime :--> (PPositive :--> PPosixTime)) | |
POrd PPosixTime Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time (#<=) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool (#<) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool 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 | |
DerivePlutusType PPosixTime Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time type DPTStrat PPosixTime | |
PlutusType PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time type PInner PPosixTime :: PType type PCovariant' PPosixTime type PContravariant' PPosixTime type PVariant' PPosixTime pcon' :: forall (s :: S). PPosixTime s -> Term s (PInner PPosixTime) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PPosixTime) -> (PPosixTime s -> Term s b) -> Term s b | |
PShow PPosixTime Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time pshow' :: forall (s :: S). Bool -> Term s PPosixTime -> Term s PString | |
PTryFrom PData PPosixTime Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Time type PTryFromExcess PData PPosixTime :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PPosixTime, Reduce (PTryFromExcess PData PPosixTime s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PPosixTime) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time type PTryFromExcess PData (PAsData PPosixTime) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PPosixTime), Reduce (PTryFromExcess PData (PAsData PPosixTime) s)) -> Term s r) -> Term s r | |
Generic (PPosixTime s) Source # | |
Defined in Plutarch.LedgerApi.V1.Time from :: PPosixTime s -> Rep (PPosixTime s) x Source # to :: Rep (PPosixTime s) x -> PPosixTime s Source # | |
type AsHaskell PPosixTime Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Time | |
type PlutusRepr PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time | |
type DPTStrat PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time type DPTStrat PPosixTime = PlutusTypeNewtype | |
type PContravariant' PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time | |
type PCovariant' PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time | |
type PInner PPosixTime Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time | |
type PVariant' PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time | |
type PTryFromExcess PData PPosixTime Source # | |
Defined in Plutarch.LedgerApi.V1.Time | |
type PTryFromExcess PData (PAsData PPosixTime) Source # | |
Defined in Plutarch.LedgerApi.V1.Time | |
type Rep (PPosixTime s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Time type Rep (PPosixTime s) = D1 ('MetaData "PPosixTime" "Plutarch.LedgerApi.V1.Time" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PPosixTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PInteger))))) |
pposixTime :: forall (s :: S). Term s PInteger -> Term s PPosixTime Source #
Construct a PPosixTime
from a PInteger
. Same as using the constructor,
but a lot shorter.
@since WIP
unPPosixTime :: forall (s :: S). Term s PPosixTime -> Term s PInteger Source #
Unwrap a PPosixTime
to get a PInteger
. Same as using pmatch
, but a
lot shorter. Also unwraps the Data
encoding.
@since WIP
Intervals
data PExtended (a :: S -> Type) (s :: S) Source #
Since: 2.0.0
PNegInf (Term s (PDataRecord '[])) | |
PFinite (Term s (PDataRecord '["_0" ':= a])) | |
PPosInf (Term s (PDataRecord '[])) |
Instances
PTryFrom PData a => PTryFrom PData (PAsData (PExtended a)) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PExtended a)) :: PType | |
PTryFrom PData a => PTryFrom PData (PExtended a) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PExtended a) :: PType | |
PEq (PExtended a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
PIsData (PExtended a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval pfromDataImpl :: forall (s :: S). Term s (PAsData (PExtended a)) -> Term s (PExtended a) pdataImpl :: forall (s :: S). Term s (PExtended a) -> Term s PData | |
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval toPlutarchRepr :: AsHaskell (PExtended a) -> PlutusRepr (PExtended a) toPlutarch :: forall (s :: S). AsHaskell (PExtended a) -> PLifted s (PExtended a) fromPlutarchRepr :: PlutusRepr (PExtended a) -> Maybe (AsHaskell (PExtended a)) fromPlutarch :: (forall (s :: S). PLifted s (PExtended a)) -> Either LiftError (AsHaskell (PExtended a)) | |
(POrd a, PIsData a) => POrd (PExtended a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval (#<=) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool (#<) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool 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) | |
DerivePlutusType (PExtended a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PExtended a) | |
PlutusType (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
(PIsData a, PShow a) => PShow (PExtended a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
Generic (PExtended a s) Source # | |
type PTryFromExcess PData (PAsData (PExtended a)) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PTryFromExcess PData (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type AsHaskell (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PlutusRepr (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type DPTStrat (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PExtended a) = PlutusTypeData | |
type PContravariant' (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PCovariant' (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PInner (PExtended a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
type PVariant' (PExtended a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type Rep (PExtended a s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type Rep (PExtended a s) = D1 ('MetaData "PExtended" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'False) (C1 ('MetaCons "PNegInf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))) :+: (C1 ('MetaCons "PFinite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= a])))) :+: C1 ('MetaCons "PPosInf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))))) |
newtype PLowerBound (a :: S -> Type) (s :: S) Source #
Since: 2.0.0
PLowerBound (Term s (PDataRecord '["_0" ':= PExtended a, "_1" ':= PBool])) |
Instances
PTryFrom PData a => PTryFrom PData (PAsData (PLowerBound a)) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PLowerBound a)) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PLowerBound a)), Reduce (PTryFromExcess PData (PAsData (PLowerBound a)) s)) -> Term s r) -> Term s r | |
PTryFrom PData a => PTryFrom PData (PLowerBound a) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PLowerBound a) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PLowerBound a), Reduce (PTryFromExcess PData (PLowerBound a) s)) -> Term s r) -> Term s r | |
PDataFields (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type PFields (PLowerBound a) :: [PLabeledType] ptoFields :: forall (s :: S). Term s (PLowerBound a) -> Term s (PDataRecord (PFields (PLowerBound a))) | |
(PIsData a, PCountable a) => PEq (PLowerBound a) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Interval (#==) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool | |
PIsData (PLowerBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval pfromDataImpl :: forall (s :: S). Term s (PAsData (PLowerBound a)) -> Term s (PLowerBound a) pdataImpl :: forall (s :: S). Term s (PLowerBound a) -> Term s PData | |
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type AsHaskell (PLowerBound a) type PlutusRepr (PLowerBound a) toPlutarchRepr :: AsHaskell (PLowerBound a) -> PlutusRepr (PLowerBound a) toPlutarch :: forall (s :: S). AsHaskell (PLowerBound a) -> PLifted s (PLowerBound a) fromPlutarchRepr :: PlutusRepr (PLowerBound a) -> Maybe (AsHaskell (PLowerBound a)) fromPlutarch :: (forall (s :: S). PLifted s (PLowerBound a)) -> Either LiftError (AsHaskell (PLowerBound a)) | |
(PIsData a, PCountable a) => POrd (PLowerBound a) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Interval (#<=) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool (#<) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool 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) | |
DerivePlutusType (PLowerBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PLowerBound a) | |
PlutusType (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type PInner (PLowerBound a) :: PType type PCovariant' (PLowerBound a) type PContravariant' (PLowerBound a) type PVariant' (PLowerBound a) pcon' :: forall (s :: S). PLowerBound a s -> Term s (PInner (PLowerBound a)) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PLowerBound a)) -> (PLowerBound a s -> Term s b) -> Term s b | |
(PIsData a, PShow a) => PShow (PLowerBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval pshow' :: forall (s :: S). Bool -> Term s (PLowerBound a) -> Term s PString | |
Generic (PLowerBound a s) Source # | |
Defined in Plutarch.LedgerApi.Interval from :: PLowerBound a s -> Rep (PLowerBound a s) x Source # to :: Rep (PLowerBound a s) x -> PLowerBound a s Source # | |
type PTryFromExcess PData (PAsData (PLowerBound a)) Source # | |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PLowerBound a)) = PTryFromExcess PData (PInner (PAsData (PLowerBound a))) | |
type PTryFromExcess PData (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PFields (PLowerBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
type AsHaskell (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type AsHaskell (PLowerBound a) = AsHaskell (DeriveDataPLiftable (PLowerBound a) (LowerBound (AsHaskell a))) | |
type PlutusRepr (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PLowerBound a) = PlutusRepr (DeriveDataPLiftable (PLowerBound a) (LowerBound (AsHaskell a))) | |
type DPTStrat (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PLowerBound a) = PlutusTypeData | |
type PContravariant' (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PCovariant' (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PInner (PLowerBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
type PVariant' (PLowerBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type Rep (PLowerBound a s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type Rep (PLowerBound a s) = D1 ('MetaData "PLowerBound" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PLowerBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PExtended a, "_1" ':= PBool]))))) |
newtype PUpperBound (a :: S -> Type) (s :: S) Source #
Since: 2.0.0
PUpperBound (Term s (PDataRecord '["_0" ':= PExtended a, "_1" ':= PBool])) |
Instances
PTryFrom PData a => PTryFrom PData (PAsData (PUpperBound a)) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PUpperBound a)) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PUpperBound a)), Reduce (PTryFromExcess PData (PAsData (PUpperBound a)) s)) -> Term s r) -> Term s r | |
PTryFrom PData a => PTryFrom PData (PUpperBound a) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PUpperBound a) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PUpperBound a), Reduce (PTryFromExcess PData (PUpperBound a) s)) -> Term s r) -> Term s r | |
PDataFields (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type PFields (PUpperBound a) :: [PLabeledType] ptoFields :: forall (s :: S). Term s (PUpperBound a) -> Term s (PDataRecord (PFields (PUpperBound a))) | |
(PIsData a, PEnumerable a) => PEq (PUpperBound a) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Interval (#==) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool | |
PIsData (PUpperBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval pfromDataImpl :: forall (s :: S). Term s (PAsData (PUpperBound a)) -> Term s (PUpperBound a) pdataImpl :: forall (s :: S). Term s (PUpperBound a) -> Term s PData | |
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type AsHaskell (PUpperBound a) type PlutusRepr (PUpperBound a) toPlutarchRepr :: AsHaskell (PUpperBound a) -> PlutusRepr (PUpperBound a) toPlutarch :: forall (s :: S). AsHaskell (PUpperBound a) -> PLifted s (PUpperBound a) fromPlutarchRepr :: PlutusRepr (PUpperBound a) -> Maybe (AsHaskell (PUpperBound a)) fromPlutarch :: (forall (s :: S). PLifted s (PUpperBound a)) -> Either LiftError (AsHaskell (PUpperBound a)) | |
(PIsData a, PEnumerable a) => POrd (PUpperBound a) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Interval (#<=) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool (#<) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool 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) | |
DerivePlutusType (PUpperBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PUpperBound a) | |
PlutusType (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type PInner (PUpperBound a) :: PType type PCovariant' (PUpperBound a) type PContravariant' (PUpperBound a) type PVariant' (PUpperBound a) pcon' :: forall (s :: S). PUpperBound a s -> Term s (PInner (PUpperBound a)) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PUpperBound a)) -> (PUpperBound a s -> Term s b) -> Term s b | |
(PIsData a, PShow a) => PShow (PUpperBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval pshow' :: forall (s :: S). Bool -> Term s (PUpperBound a) -> Term s PString | |
Generic (PUpperBound a s) Source # | |
Defined in Plutarch.LedgerApi.Interval from :: PUpperBound a s -> Rep (PUpperBound a s) x Source # to :: Rep (PUpperBound a s) x -> PUpperBound a s Source # | |
type PTryFromExcess PData (PAsData (PUpperBound a)) Source # | |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PUpperBound a)) = PTryFromExcess PData (PInner (PAsData (PUpperBound a))) | |
type PTryFromExcess PData (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PFields (PUpperBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
type AsHaskell (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type AsHaskell (PUpperBound a) = AsHaskell (DeriveDataPLiftable (PUpperBound a) (UpperBound (AsHaskell a))) | |
type PlutusRepr (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PUpperBound a) = PlutusRepr (DeriveDataPLiftable (PUpperBound a) (UpperBound (AsHaskell a))) | |
type DPTStrat (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PUpperBound a) = PlutusTypeData | |
type PContravariant' (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PCovariant' (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PInner (PUpperBound a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
type PVariant' (PUpperBound a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type Rep (PUpperBound a s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type Rep (PUpperBound a s) = D1 ('MetaData "PUpperBound" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PUpperBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PExtended a, "_1" ':= PBool]))))) |
newtype PInterval (a :: S -> Type) (s :: S) Source #
Since: 2.0.0
PInterval (Term s (PDataRecord '["from" ':= PLowerBound a, "to" ':= PUpperBound a])) |
Instances
PTryFrom PData a => PTryFrom PData (PAsData (PInterval a)) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PInterval a)) :: PType | |
PTryFrom PData a => PTryFrom PData (PInterval a) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PInterval a) :: PType | |
PDataFields (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval type PFields (PInterval a) :: [PLabeledType] | |
PEq (PInterval a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
PIsData (PInterval a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval pfromDataImpl :: forall (s :: S). Term s (PAsData (PInterval a)) -> Term s (PInterval a) pdataImpl :: forall (s :: S). Term s (PInterval a) -> Term s PData | |
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval toPlutarchRepr :: AsHaskell (PInterval a) -> PlutusRepr (PInterval a) toPlutarch :: forall (s :: S). AsHaskell (PInterval a) -> PLifted s (PInterval a) fromPlutarchRepr :: PlutusRepr (PInterval a) -> Maybe (AsHaskell (PInterval a)) fromPlutarch :: (forall (s :: S). PLifted s (PInterval a)) -> Either LiftError (AsHaskell (PInterval a)) | |
DerivePlutusType (PInterval a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PInterval a) | |
PlutusType (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
(PIsData a, PShow a) => PShow (PInterval a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
Generic (PInterval a s) Source # | |
type PTryFromExcess PData (PAsData (PInterval a)) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PTryFromExcess PData (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PFields (PInterval a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
type AsHaskell (PInterval a) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Interval | |
type PlutusRepr (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type DPTStrat (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval type DPTStrat (PInterval a) = PlutusTypeData | |
type PContravariant' (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PCovariant' (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type PInner (PInterval a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval | |
type PVariant' (PInterval a) Source # | |
Defined in Plutarch.LedgerApi.Interval | |
type Rep (PInterval a s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Interval type Rep (PInterval a s) = D1 ('MetaData "PInterval" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PInterval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["from" ':= PLowerBound a, "to" ':= PUpperBound a]))))) |
Script stuff
newtype PDatum (s :: S) Source #
Since: 2.0.0
PDatum (Term s PData) |
Instances
PEq PDatum Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
PIsData PDatum Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts pfromDataImpl :: forall (s :: S). Term s (PAsData PDatum) -> Term s PDatum | |
PLiftable PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts toPlutarchRepr :: AsHaskell PDatum -> PlutusRepr PDatum toPlutarch :: forall (s :: S). AsHaskell PDatum -> PLifted s PDatum fromPlutarchRepr :: PlutusRepr PDatum -> Maybe (AsHaskell PDatum) fromPlutarch :: (forall (s :: S). PLifted s PDatum) -> Either LiftError (AsHaskell PDatum) | |
DerivePlutusType PDatum Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PDatum | |
PlutusType PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
PShow PDatum Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
PTryFrom PData PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData PDatum :: PType | |
PTryFrom PData (PAsData PDatum) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData (PAsData PDatum) :: PType | |
Generic (PDatum s) Source # | |
type AsHaskell PDatum Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PlutusRepr PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type DPTStrat PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PDatum = PlutusTypeNewtype | |
type PContravariant' PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PCovariant' PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PInner PDatum Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PVariant' PDatum Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData PDatum Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData (PAsData PDatum) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type Rep (PDatum s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts |
newtype PRedeemer (s :: S) Source #
Since: 2.0.0
PRedeemer (Term s PData) |
Instances
PEq PRedeemer Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
PIsData PRedeemer Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts pfromDataImpl :: forall (s :: S). Term s (PAsData PRedeemer) -> Term s PRedeemer pdataImpl :: forall (s :: S). Term s PRedeemer -> Term s PData | |
PLiftable PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts toPlutarchRepr :: AsHaskell PRedeemer -> PlutusRepr PRedeemer toPlutarch :: forall (s :: S). AsHaskell PRedeemer -> PLifted s PRedeemer fromPlutarchRepr :: PlutusRepr PRedeemer -> Maybe (AsHaskell PRedeemer) fromPlutarch :: (forall (s :: S). PLifted s PRedeemer) -> Either LiftError (AsHaskell PRedeemer) | |
DerivePlutusType PRedeemer Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PRedeemer | |
PlutusType PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
PShow PRedeemer Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
PTryFrom PData PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData PRedeemer :: PType | |
PTryFrom PData (PAsData PRedeemer) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData (PAsData PRedeemer) :: PType | |
Generic (PRedeemer s) Source # | |
type AsHaskell PRedeemer Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PlutusRepr PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type DPTStrat PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PRedeemer = PlutusTypeNewtype | |
type PContravariant' PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PCovariant' PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PInner PRedeemer Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PVariant' PRedeemer Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData PRedeemer Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData (PAsData PRedeemer) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type Rep (PRedeemer s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type Rep (PRedeemer s) = D1 ('MetaData "PRedeemer" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PRedeemer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PData)))) |
newtype PDatumHash (s :: S) Source #
Since: 2.0.0
PDatumHash (Term s (PDataNewtype PByteString)) |
Instances
PEq PDatumHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts (#==) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool | |
PIsData PDatumHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts pfromDataImpl :: forall (s :: S). Term s (PAsData PDatumHash) -> Term s PDatumHash pdataImpl :: forall (s :: S). Term s PDatumHash -> Term s PData | |
PLiftable PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type AsHaskell PDatumHash type PlutusRepr PDatumHash toPlutarchRepr :: AsHaskell PDatumHash -> PlutusRepr PDatumHash toPlutarch :: forall (s :: S). AsHaskell PDatumHash -> PLifted s PDatumHash fromPlutarchRepr :: PlutusRepr PDatumHash -> Maybe (AsHaskell PDatumHash) fromPlutarch :: (forall (s :: S). PLifted s PDatumHash) -> Either LiftError (AsHaskell PDatumHash) | |
POrd PDatumHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts (#<=) :: 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 | |
DerivePlutusType PDatumHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PDatumHash | |
PlutusType PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PInner PDatumHash :: PType type PCovariant' PDatumHash type PContravariant' PDatumHash type PVariant' PDatumHash pcon' :: forall (s :: S). PDatumHash s -> Term s (PInner PDatumHash) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PDatumHash) -> (PDatumHash s -> Term s b) -> Term s b | |
PShow PDatumHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts pshow' :: forall (s :: S). Bool -> Term s PDatumHash -> Term s PString | |
PTryFrom PData PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData PDatumHash :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PDatumHash, Reduce (PTryFromExcess PData PDatumHash s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PDatumHash) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData (PAsData PDatumHash) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PDatumHash), Reduce (PTryFromExcess PData (PAsData PDatumHash) s)) -> Term s r) -> Term s r | |
Generic (PDatumHash s) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts from :: PDatumHash s -> Rep (PDatumHash s) x Source # to :: Rep (PDatumHash s) x -> PDatumHash s Source # | |
type AsHaskell PDatumHash Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PlutusRepr PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type DPTStrat PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PDatumHash = PlutusTypeNewtype | |
type PContravariant' PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PCovariant' PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PInner PDatumHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PVariant' PDatumHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData PDatumHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData (PAsData PDatumHash) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type Rep (PDatumHash s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type Rep (PDatumHash s) = D1 ('MetaData "PDatumHash" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString))))) |
newtype PRedeemerHash (s :: S) Source #
Since: 2.0.0
PRedeemerHash (Term s (PDataNewtype PByteString)) |
Instances
PEq PRedeemerHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts (#==) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool | |
PIsData PRedeemerHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts pfromDataImpl :: forall (s :: S). Term s (PAsData PRedeemerHash) -> Term s PRedeemerHash pdataImpl :: forall (s :: S). Term s PRedeemerHash -> Term s PData | |
PLiftable PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type AsHaskell PRedeemerHash type PlutusRepr PRedeemerHash toPlutarchRepr :: AsHaskell PRedeemerHash -> PlutusRepr PRedeemerHash toPlutarch :: forall (s :: S). AsHaskell PRedeemerHash -> PLifted s PRedeemerHash fromPlutarchRepr :: PlutusRepr PRedeemerHash -> Maybe (AsHaskell PRedeemerHash) fromPlutarch :: (forall (s :: S). PLifted s PRedeemerHash) -> Either LiftError (AsHaskell PRedeemerHash) | |
POrd PRedeemerHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts (#<=) :: 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 | |
DerivePlutusType PRedeemerHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PRedeemerHash | |
PlutusType PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PInner PRedeemerHash :: PType type PCovariant' PRedeemerHash type PContravariant' PRedeemerHash type PVariant' PRedeemerHash pcon' :: forall (s :: S). PRedeemerHash s -> Term s (PInner PRedeemerHash) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PRedeemerHash) -> (PRedeemerHash s -> Term s b) -> Term s b | |
PShow PRedeemerHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts pshow' :: forall (s :: S). Bool -> Term s PRedeemerHash -> Term s PString | |
PTryFrom PData PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData PRedeemerHash :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PRedeemerHash, Reduce (PTryFromExcess PData PRedeemerHash s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PRedeemerHash) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData (PAsData PRedeemerHash) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PRedeemerHash), Reduce (PTryFromExcess PData (PAsData PRedeemerHash) s)) -> Term s r) -> Term s r | |
Generic (PRedeemerHash s) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts from :: PRedeemerHash s -> Rep (PRedeemerHash s) x Source # to :: Rep (PRedeemerHash s) x -> PRedeemerHash s Source # | |
type AsHaskell PRedeemerHash Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PlutusRepr PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type DPTStrat PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PRedeemerHash = PlutusTypeNewtype | |
type PContravariant' PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PCovariant' PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PInner PRedeemerHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PVariant' PRedeemerHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData PRedeemerHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData (PAsData PRedeemerHash) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData (PAsData PRedeemerHash) = PTryFromExcess PData (PInner (PAsData PRedeemerHash)) | |
type Rep (PRedeemerHash s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type Rep (PRedeemerHash s) = D1 ('MetaData "PRedeemerHash" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PRedeemerHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString))))) |
newtype PScriptHash (s :: S) Source #
Since: 2.0.0
PScriptHash (Term s (PDataNewtype PByteString)) |
Instances
PEq PScriptHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts (#==) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool | |
PIsData PScriptHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptHash) -> Term s PScriptHash pdataImpl :: forall (s :: S). Term s PScriptHash -> Term s PData | |
PLiftable PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type AsHaskell PScriptHash type PlutusRepr PScriptHash toPlutarchRepr :: AsHaskell PScriptHash -> PlutusRepr PScriptHash toPlutarch :: forall (s :: S). AsHaskell PScriptHash -> PLifted s PScriptHash fromPlutarchRepr :: PlutusRepr PScriptHash -> Maybe (AsHaskell PScriptHash) fromPlutarch :: (forall (s :: S). PLifted s PScriptHash) -> Either LiftError (AsHaskell PScriptHash) | |
POrd PScriptHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts (#<=) :: 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 | |
DerivePlutusType PScriptHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PScriptHash | |
PlutusType PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type PInner PScriptHash :: PType type PCovariant' PScriptHash type PContravariant' PScriptHash type PVariant' PScriptHash pcon' :: forall (s :: S). PScriptHash s -> Term s (PInner PScriptHash) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PScriptHash) -> (PScriptHash s -> Term s b) -> Term s b | |
PShow PScriptHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts pshow' :: forall (s :: S). Bool -> Term s PScriptHash -> Term s PString | |
PTryFrom PData PScriptHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData PScriptHash :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PScriptHash, Reduce (PTryFromExcess PData PScriptHash s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PScriptHash) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type PTryFromExcess PData (PAsData PScriptHash) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PScriptHash), Reduce (PTryFromExcess PData (PAsData PScriptHash) s)) -> Term s r) -> Term s r | |
Generic (PScriptHash s) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts from :: PScriptHash s -> Rep (PScriptHash s) x Source # to :: Rep (PScriptHash s) x -> PScriptHash s Source # | |
type AsHaskell PScriptHash Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PlutusRepr PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type DPTStrat PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts type DPTStrat PScriptHash = PlutusTypeNewtype | |
type PContravariant' PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PCovariant' PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PInner PScriptHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PVariant' PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData PScriptHash Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type PTryFromExcess PData (PAsData PScriptHash) Source # | |
Defined in Plutarch.LedgerApi.V1.Scripts | |
type Rep (PScriptHash s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Scripts type Rep (PScriptHash s) = D1 ('MetaData "PScriptHash" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString))))) |
Transactions
newtype PAddress (s :: S) Source #
Since: 2.0.0
PAddress (Term s (PDataRecord '["credential" ':= PCredential, "stakingCredential" ':= PMaybeData PStakingCredential])) |
Instances
PDataFields PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address type PFields PAddress :: [PLabeledType] | |
PEq PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address | |
PIsData PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address pfromDataImpl :: forall (s :: S). Term s (PAsData PAddress) -> Term s PAddress pdataImpl :: forall (s :: S). Term s PAddress -> Term s PData | |
PLiftable PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address toPlutarchRepr :: AsHaskell PAddress -> PlutusRepr PAddress toPlutarch :: forall (s :: S). AsHaskell PAddress -> PLifted s PAddress fromPlutarchRepr :: PlutusRepr PAddress -> Maybe (AsHaskell PAddress) fromPlutarch :: (forall (s :: S). PLifted s PAddress) -> Either LiftError (AsHaskell PAddress) | |
POrd PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address (#<=) :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PBool (#<) :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PBool pmax :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PAddress pmin :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PAddress | |
DerivePlutusType PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address type DPTStrat PAddress | |
PlutusType PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address | |
PShow PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address | |
PTryFrom PData PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address type PTryFromExcess PData PAddress :: PType | |
PTryFrom PData (PAsData PAddress) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address type PTryFromExcess PData (PAsData PAddress) :: PType | |
Generic (PAddress s) Source # | |
type PFields PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address | |
type AsHaskell PAddress Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Address | |
type PlutusRepr PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address | |
type DPTStrat PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address type DPTStrat PAddress = PlutusTypeData | |
type PContravariant' PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address | |
type PCovariant' PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address | |
type PInner PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address | |
type PVariant' PAddress Source # | |
Defined in Plutarch.LedgerApi.V1.Address | |
type PTryFromExcess PData PAddress Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address | |
type PTryFromExcess PData (PAsData PAddress) Source # | |
Defined in Plutarch.LedgerApi.V1.Address | |
type Rep (PAddress s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Address type Rep (PAddress s) = D1 ('MetaData "PAddress" "Plutarch.LedgerApi.V1.Address" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["credential" ':= PCredential, "stakingCredential" ':= PMaybeData PStakingCredential]))))) |
newtype PTxId (s :: S) Source #
Hashed with BLAKE2b-256
.
Since: 3.1.0
PTxId (Term s (PDataRecord '["_0" ':= PByteString])) |
Instances
PEq PTxId Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Tx | |
PIsData PTxId Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Tx pfromDataImpl :: forall (s :: S). Term s (PAsData PTxId) -> Term s PTxId | |
PLiftable PTxId Source # | |
Defined in Plutarch.LedgerApi.V1.Tx toPlutarchRepr :: AsHaskell PTxId -> PlutusRepr PTxId toPlutarch :: forall (s :: S). AsHaskell PTxId -> PLifted s PTxId fromPlutarchRepr :: PlutusRepr PTxId -> Maybe (AsHaskell PTxId) fromPlutarch :: (forall (s :: S). PLifted s PTxId) -> Either LiftError (AsHaskell PTxId) | |
POrd PTxId Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Tx | |
DerivePlutusType PTxId Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Tx type DPTStrat PTxId | |
PlutusType PTxId Source # | |
PShow PTxId Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Tx | |
PTryFrom PData PTxId Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Tx type PTryFromExcess PData PTxId :: PType | |
PTryFrom PData (PAsData PTxId) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Tx type PTryFromExcess PData (PAsData PTxId) :: PType | |
Generic (PTxId s) Source # | |
type AsHaskell PTxId Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Tx | |
type PlutusRepr PTxId Source # | |
Defined in Plutarch.LedgerApi.V1.Tx | |
type DPTStrat PTxId Source # | |
Defined in Plutarch.LedgerApi.V1.Tx type DPTStrat PTxId = PlutusTypeData | |
type PContravariant' PTxId Source # | |
Defined in Plutarch.LedgerApi.V1.Tx | |
type PCovariant' PTxId Source # | |
Defined in Plutarch.LedgerApi.V1.Tx | |
type PInner PTxId Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Tx | |
type PVariant' PTxId Source # | |
Defined in Plutarch.LedgerApi.V1.Tx | |
type PTryFromExcess PData PTxId Source # | |
Defined in Plutarch.LedgerApi.V1.Tx | |
type PTryFromExcess PData (PAsData PTxId) Source # | |
Defined in Plutarch.LedgerApi.V1.Tx | |
type Rep (PTxId s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Tx type Rep (PTxId s) = D1 ('MetaData "PTxId" "Plutarch.LedgerApi.V1.Tx" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PTxId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PByteString]))))) |
newtype PTxOut (s :: S) Source #
Since: 3.1.1
PTxOut (Term s (PDataRecord '["address" ':= PAddress, "value" ':= PValue 'Sorted 'Positive, "datumHash" ':= PDatumHash])) |
Instances
PEq PTxOut Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
PIsData PTxOut Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 pfromDataImpl :: forall (s :: S). Term s (PAsData PTxOut) -> Term s PTxOut | |
PLiftable PTxOut Source # | |
Defined in Plutarch.LedgerApi.V1 toPlutarchRepr :: AsHaskell PTxOut -> PlutusRepr PTxOut toPlutarch :: forall (s :: S). AsHaskell PTxOut -> PLifted s PTxOut fromPlutarchRepr :: PlutusRepr PTxOut -> Maybe (AsHaskell PTxOut) fromPlutarch :: (forall (s :: S). PLifted s PTxOut) -> Either LiftError (AsHaskell PTxOut) | |
DerivePlutusType PTxOut Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 type DPTStrat PTxOut | |
PlutusType PTxOut Source # | |
PShow PTxOut Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
PTryFrom PData PTxOut Source # | |
Defined in Plutarch.LedgerApi.V1 type PTryFromExcess PData PTxOut :: PType | |
PTryFrom PData (PAsData PTxOut) Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 type PTryFromExcess PData (PAsData PTxOut) :: PType | |
Generic (PTxOut s) Source # | |
type AsHaskell PTxOut Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1 | |
type PlutusRepr PTxOut Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type DPTStrat PTxOut Source # | |
Defined in Plutarch.LedgerApi.V1 type DPTStrat PTxOut = PlutusTypeData | |
type PContravariant' PTxOut Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type PCovariant' PTxOut Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type PInner PTxOut Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
type PVariant' PTxOut Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type PTryFromExcess PData PTxOut Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
type PTryFromExcess PData (PAsData PTxOut) Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type Rep (PTxOut s) Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 type Rep (PTxOut s) = D1 ('MetaData "PTxOut" "Plutarch.LedgerApi.V1" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["address" ':= PAddress, "value" ':= PValue 'Sorted 'Positive, "datumHash" ':= PDatumHash]))))) |
newtype PTxInInfo (s :: S) Source #
Since: 3.1.1
Instances
PEq PTxInInfo Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
PIsData PTxInInfo Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInInfo) -> Term s PTxInInfo pdataImpl :: forall (s :: S). Term s PTxInInfo -> Term s PData | |
PLiftable PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V1 toPlutarchRepr :: AsHaskell PTxInInfo -> PlutusRepr PTxInInfo toPlutarch :: forall (s :: S). AsHaskell PTxInInfo -> PLifted s PTxInInfo fromPlutarchRepr :: PlutusRepr PTxInInfo -> Maybe (AsHaskell PTxInInfo) fromPlutarch :: (forall (s :: S). PLifted s PTxInInfo) -> Either LiftError (AsHaskell PTxInInfo) | |
DerivePlutusType PTxInInfo Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 type DPTStrat PTxInInfo | |
PlutusType PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V1 | |
PShow PTxInInfo Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
PTryFrom PData PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V1 type PTryFromExcess PData PTxInInfo :: PType | |
PTryFrom PData (PAsData PTxInInfo) Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 type PTryFromExcess PData (PAsData PTxInInfo) :: PType | |
Generic (PTxInInfo s) Source # | |
type AsHaskell PTxInInfo Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1 | |
type PlutusRepr PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type DPTStrat PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V1 type DPTStrat PTxInInfo = PlutusTypeData | |
type PContravariant' PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type PCovariant' PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type PInner PTxInInfo Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
type PVariant' PTxInInfo Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type PTryFromExcess PData PTxInInfo Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
type PTryFromExcess PData (PAsData PTxInInfo) Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type Rep (PTxInInfo s) Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 type Rep (PTxInInfo s) = D1 ('MetaData "PTxInInfo" "Plutarch.LedgerApi.V1" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PTxInInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["outRef" ':= PTxOutRef, "resolved" ':= PTxOut]))))) |
newtype PTxOutRef (s :: S) Source #
Reference to a transaction output, with an index referencing which exact output we mean.
Since: 2.0.0
Instances
PDataFields PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V1.Tx type PFields PTxOutRef :: [PLabeledType] | |
PEq PTxOutRef Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Tx | |
PIsData PTxOutRef Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Tx pfromDataImpl :: forall (s :: S). Term s (PAsData PTxOutRef) -> Term s PTxOutRef pdataImpl :: forall (s :: S). Term s PTxOutRef -> Term s PData | |
PLiftable PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V1.Tx toPlutarchRepr :: AsHaskell PTxOutRef -> PlutusRepr PTxOutRef toPlutarch :: forall (s :: S). AsHaskell PTxOutRef -> PLifted s PTxOutRef fromPlutarchRepr :: PlutusRepr PTxOutRef -> Maybe (AsHaskell PTxOutRef) fromPlutarch :: (forall (s :: S). PLifted s PTxOutRef) -> Either LiftError (AsHaskell PTxOutRef) | |
POrd PTxOutRef Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Tx (#<=) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool (#<) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool pmax :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PTxOutRef pmin :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PTxOutRef | |
DerivePlutusType PTxOutRef Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Tx type DPTStrat PTxOutRef | |
PlutusType PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V1.Tx | |
PShow PTxOutRef Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Tx | |
PTryFrom PData PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V1.Tx type PTryFromExcess PData PTxOutRef :: PType | |
PTryFrom PData (PAsData PTxOutRef) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Tx type PTryFromExcess PData (PAsData PTxOutRef) :: PType | |
Generic (PTxOutRef s) Source # | |
type PFields PTxOutRef Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Tx | |
type AsHaskell PTxOutRef Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Tx | |
type PlutusRepr PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V1.Tx | |
type DPTStrat PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V1.Tx type DPTStrat PTxOutRef = PlutusTypeData | |
type PContravariant' PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V1.Tx | |
type PCovariant' PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V1.Tx | |
type PInner PTxOutRef Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Tx | |
type PVariant' PTxOutRef Source # | |
Defined in Plutarch.LedgerApi.V1.Tx | |
type PTryFromExcess PData PTxOutRef Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Tx | |
type PTryFromExcess PData (PAsData PTxOutRef) Source # | |
Defined in Plutarch.LedgerApi.V1.Tx | |
type Rep (PTxOutRef s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Tx type Rep (PTxOutRef s) = D1 ('MetaData "PTxOutRef" "Plutarch.LedgerApi.V1.Tx" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PTxOutRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["id" ':= PTxId, "idx" ':= PInteger]))))) |
newtype PPubKeyHash (s :: S) Source #
Since: 2.0.0
PPubKeyHash (Term s (PDataNewtype PByteString)) |
Instances
PEq PPubKeyHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto (#==) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool | |
PIsData PPubKeyHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto pfromDataImpl :: forall (s :: S). Term s (PAsData PPubKeyHash) -> Term s PPubKeyHash pdataImpl :: forall (s :: S). Term s PPubKeyHash -> Term s PData | |
PLiftable PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto type AsHaskell PPubKeyHash type PlutusRepr PPubKeyHash toPlutarchRepr :: AsHaskell PPubKeyHash -> PlutusRepr PPubKeyHash toPlutarch :: forall (s :: S). AsHaskell PPubKeyHash -> PLifted s PPubKeyHash fromPlutarchRepr :: PlutusRepr PPubKeyHash -> Maybe (AsHaskell PPubKeyHash) fromPlutarch :: (forall (s :: S). PLifted s PPubKeyHash) -> Either LiftError (AsHaskell PPubKeyHash) | |
POrd PPubKeyHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto (#<=) :: 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 | |
DerivePlutusType PPubKeyHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto type DPTStrat PPubKeyHash | |
PlutusType PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto type PInner PPubKeyHash :: PType type PCovariant' PPubKeyHash type PContravariant' PPubKeyHash type PVariant' PPubKeyHash pcon' :: forall (s :: S). PPubKeyHash s -> Term s (PInner PPubKeyHash) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PPubKeyHash) -> (PPubKeyHash s -> Term s b) -> Term s b | |
PShow PPubKeyHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto pshow' :: forall (s :: S). Bool -> Term s PPubKeyHash -> Term s PString | |
PTryFrom PData PPubKeyHash Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.V1.Crypto type PTryFromExcess PData PPubKeyHash :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PPubKeyHash, Reduce (PTryFromExcess PData PPubKeyHash s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PPubKeyHash) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto type PTryFromExcess PData (PAsData PPubKeyHash) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PPubKeyHash), Reduce (PTryFromExcess PData (PAsData PPubKeyHash) s)) -> Term s r) -> Term s r | |
Generic (PPubKeyHash s) Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto from :: PPubKeyHash s -> Rep (PPubKeyHash s) x Source # to :: Rep (PPubKeyHash s) x -> PPubKeyHash s Source # | |
type AsHaskell PPubKeyHash Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type PlutusRepr PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type DPTStrat PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto type DPTStrat PPubKeyHash = PlutusTypeNewtype | |
type PContravariant' PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type PCovariant' PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type PInner PPubKeyHash Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type PVariant' PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type PTryFromExcess PData PPubKeyHash Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type PTryFromExcess PData (PAsData PPubKeyHash) Source # | |
Defined in Plutarch.LedgerApi.V1.Crypto | |
type Rep (PPubKeyHash s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.V1.Crypto type Rep (PPubKeyHash s) = D1 ('MetaData "PPubKeyHash" "Plutarch.LedgerApi.V1.Crypto" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PPubKeyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString))))) |
newtype PTxInfo (s :: S) Source #
@since WIP
PTxInfo (Term s (PDataRecord '["inputs" ':= PBuiltinList (PAsData PTxInInfo), "outputs" ':= PBuiltinList (PAsData PTxOut), "fee" ':= PValue 'Sorted 'Positive, "mint" ':= PValue 'Sorted 'NoGuarantees, "dCert" ':= PBuiltinList (PAsData PDCert), "wdrl" ':= PBuiltinList (PAsData (PBuiltinPair (PAsData PStakingCredential) (PAsData PInteger))), "validRange" ':= PInterval PPosixTime, "signatories" ':= PBuiltinList (PAsData PPubKeyHash), "data" ':= PBuiltinList (PAsData (PBuiltinPair (PAsData PDatumHash) (PAsData PDatum))), "id" ':= PTxId])) |
Instances
PDataFields PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V1 type PFields PTxInfo :: [PLabeledType] | |
PEq PTxInfo Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
PIsData PTxInfo Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInfo) -> Term s PTxInfo pdataImpl :: forall (s :: S). Term s PTxInfo -> Term s PData | |
PLiftable PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V1 toPlutarchRepr :: AsHaskell PTxInfo -> PlutusRepr PTxInfo toPlutarch :: forall (s :: S). AsHaskell PTxInfo -> PLifted s PTxInfo fromPlutarchRepr :: PlutusRepr PTxInfo -> Maybe (AsHaskell PTxInfo) fromPlutarch :: (forall (s :: S). PLifted s PTxInfo) -> Either LiftError (AsHaskell PTxInfo) | |
DerivePlutusType PTxInfo Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 type DPTStrat PTxInfo | |
PlutusType PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V1 | |
PShow PTxInfo Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
PTryFrom PData PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V1 type PTryFromExcess PData PTxInfo :: PType | |
PTryFrom PData (PAsData PTxInfo) Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 type PTryFromExcess PData (PAsData PTxInfo) :: PType | |
Generic (PTxInfo s) Source # | |
type PFields PTxInfo Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
type AsHaskell PTxInfo Source # | @since WIP |
Defined in Plutarch.LedgerApi.V1 | |
type PlutusRepr PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type DPTStrat PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V1 type DPTStrat PTxInfo = PlutusTypeData | |
type PContravariant' PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type PCovariant' PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type PInner PTxInfo Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
type PVariant' PTxInfo Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type PTryFromExcess PData PTxInfo Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 | |
type PTryFromExcess PData (PAsData PTxInfo) Source # | |
Defined in Plutarch.LedgerApi.V1 | |
type Rep (PTxInfo s) Source # | Since: 3.1.1 |
Defined in Plutarch.LedgerApi.V1 type Rep (PTxInfo s) = D1 ('MetaData "PTxInfo" "Plutarch.LedgerApi.V1" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PTxInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["inputs" ':= PBuiltinList (PAsData PTxInInfo), "outputs" ':= PBuiltinList (PAsData PTxOut), "fee" ':= PValue 'Sorted 'Positive, "mint" ':= PValue 'Sorted 'NoGuarantees, "dCert" ':= PBuiltinList (PAsData PDCert), "wdrl" ':= PBuiltinList (PAsData (PBuiltinPair (PAsData PStakingCredential) (PAsData PInteger))), "validRange" ':= PInterval PPosixTime, "signatories" ':= PBuiltinList (PAsData PPubKeyHash), "data" ':= PBuiltinList (PAsData (PBuiltinPair (PAsData PDatumHash) (PAsData PDatum))), "id" ':= PTxId]))))) |
Helpers
newtype PMap (keysort :: KeyGuarantees) (k :: S -> Type) (v :: S -> Type) (s :: S) Source #
Since: 2.0.0
PMap (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v)))) |
Instances
(POrd k, PIsData k, PTryFrom PData (PAsData k), PTryFrom PData (PAsData v)) => PTryFrom PData (PAsData (PMap 'Sorted k v)) Source # | Since: 2.0.0 |
(PTryFrom PData (PAsData k), PTryFrom PData (PAsData v)) => PTryFrom PData (PAsData (PMap 'Unsorted k v)) Source # | Since: 2.0.0 |
PEq (PMap 'Sorted k v) Source # | Since: 2.0.0 |
PIsData (PMap keysort k v) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap pfromDataImpl :: forall (s :: S). Term s (PAsData (PMap keysort k v)) -> Term s (PMap keysort k v) pdataImpl :: forall (s :: S). Term s (PMap keysort k v) -> Term s PData | |
(ToData (AsHaskell k), ToData (AsHaskell v), FromData (AsHaskell k), FromData (AsHaskell v)) => PLiftable (PMap 'Unsorted k v) Source # | @since WIP |
Defined in Plutarch.LedgerApi.AssocMap toPlutarchRepr :: AsHaskell (PMap 'Unsorted k v) -> PlutusRepr (PMap 'Unsorted k v) toPlutarch :: forall (s :: S). AsHaskell (PMap 'Unsorted k v) -> PLifted s (PMap 'Unsorted k v) fromPlutarchRepr :: PlutusRepr (PMap 'Unsorted k v) -> Maybe (AsHaskell (PMap 'Unsorted k v)) fromPlutarch :: (forall (s :: S). PLifted s (PMap 'Unsorted k v)) -> Either LiftError (AsHaskell (PMap 'Unsorted k v)) | |
DerivePlutusType (PMap keysort k v) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap type DPTStrat (PMap keysort k v) | |
PlutusType (PMap keysort k v) Source # | |
Defined in Plutarch.LedgerApi.AssocMap | |
(PIsData k, PIsData v, PShow k, PShow v) => PShow (PMap keysort k v) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap | |
Generic (PMap keysort k v s) Source # | |
type PTryFromExcess PData (PAsData (PMap 'Sorted k v)) Source # | |
type PTryFromExcess PData (PAsData (PMap 'Unsorted k v)) Source # | |
type AsHaskell (PMap 'Unsorted k v) Source # | |
Defined in Plutarch.LedgerApi.AssocMap | |
type PlutusRepr (PMap 'Unsorted k v) Source # | |
Defined in Plutarch.LedgerApi.AssocMap | |
type DPTStrat (PMap keysort k v) Source # | |
Defined in Plutarch.LedgerApi.AssocMap type DPTStrat (PMap keysort k v) = PlutusTypeNewtype | |
type PContravariant' (PMap keysort k v) Source # | |
Defined in Plutarch.LedgerApi.AssocMap | |
type PCovariant' (PMap keysort k v) Source # | |
Defined in Plutarch.LedgerApi.AssocMap | |
type PInner (PMap keysort k v) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap | |
type PVariant' (PMap keysort k v) Source # | |
Defined in Plutarch.LedgerApi.AssocMap | |
type Rep (PMap keysort k v s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap type Rep (PMap keysort k v s) = D1 ('MetaData "PMap" "Plutarch.LedgerApi.AssocMap" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v))))))) |
data Commutativity Source #
Since: 2.0.0
Instances
Show Commutativity Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap | |
Eq Commutativity Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap (==) :: Commutativity -> Commutativity -> Bool Source # (/=) :: Commutativity -> Commutativity -> Bool Source # | |
Ord Commutativity Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.AssocMap compare :: Commutativity -> Commutativity -> Ordering Source # (<) :: Commutativity -> Commutativity -> Bool Source # (<=) :: Commutativity -> Commutativity -> Bool Source # (>) :: Commutativity -> Commutativity -> Bool Source # (>=) :: Commutativity -> Commutativity -> Bool Source # max :: Commutativity -> Commutativity -> Commutativity Source # min :: Commutativity -> Commutativity -> Commutativity Source # |
Utilities
Types
data PMaybeData (a :: S -> Type) (s :: S) Source #
@since WIP
Instances
PTryFrom PData a => PTryFrom PData (PAsData (PMaybeData a)) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Utils type PTryFromExcess PData (PAsData (PMaybeData a)) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PMaybeData a)), Reduce (PTryFromExcess PData (PAsData (PMaybeData a)) s)) -> Term s r) -> Term s r | |
PTryFrom PData a => PTryFrom PData (PMaybeData a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Utils type PTryFromExcess PData (PMaybeData a) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PMaybeData a), Reduce (PTryFromExcess PData (PMaybeData a) s)) -> Term s r) -> Term s r | |
PEq (PMaybeData a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Utils (#==) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool | |
PIsData (PMaybeData a) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Utils pfromDataImpl :: forall (s :: S). Term s (PAsData (PMaybeData a)) -> Term s (PMaybeData a) pdataImpl :: forall (s :: S). Term s (PMaybeData a) -> Term s PData | |
(ToData (AsHaskell a), FromData (AsHaskell a)) => PLiftable (PMaybeData a) Source # | |
Defined in Plutarch.LedgerApi.Utils type AsHaskell (PMaybeData a) type PlutusRepr (PMaybeData a) toPlutarchRepr :: AsHaskell (PMaybeData a) -> PlutusRepr (PMaybeData a) toPlutarch :: forall (s :: S). AsHaskell (PMaybeData a) -> PLifted s (PMaybeData a) fromPlutarchRepr :: PlutusRepr (PMaybeData a) -> Maybe (AsHaskell (PMaybeData a)) fromPlutarch :: (forall (s :: S). PLifted s (PMaybeData a)) -> Either LiftError (AsHaskell (PMaybeData a)) | |
(PIsData a, POrd a) => POrd (PMaybeData a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Utils (#<=) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool (#<) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool 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 # | @since WIP |
Defined in Plutarch.LedgerApi.Utils type PInner (PMaybeData a) :: PType type PCovariant' (PMaybeData a) type PContravariant' (PMaybeData a) type PVariant' (PMaybeData a) pcon' :: forall (s :: S). PMaybeData a s -> Term s (PInner (PMaybeData a)) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PMaybeData a)) -> (PMaybeData a s -> Term s b) -> Term s b | |
(PIsData a, PShow a) => PShow (PMaybeData a) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Utils pshow' :: forall (s :: S). Bool -> Term s (PMaybeData a) -> Term s PString | |
Generic (PMaybeData a s) Source # | |
Defined in Plutarch.LedgerApi.Utils from :: PMaybeData a s -> Rep (PMaybeData a s) x Source # to :: Rep (PMaybeData a s) x -> PMaybeData a s Source # | |
type PTryFromExcess PData (PAsData (PMaybeData a)) Source # | |
Defined in Plutarch.LedgerApi.Utils type PTryFromExcess PData (PAsData (PMaybeData a)) = PTryFromExcess PData (PInner (PAsData (PMaybeData a))) | |
type PTryFromExcess PData (PMaybeData a) Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type AsHaskell (PMaybeData a) Source # | @since WIP |
Defined in Plutarch.LedgerApi.Utils type AsHaskell (PMaybeData a) = AsHaskell (DeriveDataPLiftable (PMaybeData a) (Maybe (AsHaskell a))) | |
type PlutusRepr (PMaybeData a) Source # | |
Defined in Plutarch.LedgerApi.Utils type PlutusRepr (PMaybeData a) = PlutusRepr (DeriveDataPLiftable (PMaybeData a) (Maybe (AsHaskell a))) | |
type PContravariant' (PMaybeData a) Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type PCovariant' (PMaybeData a) Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type PInner (PMaybeData a) Source # | |
Defined in Plutarch.LedgerApi.Utils type PInner (PMaybeData a) = PData | |
type PVariant' (PMaybeData a) Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type Rep (PMaybeData a s) Source # | Since: 2.0.0 |
Defined in Plutarch.LedgerApi.Utils type Rep (PMaybeData a s) = D1 ('MetaData "PMaybeData" "Plutarch.LedgerApi.Utils" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'False) (C1 ('MetaCons "PDJust" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData a)))) :+: C1 ('MetaCons "PDNothing" 'PrefixI 'False) (U1 :: Type -> Type)) |
newtype PRationalData s Source #
A Rational type that corresponds to the data encoding used by Rational
.
Since: 3.1.0
PRationalData (Term s (PDataRecord '["numerator" ':= PInteger, "denominator" ':= PPositive])) |
Instances
PDataFields PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils type PFields PRationalData :: [PLabeledType] ptoFields :: forall (s :: S). Term s PRationalData -> Term s (PDataRecord (PFields PRationalData)) | |
PEq PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils (#==) :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PBool | |
PIsData PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils pfromDataImpl :: forall (s :: S). Term s (PAsData PRationalData) -> Term s PRationalData pdataImpl :: forall (s :: S). Term s PRationalData -> Term s PData | |
PLiftable PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils type AsHaskell PRationalData type PlutusRepr PRationalData toPlutarchRepr :: AsHaskell PRationalData -> PlutusRepr PRationalData toPlutarch :: forall (s :: S). AsHaskell PRationalData -> PLifted s PRationalData fromPlutarchRepr :: PlutusRepr PRationalData -> Maybe (AsHaskell PRationalData) fromPlutarch :: (forall (s :: S). PLifted s PRationalData) -> Either LiftError (AsHaskell PRationalData) | |
POrd PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils (#<=) :: 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 | |
DerivePlutusType PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils type DPTStrat PRationalData | |
PlutusType PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils type PInner PRationalData :: PType type PCovariant' PRationalData type PContravariant' PRationalData type PVariant' PRationalData pcon' :: forall (s :: S). PRationalData s -> Term s (PInner PRationalData) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PRationalData) -> (PRationalData s -> Term s b) -> Term s b | |
PShow PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils pshow' :: forall (s :: S). Bool -> Term s PRationalData -> Term s PString | |
PTryFrom PData PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils type PTryFromExcess PData PRationalData :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PRationalData, Reduce (PTryFromExcess PData PRationalData s)) -> Term s r) -> Term s r | |
PTryFrom PData (PAsData PRationalData) Source # | This instance produces a verified positive denominator as the excess output. Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils type PTryFromExcess PData (PAsData PRationalData) :: PType ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PRationalData), Reduce (PTryFromExcess PData (PAsData PRationalData) s)) -> Term s r) -> Term s r | |
Generic (PRationalData s) Source # | |
Defined in Plutarch.LedgerApi.Utils from :: PRationalData s -> Rep (PRationalData s) x Source # to :: Rep (PRationalData s) x -> PRationalData s Source # | |
type PFields PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils | |
type AsHaskell PRationalData Source # | @since WIP |
Defined in Plutarch.LedgerApi.Utils | |
type PlutusRepr PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type DPTStrat PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils type DPTStrat PRationalData = PlutusTypeData | |
type PContravariant' PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type PCovariant' PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type PInner PRationalData Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils | |
type PVariant' PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type PTryFromExcess PData PRationalData Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type PTryFromExcess PData (PAsData PRationalData) Source # | |
Defined in Plutarch.LedgerApi.Utils | |
type Rep (PRationalData s) Source # | Since: 3.1.0 |
Defined in Plutarch.LedgerApi.Utils type Rep (PRationalData s) = D1 ('MetaData "PRationalData" "Plutarch.LedgerApi.Utils" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PRationalData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["numerator" ':= PInteger, "denominator" ':= PPositive]))))) |
Utilities
pfromDJust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PMaybeData a :--> a) Source #
pisDJust :: forall (a :: S -> Type) (s :: S). Term s (PMaybeData a :--> PBool) Source #
Yield PTrue
if a given PMaybeData
is of the form
.PDJust
_
Since: 2.1.1
pmaybeData :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PIsData a => Term s (b :--> ((a :--> b) :--> (PMaybeData a :--> b))) Source #
Special version of pmaybe
that works with PMaybeData
.
Since: 2.1.1
pdjust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (a :--> PMaybeData a) Source #
Construct a PDJust
value.
Since: 2.1.1
pdnothing :: forall (a :: S -> Type) (s :: S). Term s (PMaybeData a) Source #
Construct a PDNothing
value.
Since: 2.1.1
pmaybeToMaybeData :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PMaybe a :--> PMaybeData a) Source #
Construct a PMaybeData
given a PMaybe
. Could be useful if you want to
"lift" from PMaybe
to Maybe
.
Since: 2.1.1
passertPDJust :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PString :--> (PMaybeData a :--> a)) Source #
Extract the value stored in a PMaybeData
container. If there's no value,
throw an error with the given message.
Since: 2.1.1
prationalFromData :: ClosedTerm (PRationalData :--> PRational) Source #
Since: 3.1.0