plutarch-ledger-api-3.2.1
Safe HaskellSafe-Inferred
LanguageHaskell2010

Plutarch.LedgerApi.V3

Description

Note

The PValue, PMap and PInterval-related functionality can be found in other modules, as these clash with the Plutarch prelude. These should be imported qualified.

Synopsis

Contexts

newtype PScriptContext (s :: S) Source #

Since: 3.1.0

Constructors

PScriptContext (Term s (PDataRecord '["txInfo" ':= PTxInfo, "redeemer" ':= PRedeemer, "scriptInfo" ':= PScriptInfo])) 

Instances

Instances details
PDataFields PScriptContext Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PFields PScriptContext :: [PLabeledType]

Methods

ptoFields :: forall (s :: S). Term s PScriptContext -> Term s (PDataRecord (PFields PScriptContext))

PEq PScriptContext Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PScriptContext -> Term s PScriptContext -> Term s PBool

PIsData PScriptContext Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptContext) -> Term s PScriptContext

pdataImpl :: forall (s :: S). Term s PScriptContext -> Term s PData

PLiftable PScriptContext Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PScriptContext

type PlutusRepr PScriptContext

Methods

toPlutarchRepr :: AsHaskell PScriptContext -> PlutusRepr PScriptContext

toPlutarch :: forall (s :: S). AsHaskell PScriptContext -> PLifted s PScriptContext

fromPlutarchRepr :: PlutusRepr PScriptContext -> Maybe (AsHaskell PScriptContext)

fromPlutarch :: (forall (s :: S). PLifted s PScriptContext) -> Either LiftError (AsHaskell PScriptContext)

DerivePlutusType PScriptContext Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PScriptContext

PlutusType PScriptContext Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PScriptContext :: PType

type PCovariant' PScriptContext

type PContravariant' PScriptContext

type PVariant' PScriptContext

Methods

pcon' :: forall (s :: S). PScriptContext s -> Term s (PInner PScriptContext)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PScriptContext) -> (PScriptContext s -> Term s b) -> Term s b

PShow PScriptContext Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PScriptContext -> Term s PString

PTryFrom PData PScriptContext Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PScriptContext :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PScriptContext, Reduce (PTryFromExcess PData PScriptContext s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PScriptContext) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PScriptContext) :: PType

Methods

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 # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PScriptContext s) :: Type -> Type Source #

type PFields PScriptContext Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PFields PScriptContext = Helper (PInner PScriptContext)
type AsHaskell PScriptContext Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PScriptContext = AsHaskell (DeriveDataPLiftable PScriptContext ScriptContext)
type PlutusRepr PScriptContext Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PScriptContext = PlutusRepr (DeriveDataPLiftable PScriptContext ScriptContext)
type DPTStrat PScriptContext Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PScriptContext = PlutusTypeData
type PContravariant' PScriptContext Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PScriptContext = All2 PContravariant'' (PCode PScriptContext)
type PCovariant' PScriptContext Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PScriptContext = All2 PCovariant'' (PCode PScriptContext)
type PInner PScriptContext Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PScriptContext = DerivedPInner (DPTStrat PScriptContext) PScriptContext
type PVariant' PScriptContext Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PScriptContext = All2 PVariant'' (PCode PScriptContext)
type PTryFromExcess PData PScriptContext Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PScriptContext = PTryFromExcess PData (PInner PScriptContext)
type PTryFromExcess PData (PAsData PScriptContext) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PScriptContext) = PTryFromExcess PData (PInner (PAsData PScriptContext))
type Rep (PScriptContext s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PScriptContext s) = D1 ('MetaData "PScriptContext" "Plutarch.LedgerApi.V3.Contexts" "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, "redeemer" ':= PRedeemer, "scriptInfo" ':= PScriptInfo])))))

newtype PTxInfo (s :: S) Source #

Constructors

PTxInfo (Term s (PDataRecord '["inputs" ':= PBuiltinList (PAsData PTxInInfo), "referenceInputs" ':= PBuiltinList (PAsData PTxInInfo), "outputs" ':= PBuiltinList (PAsData PTxOut), "fee" ':= PLovelace, "mint" ':= PValue 'Sorted 'NonZero, "txCerts" ':= PBuiltinList (PAsData PTxCert), "wdrl" ':= PMap 'Unsorted PCredential PLovelace, "validRange" ':= PInterval PPosixTime, "signatories" ':= PBuiltinList (PAsData PPubKeyHash), "redeemers" ':= PMap 'Unsorted PScriptPurpose PRedeemer, "data" ':= PMap 'Unsorted PDatumHash PDatum, "id" ':= PTxId, "votes" ':= PMap 'Unsorted PVoter (PMap 'Unsorted PGovernanceActionId PVote), "proposalProcedures" ':= PBuiltinList (PAsData PProposalProcedure), "currentTreasuryAmount" ':= PMaybeData PLovelace, "treasuryDonation" ':= PMaybeData PLovelace])) 

Instances

Instances details
PDataFields PTxInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PFields PTxInfo :: [PLabeledType]

Methods

ptoFields :: forall (s :: S). Term s PTxInfo -> Term s (PDataRecord (PFields PTxInfo))

PEq PTxInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PTxInfo -> Term s PTxInfo -> Term s PBool

PIsData PTxInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInfo) -> Term s PTxInfo

pdataImpl :: forall (s :: S). Term s PTxInfo -> Term s PData

PLiftable PTxInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PTxInfo

type PlutusRepr PTxInfo

Methods

toPlutarchRepr :: AsHaskell PTxInfo -> PlutusRepr PTxInfo

toPlutarch :: forall (s :: S). AsHaskell PTxInfo -> PLifted s PTxInfo

fromPlutarchRepr :: PlutusRepr PTxInfo -> Maybe (AsHaskell PTxInfo)

fromPlutarch :: (forall (s :: S). PLifted s PTxInfo) -> Either LiftError (AsHaskell PTxInfo)

DerivePlutusType PTxInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PTxInfo

PlutusType PTxInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PTxInfo :: PType

type PCovariant' PTxInfo

type PContravariant' PTxInfo

type PVariant' PTxInfo

Methods

pcon' :: forall (s :: S). PTxInfo s -> Term s (PInner PTxInfo)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxInfo) -> (PTxInfo s -> Term s b) -> Term s b

PShow PTxInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PTxInfo -> Term s PString

PTryFrom PData PTxInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PTxInfo :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PTxInfo, Reduce (PTryFromExcess PData PTxInfo s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PTxInfo) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PTxInfo) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PTxInfo), Reduce (PTryFromExcess PData (PAsData PTxInfo) s)) -> Term s r) -> Term s r

Generic (PTxInfo s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PTxInfo s) :: Type -> Type Source #

Methods

from :: PTxInfo s -> Rep (PTxInfo s) x Source #

to :: Rep (PTxInfo s) x -> PTxInfo s Source #

type PFields PTxInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PFields PTxInfo = Helper (PInner PTxInfo)
type AsHaskell PTxInfo Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PTxInfo = AsHaskell (DeriveDataPLiftable PTxInfo TxInfo)
type PlutusRepr PTxInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PTxInfo = PlutusRepr (DeriveDataPLiftable PTxInfo TxInfo)
type DPTStrat PTxInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PTxInfo = PlutusTypeData
type PContravariant' PTxInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PTxInfo = All2 PContravariant'' (PCode PTxInfo)
type PCovariant' PTxInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PTxInfo = All2 PCovariant'' (PCode PTxInfo)
type PInner PTxInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PTxInfo = DerivedPInner (DPTStrat PTxInfo) PTxInfo
type PVariant' PTxInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PTxInfo = All2 PVariant'' (PCode PTxInfo)
type PTryFromExcess PData PTxInfo Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PTxInfo = PTryFromExcess PData (PInner PTxInfo)
type PTryFromExcess PData (PAsData PTxInfo) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PTxInfo) = PTryFromExcess PData (PInner (PAsData PTxInfo))
type Rep (PTxInfo s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PTxInfo s) = D1 ('MetaData "PTxInfo" "Plutarch.LedgerApi.V3.Contexts" "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), "referenceInputs" ':= PBuiltinList (PAsData PTxInInfo), "outputs" ':= PBuiltinList (PAsData PTxOut), "fee" ':= PLovelace, "mint" ':= PValue 'Sorted 'NonZero, "txCerts" ':= PBuiltinList (PAsData PTxCert), "wdrl" ':= PMap 'Unsorted PCredential PLovelace, "validRange" ':= PInterval PPosixTime, "signatories" ':= PBuiltinList (PAsData PPubKeyHash), "redeemers" ':= PMap 'Unsorted PScriptPurpose PRedeemer, "data" ':= PMap 'Unsorted PDatumHash PDatum, "id" ':= PTxId, "votes" ':= PMap 'Unsorted PVoter (PMap 'Unsorted PGovernanceActionId PVote), "proposalProcedures" ':= PBuiltinList (PAsData PProposalProcedure), "currentTreasuryAmount" ':= PMaybeData PLovelace, "treasuryDonation" ':= PMaybeData PLovelace])))))

data PScriptInfo (s :: S) Source #

Since: 3.1.0

Constructors

PMintingScript (Term s (PDataRecord '["_0" ':= PCurrencySymbol])) 
PSpendingScript (Term s (PDataRecord '["_0" ':= PTxOutRef, "_1" ':= PMaybeData PDatum])) 
PRewardingScript (Term s (PDataRecord '["_0" ':= PCredential])) 
PCertifyingScript (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PTxCert])) 
PVotingScript (Term s (PDataRecord '["_0" ':= PVoter])) 
PProposingScript (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PProposalProcedure])) 

Instances

Instances details
PEq PScriptInfo Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PScriptInfo -> Term s PScriptInfo -> Term s PBool

PIsData PScriptInfo Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptInfo) -> Term s PScriptInfo

pdataImpl :: forall (s :: S). Term s PScriptInfo -> Term s PData

PLiftable PScriptInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PScriptInfo

type PlutusRepr PScriptInfo

Methods

toPlutarchRepr :: AsHaskell PScriptInfo -> PlutusRepr PScriptInfo

toPlutarch :: forall (s :: S). AsHaskell PScriptInfo -> PLifted s PScriptInfo

fromPlutarchRepr :: PlutusRepr PScriptInfo -> Maybe (AsHaskell PScriptInfo)

fromPlutarch :: (forall (s :: S). PLifted s PScriptInfo) -> Either LiftError (AsHaskell PScriptInfo)

DerivePlutusType PScriptInfo Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PScriptInfo

PlutusType PScriptInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PScriptInfo :: PType

type PCovariant' PScriptInfo

type PContravariant' PScriptInfo

type PVariant' PScriptInfo

Methods

pcon' :: forall (s :: S). PScriptInfo s -> Term s (PInner PScriptInfo)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PScriptInfo) -> (PScriptInfo s -> Term s b) -> Term s b

PShow PScriptInfo Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PScriptInfo -> Term s PString

PTryFrom PData PScriptInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PScriptInfo :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PScriptInfo, Reduce (PTryFromExcess PData PScriptInfo s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PScriptInfo) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PScriptInfo) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PScriptInfo), Reduce (PTryFromExcess PData (PAsData PScriptInfo) s)) -> Term s r) -> Term s r

Generic (PScriptInfo s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PScriptInfo s) :: Type -> Type Source #

type AsHaskell PScriptInfo Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PScriptInfo = AsHaskell (DeriveDataPLiftable PScriptInfo ScriptInfo)
type PlutusRepr PScriptInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PScriptInfo = PlutusRepr (DeriveDataPLiftable PScriptInfo ScriptInfo)
type DPTStrat PScriptInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PScriptInfo = PlutusTypeData
type PContravariant' PScriptInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PScriptInfo = All2 PContravariant'' (PCode PScriptInfo)
type PCovariant' PScriptInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PScriptInfo = All2 PCovariant'' (PCode PScriptInfo)
type PInner PScriptInfo Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PScriptInfo = DerivedPInner (DPTStrat PScriptInfo) PScriptInfo
type PVariant' PScriptInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PScriptInfo = All2 PVariant'' (PCode PScriptInfo)
type PTryFromExcess PData PScriptInfo Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PScriptInfo = PTryFromExcess PData (PInner PScriptInfo)
type PTryFromExcess PData (PAsData PScriptInfo) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PScriptInfo) = PTryFromExcess PData (PInner (PAsData PScriptInfo))
type Rep (PScriptInfo s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PScriptInfo s) = D1 ('MetaData "PScriptInfo" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'False) ((C1 ('MetaCons "PMintingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PCurrencySymbol])))) :+: (C1 ('MetaCons "PSpendingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PTxOutRef, "_1" ':= PMaybeData PDatum])))) :+: C1 ('MetaCons "PRewardingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PCredential])))))) :+: (C1 ('MetaCons "PCertifyingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PTxCert])))) :+: (C1 ('MetaCons "PVotingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PVoter])))) :+: C1 ('MetaCons "PProposingScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PProposalProcedure])))))))

data PScriptPurpose (s :: S) Source #

Since: 2.0.0

Constructors

PMinting (Term s (PDataRecord '["_0" ':= PCurrencySymbol])) 
PSpending (Term s (PDataRecord '["_0" ':= PTxOutRef])) 
PRewarding (Term s (PDataRecord '["_0" ':= PCredential]))

Since: 3.1.0

PCertifying (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PTxCert])) 
PVoting (Term s (PDataRecord '["_0" ':= PVoter]))

Since: 3.1.0

PProposing (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PProposalProcedure]))

Since: 3.1.0

Instances

Instances details
PEq PScriptPurpose Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PScriptPurpose -> Term s PScriptPurpose -> Term s PBool

PIsData PScriptPurpose Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptPurpose) -> Term s PScriptPurpose

pdataImpl :: forall (s :: S). Term s PScriptPurpose -> Term s PData

PLiftable PScriptPurpose Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PScriptPurpose

type PlutusRepr PScriptPurpose

Methods

toPlutarchRepr :: AsHaskell PScriptPurpose -> PlutusRepr PScriptPurpose

toPlutarch :: forall (s :: S). AsHaskell PScriptPurpose -> PLifted s PScriptPurpose

fromPlutarchRepr :: PlutusRepr PScriptPurpose -> Maybe (AsHaskell PScriptPurpose)

fromPlutarch :: (forall (s :: S). PLifted s PScriptPurpose) -> Either LiftError (AsHaskell PScriptPurpose)

DerivePlutusType PScriptPurpose Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PScriptPurpose

PlutusType PScriptPurpose Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PScriptPurpose :: PType

type PCovariant' PScriptPurpose

type PContravariant' PScriptPurpose

type PVariant' PScriptPurpose

Methods

pcon' :: forall (s :: S). PScriptPurpose s -> Term s (PInner PScriptPurpose)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PScriptPurpose) -> (PScriptPurpose s -> Term s b) -> Term s b

PShow PScriptPurpose Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PScriptPurpose -> Term s PString

PTryFrom PData PScriptPurpose Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PScriptPurpose :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PScriptPurpose, Reduce (PTryFromExcess PData PScriptPurpose s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PScriptPurpose) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PScriptPurpose) :: PType

Methods

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 # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PScriptPurpose s) :: Type -> Type Source #

type AsHaskell PScriptPurpose Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PScriptPurpose = AsHaskell (DeriveDataPLiftable PScriptPurpose ScriptPurpose)
type PlutusRepr PScriptPurpose Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PScriptPurpose = PlutusRepr (DeriveDataPLiftable PScriptPurpose ScriptPurpose)
type DPTStrat PScriptPurpose Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PScriptPurpose = PlutusTypeData
type PContravariant' PScriptPurpose Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PScriptPurpose = All2 PContravariant'' (PCode PScriptPurpose)
type PCovariant' PScriptPurpose Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PScriptPurpose = All2 PCovariant'' (PCode PScriptPurpose)
type PInner PScriptPurpose Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PScriptPurpose = DerivedPInner (DPTStrat PScriptPurpose) PScriptPurpose
type PVariant' PScriptPurpose Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PScriptPurpose = All2 PVariant'' (PCode PScriptPurpose)
type PTryFromExcess PData PScriptPurpose Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PScriptPurpose = PTryFromExcess PData (PInner PScriptPurpose)
type PTryFromExcess PData (PAsData PScriptPurpose) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PScriptPurpose) = PTryFromExcess PData (PInner (PAsData PScriptPurpose))
type Rep (PScriptPurpose s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PScriptPurpose s) = D1 ('MetaData "PScriptPurpose" "Plutarch.LedgerApi.V3.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" ':= PCredential])))))) :+: (C1 ('MetaCons "PCertifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PTxCert])))) :+: (C1 ('MetaCons "PVoting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PVoter])))) :+: C1 ('MetaCons "PProposing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PProposalProcedure])))))))

Tx

Types

newtype PTxOutRef (s :: S) Source #

Since: 3.1.0

Constructors

PTxOutRef (Term s (PDataRecord '["id" ':= PTxId, "idx" ':= PInteger])) 

Instances

Instances details
PDataFields PTxOutRef Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Associated Types

type PFields PTxOutRef :: [PLabeledType]

Methods

ptoFields :: forall (s :: S). Term s PTxOutRef -> Term s (PDataRecord (PFields PTxOutRef))

PEq PTxOutRef Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Methods

(#==) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool

PIsData PTxOutRef Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PTxOutRef) -> Term s PTxOutRef

pdataImpl :: forall (s :: S). Term s PTxOutRef -> Term s PData

PLiftable PTxOutRef Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Associated Types

type AsHaskell PTxOutRef

type PlutusRepr PTxOutRef

Methods

toPlutarchRepr :: AsHaskell PTxOutRef -> PlutusRepr PTxOutRef

toPlutarch :: forall (s :: S). AsHaskell PTxOutRef -> PLifted s PTxOutRef

fromPlutarchRepr :: PlutusRepr PTxOutRef -> Maybe (AsHaskell PTxOutRef)

fromPlutarch :: (forall (s :: S). PLifted s PTxOutRef) -> Either LiftError (AsHaskell PTxOutRef)

POrd PTxOutRef Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Methods

(#<=) :: 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: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Associated Types

type DPTStrat PTxOutRef

PlutusType PTxOutRef Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Associated Types

type PInner PTxOutRef :: PType

type PCovariant' PTxOutRef

type PContravariant' PTxOutRef

type PVariant' PTxOutRef

Methods

pcon' :: forall (s :: S). PTxOutRef s -> Term s (PInner PTxOutRef)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxOutRef) -> (PTxOutRef s -> Term s b) -> Term s b

PShow PTxOutRef Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Methods

pshow' :: forall (s :: S). Bool -> Term s PTxOutRef -> Term s PString

PTryFrom PData PTxOutRef Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Associated Types

type PTryFromExcess PData PTxOutRef :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PTxOutRef, Reduce (PTryFromExcess PData PTxOutRef s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PTxOutRef) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Associated Types

type PTryFromExcess PData (PAsData PTxOutRef) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PTxOutRef), Reduce (PTryFromExcess PData (PAsData PTxOutRef) s)) -> Term s r) -> Term s r

Generic (PTxOutRef s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Associated Types

type Rep (PTxOutRef s) :: Type -> Type Source #

Methods

from :: PTxOutRef s -> Rep (PTxOutRef s) x Source #

to :: Rep (PTxOutRef s) x -> PTxOutRef s Source #

type PFields PTxOutRef Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type PFields PTxOutRef = Helper (PInner PTxOutRef)
type AsHaskell PTxOutRef Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type AsHaskell PTxOutRef = AsHaskell (DeriveDataPLiftable PTxOutRef TxOutRef)
type PlutusRepr PTxOutRef Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type PlutusRepr PTxOutRef = PlutusRepr (DeriveDataPLiftable PTxOutRef TxOutRef)
type DPTStrat PTxOutRef Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type DPTStrat PTxOutRef = PlutusTypeData
type PContravariant' PTxOutRef Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type PContravariant' PTxOutRef = All2 PContravariant'' (PCode PTxOutRef)
type PCovariant' PTxOutRef Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type PCovariant' PTxOutRef = All2 PCovariant'' (PCode PTxOutRef)
type PInner PTxOutRef Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type PInner PTxOutRef = DerivedPInner (DPTStrat PTxOutRef) PTxOutRef
type PVariant' PTxOutRef Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type PVariant' PTxOutRef = All2 PVariant'' (PCode PTxOutRef)
type PTryFromExcess PData PTxOutRef Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type PTryFromExcess PData PTxOutRef = PTryFromExcess PData (PInner PTxOutRef)
type PTryFromExcess PData (PAsData PTxOutRef) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type PTryFromExcess PData (PAsData PTxOutRef) = PTryFromExcess PData (PInner (PAsData PTxOutRef))
type Rep (PTxOutRef s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type Rep (PTxOutRef s) = D1 ('MetaData "PTxOutRef" "Plutarch.LedgerApi.V3.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 PTxOut (s :: S) Source #

Since: 2.0.0

Constructors

PTxOut (Term s (PDataRecord '["address" ':= PAddress, "value" ':= PValue 'Sorted 'Positive, "datum" ':= POutputDatum, "referenceScript" ':= PMaybeData PScriptHash])) 

Instances

Instances details
PDataFields PTxOut Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Associated Types

type PFields PTxOut :: [PLabeledType]

Methods

ptoFields :: forall (s :: S). Term s PTxOut -> Term s (PDataRecord (PFields PTxOut))

PEq PTxOut Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Methods

(#==) :: forall (s :: S). Term s PTxOut -> Term s PTxOut -> Term s PBool

PIsData PTxOut Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PTxOut) -> Term s PTxOut

pdataImpl :: forall (s :: S). Term s PTxOut -> Term s PData

PLiftable PTxOut Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Associated Types

type AsHaskell PTxOut

type PlutusRepr PTxOut

Methods

toPlutarchRepr :: AsHaskell PTxOut -> PlutusRepr PTxOut

toPlutarch :: forall (s :: S). AsHaskell PTxOut -> PLifted s PTxOut

fromPlutarchRepr :: PlutusRepr PTxOut -> Maybe (AsHaskell PTxOut)

fromPlutarch :: (forall (s :: S). PLifted s PTxOut) -> Either LiftError (AsHaskell PTxOut)

DerivePlutusType PTxOut Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Associated Types

type DPTStrat PTxOut

PlutusType PTxOut Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Associated Types

type PInner PTxOut :: PType

type PCovariant' PTxOut

type PContravariant' PTxOut

type PVariant' PTxOut

Methods

pcon' :: forall (s :: S). PTxOut s -> Term s (PInner PTxOut)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxOut) -> (PTxOut s -> Term s b) -> Term s b

PShow PTxOut Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Methods

pshow' :: forall (s :: S). Bool -> Term s PTxOut -> Term s PString

PTryFrom PData PTxOut Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Associated Types

type PTryFromExcess PData PTxOut :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PTxOut, Reduce (PTryFromExcess PData PTxOut s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PTxOut) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Associated Types

type PTryFromExcess PData (PAsData PTxOut) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PTxOut), Reduce (PTryFromExcess PData (PAsData PTxOut) s)) -> Term s r) -> Term s r

Generic (PTxOut s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Associated Types

type Rep (PTxOut s) :: Type -> Type Source #

Methods

from :: PTxOut s -> Rep (PTxOut s) x Source #

to :: Rep (PTxOut s) x -> PTxOut s Source #

type PFields PTxOut Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type PFields PTxOut = Helper (PInner PTxOut)
type AsHaskell PTxOut Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type AsHaskell PTxOut = AsHaskell (DeriveDataPLiftable PTxOut TxOut)
type PlutusRepr PTxOut Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type PlutusRepr PTxOut = PlutusRepr (DeriveDataPLiftable PTxOut TxOut)
type DPTStrat PTxOut Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type DPTStrat PTxOut = PlutusTypeData
type PContravariant' PTxOut Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type PContravariant' PTxOut = All2 PContravariant'' (PCode PTxOut)
type PCovariant' PTxOut Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type PCovariant' PTxOut = All2 PCovariant'' (PCode PTxOut)
type PInner PTxOut Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type PInner PTxOut = DerivedPInner (DPTStrat PTxOut) PTxOut
type PVariant' PTxOut Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type PVariant' PTxOut = All2 PVariant'' (PCode PTxOut)
type PTryFromExcess PData PTxOut Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type PTryFromExcess PData PTxOut = PTryFromExcess PData (PInner PTxOut)
type PTryFromExcess PData (PAsData PTxOut) Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type PTryFromExcess PData (PAsData PTxOut) = PTryFromExcess PData (PInner (PAsData PTxOut))
type Rep (PTxOut s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type Rep (PTxOut s) = D1 ('MetaData "PTxOut" "Plutarch.LedgerApi.V2.Tx" "plutarch-ledger-api-3.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, "datum" ':= POutputDatum, "referenceScript" ':= PMaybeData PScriptHash])))))

newtype PTxId (s :: S) Source #

Hashed with BLAKE2b-256.

Since: 3.1.0

Constructors

PTxId (Term s (PDataNewtype PByteString)) 

Instances

Instances details
PEq PTxId Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Methods

(#==) :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PBool

PIsData PTxId Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PTxId) -> Term s PTxId

pdataImpl :: forall (s :: S). Term s PTxId -> Term s PData

PLiftable PTxId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Associated Types

type AsHaskell PTxId

type PlutusRepr PTxId

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Methods

(#<=) :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PBool

(#<) :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PBool

pmax :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PTxId

pmin :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PTxId

DerivePlutusType PTxId Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Associated Types

type DPTStrat PTxId

PlutusType PTxId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Associated Types

type PInner PTxId :: PType

type PCovariant' PTxId

type PContravariant' PTxId

type PVariant' PTxId

Methods

pcon' :: forall (s :: S). PTxId s -> Term s (PInner PTxId)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxId) -> (PTxId s -> Term s b) -> Term s b

PShow PTxId Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Methods

pshow' :: forall (s :: S). Bool -> Term s PTxId -> Term s PString

PTryFrom PData PTxId Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Associated Types

type PTryFromExcess PData PTxId :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PTxId, Reduce (PTryFromExcess PData PTxId s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PTxId) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Associated Types

type PTryFromExcess PData (PAsData PTxId) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PTxId), Reduce (PTryFromExcess PData (PAsData PTxId) s)) -> Term s r) -> Term s r

Generic (PTxId s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

Associated Types

type Rep (PTxId s) :: Type -> Type Source #

Methods

from :: PTxId s -> Rep (PTxId s) x Source #

to :: Rep (PTxId s) x -> PTxId s Source #

type AsHaskell PTxId Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type AsHaskell PTxId = AsHaskell (DeriveDataPLiftable PTxId TxId)
type PlutusRepr PTxId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type PlutusRepr PTxId = PlutusRepr (DeriveDataPLiftable PTxId TxId)
type DPTStrat PTxId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type DPTStrat PTxId = PlutusTypeNewtype
type PContravariant' PTxId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type PContravariant' PTxId = All2 PContravariant'' (PCode PTxId)
type PCovariant' PTxId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type PCovariant' PTxId = All2 PCovariant'' (PCode PTxId)
type PInner PTxId Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type PInner PTxId = DerivedPInner (DPTStrat PTxId) PTxId
type PVariant' PTxId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type PVariant' PTxId = All2 PVariant'' (PCode PTxId)
type PTryFromExcess PData PTxId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type PTryFromExcess PData PTxId = Mret PTxId
type PTryFromExcess PData (PAsData PTxId) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type PTryFromExcess PData (PAsData PTxId) = Mret PTxId
type Rep (PTxId s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Tx

type Rep (PTxId s) = D1 ('MetaData "PTxId" "Plutarch.LedgerApi.V3.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 (PDataNewtype PByteString)))))

newtype PTxInInfo (s :: S) Source #

An input of the pending transaction.

Since: 2.0.0

Constructors

PTxInInfo (Term s (PDataRecord '["outRef" ':= PTxOutRef, "resolved" ':= PTxOut])) 

Instances

Instances details
PDataFields PTxInInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PFields PTxInInfo :: [PLabeledType]

Methods

ptoFields :: forall (s :: S). Term s PTxInInfo -> Term s (PDataRecord (PFields PTxInInfo))

PEq PTxInInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PTxInInfo -> Term s PTxInInfo -> Term s PBool

PIsData PTxInInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInInfo) -> Term s PTxInInfo

pdataImpl :: forall (s :: S). Term s PTxInInfo -> Term s PData

PLiftable PTxInInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PTxInInfo

type PlutusRepr PTxInInfo

Methods

toPlutarchRepr :: AsHaskell PTxInInfo -> PlutusRepr PTxInInfo

toPlutarch :: forall (s :: S). AsHaskell PTxInInfo -> PLifted s PTxInInfo

fromPlutarchRepr :: PlutusRepr PTxInInfo -> Maybe (AsHaskell PTxInInfo)

fromPlutarch :: (forall (s :: S). PLifted s PTxInInfo) -> Either LiftError (AsHaskell PTxInInfo)

DerivePlutusType PTxInInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PTxInInfo

PlutusType PTxInInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PTxInInfo :: PType

type PCovariant' PTxInInfo

type PContravariant' PTxInInfo

type PVariant' PTxInInfo

Methods

pcon' :: forall (s :: S). PTxInInfo s -> Term s (PInner PTxInInfo)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxInInfo) -> (PTxInInfo s -> Term s b) -> Term s b

PShow PTxInInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PTxInInfo -> Term s PString

PTryFrom PData PTxInInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PTxInInfo :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PTxInInfo, Reduce (PTryFromExcess PData PTxInInfo s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PTxInInfo) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PTxInInfo) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PTxInInfo), Reduce (PTryFromExcess PData (PAsData PTxInInfo) s)) -> Term s r) -> Term s r

Generic (PTxInInfo s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PTxInInfo s) :: Type -> Type Source #

Methods

from :: PTxInInfo s -> Rep (PTxInInfo s) x Source #

to :: Rep (PTxInInfo s) x -> PTxInInfo s Source #

type PFields PTxInInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PFields PTxInInfo = Helper (PInner PTxInInfo)
type AsHaskell PTxInInfo Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PTxInInfo = AsHaskell (DeriveDataPLiftable PTxInInfo TxInInfo)
type PlutusRepr PTxInInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PTxInInfo = PlutusRepr (DeriveDataPLiftable PTxInInfo TxInInfo)
type DPTStrat PTxInInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PTxInInfo = PlutusTypeData
type PContravariant' PTxInInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PTxInInfo = All2 PContravariant'' (PCode PTxInInfo)
type PCovariant' PTxInInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PTxInInfo = All2 PCovariant'' (PCode PTxInInfo)
type PInner PTxInInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PTxInInfo = DerivedPInner (DPTStrat PTxInInfo) PTxInInfo
type PVariant' PTxInInfo Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PTxInInfo = All2 PVariant'' (PCode PTxInInfo)
type PTryFromExcess PData PTxInInfo Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PTxInInfo = PTryFromExcess PData (PInner PTxInInfo)
type PTryFromExcess PData (PAsData PTxInInfo) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PTxInInfo) = PTryFromExcess PData (PInner (PAsData PTxInInfo))
type Rep (PTxInInfo s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PTxInInfo s) = D1 ('MetaData "PTxInInfo" "Plutarch.LedgerApi.V3.Contexts" "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])))))

data POutputDatum (s :: S) Source #

Since: 2.0.0

Constructors

PNoOutputDatum (Term s (PDataRecord '[])) 
POutputDatumHash (Term s (PDataRecord '["datumHash" ':= PDatumHash])) 
POutputDatum (Term s (PDataRecord '["outputDatum" ':= PDatum]))

Inline datum as per CIP-0032

Instances

Instances details
PEq POutputDatum Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Methods

(#==) :: forall (s :: S). Term s POutputDatum -> Term s POutputDatum -> Term s PBool

PIsData POutputDatum Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData POutputDatum) -> Term s POutputDatum

pdataImpl :: forall (s :: S). Term s POutputDatum -> Term s PData

PLiftable POutputDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Associated Types

type AsHaskell POutputDatum

type PlutusRepr POutputDatum

Methods

toPlutarchRepr :: AsHaskell POutputDatum -> PlutusRepr POutputDatum

toPlutarch :: forall (s :: S). AsHaskell POutputDatum -> PLifted s POutputDatum

fromPlutarchRepr :: PlutusRepr POutputDatum -> Maybe (AsHaskell POutputDatum)

fromPlutarch :: (forall (s :: S). PLifted s POutputDatum) -> Either LiftError (AsHaskell POutputDatum)

DerivePlutusType POutputDatum Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Associated Types

type DPTStrat POutputDatum

PlutusType POutputDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Associated Types

type PInner POutputDatum :: PType

type PCovariant' POutputDatum

type PContravariant' POutputDatum

type PVariant' POutputDatum

Methods

pcon' :: forall (s :: S). POutputDatum s -> Term s (PInner POutputDatum)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner POutputDatum) -> (POutputDatum s -> Term s b) -> Term s b

PShow POutputDatum Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Methods

pshow' :: forall (s :: S). Bool -> Term s POutputDatum -> Term s PString

PTryFrom PData POutputDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Associated Types

type PTryFromExcess PData POutputDatum :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s POutputDatum, Reduce (PTryFromExcess PData POutputDatum s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData POutputDatum) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Associated Types

type PTryFromExcess PData (PAsData POutputDatum) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData POutputDatum), Reduce (PTryFromExcess PData (PAsData POutputDatum) s)) -> Term s r) -> Term s r

Generic (POutputDatum s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

Associated Types

type Rep (POutputDatum s) :: Type -> Type Source #

type AsHaskell POutputDatum Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type AsHaskell POutputDatum = AsHaskell (DeriveDataPLiftable POutputDatum OutputDatum)
type PlutusRepr POutputDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type PlutusRepr POutputDatum = PlutusRepr (DeriveDataPLiftable POutputDatum OutputDatum)
type DPTStrat POutputDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type DPTStrat POutputDatum = PlutusTypeData
type PContravariant' POutputDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type PContravariant' POutputDatum = All2 PContravariant'' (PCode POutputDatum)
type PCovariant' POutputDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type PCovariant' POutputDatum = All2 PCovariant'' (PCode POutputDatum)
type PInner POutputDatum Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type PInner POutputDatum = DerivedPInner (DPTStrat POutputDatum) POutputDatum
type PVariant' POutputDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type PVariant' POutputDatum = All2 PVariant'' (PCode POutputDatum)
type PTryFromExcess PData POutputDatum Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type PTryFromExcess PData POutputDatum = PTryFromExcess PData (PInner POutputDatum)
type PTryFromExcess PData (PAsData POutputDatum) Source # 
Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type PTryFromExcess PData (PAsData POutputDatum) = PTryFromExcess PData (PInner (PAsData POutputDatum))
type Rep (POutputDatum s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V2.Tx

type Rep (POutputDatum s) = D1 ('MetaData "POutputDatum" "Plutarch.LedgerApi.V2.Tx" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'False) (C1 ('MetaCons "PNoOutputDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))) :+: (C1 ('MetaCons "POutputDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["datumHash" ':= PDatumHash])))) :+: C1 ('MetaCons "POutputDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["outputDatum" ':= PDatum]))))))

Functions

pgetContinuingOutputs :: forall (s :: S). Term s (PBuiltinList PTxInInfo :--> (PBuiltinList PTxOut :--> (PTxOutRef :--> PBuiltinList PTxOut))) Source #

Find the output txns corresponding to the input being validated.

Takes as arguments the inputs, outputs and the spending transaction referenced from PScriptPurpose.

Example:

 ctx <- tcont $ pletFields ["txInfo", "purpose"] sc
 pmatchC (getField "purpose" ctx) >>= case
   PSpending outRef' -> do
     let outRef = pfield "_0" # outRef'
         inputs = pfield "inputs" # (getField "txInfo" ctx)
         outputs = pfield "outputs" # (getField @"txInfo" ctx)
     pure $ pgetContinuingOutputs # inputs # outputs # outRef
   _ ->
     pure $ ptraceInfoError "not a spending tx"
 

Since: 2.1.0

pfindOwnInput :: forall (s :: S). Term s (PBuiltinList PTxInInfo :--> (PTxOutRef :--> PMaybe PTxInInfo)) Source #

Find the input being spent in the current transaction.

Takes as arguments the inputs, as well as the spending transaction referenced from PScriptPurpose.

Example:

 ctx <- tcont $ pletFields ["txInfo", "purpose"] sc
 pmatchC (getField "purpose" ctx) >>= case
   PSpending outRef' -> do
     let outRef = pfield "_0" # outRef'
         inputs = pfield "inputs" # (getField @"txInfo" ctx)
     pure $ pfindOwnInput # inputs # outRef
   _ ->
     pure $ ptraceInfoError "not a spending tx"
 

Since: 2.1.0

Script

Types

newtype PDatum (s :: S) Source #

Since: 2.0.0

Constructors

PDatum (Term s PData) 

Instances

Instances details
PEq PDatum Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

(#==) :: forall (s :: S). Term s PDatum -> Term s PDatum -> Term s PBool

PIsData PDatum Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PDatum) -> Term s PDatum

pdataImpl :: forall (s :: S). Term s PDatum -> Term s PData

PLiftable PDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type AsHaskell PDatum

type PlutusRepr PDatum

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type DPTStrat PDatum

PlutusType PDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type PInner PDatum :: PType

type PCovariant' PDatum

type PContravariant' PDatum

type PVariant' PDatum

Methods

pcon' :: forall (s :: S). PDatum s -> Term s (PInner PDatum)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PDatum) -> (PDatum s -> Term s b) -> Term s b

PShow PDatum Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

pshow' :: forall (s :: S). Bool -> Term s PDatum -> Term s PString

PTryFrom PData PDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type PTryFromExcess PData PDatum :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PDatum, Reduce (PTryFromExcess PData PDatum s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PDatum) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type PTryFromExcess PData (PAsData PDatum) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PDatum), Reduce (PTryFromExcess PData (PAsData PDatum) s)) -> Term s r) -> Term s r

Generic (PDatum s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type Rep (PDatum s) :: Type -> Type Source #

Methods

from :: PDatum s -> Rep (PDatum s) x Source #

to :: Rep (PDatum s) x -> PDatum s Source #

type AsHaskell PDatum Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type AsHaskell PDatum = AsHaskell (DeriveDataPLiftable PDatum Datum)
type PlutusRepr PDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PlutusRepr PDatum = PlutusRepr (DeriveDataPLiftable PDatum Datum)
type DPTStrat PDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type DPTStrat PDatum = PlutusTypeNewtype
type PContravariant' PDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PContravariant' PDatum = All2 PContravariant'' (PCode PDatum)
type PCovariant' PDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PCovariant' PDatum = All2 PCovariant'' (PCode PDatum)
type PInner PDatum Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PInner PDatum = DerivedPInner (DPTStrat PDatum) PDatum
type PVariant' PDatum Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PVariant' PDatum = All2 PVariant'' (PCode PDatum)
type PTryFromExcess PData PDatum Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PTryFromExcess PData PDatum = PTryFromExcess PData (PInner PDatum)
type PTryFromExcess PData (PAsData PDatum) Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PTryFromExcess PData (PAsData PDatum) = PTryFromExcess PData (PInner (PAsData PDatum))
type Rep (PDatum s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type Rep (PDatum s) = D1 ('MetaData "PDatum" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PData))))

newtype PDatumHash (s :: S) Source #

Since: 2.0.0

Constructors

PDatumHash (Term s (PDataNewtype PByteString)) 

Instances

Instances details
PEq PDatumHash Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

(#==) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool

PIsData PDatumHash Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PDatumHash) -> Term s PDatumHash

pdataImpl :: forall (s :: S). Term s PDatumHash -> Term s PData

PLiftable PDatumHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type AsHaskell PDatumHash

type PlutusRepr PDatumHash

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

(#<=) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool

(#<) :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PBool

pmax :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PDatumHash

pmin :: forall (s :: S). Term s PDatumHash -> Term s PDatumHash -> Term s PDatumHash

DerivePlutusType PDatumHash Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type DPTStrat PDatumHash

PlutusType PDatumHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type PInner PDatumHash :: PType

type PCovariant' PDatumHash

type PContravariant' PDatumHash

type PVariant' PDatumHash

Methods

pcon' :: forall (s :: S). PDatumHash s -> Term s (PInner PDatumHash)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PDatumHash) -> (PDatumHash s -> Term s b) -> Term s b

PShow PDatumHash Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

pshow' :: forall (s :: S). Bool -> Term s PDatumHash -> Term s PString

PTryFrom PData PDatumHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type PTryFromExcess PData PDatumHash :: PType

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type PTryFromExcess PData (PAsData PDatumHash) :: PType

Methods

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 # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type Rep (PDatumHash s) :: Type -> Type Source #

Methods

from :: PDatumHash s -> Rep (PDatumHash s) x Source #

to :: Rep (PDatumHash s) x -> PDatumHash s Source #

type AsHaskell PDatumHash Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type AsHaskell PDatumHash = AsHaskell (DeriveDataPLiftable PDatumHash DatumHash)
type PlutusRepr PDatumHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PlutusRepr PDatumHash = PlutusRepr (DeriveDataPLiftable PDatumHash DatumHash)
type DPTStrat PDatumHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type DPTStrat PDatumHash = PlutusTypeNewtype
type PContravariant' PDatumHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PContravariant' PDatumHash = All2 PContravariant'' (PCode PDatumHash)
type PCovariant' PDatumHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PCovariant' PDatumHash = All2 PCovariant'' (PCode PDatumHash)
type PInner PDatumHash Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PInner PDatumHash = DerivedPInner (DPTStrat PDatumHash) PDatumHash
type PVariant' PDatumHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PVariant' PDatumHash = All2 PVariant'' (PCode PDatumHash)
type PTryFromExcess PData PDatumHash Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PTryFromExcess PData PDatumHash = PTryFromExcess PData (PInner PDatumHash)
type PTryFromExcess PData (PAsData PDatumHash) Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PTryFromExcess PData (PAsData PDatumHash) = PTryFromExcess PData (PInner (PAsData PDatumHash))
type Rep (PDatumHash s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type Rep (PDatumHash s) = D1 ('MetaData "PDatumHash" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString)))))

newtype PRedeemer (s :: S) Source #

Since: 2.0.0

Constructors

PRedeemer (Term s PData) 

Instances

Instances details
PEq PRedeemer Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

(#==) :: forall (s :: S). Term s PRedeemer -> Term s PRedeemer -> Term s PBool

PIsData PRedeemer Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PRedeemer) -> Term s PRedeemer

pdataImpl :: forall (s :: S). Term s PRedeemer -> Term s PData

PLiftable PRedeemer Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type AsHaskell PRedeemer

type PlutusRepr PRedeemer

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type DPTStrat PRedeemer

PlutusType PRedeemer Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type PInner PRedeemer :: PType

type PCovariant' PRedeemer

type PContravariant' PRedeemer

type PVariant' PRedeemer

Methods

pcon' :: forall (s :: S). PRedeemer s -> Term s (PInner PRedeemer)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PRedeemer) -> (PRedeemer s -> Term s b) -> Term s b

PShow PRedeemer Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

pshow' :: forall (s :: S). Bool -> Term s PRedeemer -> Term s PString

PTryFrom PData PRedeemer Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type PTryFromExcess PData PRedeemer :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PRedeemer, Reduce (PTryFromExcess PData PRedeemer s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PRedeemer) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type PTryFromExcess PData (PAsData PRedeemer) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PRedeemer), Reduce (PTryFromExcess PData (PAsData PRedeemer) s)) -> Term s r) -> Term s r

Generic (PRedeemer s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type Rep (PRedeemer s) :: Type -> Type Source #

Methods

from :: PRedeemer s -> Rep (PRedeemer s) x Source #

to :: Rep (PRedeemer s) x -> PRedeemer s Source #

type AsHaskell PRedeemer Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type AsHaskell PRedeemer = AsHaskell (DeriveDataPLiftable PRedeemer Redeemer)
type PlutusRepr PRedeemer Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PlutusRepr PRedeemer = PlutusRepr (DeriveDataPLiftable PRedeemer Redeemer)
type DPTStrat PRedeemer Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type DPTStrat PRedeemer = PlutusTypeNewtype
type PContravariant' PRedeemer Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PContravariant' PRedeemer = All2 PContravariant'' (PCode PRedeemer)
type PCovariant' PRedeemer Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PCovariant' PRedeemer = All2 PCovariant'' (PCode PRedeemer)
type PInner PRedeemer Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PInner PRedeemer = DerivedPInner (DPTStrat PRedeemer) PRedeemer
type PVariant' PRedeemer Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PVariant' PRedeemer = All2 PVariant'' (PCode PRedeemer)
type PTryFromExcess PData PRedeemer Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PTryFromExcess PData PRedeemer = PTryFromExcess PData (PInner PRedeemer)
type PTryFromExcess PData (PAsData PRedeemer) Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PTryFromExcess PData (PAsData PRedeemer) = PTryFromExcess PData (PInner (PAsData PRedeemer))
type Rep (PRedeemer s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type Rep (PRedeemer s) = D1 ('MetaData "PRedeemer" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PRedeemer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PData))))

newtype PRedeemerHash (s :: S) Source #

Since: 2.0.0

Constructors

PRedeemerHash (Term s (PDataNewtype PByteString)) 

Instances

Instances details
PEq PRedeemerHash Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

(#==) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool

PIsData PRedeemerHash Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PRedeemerHash) -> Term s PRedeemerHash

pdataImpl :: forall (s :: S). Term s PRedeemerHash -> Term s PData

PLiftable PRedeemerHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type AsHaskell PRedeemerHash

type PlutusRepr PRedeemerHash

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

(#<=) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool

(#<) :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PBool

pmax :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PRedeemerHash

pmin :: forall (s :: S). Term s PRedeemerHash -> Term s PRedeemerHash -> Term s PRedeemerHash

DerivePlutusType PRedeemerHash Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type DPTStrat PRedeemerHash

PlutusType PRedeemerHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type PInner PRedeemerHash :: PType

type PCovariant' PRedeemerHash

type PContravariant' PRedeemerHash

type PVariant' PRedeemerHash

Methods

pcon' :: forall (s :: S). PRedeemerHash s -> Term s (PInner PRedeemerHash)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PRedeemerHash) -> (PRedeemerHash s -> Term s b) -> Term s b

PShow PRedeemerHash Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

pshow' :: forall (s :: S). Bool -> Term s PRedeemerHash -> Term s PString

PTryFrom PData PRedeemerHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type PTryFromExcess PData PRedeemerHash :: PType

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type PTryFromExcess PData (PAsData PRedeemerHash) :: PType

Methods

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 # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type Rep (PRedeemerHash s) :: Type -> Type Source #

type AsHaskell PRedeemerHash Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type AsHaskell PRedeemerHash = AsHaskell (DeriveDataPLiftable PRedeemerHash RedeemerHash)
type PlutusRepr PRedeemerHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PlutusRepr PRedeemerHash = PlutusRepr (DeriveDataPLiftable PRedeemerHash RedeemerHash)
type DPTStrat PRedeemerHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type DPTStrat PRedeemerHash = PlutusTypeNewtype
type PContravariant' PRedeemerHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PContravariant' PRedeemerHash = All2 PContravariant'' (PCode PRedeemerHash)
type PCovariant' PRedeemerHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PCovariant' PRedeemerHash = All2 PCovariant'' (PCode PRedeemerHash)
type PInner PRedeemerHash Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PInner PRedeemerHash = DerivedPInner (DPTStrat PRedeemerHash) PRedeemerHash
type PVariant' PRedeemerHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PVariant' PRedeemerHash = All2 PVariant'' (PCode PRedeemerHash)
type PTryFromExcess PData PRedeemerHash Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PTryFromExcess PData PRedeemerHash = PTryFromExcess PData (PInner PRedeemerHash)
type PTryFromExcess PData (PAsData PRedeemerHash) Source # 
Instance details

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

Instance details

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

Constructors

PScriptHash (Term s (PDataNewtype PByteString)) 

Instances

Instances details
PEq PScriptHash Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

(#==) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool

PIsData PScriptHash Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptHash) -> Term s PScriptHash

pdataImpl :: forall (s :: S). Term s PScriptHash -> Term s PData

PLiftable PScriptHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type AsHaskell PScriptHash

type PlutusRepr PScriptHash

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

(#<=) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool

(#<) :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PBool

pmax :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PScriptHash

pmin :: forall (s :: S). Term s PScriptHash -> Term s PScriptHash -> Term s PScriptHash

DerivePlutusType PScriptHash Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type DPTStrat PScriptHash

PlutusType PScriptHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type PInner PScriptHash :: PType

type PCovariant' PScriptHash

type PContravariant' PScriptHash

type PVariant' PScriptHash

Methods

pcon' :: forall (s :: S). PScriptHash s -> Term s (PInner PScriptHash)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PScriptHash) -> (PScriptHash s -> Term s b) -> Term s b

PShow PScriptHash Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Methods

pshow' :: forall (s :: S). Bool -> Term s PScriptHash -> Term s PString

PTryFrom PData PScriptHash Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type PTryFromExcess PData PScriptHash :: PType

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type PTryFromExcess PData (PAsData PScriptHash) :: PType

Methods

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 # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

Associated Types

type Rep (PScriptHash s) :: Type -> Type Source #

type AsHaskell PScriptHash Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type AsHaskell PScriptHash = AsHaskell (DeriveDataPLiftable PScriptHash ScriptHash)
type PlutusRepr PScriptHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PlutusRepr PScriptHash = PlutusRepr (DeriveDataPLiftable PScriptHash ScriptHash)
type DPTStrat PScriptHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type DPTStrat PScriptHash = PlutusTypeNewtype
type PContravariant' PScriptHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PContravariant' PScriptHash = All2 PContravariant'' (PCode PScriptHash)
type PCovariant' PScriptHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PCovariant' PScriptHash = All2 PCovariant'' (PCode PScriptHash)
type PInner PScriptHash Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PInner PScriptHash = DerivedPInner (DPTStrat PScriptHash) PScriptHash
type PVariant' PScriptHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PVariant' PScriptHash = All2 PVariant'' (PCode PScriptHash)
type PTryFromExcess PData PScriptHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PTryFromExcess PData PScriptHash = Mret PScriptHash
type PTryFromExcess PData (PAsData PScriptHash) Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type PTryFromExcess PData (PAsData PScriptHash) = Mret PScriptHash
type Rep (PScriptHash s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Scripts

type Rep (PScriptHash s) = D1 ('MetaData "PScriptHash" "Plutarch.LedgerApi.V1.Scripts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString)))))

Functions

scriptHash :: Script -> ScriptHash Source #

Hash a script, appending the Plutus V2 prefix.

Since: 2.0.0

datumHash :: Datum -> DatumHash Source #

Since: 2.0.0

redeemerHash :: Redeemer -> RedeemerHash Source #

Since: 2.0.0

dataHash :: forall (a :: Type). ToData a => a -> BuiltinByteString Source #

Since: 2.0.0

pparseDatum :: forall (a :: S -> Type) (s :: S). PTryFrom PData (PAsData a) => Term s (PDatumHash :--> (PMap 'Unsorted PDatumHash PDatum :--> PMaybe (PAsData a))) Source #

Lookup up the datum given the datum hash.

Takes as argument the datum assoc list from a PTxInfo. Validates the datum using PTryFrom.

Example:

 pparseDatum MyType # datumHash #$ pfield "datums" # txinfo
 

Since: 2.1.2

Value

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

Since: 2.0.0

Constructors

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

Instances

Instances details
PTryFrom PData (PAsData (PValue 'Sorted 'NoGuarantees)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PTryFromExcess PData (PAsData (PValue 'Sorted 'NoGuarantees)) :: PType

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PTryFromExcess PData (PAsData (PValue 'Sorted 'NonZero)) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PValue 'Sorted 'NonZero)), Reduce (PTryFromExcess PData (PAsData (PValue 'Sorted 'NonZero)) s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData (PValue 'Sorted 'Positive)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PTryFromExcess PData (PAsData (PValue 'Sorted 'Positive)) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PValue 'Sorted 'Positive)), Reduce (PTryFromExcess PData (PAsData (PValue 'Sorted 'Positive)) s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData (PValue 'Unsorted 'NoGuarantees)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NoGuarantees)) :: PType

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NonZero)) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PValue 'Unsorted 'NonZero)), Reduce (PTryFromExcess PData (PAsData (PValue 'Unsorted 'NonZero)) s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData (PValue 'Unsorted 'Positive)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PTryFromExcess PData (PAsData (PValue 'Unsorted 'Positive)) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PValue 'Unsorted 'Positive)), Reduce (PTryFromExcess PData (PAsData (PValue 'Unsorted 'Positive)) s)) -> Term s r) -> Term s r

Semigroup (Term s (PValue 'Sorted normalization)) => Monoid (Term s (PValue 'Sorted normalization)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

mempty :: Term s (PValue 'Sorted normalization) Source #

mappend :: Term s (PValue 'Sorted normalization) -> Term s (PValue 'Sorted normalization) -> Term s (PValue 'Sorted normalization) Source #

mconcat :: [Term s (PValue 'Sorted normalization)] -> Term s (PValue 'Sorted normalization) Source #

Semigroup (Term s (PValue 'Sorted 'NoGuarantees)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Semigroup (Term s (PValue 'Sorted 'NonZero)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

(<>) :: Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) Source #

sconcat :: NonEmpty (Term s (PValue 'Sorted 'NonZero)) -> Term s (PValue 'Sorted 'NonZero) Source #

stimes :: Integral b => b -> Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) Source #

Semigroup (Term s (PValue 'Sorted 'Positive)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

(<>) :: Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) Source #

sconcat :: NonEmpty (Term s (PValue 'Sorted 'Positive)) -> Term s (PValue 'Sorted 'Positive) Source #

stimes :: Integral b => b -> Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) Source #

PEq (PValue 'Sorted 'NoGuarantees) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

(#==) :: forall (s :: S). Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s PBool

PEq (PValue 'Sorted 'NonZero) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

(#==) :: forall (s :: S). Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s PBool

PEq (PValue 'Sorted 'Positive) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

(#==) :: forall (s :: S). Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s PBool

PIsData (PValue keys amounts) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData (PValue keys amounts)) -> Term s (PValue keys amounts)

pdataImpl :: forall (s :: S). Term s (PValue keys amounts) -> Term s PData

PLiftable (PValue 'Unsorted 'NoGuarantees) Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type AsHaskell (PValue 'Unsorted 'NoGuarantees)

type PlutusRepr (PValue 'Unsorted 'NoGuarantees)

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type DPTStrat (PValue keys amounts)

PlutusType (PValue keys amounts) Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PInner (PValue keys amounts) :: PType

type PCovariant' (PValue keys amounts)

type PContravariant' (PValue keys amounts)

type PVariant' (PValue keys amounts)

Methods

pcon' :: forall (s :: S). PValue keys amounts s -> Term s (PInner (PValue keys amounts))

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PValue keys amounts)) -> (PValue keys amounts s -> Term s b) -> Term s b

PShow (PValue keys amounts) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

pshow' :: forall (s :: S). Bool -> Term s (PValue keys amounts) -> Term s PString

Semigroup (Term s (PValue 'Sorted 'NoGuarantees)) => Group (Term s (PValue 'Sorted 'NoGuarantees)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

inv :: Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees)

Semigroup (Term s (PValue 'Sorted 'NonZero)) => Group (Term s (PValue 'Sorted 'NonZero)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

inv :: Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero)

Semigroup (Term s (PValue 'Sorted normalization)) => Monoid (Term s (PValue 'Sorted normalization)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

mempty :: Term s (PValue 'Sorted normalization)

Semigroup (Term s (PValue 'Sorted 'NoGuarantees)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

(<>) :: Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees) -> Term s (PValue 'Sorted 'NoGuarantees)

Semigroup (Term s (PValue 'Sorted 'NonZero)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

(<>) :: Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero) -> Term s (PValue 'Sorted 'NonZero)

Semigroup (Term s (PValue 'Sorted 'Positive)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

(<>) :: Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive) -> Term s (PValue 'Sorted 'Positive)

Generic (PValue keys amounts s) Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type Rep (PValue keys amounts s) :: Type -> Type Source #

Methods

from :: PValue keys amounts s -> Rep (PValue keys amounts s) x Source #

to :: Rep (PValue keys amounts s) x -> PValue keys amounts s Source #

type PTryFromExcess PData (PAsData (PValue 'Sorted 'NoGuarantees)) Source # 
Instance details

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 # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PTryFromExcess PData (PAsData (PValue 'Sorted 'NonZero)) = Mret (PValue 'Sorted 'NonZero)
type PTryFromExcess PData (PAsData (PValue 'Sorted 'Positive)) Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PTryFromExcess PData (PAsData (PValue 'Sorted 'Positive)) = Mret (PValue 'Sorted 'Positive)
type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NoGuarantees)) Source # 
Instance details

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 # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PTryFromExcess PData (PAsData (PValue 'Unsorted 'NonZero)) = Mret (PValue 'Unsorted 'NonZero)
type PTryFromExcess PData (PAsData (PValue 'Unsorted 'Positive)) Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PTryFromExcess PData (PAsData (PValue 'Unsorted 'Positive)) = Mret (PValue 'Unsorted 'Positive)
type AsHaskell (PValue 'Unsorted 'NoGuarantees) Source #

@since WIP

Instance details

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 # 
Instance details

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 # 
Instance details

Defined in Plutarch.LedgerApi.Value

type DPTStrat (PValue keys amounts) = PlutusTypeNewtype
type PContravariant' (PValue keys amounts) Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PContravariant' (PValue keys amounts) = All2 PContravariant'' (PCode (PValue keys amounts))
type PCovariant' (PValue keys amounts) Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PCovariant' (PValue keys amounts) = All2 PCovariant'' (PCode (PValue keys amounts))
type PInner (PValue keys amounts) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

type PInner (PValue keys amounts) = DerivedPInner (DPTStrat (PValue keys amounts)) (PValue keys amounts)
type PVariant' (PValue keys amounts) Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PVariant' (PValue keys amounts) = All2 PVariant'' (PCode (PValue keys amounts))
type Rep (PValue keys amounts s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

type Rep (PValue keys amounts s) = D1 ('MetaData "PValue" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.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))))))

data AmountGuarantees Source #

Since: 2.0.0

Constructors

NoGuarantees 
NonZero 
Positive 

newtype PCurrencySymbol (s :: S) Source #

Since: 2.0.0

Constructors

PCurrencySymbol (Term s (PDataNewtype PByteString)) 

Instances

Instances details
PEq PCurrencySymbol Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

(#==) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool

PIsData PCurrencySymbol Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PCurrencySymbol) -> Term s PCurrencySymbol

pdataImpl :: forall (s :: S). Term s PCurrencySymbol -> Term s PData

PLiftable PCurrencySymbol Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type AsHaskell PCurrencySymbol

type PlutusRepr PCurrencySymbol

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

(#<=) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool

(#<) :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PBool

pmax :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PCurrencySymbol

pmin :: forall (s :: S). Term s PCurrencySymbol -> Term s PCurrencySymbol -> Term s PCurrencySymbol

DerivePlutusType PCurrencySymbol Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type DPTStrat PCurrencySymbol

PlutusType PCurrencySymbol Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PInner PCurrencySymbol :: PType

type PCovariant' PCurrencySymbol

type PContravariant' PCurrencySymbol

type PVariant' PCurrencySymbol

Methods

pcon' :: forall (s :: S). PCurrencySymbol s -> Term s (PInner PCurrencySymbol)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PCurrencySymbol) -> (PCurrencySymbol s -> Term s b) -> Term s b

PShow PCurrencySymbol Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

pshow' :: forall (s :: S). Bool -> Term s PCurrencySymbol -> Term s PString

PTryFrom PData PCurrencySymbol Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PTryFromExcess PData PCurrencySymbol :: PType

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PTryFromExcess PData (PAsData PCurrencySymbol) :: PType

Methods

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 # 
Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type Rep (PCurrencySymbol s) :: Type -> Type Source #

type AsHaskell PCurrencySymbol Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.Value

type AsHaskell PCurrencySymbol = AsHaskell (DeriveDataPLiftable PCurrencySymbol CurrencySymbol)
type PlutusRepr PCurrencySymbol Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PlutusRepr PCurrencySymbol = PlutusRepr (DeriveDataPLiftable PCurrencySymbol CurrencySymbol)
type DPTStrat PCurrencySymbol Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type DPTStrat PCurrencySymbol = PlutusTypeNewtype
type PContravariant' PCurrencySymbol Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PContravariant' PCurrencySymbol = All2 PContravariant'' (PCode PCurrencySymbol)
type PCovariant' PCurrencySymbol Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PCovariant' PCurrencySymbol = All2 PCovariant'' (PCode PCurrencySymbol)
type PInner PCurrencySymbol Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

type PInner PCurrencySymbol = DerivedPInner (DPTStrat PCurrencySymbol) PCurrencySymbol
type PVariant' PCurrencySymbol Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PVariant' PCurrencySymbol = All2 PVariant'' (PCode PCurrencySymbol)
type PTryFromExcess PData PCurrencySymbol Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PTryFromExcess PData PCurrencySymbol = Mret PCurrencySymbol
type PTryFromExcess PData (PAsData PCurrencySymbol) Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PTryFromExcess PData (PAsData PCurrencySymbol) = Mret PCurrencySymbol
type Rep (PCurrencySymbol s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

type Rep (PCurrencySymbol s) = D1 ('MetaData "PCurrencySymbol" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PCurrencySymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString)))))

newtype PTokenName (s :: S) Source #

Since: 2.0.0

Constructors

PTokenName (Term s (PDataNewtype PByteString)) 

Instances

Instances details
PEq PTokenName Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

(#==) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool

PIsData PTokenName Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PTokenName) -> Term s PTokenName

pdataImpl :: forall (s :: S). Term s PTokenName -> Term s PData

PLiftable PTokenName Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type AsHaskell PTokenName

type PlutusRepr PTokenName

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

(#<=) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool

(#<) :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PBool

pmax :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PTokenName

pmin :: forall (s :: S). Term s PTokenName -> Term s PTokenName -> Term s PTokenName

DerivePlutusType PTokenName Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type DPTStrat PTokenName

PlutusType PTokenName Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PInner PTokenName :: PType

type PCovariant' PTokenName

type PContravariant' PTokenName

type PVariant' PTokenName

Methods

pcon' :: forall (s :: S). PTokenName s -> Term s (PInner PTokenName)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTokenName) -> (PTokenName s -> Term s b) -> Term s b

PShow PTokenName Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

pshow' :: forall (s :: S). Bool -> Term s PTokenName -> Term s PString

PTryFrom PData PTokenName Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PTryFromExcess PData PTokenName :: PType

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PTryFromExcess PData (PAsData PTokenName) :: PType

Methods

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 # 
Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type Rep (PTokenName s) :: Type -> Type Source #

Methods

from :: PTokenName s -> Rep (PTokenName s) x Source #

to :: Rep (PTokenName s) x -> PTokenName s Source #

type AsHaskell PTokenName Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.Value

type AsHaskell PTokenName = AsHaskell (DeriveDataPLiftable PTokenName TokenName)
type PlutusRepr PTokenName Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PlutusRepr PTokenName = PlutusRepr (DeriveDataPLiftable PTokenName TokenName)
type DPTStrat PTokenName Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type DPTStrat PTokenName = PlutusTypeNewtype
type PContravariant' PTokenName Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PContravariant' PTokenName = All2 PContravariant'' (PCode PTokenName)
type PCovariant' PTokenName Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PCovariant' PTokenName = All2 PCovariant'' (PCode PTokenName)
type PInner PTokenName Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

type PInner PTokenName = DerivedPInner (DPTStrat PTokenName) PTokenName
type PVariant' PTokenName Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PVariant' PTokenName = All2 PVariant'' (PCode PTokenName)
type PTryFromExcess PData PTokenName Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PTryFromExcess PData PTokenName = Mret PTokenName
type PTryFromExcess PData (PAsData PTokenName) Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PTryFromExcess PData (PAsData PTokenName) = Mret PTokenName
type Rep (PTokenName s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Value

type Rep (PTokenName s) = D1 ('MetaData "PTokenName" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PTokenName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString)))))

newtype PLovelace (s :: S) Source #

Since: 2.2.0

Constructors

PLovelace (Term s (PDataNewtype PInteger)) 

Instances

Instances details
PEq PLovelace Source #

Since: 2.2.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

(#==) :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PBool

PIsData PLovelace Source #

Since: 2.2.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PLovelace) -> Term s PLovelace

pdataImpl :: forall (s :: S). Term s PLovelace -> Term s PData

PLiftable PLovelace Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type AsHaskell PLovelace

type PlutusRepr PLovelace

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

(#<=) :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PBool

(#<) :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PBool

pmax :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PLovelace

pmin :: forall (s :: S). Term s PLovelace -> Term s PLovelace -> Term s PLovelace

DerivePlutusType PLovelace Source #

Since: 2.2.0

Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type DPTStrat PLovelace

PlutusType PLovelace Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PInner PLovelace :: PType

type PCovariant' PLovelace

type PContravariant' PLovelace

type PVariant' PLovelace

Methods

pcon' :: forall (s :: S). PLovelace s -> Term s (PInner PLovelace)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PLovelace) -> (PLovelace s -> Term s b) -> Term s b

PShow PLovelace Source #

Since: 2.2.0

Instance details

Defined in Plutarch.LedgerApi.Value

Methods

pshow' :: forall (s :: S). Bool -> Term s PLovelace -> Term s PString

PTryFrom PData PLovelace Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PTryFromExcess PData PLovelace :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PLovelace, Reduce (PTryFromExcess PData PLovelace s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PLovelace) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type PTryFromExcess PData (PAsData PLovelace) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PLovelace), Reduce (PTryFromExcess PData (PAsData PLovelace) s)) -> Term s r) -> Term s r

Generic (PLovelace s) Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

Associated Types

type Rep (PLovelace s) :: Type -> Type Source #

Methods

from :: PLovelace s -> Rep (PLovelace s) x Source #

to :: Rep (PLovelace s) x -> PLovelace s Source #

type AsHaskell PLovelace Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.Value

type AsHaskell PLovelace = AsHaskell (DeriveDataPLiftable PLovelace Lovelace)
type PlutusRepr PLovelace Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PlutusRepr PLovelace = PlutusRepr (DeriveDataPLiftable PLovelace Lovelace)
type DPTStrat PLovelace Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type DPTStrat PLovelace = PlutusTypeNewtype
type PContravariant' PLovelace Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PContravariant' PLovelace = All2 PContravariant'' (PCode PLovelace)
type PCovariant' PLovelace Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PCovariant' PLovelace = All2 PCovariant'' (PCode PLovelace)
type PInner PLovelace Source #

Since: 2.2.0

Instance details

Defined in Plutarch.LedgerApi.Value

type PInner PLovelace = DerivedPInner (DPTStrat PLovelace) PLovelace
type PVariant' PLovelace Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PVariant' PLovelace = All2 PVariant'' (PCode PLovelace)
type PTryFromExcess PData PLovelace Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Value

type PTryFromExcess PData PLovelace = PTryFromExcess PData (PInner PLovelace)
type PTryFromExcess PData (PAsData PLovelace) Source # 
Instance details

Defined in Plutarch.LedgerApi.Value

type PTryFromExcess PData (PAsData PLovelace) = PTryFromExcess PData (PInner (PAsData PLovelace))
type Rep (PLovelace s) Source #

Since: 2.2.0

Instance details

Defined in Plutarch.LedgerApi.Value

type Rep (PLovelace s) = D1 ('MetaData "PLovelace" "Plutarch.LedgerApi.Value" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PLovelace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PInteger)))))

Assoc map

Types

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

Since: 2.0.0

Constructors

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

Instances

Instances details
(POrd k, PIsData k, PTryFrom PData (PAsData k), PTryFrom PData (PAsData v)) => PTryFrom PData (PAsData (PMap 'Sorted k v)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.AssocMap

Associated Types

type PTryFromExcess PData (PAsData (PMap 'Sorted k v)) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PMap 'Sorted k v)), Reduce (PTryFromExcess PData (PAsData (PMap 'Sorted k v)) s)) -> Term s r) -> Term s r

(PTryFrom PData (PAsData k), PTryFrom PData (PAsData v)) => PTryFrom PData (PAsData (PMap 'Unsorted k v)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.AssocMap

Associated Types

type PTryFromExcess PData (PAsData (PMap 'Unsorted k v)) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PMap 'Unsorted k v)), Reduce (PTryFromExcess PData (PAsData (PMap 'Unsorted k v)) s)) -> Term s r) -> Term s r

PEq (PMap 'Sorted k v) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.AssocMap

Methods

(#==) :: forall (s :: S). Term s (PMap 'Sorted k v) -> Term s (PMap 'Sorted k v) -> Term s PBool

PIsData (PMap keysort k v) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.AssocMap

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData (PMap keysort k v)) -> Term s (PMap keysort k v)

pdataImpl :: forall (s :: S). Term s (PMap keysort k v) -> Term s PData

(ToData (AsHaskell k), ToData (AsHaskell v), FromData (AsHaskell k), FromData (AsHaskell v)) => PLiftable (PMap 'Unsorted k v) Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.AssocMap

Associated Types

type AsHaskell (PMap 'Unsorted k v)

type PlutusRepr (PMap 'Unsorted k v)

Methods

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

Instance details

Defined in Plutarch.LedgerApi.AssocMap

Associated Types

type DPTStrat (PMap keysort k v)

PlutusType (PMap keysort k v) Source # 
Instance details

Defined in Plutarch.LedgerApi.AssocMap

Associated Types

type PInner (PMap keysort k v) :: PType

type PCovariant' (PMap keysort k v)

type PContravariant' (PMap keysort k v)

type PVariant' (PMap keysort k v)

Methods

pcon' :: forall (s :: S). PMap keysort k v s -> Term s (PInner (PMap keysort k v))

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PMap keysort k v)) -> (PMap keysort k v s -> Term s b) -> Term s b

(PIsData k, PIsData v, PShow k, PShow v) => PShow (PMap keysort k v) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.AssocMap

Methods

pshow' :: forall (s :: S). Bool -> Term s (PMap keysort k v) -> Term s PString

Generic (PMap keysort k v s) Source # 
Instance details

Defined in Plutarch.LedgerApi.AssocMap

Associated Types

type Rep (PMap keysort k v s) :: Type -> Type Source #

Methods

from :: PMap keysort k v s -> Rep (PMap keysort k v s) x Source #

to :: Rep (PMap keysort k v s) x -> PMap keysort k v s Source #

type PTryFromExcess PData (PAsData (PMap 'Sorted k v)) Source # 
Instance details

Defined in Plutarch.LedgerApi.AssocMap

type PTryFromExcess PData (PAsData (PMap 'Sorted k v)) = Mret (PMap 'Sorted k v)
type PTryFromExcess PData (PAsData (PMap 'Unsorted k v)) Source # 
Instance details

Defined in Plutarch.LedgerApi.AssocMap

type PTryFromExcess PData (PAsData (PMap 'Unsorted k v)) = Mret (PMap 'Unsorted k v)
type AsHaskell (PMap 'Unsorted k v) Source # 
Instance details

Defined in Plutarch.LedgerApi.AssocMap

type AsHaskell (PMap 'Unsorted k v) = Map (AsHaskell k) (AsHaskell v)
type PlutusRepr (PMap 'Unsorted k v) Source # 
Instance details

Defined in Plutarch.LedgerApi.AssocMap

type PlutusRepr (PMap 'Unsorted k v) = [(Data, Data)]
type DPTStrat (PMap keysort k v) Source # 
Instance details

Defined in Plutarch.LedgerApi.AssocMap

type DPTStrat (PMap keysort k v) = PlutusTypeNewtype
type PContravariant' (PMap keysort k v) Source # 
Instance details

Defined in Plutarch.LedgerApi.AssocMap

type PContravariant' (PMap keysort k v) = All2 PContravariant'' (PCode (PMap keysort k v))
type PCovariant' (PMap keysort k v) Source # 
Instance details

Defined in Plutarch.LedgerApi.AssocMap

type PCovariant' (PMap keysort k v) = All2 PCovariant'' (PCode (PMap keysort k v))
type PInner (PMap keysort k v) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.AssocMap

type PInner (PMap keysort k v) = DerivedPInner (DPTStrat (PMap keysort k v)) (PMap keysort k v)
type PVariant' (PMap keysort k v) Source # 
Instance details

Defined in Plutarch.LedgerApi.AssocMap

type PVariant' (PMap keysort k v) = All2 PVariant'' (PCode (PMap keysort k v))
type Rep (PMap keysort k v s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.AssocMap

type Rep (PMap keysort k v s) = D1 ('MetaData "PMap" "Plutarch.LedgerApi.AssocMap" "plutarch-ledger-api-3.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 KeyGuarantees Source #

Since: 2.0.0

Constructors

Sorted 
Unsorted 

Address

data PCredential (s :: S) Source #

Since: 2.0.0

Constructors

PPubKeyCredential (Term s (PDataRecord '["_0" ':= PPubKeyHash])) 
PScriptCredential (Term s (PDataRecord '["_0" ':= PScriptHash])) 

Instances

Instances details
PEq PCredential Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Methods

(#==) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool

PIsData PCredential Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PCredential) -> Term s PCredential

pdataImpl :: forall (s :: S). Term s PCredential -> Term s PData

PLiftable PCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Associated Types

type AsHaskell PCredential

type PlutusRepr PCredential

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Methods

(#<=) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool

(#<) :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PBool

pmax :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PCredential

pmin :: forall (s :: S). Term s PCredential -> Term s PCredential -> Term s PCredential

DerivePlutusType PCredential Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Associated Types

type DPTStrat PCredential

PlutusType PCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Associated Types

type PInner PCredential :: PType

type PCovariant' PCredential

type PContravariant' PCredential

type PVariant' PCredential

Methods

pcon' :: forall (s :: S). PCredential s -> Term s (PInner PCredential)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PCredential) -> (PCredential s -> Term s b) -> Term s b

PShow PCredential Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Methods

pshow' :: forall (s :: S). Bool -> Term s PCredential -> Term s PString

PTryFrom PData PCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Associated Types

type PTryFromExcess PData PCredential :: PType

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Associated Types

type PTryFromExcess PData (PAsData PCredential) :: PType

Methods

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 # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Associated Types

type Rep (PCredential s) :: Type -> Type Source #

type AsHaskell PCredential Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type AsHaskell PCredential = AsHaskell (DeriveDataPLiftable PCredential Credential)
type PlutusRepr PCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type PlutusRepr PCredential = PlutusRepr (DeriveDataPLiftable PCredential Credential)
type DPTStrat PCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type DPTStrat PCredential = PlutusTypeData
type PContravariant' PCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type PContravariant' PCredential = All2 PContravariant'' (PCode PCredential)
type PCovariant' PCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type PCovariant' PCredential = All2 PCovariant'' (PCode PCredential)
type PInner PCredential Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type PInner PCredential = DerivedPInner (DPTStrat PCredential) PCredential
type PVariant' PCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type PVariant' PCredential = All2 PVariant'' (PCode PCredential)
type PTryFromExcess PData PCredential Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type PTryFromExcess PData PCredential = PTryFromExcess PData (PInner PCredential)
type PTryFromExcess PData (PAsData PCredential) Source # 
Instance details

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

Instance details

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

Constructors

PStakingHash (Term s (PDataRecord '["_0" ':= PCredential])) 
PStakingPtr (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PInteger, "_2" ':= PInteger])) 

Instances

Instances details
PEq PStakingCredential Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Methods

(#==) :: forall (s :: S). Term s PStakingCredential -> Term s PStakingCredential -> Term s PBool

PIsData PStakingCredential Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PStakingCredential) -> Term s PStakingCredential

pdataImpl :: forall (s :: S). Term s PStakingCredential -> Term s PData

PLiftable PStakingCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Associated Types

type AsHaskell PStakingCredential

type PlutusRepr PStakingCredential

Methods

toPlutarchRepr :: AsHaskell PStakingCredential -> PlutusRepr PStakingCredential

toPlutarch :: forall (s :: S). AsHaskell PStakingCredential -> PLifted s PStakingCredential

fromPlutarchRepr :: PlutusRepr PStakingCredential -> Maybe (AsHaskell PStakingCredential)

fromPlutarch :: (forall (s :: S). PLifted s PStakingCredential) -> Either LiftError (AsHaskell PStakingCredential)

POrd PStakingCredential Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Methods

(#<=) :: forall (s :: S). Term s PStakingCredential -> Term s PStakingCredential -> Term s PBool

(#<) :: forall (s :: S). Term s PStakingCredential -> Term s PStakingCredential -> Term s PBool

pmax :: forall (s :: S). Term s PStakingCredential -> Term s PStakingCredential -> Term s PStakingCredential

pmin :: forall (s :: S). Term s PStakingCredential -> Term s PStakingCredential -> Term s PStakingCredential

DerivePlutusType PStakingCredential Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Associated Types

type DPTStrat PStakingCredential

PlutusType PStakingCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Associated Types

type PInner PStakingCredential :: PType

type PCovariant' PStakingCredential

type PContravariant' PStakingCredential

type PVariant' PStakingCredential

Methods

pcon' :: forall (s :: S). PStakingCredential s -> Term s (PInner PStakingCredential)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PStakingCredential) -> (PStakingCredential s -> Term s b) -> Term s b

PShow PStakingCredential Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Methods

pshow' :: forall (s :: S). Bool -> Term s PStakingCredential -> Term s PString

PTryFrom PData PStakingCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Associated Types

type PTryFromExcess PData PStakingCredential :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PStakingCredential, Reduce (PTryFromExcess PData PStakingCredential s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PStakingCredential) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Associated Types

type PTryFromExcess PData (PAsData PStakingCredential) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PStakingCredential), Reduce (PTryFromExcess PData (PAsData PStakingCredential) s)) -> Term s r) -> Term s r

Generic (PStakingCredential s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

Associated Types

type Rep (PStakingCredential s) :: Type -> Type Source #

type AsHaskell PStakingCredential Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type AsHaskell PStakingCredential = AsHaskell (DeriveDataPLiftable PStakingCredential StakingCredential)
type PlutusRepr PStakingCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type PlutusRepr PStakingCredential = PlutusRepr (DeriveDataPLiftable PStakingCredential StakingCredential)
type DPTStrat PStakingCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type DPTStrat PStakingCredential = PlutusTypeData
type PContravariant' PStakingCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type PContravariant' PStakingCredential = All2 PContravariant'' (PCode PStakingCredential)
type PCovariant' PStakingCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type PCovariant' PStakingCredential = All2 PCovariant'' (PCode PStakingCredential)
type PInner PStakingCredential Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type PInner PStakingCredential = DerivedPInner (DPTStrat PStakingCredential) PStakingCredential
type PVariant' PStakingCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type PVariant' PStakingCredential = All2 PVariant'' (PCode PStakingCredential)
type PTryFromExcess PData PStakingCredential Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type PTryFromExcess PData PStakingCredential = PTryFromExcess PData (PInner PStakingCredential)
type PTryFromExcess PData (PAsData PStakingCredential) Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type PTryFromExcess PData (PAsData PStakingCredential) = PTryFromExcess PData (PInner (PAsData PStakingCredential))
type Rep (PStakingCredential s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Credential

type Rep (PStakingCredential s) = D1 ('MetaData "PStakingCredential" "Plutarch.LedgerApi.V1.Credential" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'False) (C1 ('MetaCons "PStakingHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PCredential])))) :+: C1 ('MetaCons "PStakingPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PInteger, "_1" ':= PInteger, "_2" ':= PInteger])))))

newtype PAddress (s :: S) Source #

Since: 2.0.0

Constructors

PAddress (Term s (PDataRecord '["credential" ':= PCredential, "stakingCredential" ':= PMaybeData PStakingCredential])) 

Instances

Instances details
PDataFields PAddress Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Address

Associated Types

type PFields PAddress :: [PLabeledType]

Methods

ptoFields :: forall (s :: S). Term s PAddress -> Term s (PDataRecord (PFields PAddress))

PEq PAddress Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Address

Methods

(#==) :: forall (s :: S). Term s PAddress -> Term s PAddress -> Term s PBool

PIsData PAddress Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Address

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PAddress) -> Term s PAddress

pdataImpl :: forall (s :: S). Term s PAddress -> Term s PData

PLiftable PAddress Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Address

Associated Types

type AsHaskell PAddress

type PlutusRepr PAddress

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V1.Address

Methods

(#<=) :: 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

Instance details

Defined in Plutarch.LedgerApi.V1.Address

Associated Types

type DPTStrat PAddress

PlutusType PAddress Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Address

Associated Types

type PInner PAddress :: PType

type PCovariant' PAddress

type PContravariant' PAddress

type PVariant' PAddress

Methods

pcon' :: forall (s :: S). PAddress s -> Term s (PInner PAddress)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PAddress) -> (PAddress s -> Term s b) -> Term s b

PShow PAddress Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Address

Methods

pshow' :: forall (s :: S). Bool -> Term s PAddress -> Term s PString

PTryFrom PData PAddress Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Address

Associated Types

type PTryFromExcess PData PAddress :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PAddress, Reduce (PTryFromExcess PData PAddress s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PAddress) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Address

Associated Types

type PTryFromExcess PData (PAsData PAddress) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PAddress), Reduce (PTryFromExcess PData (PAsData PAddress) s)) -> Term s r) -> Term s r

Generic (PAddress s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Address

Associated Types

type Rep (PAddress s) :: Type -> Type Source #

Methods

from :: PAddress s -> Rep (PAddress s) x Source #

to :: Rep (PAddress s) x -> PAddress s Source #

type PFields PAddress Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Address

type PFields PAddress = Helper (PInner PAddress)
type AsHaskell PAddress Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V1.Address

type AsHaskell PAddress = AsHaskell (DeriveDataPLiftable PAddress Address)
type PlutusRepr PAddress Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Address

type PlutusRepr PAddress = PlutusRepr (DeriveDataPLiftable PAddress Address)
type DPTStrat PAddress Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Address

type DPTStrat PAddress = PlutusTypeData
type PContravariant' PAddress Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Address

type PContravariant' PAddress = All2 PContravariant'' (PCode PAddress)
type PCovariant' PAddress Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Address

type PCovariant' PAddress = All2 PCovariant'' (PCode PAddress)
type PInner PAddress Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Address

type PInner PAddress = DerivedPInner (DPTStrat PAddress) PAddress
type PVariant' PAddress Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Address

type PVariant' PAddress = All2 PVariant'' (PCode PAddress)
type PTryFromExcess PData PAddress Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Address

type PTryFromExcess PData PAddress = PTryFromExcess PData (PInner PAddress)
type PTryFromExcess PData (PAsData PAddress) Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Address

type PTryFromExcess PData (PAsData PAddress) = PTryFromExcess PData (PInner (PAsData PAddress))
type Rep (PAddress s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Address

type Rep (PAddress s) = D1 ('MetaData "PAddress" "Plutarch.LedgerApi.V1.Address" "plutarch-ledger-api-3.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])))))

Time

newtype PPosixTime (s :: S) Source #

Since: 2.0.0

Constructors

PPosixTime (Term s (PDataNewtype PInteger)) 

Instances

Instances details
PCountable PPosixTime Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V1.Time

Methods

psuccessor :: forall (s :: S). Term s (PPosixTime :--> PPosixTime)

psuccessorN :: forall (s :: S). Term s (PPositive :--> (PPosixTime :--> PPosixTime))

PEnumerable PPosixTime Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V1.Time

Methods

ppredecessor :: forall (s :: S). Term s (PPosixTime :--> PPosixTime)

ppredecessorN :: forall (s :: S). Term s (PPositive :--> (PPosixTime :--> PPosixTime))

PEq PPosixTime Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Time

Methods

(#==) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool

PIsData PPosixTime Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Time

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PPosixTime) -> Term s PPosixTime

pdataImpl :: forall (s :: S). Term s PPosixTime -> Term s PData

PLiftable PPosixTime Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Time

Associated Types

type AsHaskell PPosixTime

type PlutusRepr PPosixTime

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V1.Time

Methods

pnegate :: forall (s :: S). Term s (PPosixTime :--> PPosixTime)

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

pscaleInteger :: forall (s :: S). Term s (PPosixTime :--> (PInteger :--> PPosixTime))

PAdditiveMonoid PPosixTime Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V1.Time

Methods

pzero :: forall (s :: S). Term s PPosixTime

PAdditiveSemigroup PPosixTime Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V1.Time

Methods

(#+) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PPosixTime

pscalePositive :: forall (s :: S). Term s (PPosixTime :--> (PPositive :--> PPosixTime))

POrd PPosixTime Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Time

Methods

(#<=) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool

(#<) :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PBool

pmax :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PPosixTime

pmin :: forall (s :: S). Term s PPosixTime -> Term s PPosixTime -> Term s PPosixTime

DerivePlutusType PPosixTime Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Time

Associated Types

type DPTStrat PPosixTime

PlutusType PPosixTime Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Time

Associated Types

type PInner PPosixTime :: PType

type PCovariant' PPosixTime

type PContravariant' PPosixTime

type PVariant' PPosixTime

Methods

pcon' :: forall (s :: S). PPosixTime s -> Term s (PInner PPosixTime)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PPosixTime) -> (PPosixTime s -> Term s b) -> Term s b

PShow PPosixTime Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Time

Methods

pshow' :: forall (s :: S). Bool -> Term s PPosixTime -> Term s PString

PTryFrom PData PPosixTime Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V1.Time

Associated Types

type PTryFromExcess PData PPosixTime :: PType

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V1.Time

Associated Types

type PTryFromExcess PData (PAsData PPosixTime) :: PType

Methods

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 # 
Instance details

Defined in Plutarch.LedgerApi.V1.Time

Associated Types

type Rep (PPosixTime s) :: Type -> Type Source #

Methods

from :: PPosixTime s -> Rep (PPosixTime s) x Source #

to :: Rep (PPosixTime s) x -> PPosixTime s Source #

type AsHaskell PPosixTime Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V1.Time

type AsHaskell PPosixTime = AsHaskell (DeriveDataPLiftable PPosixTime POSIXTime)
type PlutusRepr PPosixTime Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Time

type PlutusRepr PPosixTime = PlutusRepr (DeriveDataPLiftable PPosixTime POSIXTime)
type DPTStrat PPosixTime Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Time

type DPTStrat PPosixTime = PlutusTypeNewtype
type PContravariant' PPosixTime Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Time

type PContravariant' PPosixTime = All2 PContravariant'' (PCode PPosixTime)
type PCovariant' PPosixTime Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Time

type PCovariant' PPosixTime = All2 PCovariant'' (PCode PPosixTime)
type PInner PPosixTime Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Time

type PInner PPosixTime = DerivedPInner (DPTStrat PPosixTime) PPosixTime
type PVariant' PPosixTime Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Time

type PVariant' PPosixTime = All2 PVariant'' (PCode PPosixTime)
type PTryFromExcess PData PPosixTime Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Time

type PTryFromExcess PData PPosixTime = Mret PPosixTime
type PTryFromExcess PData (PAsData PPosixTime) Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Time

type PTryFromExcess PData (PAsData PPosixTime) = Mret PPosixTime
type Rep (PPosixTime s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Time

type Rep (PPosixTime s) = D1 ('MetaData "PPosixTime" "Plutarch.LedgerApi.V1.Time" "plutarch-ledger-api-3.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

Interval

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

Since: 2.0.0

Constructors

PInterval (Term s (PDataRecord '["from" ':= PLowerBound a, "to" ':= PUpperBound a])) 

Instances

Instances details
PTryFrom PData a => PTryFrom PData (PAsData (PInterval a)) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PTryFromExcess PData (PAsData (PInterval a)) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PInterval a)), Reduce (PTryFromExcess PData (PAsData (PInterval a)) s)) -> Term s r) -> Term s r

PTryFrom PData a => PTryFrom PData (PInterval a) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PTryFromExcess PData (PInterval a) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PInterval a), Reduce (PTryFromExcess PData (PInterval a) s)) -> Term s r) -> Term s r

PDataFields (PInterval a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PFields (PInterval a) :: [PLabeledType]

Methods

ptoFields :: forall (s :: S). Term s (PInterval a) -> Term s (PDataRecord (PFields (PInterval a)))

PEq (PInterval a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

(#==) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool

PIsData (PInterval a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData (PInterval a)) -> Term s (PInterval a)

pdataImpl :: forall (s :: S). Term s (PInterval a) -> Term s PData

(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PInterval a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type AsHaskell (PInterval a)

type PlutusRepr (PInterval a)

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type DPTStrat (PInterval a)

PlutusType (PInterval a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PInner (PInterval a) :: PType

type PCovariant' (PInterval a)

type PContravariant' (PInterval a)

type PVariant' (PInterval a)

Methods

pcon' :: forall (s :: S). PInterval a s -> Term s (PInner (PInterval a))

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PInterval a)) -> (PInterval a s -> Term s b) -> Term s b

(PIsData a, PShow a) => PShow (PInterval a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

pshow' :: forall (s :: S). Bool -> Term s (PInterval a) -> Term s PString

Generic (PInterval a s) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type Rep (PInterval a s) :: Type -> Type Source #

Methods

from :: PInterval a s -> Rep (PInterval a s) x Source #

to :: Rep (PInterval a s) x -> PInterval a s Source #

type PTryFromExcess PData (PAsData (PInterval a)) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PTryFromExcess PData (PAsData (PInterval a)) = PTryFromExcess PData (PInner (PAsData (PInterval a)))
type PTryFromExcess PData (PInterval a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PTryFromExcess PData (PInterval a) = PTryFromExcess PData (PInner (PInterval a))
type PFields (PInterval a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

type PFields (PInterval a) = Helper (PInner (PInterval a))
type AsHaskell (PInterval a) Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.Interval

type AsHaskell (PInterval a) = AsHaskell (DeriveDataPLiftable (PInterval a) (Interval (AsHaskell a)))
type PlutusRepr (PInterval a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PlutusRepr (PInterval a) = PlutusRepr (DeriveDataPLiftable (PInterval a) (Interval (AsHaskell a)))
type DPTStrat (PInterval a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type DPTStrat (PInterval a) = PlutusTypeData
type PContravariant' (PInterval a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PContravariant' (PInterval a) = All2 PContravariant'' (PCode (PInterval a))
type PCovariant' (PInterval a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PCovariant' (PInterval a) = All2 PCovariant'' (PCode (PInterval a))
type PInner (PInterval a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

type PInner (PInterval a) = DerivedPInner (DPTStrat (PInterval a)) (PInterval a)
type PVariant' (PInterval a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PVariant' (PInterval a) = All2 PVariant'' (PCode (PInterval a))
type Rep (PInterval a s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

type Rep (PInterval a s) = D1 ('MetaData "PInterval" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.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])))))

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

Since: 2.0.0

Constructors

PLowerBound (Term s (PDataRecord '["_0" ':= PExtended a, "_1" ':= PBool])) 

Instances

Instances details
PTryFrom PData a => PTryFrom PData (PAsData (PLowerBound a)) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PTryFromExcess PData (PAsData (PLowerBound a)) :: PType

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PTryFromExcess PData (PLowerBound a) :: PType

Methods

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 # 
Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PFields (PLowerBound a) :: [PLabeledType]

Methods

ptoFields :: forall (s :: S). Term s (PLowerBound a) -> Term s (PDataRecord (PFields (PLowerBound a)))

(PIsData a, PCountable a) => PEq (PLowerBound a) Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

(#==) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool

PIsData (PLowerBound a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData (PLowerBound a)) -> Term s (PLowerBound a)

pdataImpl :: forall (s :: S). Term s (PLowerBound a) -> Term s PData

(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PLowerBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type AsHaskell (PLowerBound a)

type PlutusRepr (PLowerBound a)

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

(#<=) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool

(#<) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool

pmax :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s (PLowerBound a)

pmin :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s (PLowerBound a)

DerivePlutusType (PLowerBound a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type DPTStrat (PLowerBound a)

PlutusType (PLowerBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PInner (PLowerBound a) :: PType

type PCovariant' (PLowerBound a)

type PContravariant' (PLowerBound a)

type PVariant' (PLowerBound a)

Methods

pcon' :: forall (s :: S). PLowerBound a s -> Term s (PInner (PLowerBound a))

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PLowerBound a)) -> (PLowerBound a s -> Term s b) -> Term s b

(PIsData a, PShow a) => PShow (PLowerBound a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

pshow' :: forall (s :: S). Bool -> Term s (PLowerBound a) -> Term s PString

Generic (PLowerBound a s) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type Rep (PLowerBound a s) :: Type -> Type Source #

Methods

from :: PLowerBound a s -> Rep (PLowerBound a s) x Source #

to :: Rep (PLowerBound a s) x -> PLowerBound a s Source #

type PTryFromExcess PData (PAsData (PLowerBound a)) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PTryFromExcess PData (PAsData (PLowerBound a)) = PTryFromExcess PData (PInner (PAsData (PLowerBound a)))
type PTryFromExcess PData (PLowerBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PTryFromExcess PData (PLowerBound a) = PTryFromExcess PData (PInner (PLowerBound a))
type PFields (PLowerBound a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

type PFields (PLowerBound a) = Helper (PInner (PLowerBound a))
type AsHaskell (PLowerBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type AsHaskell (PLowerBound a) = AsHaskell (DeriveDataPLiftable (PLowerBound a) (LowerBound (AsHaskell a)))
type PlutusRepr (PLowerBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PlutusRepr (PLowerBound a) = PlutusRepr (DeriveDataPLiftable (PLowerBound a) (LowerBound (AsHaskell a)))
type DPTStrat (PLowerBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type DPTStrat (PLowerBound a) = PlutusTypeData
type PContravariant' (PLowerBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PContravariant' (PLowerBound a) = All2 PContravariant'' (PCode (PLowerBound a))
type PCovariant' (PLowerBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PCovariant' (PLowerBound a) = All2 PCovariant'' (PCode (PLowerBound a))
type PInner (PLowerBound a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

type PInner (PLowerBound a) = DerivedPInner (DPTStrat (PLowerBound a)) (PLowerBound a)
type PVariant' (PLowerBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PVariant' (PLowerBound a) = All2 PVariant'' (PCode (PLowerBound a))
type Rep (PLowerBound a s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

type Rep (PLowerBound a s) = D1 ('MetaData "PLowerBound" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.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

Constructors

PUpperBound (Term s (PDataRecord '["_0" ':= PExtended a, "_1" ':= PBool])) 

Instances

Instances details
PTryFrom PData a => PTryFrom PData (PAsData (PUpperBound a)) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PTryFromExcess PData (PAsData (PUpperBound a)) :: PType

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PTryFromExcess PData (PUpperBound a) :: PType

Methods

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 # 
Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PFields (PUpperBound a) :: [PLabeledType]

Methods

ptoFields :: forall (s :: S). Term s (PUpperBound a) -> Term s (PDataRecord (PFields (PUpperBound a)))

(PIsData a, PEnumerable a) => PEq (PUpperBound a) Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

(#==) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool

PIsData (PUpperBound a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData (PUpperBound a)) -> Term s (PUpperBound a)

pdataImpl :: forall (s :: S). Term s (PUpperBound a) -> Term s PData

(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PUpperBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type AsHaskell (PUpperBound a)

type PlutusRepr (PUpperBound a)

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

(#<=) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool

(#<) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool

pmax :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s (PUpperBound a)

pmin :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s (PUpperBound a)

DerivePlutusType (PUpperBound a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type DPTStrat (PUpperBound a)

PlutusType (PUpperBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PInner (PUpperBound a) :: PType

type PCovariant' (PUpperBound a)

type PContravariant' (PUpperBound a)

type PVariant' (PUpperBound a)

Methods

pcon' :: forall (s :: S). PUpperBound a s -> Term s (PInner (PUpperBound a))

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PUpperBound a)) -> (PUpperBound a s -> Term s b) -> Term s b

(PIsData a, PShow a) => PShow (PUpperBound a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

pshow' :: forall (s :: S). Bool -> Term s (PUpperBound a) -> Term s PString

Generic (PUpperBound a s) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type Rep (PUpperBound a s) :: Type -> Type Source #

Methods

from :: PUpperBound a s -> Rep (PUpperBound a s) x Source #

to :: Rep (PUpperBound a s) x -> PUpperBound a s Source #

type PTryFromExcess PData (PAsData (PUpperBound a)) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PTryFromExcess PData (PAsData (PUpperBound a)) = PTryFromExcess PData (PInner (PAsData (PUpperBound a)))
type PTryFromExcess PData (PUpperBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PTryFromExcess PData (PUpperBound a) = PTryFromExcess PData (PInner (PUpperBound a))
type PFields (PUpperBound a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

type PFields (PUpperBound a) = Helper (PInner (PUpperBound a))
type AsHaskell (PUpperBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type AsHaskell (PUpperBound a) = AsHaskell (DeriveDataPLiftable (PUpperBound a) (UpperBound (AsHaskell a)))
type PlutusRepr (PUpperBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PlutusRepr (PUpperBound a) = PlutusRepr (DeriveDataPLiftable (PUpperBound a) (UpperBound (AsHaskell a)))
type DPTStrat (PUpperBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type DPTStrat (PUpperBound a) = PlutusTypeData
type PContravariant' (PUpperBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PContravariant' (PUpperBound a) = All2 PContravariant'' (PCode (PUpperBound a))
type PCovariant' (PUpperBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PCovariant' (PUpperBound a) = All2 PCovariant'' (PCode (PUpperBound a))
type PInner (PUpperBound a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

type PInner (PUpperBound a) = DerivedPInner (DPTStrat (PUpperBound a)) (PUpperBound a)
type PVariant' (PUpperBound a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PVariant' (PUpperBound a) = All2 PVariant'' (PCode (PUpperBound a))
type Rep (PUpperBound a s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

type Rep (PUpperBound a s) = D1 ('MetaData "PUpperBound" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.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])))))

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

Since: 2.0.0

Constructors

PNegInf (Term s (PDataRecord '[])) 
PFinite (Term s (PDataRecord '["_0" ':= a])) 
PPosInf (Term s (PDataRecord '[])) 

Instances

Instances details
PTryFrom PData a => PTryFrom PData (PAsData (PExtended a)) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PTryFromExcess PData (PAsData (PExtended a)) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData (PExtended a)), Reduce (PTryFromExcess PData (PAsData (PExtended a)) s)) -> Term s r) -> Term s r

PTryFrom PData a => PTryFrom PData (PExtended a) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PTryFromExcess PData (PExtended a) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PExtended a), Reduce (PTryFromExcess PData (PExtended a) s)) -> Term s r) -> Term s r

PEq (PExtended a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

(#==) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool

PIsData (PExtended a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData (PExtended a)) -> Term s (PExtended a)

pdataImpl :: forall (s :: S). Term s (PExtended a) -> Term s PData

(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PExtended a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type AsHaskell (PExtended a)

type PlutusRepr (PExtended a)

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

(#<=) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool

(#<) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool

pmax :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s (PExtended a)

pmin :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s (PExtended a)

DerivePlutusType (PExtended a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type DPTStrat (PExtended a)

PlutusType (PExtended a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PInner (PExtended a) :: PType

type PCovariant' (PExtended a)

type PContravariant' (PExtended a)

type PVariant' (PExtended a)

Methods

pcon' :: forall (s :: S). PExtended a s -> Term s (PInner (PExtended a))

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PExtended a)) -> (PExtended a s -> Term s b) -> Term s b

(PIsData a, PShow a) => PShow (PExtended a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

pshow' :: forall (s :: S). Bool -> Term s (PExtended a) -> Term s PString

Generic (PExtended a s) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type Rep (PExtended a s) :: Type -> Type Source #

Methods

from :: PExtended a s -> Rep (PExtended a s) x Source #

to :: Rep (PExtended a s) x -> PExtended a s Source #

type PTryFromExcess PData (PAsData (PExtended a)) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PTryFromExcess PData (PAsData (PExtended a)) = PTryFromExcess PData (PInner (PAsData (PExtended a)))
type PTryFromExcess PData (PExtended a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PTryFromExcess PData (PExtended a) = PTryFromExcess PData (PInner (PExtended a))
type AsHaskell (PExtended a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type AsHaskell (PExtended a) = AsHaskell (DeriveDataPLiftable (PExtended a) (Extended (AsHaskell a)))
type PlutusRepr (PExtended a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PlutusRepr (PExtended a) = PlutusRepr (DeriveDataPLiftable (PExtended a) (Extended (AsHaskell a)))
type DPTStrat (PExtended a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type DPTStrat (PExtended a) = PlutusTypeData
type PContravariant' (PExtended a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PContravariant' (PExtended a) = All2 PContravariant'' (PCode (PExtended a))
type PCovariant' (PExtended a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PCovariant' (PExtended a) = All2 PCovariant'' (PCode (PExtended a))
type PInner (PExtended a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

type PInner (PExtended a) = DerivedPInner (DPTStrat (PExtended a)) (PExtended a)
type PVariant' (PExtended a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Interval

type PVariant' (PExtended a) = All2 PVariant'' (PCode (PExtended a))
type Rep (PExtended a s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Interval

type Rep (PExtended a s) = D1 ('MetaData "PExtended" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.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])))))))

CIP-1694

data PTxCert (s :: S) Source #

Since: 3.1.0

Constructors

PTxCertRegStaking (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PMaybeData PLovelace])) 
PTxCertUnRegStaking (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PMaybeData PLovelace])) 
PTxCertDelegStaking (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PDelegatee])) 
PTxCertRegDeleg (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PDelegatee, "_2" ':= PLovelace])) 
PTxCertRegDRep (Term s (PDataRecord '["_0" ':= PDRepCredential, "_1" ':= PLovelace])) 
PTxCertUpdateDRep (Term s (PDataRecord '["_0" ':= PDRepCredential])) 
PTxCertUnRegDRep (Term s (PDataRecord '["_0" ':= PDRepCredential, "_1" ':= PLovelace])) 
PTxCertPoolRegister (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PPubKeyHash])) 
PTxCertPoolRetire (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PInteger])) 
PTxCertAuthHotCommittee (Term s (PDataRecord '["_0" ':= PColdCommitteeCredential, "_1" ':= PHotCommitteeCredential])) 
PTxCertResignColdCommittee (Term s (PDataRecord '["_0" ':= PColdCommitteeCredential])) 

Instances

Instances details
PEq PTxCert Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PTxCert -> Term s PTxCert -> Term s PBool

PIsData PTxCert Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PTxCert) -> Term s PTxCert

pdataImpl :: forall (s :: S). Term s PTxCert -> Term s PData

PLiftable PTxCert Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PTxCert

type PlutusRepr PTxCert

Methods

toPlutarchRepr :: AsHaskell PTxCert -> PlutusRepr PTxCert

toPlutarch :: forall (s :: S). AsHaskell PTxCert -> PLifted s PTxCert

fromPlutarchRepr :: PlutusRepr PTxCert -> Maybe (AsHaskell PTxCert)

fromPlutarch :: (forall (s :: S). PLifted s PTxCert) -> Either LiftError (AsHaskell PTxCert)

DerivePlutusType PTxCert Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PTxCert

PlutusType PTxCert Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PTxCert :: PType

type PCovariant' PTxCert

type PContravariant' PTxCert

type PVariant' PTxCert

Methods

pcon' :: forall (s :: S). PTxCert s -> Term s (PInner PTxCert)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxCert) -> (PTxCert s -> Term s b) -> Term s b

PShow PTxCert Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PTxCert -> Term s PString

PTryFrom PData PTxCert Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PTxCert :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PTxCert, Reduce (PTryFromExcess PData PTxCert s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PTxCert) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PTxCert) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PTxCert), Reduce (PTryFromExcess PData (PAsData PTxCert) s)) -> Term s r) -> Term s r

Generic (PTxCert s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PTxCert s) :: Type -> Type Source #

Methods

from :: PTxCert s -> Rep (PTxCert s) x Source #

to :: Rep (PTxCert s) x -> PTxCert s Source #

type AsHaskell PTxCert Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PTxCert = AsHaskell (DeriveDataPLiftable PTxCert TxCert)
type PlutusRepr PTxCert Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PTxCert = PlutusRepr (DeriveDataPLiftable PTxCert TxCert)
type DPTStrat PTxCert Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PTxCert = PlutusTypeData
type PContravariant' PTxCert Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PTxCert = All2 PContravariant'' (PCode PTxCert)
type PCovariant' PTxCert Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PTxCert = All2 PCovariant'' (PCode PTxCert)
type PInner PTxCert Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PTxCert = DerivedPInner (DPTStrat PTxCert) PTxCert
type PVariant' PTxCert Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PTxCert = All2 PVariant'' (PCode PTxCert)
type PTryFromExcess PData PTxCert Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PTxCert = PTryFromExcess PData (PInner PTxCert)
type PTryFromExcess PData (PAsData PTxCert) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PTxCert) = PTryFromExcess PData (PInner (PAsData PTxCert))
type Rep (PTxCert s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PTxCert s) = D1 ('MetaData "PTxCert" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'False) (((C1 ('MetaCons "PTxCertRegStaking" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PMaybeData PLovelace])))) :+: C1 ('MetaCons "PTxCertUnRegStaking" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PMaybeData PLovelace]))))) :+: (C1 ('MetaCons "PTxCertDelegStaking" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PDelegatee])))) :+: (C1 ('MetaCons "PTxCertRegDeleg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PCredential, "_1" ':= PDelegatee, "_2" ':= PLovelace])))) :+: C1 ('MetaCons "PTxCertRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PDRepCredential, "_1" ':= PLovelace]))))))) :+: ((C1 ('MetaCons "PTxCertUpdateDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PDRepCredential])))) :+: (C1 ('MetaCons "PTxCertUnRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PDRepCredential, "_1" ':= PLovelace])))) :+: C1 ('MetaCons "PTxCertPoolRegister" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PPubKeyHash])))))) :+: (C1 ('MetaCons "PTxCertPoolRetire" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PInteger])))) :+: (C1 ('MetaCons "PTxCertAuthHotCommittee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PColdCommitteeCredential, "_1" ':= PHotCommitteeCredential])))) :+: C1 ('MetaCons "PTxCertResignColdCommittee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PColdCommitteeCredential]))))))))

data PDelegatee (s :: S) Source #

Since: 3.1.0

Constructors

PDelegStake (Term s (PDataRecord '["_0" ':= PPubKeyHash])) 
PDelegVote (Term s (PDataRecord '["_0" ':= PDRep])) 
PDelegStakeVote (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PDRep])) 

Instances

Instances details
PEq PDelegatee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PDelegatee -> Term s PDelegatee -> Term s PBool

PIsData PDelegatee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PDelegatee) -> Term s PDelegatee

pdataImpl :: forall (s :: S). Term s PDelegatee -> Term s PData

PLiftable PDelegatee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PDelegatee

type PlutusRepr PDelegatee

Methods

toPlutarchRepr :: AsHaskell PDelegatee -> PlutusRepr PDelegatee

toPlutarch :: forall (s :: S). AsHaskell PDelegatee -> PLifted s PDelegatee

fromPlutarchRepr :: PlutusRepr PDelegatee -> Maybe (AsHaskell PDelegatee)

fromPlutarch :: (forall (s :: S). PLifted s PDelegatee) -> Either LiftError (AsHaskell PDelegatee)

DerivePlutusType PDelegatee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PDelegatee

PlutusType PDelegatee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PDelegatee :: PType

type PCovariant' PDelegatee

type PContravariant' PDelegatee

type PVariant' PDelegatee

Methods

pcon' :: forall (s :: S). PDelegatee s -> Term s (PInner PDelegatee)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PDelegatee) -> (PDelegatee s -> Term s b) -> Term s b

PShow PDelegatee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PDelegatee -> Term s PString

PTryFrom PData PDelegatee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PDelegatee :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PDelegatee, Reduce (PTryFromExcess PData PDelegatee s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PDelegatee) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PDelegatee) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PDelegatee), Reduce (PTryFromExcess PData (PAsData PDelegatee) s)) -> Term s r) -> Term s r

Generic (PDelegatee s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PDelegatee s) :: Type -> Type Source #

Methods

from :: PDelegatee s -> Rep (PDelegatee s) x Source #

to :: Rep (PDelegatee s) x -> PDelegatee s Source #

type AsHaskell PDelegatee Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PDelegatee = AsHaskell (DeriveDataPLiftable PDelegatee Delegatee)
type PlutusRepr PDelegatee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PDelegatee = PlutusRepr (DeriveDataPLiftable PDelegatee Delegatee)
type DPTStrat PDelegatee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PDelegatee = PlutusTypeData
type PContravariant' PDelegatee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PDelegatee = All2 PContravariant'' (PCode PDelegatee)
type PCovariant' PDelegatee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PDelegatee = All2 PCovariant'' (PCode PDelegatee)
type PInner PDelegatee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PDelegatee = DerivedPInner (DPTStrat PDelegatee) PDelegatee
type PVariant' PDelegatee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PDelegatee = All2 PVariant'' (PCode PDelegatee)
type PTryFromExcess PData PDelegatee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PDelegatee = PTryFromExcess PData (PInner PDelegatee)
type PTryFromExcess PData (PAsData PDelegatee) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PDelegatee) = PTryFromExcess PData (PInner (PAsData PDelegatee))
type Rep (PDelegatee s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PDelegatee s) = D1 ('MetaData "PDelegatee" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'False) (C1 ('MetaCons "PDelegStake" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PPubKeyHash])))) :+: (C1 ('MetaCons "PDelegVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PDRep])))) :+: C1 ('MetaCons "PDelegStakeVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PPubKeyHash, "_1" ':= PDRep]))))))

newtype PDRepCredential (s :: S) Source #

Since: 3.1.0

Constructors

PDRepCredential (Term s PCredential) 

Instances

Instances details
PEq PDRepCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PDRepCredential -> Term s PDRepCredential -> Term s PBool

PIsData PDRepCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PDRepCredential) -> Term s PDRepCredential

pdataImpl :: forall (s :: S). Term s PDRepCredential -> Term s PData

PLiftable PDRepCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PDRepCredential

type PlutusRepr PDRepCredential

Methods

toPlutarchRepr :: AsHaskell PDRepCredential -> PlutusRepr PDRepCredential

toPlutarch :: forall (s :: S). AsHaskell PDRepCredential -> PLifted s PDRepCredential

fromPlutarchRepr :: PlutusRepr PDRepCredential -> Maybe (AsHaskell PDRepCredential)

fromPlutarch :: (forall (s :: S). PLifted s PDRepCredential) -> Either LiftError (AsHaskell PDRepCredential)

DerivePlutusType PDRepCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PDRepCredential

PlutusType PDRepCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PDRepCredential :: PType

type PCovariant' PDRepCredential

type PContravariant' PDRepCredential

type PVariant' PDRepCredential

Methods

pcon' :: forall (s :: S). PDRepCredential s -> Term s (PInner PDRepCredential)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PDRepCredential) -> (PDRepCredential s -> Term s b) -> Term s b

PShow PDRepCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PDRepCredential -> Term s PString

PTryFrom PData PDRepCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PDRepCredential :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PDRepCredential, Reduce (PTryFromExcess PData PDRepCredential s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PDRepCredential) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PDRepCredential) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PDRepCredential), Reduce (PTryFromExcess PData (PAsData PDRepCredential) s)) -> Term s r) -> Term s r

Generic (PDRepCredential s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PDRepCredential s) :: Type -> Type Source #

type AsHaskell PDRepCredential Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PDRepCredential = AsHaskell (DeriveDataPLiftable PDRepCredential DRepCredential)
type PlutusRepr PDRepCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PDRepCredential = PlutusRepr (DeriveDataPLiftable PDRepCredential DRepCredential)
type DPTStrat PDRepCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PDRepCredential = PlutusTypeNewtype
type PContravariant' PDRepCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PDRepCredential = All2 PContravariant'' (PCode PDRepCredential)
type PCovariant' PDRepCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PDRepCredential = All2 PCovariant'' (PCode PDRepCredential)
type PInner PDRepCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PDRepCredential = DerivedPInner (DPTStrat PDRepCredential) PDRepCredential
type PVariant' PDRepCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PDRepCredential = All2 PVariant'' (PCode PDRepCredential)
type PTryFromExcess PData PDRepCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PDRepCredential = PTryFromExcess PData (PInner PDRepCredential)
type PTryFromExcess PData (PAsData PDRepCredential) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PDRepCredential) = PTryFromExcess PData (PInner (PAsData PDRepCredential))
type Rep (PDRepCredential s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PDRepCredential s) = D1 ('MetaData "PDRepCredential" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PDRepCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))

newtype PColdCommitteeCredential (s :: S) Source #

Since: 3.1.0

Constructors

PColdCommitteeCredential (Term s PCredential) 

Instances

Instances details
PEq PColdCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PColdCommitteeCredential -> Term s PColdCommitteeCredential -> Term s PBool

PIsData PColdCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PColdCommitteeCredential) -> Term s PColdCommitteeCredential

pdataImpl :: forall (s :: S). Term s PColdCommitteeCredential -> Term s PData

PLiftable PColdCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PColdCommitteeCredential

type PlutusRepr PColdCommitteeCredential

Methods

toPlutarchRepr :: AsHaskell PColdCommitteeCredential -> PlutusRepr PColdCommitteeCredential

toPlutarch :: forall (s :: S). AsHaskell PColdCommitteeCredential -> PLifted s PColdCommitteeCredential

fromPlutarchRepr :: PlutusRepr PColdCommitteeCredential -> Maybe (AsHaskell PColdCommitteeCredential)

fromPlutarch :: (forall (s :: S). PLifted s PColdCommitteeCredential) -> Either LiftError (AsHaskell PColdCommitteeCredential)

DerivePlutusType PColdCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PColdCommitteeCredential

PlutusType PColdCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PColdCommitteeCredential :: PType

type PCovariant' PColdCommitteeCredential

type PContravariant' PColdCommitteeCredential

type PVariant' PColdCommitteeCredential

Methods

pcon' :: forall (s :: S). PColdCommitteeCredential s -> Term s (PInner PColdCommitteeCredential)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PColdCommitteeCredential) -> (PColdCommitteeCredential s -> Term s b) -> Term s b

PShow PColdCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PColdCommitteeCredential -> Term s PString

PTryFrom PData PColdCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PColdCommitteeCredential :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PColdCommitteeCredential, Reduce (PTryFromExcess PData PColdCommitteeCredential s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PColdCommitteeCredential) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PColdCommitteeCredential) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PColdCommitteeCredential), Reduce (PTryFromExcess PData (PAsData PColdCommitteeCredential) s)) -> Term s r) -> Term s r

Generic (PColdCommitteeCredential s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PColdCommitteeCredential s) :: Type -> Type Source #

type AsHaskell PColdCommitteeCredential Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PColdCommitteeCredential = AsHaskell (DeriveDataPLiftable PColdCommitteeCredential ColdCommitteeCredential)
type PlutusRepr PColdCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PColdCommitteeCredential = PlutusRepr (DeriveDataPLiftable PColdCommitteeCredential ColdCommitteeCredential)
type DPTStrat PColdCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PColdCommitteeCredential = PlutusTypeNewtype
type PContravariant' PColdCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PColdCommitteeCredential = All2 PContravariant'' (PCode PColdCommitteeCredential)
type PCovariant' PColdCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PColdCommitteeCredential = All2 PCovariant'' (PCode PColdCommitteeCredential)
type PInner PColdCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PColdCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PColdCommitteeCredential = All2 PVariant'' (PCode PColdCommitteeCredential)
type PTryFromExcess PData PColdCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PColdCommitteeCredential = PTryFromExcess PData (PInner PColdCommitteeCredential)
type PTryFromExcess PData (PAsData PColdCommitteeCredential) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PColdCommitteeCredential) = PTryFromExcess PData (PInner (PAsData PColdCommitteeCredential))
type Rep (PColdCommitteeCredential s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PColdCommitteeCredential s) = D1 ('MetaData "PColdCommitteeCredential" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PColdCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))

newtype PHotCommitteeCredential (s :: S) Source #

Since: 3.1.0

Constructors

PHotCommitteeCredential (Term s PCredential) 

Instances

Instances details
PEq PHotCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PHotCommitteeCredential -> Term s PHotCommitteeCredential -> Term s PBool

PIsData PHotCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PHotCommitteeCredential) -> Term s PHotCommitteeCredential

pdataImpl :: forall (s :: S). Term s PHotCommitteeCredential -> Term s PData

PLiftable PHotCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PHotCommitteeCredential

type PlutusRepr PHotCommitteeCredential

Methods

toPlutarchRepr :: AsHaskell PHotCommitteeCredential -> PlutusRepr PHotCommitteeCredential

toPlutarch :: forall (s :: S). AsHaskell PHotCommitteeCredential -> PLifted s PHotCommitteeCredential

fromPlutarchRepr :: PlutusRepr PHotCommitteeCredential -> Maybe (AsHaskell PHotCommitteeCredential)

fromPlutarch :: (forall (s :: S). PLifted s PHotCommitteeCredential) -> Either LiftError (AsHaskell PHotCommitteeCredential)

DerivePlutusType PHotCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PHotCommitteeCredential

PlutusType PHotCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PHotCommitteeCredential :: PType

type PCovariant' PHotCommitteeCredential

type PContravariant' PHotCommitteeCredential

type PVariant' PHotCommitteeCredential

Methods

pcon' :: forall (s :: S). PHotCommitteeCredential s -> Term s (PInner PHotCommitteeCredential)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PHotCommitteeCredential) -> (PHotCommitteeCredential s -> Term s b) -> Term s b

PShow PHotCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PHotCommitteeCredential -> Term s PString

PTryFrom PData PHotCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PHotCommitteeCredential :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PHotCommitteeCredential, Reduce (PTryFromExcess PData PHotCommitteeCredential s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PHotCommitteeCredential) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PHotCommitteeCredential) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PHotCommitteeCredential), Reduce (PTryFromExcess PData (PAsData PHotCommitteeCredential) s)) -> Term s r) -> Term s r

Generic (PHotCommitteeCredential s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PHotCommitteeCredential s) :: Type -> Type Source #

type AsHaskell PHotCommitteeCredential Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PHotCommitteeCredential = AsHaskell (DeriveDataPLiftable PHotCommitteeCredential HotCommitteeCredential)
type PlutusRepr PHotCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PHotCommitteeCredential = PlutusRepr (DeriveDataPLiftable PHotCommitteeCredential HotCommitteeCredential)
type DPTStrat PHotCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PHotCommitteeCredential = PlutusTypeNewtype
type PContravariant' PHotCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PHotCommitteeCredential = All2 PContravariant'' (PCode PHotCommitteeCredential)
type PCovariant' PHotCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PHotCommitteeCredential = All2 PCovariant'' (PCode PHotCommitteeCredential)
type PInner PHotCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PHotCommitteeCredential Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PHotCommitteeCredential = All2 PVariant'' (PCode PHotCommitteeCredential)
type PTryFromExcess PData PHotCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PHotCommitteeCredential = PTryFromExcess PData (PInner PHotCommitteeCredential)
type PTryFromExcess PData (PAsData PHotCommitteeCredential) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PHotCommitteeCredential) = PTryFromExcess PData (PInner (PAsData PHotCommitteeCredential))
type Rep (PHotCommitteeCredential s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PHotCommitteeCredential s) = D1 ('MetaData "PHotCommitteeCredential" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PHotCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))

data PDRep (s :: S) Source #

Since: 3.1.0

Constructors

PDRep (Term s (PDataRecord '["_0" ':= PDRepCredential])) 
PDRepAlwaysAbstain (Term s (PDataRecord '[])) 
PDRepAlwaysNoConfidence (Term s (PDataRecord '[])) 

Instances

Instances details
PEq PDRep Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PDRep -> Term s PDRep -> Term s PBool

PIsData PDRep Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PDRep) -> Term s PDRep

pdataImpl :: forall (s :: S). Term s PDRep -> Term s PData

PLiftable PDRep Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PDRep

type PlutusRepr PDRep

Methods

toPlutarchRepr :: AsHaskell PDRep -> PlutusRepr PDRep

toPlutarch :: forall (s :: S). AsHaskell PDRep -> PLifted s PDRep

fromPlutarchRepr :: PlutusRepr PDRep -> Maybe (AsHaskell PDRep)

fromPlutarch :: (forall (s :: S). PLifted s PDRep) -> Either LiftError (AsHaskell PDRep)

DerivePlutusType PDRep Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PDRep

PlutusType PDRep Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PDRep :: PType

type PCovariant' PDRep

type PContravariant' PDRep

type PVariant' PDRep

Methods

pcon' :: forall (s :: S). PDRep s -> Term s (PInner PDRep)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PDRep) -> (PDRep s -> Term s b) -> Term s b

PShow PDRep Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PDRep -> Term s PString

PTryFrom PData PDRep Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PDRep :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PDRep, Reduce (PTryFromExcess PData PDRep s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PDRep) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PDRep) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PDRep), Reduce (PTryFromExcess PData (PAsData PDRep) s)) -> Term s r) -> Term s r

Generic (PDRep s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PDRep s) :: Type -> Type Source #

Methods

from :: PDRep s -> Rep (PDRep s) x Source #

to :: Rep (PDRep s) x -> PDRep s Source #

type AsHaskell PDRep Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PDRep = AsHaskell (DeriveDataPLiftable PDRep DRep)
type PlutusRepr PDRep Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PDRep = PlutusRepr (DeriveDataPLiftable PDRep DRep)
type DPTStrat PDRep Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PDRep = PlutusTypeData
type PContravariant' PDRep Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PDRep = All2 PContravariant'' (PCode PDRep)
type PCovariant' PDRep Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PDRep = All2 PCovariant'' (PCode PDRep)
type PInner PDRep Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PDRep = DerivedPInner (DPTStrat PDRep) PDRep
type PVariant' PDRep Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PDRep = All2 PVariant'' (PCode PDRep)
type PTryFromExcess PData PDRep Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PDRep = PTryFromExcess PData (PInner PDRep)
type PTryFromExcess PData (PAsData PDRep) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PDRep) = PTryFromExcess PData (PInner (PAsData PDRep))
type Rep (PDRep s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PDRep s) = D1 ('MetaData "PDRep" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'False) (C1 ('MetaCons "PDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PDRepCredential])))) :+: (C1 ('MetaCons "PDRepAlwaysAbstain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))) :+: C1 ('MetaCons "PDRepAlwaysNoConfidence" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType])))))))

data PVoter (s :: S) Source #

Since: 3.1.0

Constructors

PCommitteeVoter (Term s (PDataRecord '["_0" ':= PHotCommitteeCredential])) 
PDRepVoter (Term s (PDataRecord '["_0" ':= PDRepCredential])) 
PStakePoolVoter (Term s (PDataRecord '["_0" ':= PPubKeyHash])) 

Instances

Instances details
PEq PVoter Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PVoter -> Term s PVoter -> Term s PBool

PIsData PVoter Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PVoter) -> Term s PVoter

pdataImpl :: forall (s :: S). Term s PVoter -> Term s PData

PLiftable PVoter Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PVoter

type PlutusRepr PVoter

Methods

toPlutarchRepr :: AsHaskell PVoter -> PlutusRepr PVoter

toPlutarch :: forall (s :: S). AsHaskell PVoter -> PLifted s PVoter

fromPlutarchRepr :: PlutusRepr PVoter -> Maybe (AsHaskell PVoter)

fromPlutarch :: (forall (s :: S). PLifted s PVoter) -> Either LiftError (AsHaskell PVoter)

DerivePlutusType PVoter Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PVoter

PlutusType PVoter Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PVoter :: PType

type PCovariant' PVoter

type PContravariant' PVoter

type PVariant' PVoter

Methods

pcon' :: forall (s :: S). PVoter s -> Term s (PInner PVoter)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PVoter) -> (PVoter s -> Term s b) -> Term s b

PShow PVoter Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PVoter -> Term s PString

PTryFrom PData PVoter Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PVoter :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PVoter, Reduce (PTryFromExcess PData PVoter s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PVoter) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PVoter) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PVoter), Reduce (PTryFromExcess PData (PAsData PVoter) s)) -> Term s r) -> Term s r

Generic (PVoter s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PVoter s) :: Type -> Type Source #

Methods

from :: PVoter s -> Rep (PVoter s) x Source #

to :: Rep (PVoter s) x -> PVoter s Source #

type AsHaskell PVoter Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PVoter = AsHaskell (DeriveDataPLiftable PVoter Voter)
type PlutusRepr PVoter Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PVoter = PlutusRepr (DeriveDataPLiftable PVoter Voter)
type DPTStrat PVoter Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PVoter = PlutusTypeData
type PContravariant' PVoter Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PVoter = All2 PContravariant'' (PCode PVoter)
type PCovariant' PVoter Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PVoter = All2 PCovariant'' (PCode PVoter)
type PInner PVoter Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PVoter = DerivedPInner (DPTStrat PVoter) PVoter
type PVariant' PVoter Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PVoter = All2 PVariant'' (PCode PVoter)
type PTryFromExcess PData PVoter Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PVoter = PTryFromExcess PData (PInner PVoter)
type PTryFromExcess PData (PAsData PVoter) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PVoter) = PTryFromExcess PData (PInner (PAsData PVoter))
type Rep (PVoter s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PVoter s) = D1 ('MetaData "PVoter" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'False) (C1 ('MetaCons "PCommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PHotCommitteeCredential])))) :+: (C1 ('MetaCons "PDRepVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PDRepCredential])))) :+: C1 ('MetaCons "PStakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PPubKeyHash]))))))

newtype PGovernanceActionId (s :: S) Source #

Since: 3.1.0

Constructors

PGovernanceActionId (Term s (PDataRecord '["txId" ':= PTxId, "govActionIx" ':= PInteger])) 

Instances

Instances details
PEq PGovernanceActionId Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PGovernanceActionId -> Term s PGovernanceActionId -> Term s PBool

PIsData PGovernanceActionId Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PGovernanceActionId) -> Term s PGovernanceActionId

pdataImpl :: forall (s :: S). Term s PGovernanceActionId -> Term s PData

PLiftable PGovernanceActionId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PGovernanceActionId

type PlutusRepr PGovernanceActionId

Methods

toPlutarchRepr :: AsHaskell PGovernanceActionId -> PlutusRepr PGovernanceActionId

toPlutarch :: forall (s :: S). AsHaskell PGovernanceActionId -> PLifted s PGovernanceActionId

fromPlutarchRepr :: PlutusRepr PGovernanceActionId -> Maybe (AsHaskell PGovernanceActionId)

fromPlutarch :: (forall (s :: S). PLifted s PGovernanceActionId) -> Either LiftError (AsHaskell PGovernanceActionId)

DerivePlutusType PGovernanceActionId Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PGovernanceActionId

PlutusType PGovernanceActionId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PGovernanceActionId :: PType

type PCovariant' PGovernanceActionId

type PContravariant' PGovernanceActionId

type PVariant' PGovernanceActionId

Methods

pcon' :: forall (s :: S). PGovernanceActionId s -> Term s (PInner PGovernanceActionId)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PGovernanceActionId) -> (PGovernanceActionId s -> Term s b) -> Term s b

PShow PGovernanceActionId Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PGovernanceActionId -> Term s PString

PTryFrom PData PGovernanceActionId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PGovernanceActionId :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PGovernanceActionId, Reduce (PTryFromExcess PData PGovernanceActionId s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PGovernanceActionId) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PGovernanceActionId) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PGovernanceActionId), Reduce (PTryFromExcess PData (PAsData PGovernanceActionId) s)) -> Term s r) -> Term s r

Generic (PGovernanceActionId s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PGovernanceActionId s) :: Type -> Type Source #

type AsHaskell PGovernanceActionId Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PGovernanceActionId = AsHaskell (DeriveDataPLiftable PGovernanceActionId GovernanceActionId)
type PlutusRepr PGovernanceActionId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PGovernanceActionId = PlutusRepr (DeriveDataPLiftable PGovernanceActionId GovernanceActionId)
type DPTStrat PGovernanceActionId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PGovernanceActionId = PlutusTypeData
type PContravariant' PGovernanceActionId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PGovernanceActionId = All2 PContravariant'' (PCode PGovernanceActionId)
type PCovariant' PGovernanceActionId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PGovernanceActionId = All2 PCovariant'' (PCode PGovernanceActionId)
type PInner PGovernanceActionId Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PGovernanceActionId = DerivedPInner (DPTStrat PGovernanceActionId) PGovernanceActionId
type PVariant' PGovernanceActionId Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PGovernanceActionId = All2 PVariant'' (PCode PGovernanceActionId)
type PTryFromExcess PData PGovernanceActionId Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PGovernanceActionId = PTryFromExcess PData (PInner PGovernanceActionId)
type PTryFromExcess PData (PAsData PGovernanceActionId) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PGovernanceActionId) = PTryFromExcess PData (PInner (PAsData PGovernanceActionId))
type Rep (PGovernanceActionId s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PGovernanceActionId s) = D1 ('MetaData "PGovernanceActionId" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PGovernanceActionId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["txId" ':= PTxId, "govActionIx" ':= PInteger])))))

data PVote (s :: S) Source #

Since: 3.1.0

Constructors

PVoteYes (Term s (PDataRecord '[])) 
PVoteNo (Term s (PDataRecord '[])) 
PAbstain (Term s (PDataRecord '[])) 

Instances

Instances details
PEq PVote Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PVote -> Term s PVote -> Term s PBool

PIsData PVote Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PVote) -> Term s PVote

pdataImpl :: forall (s :: S). Term s PVote -> Term s PData

PLiftable PVote Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PVote

type PlutusRepr PVote

Methods

toPlutarchRepr :: AsHaskell PVote -> PlutusRepr PVote

toPlutarch :: forall (s :: S). AsHaskell PVote -> PLifted s PVote

fromPlutarchRepr :: PlutusRepr PVote -> Maybe (AsHaskell PVote)

fromPlutarch :: (forall (s :: S). PLifted s PVote) -> Either LiftError (AsHaskell PVote)

DerivePlutusType PVote Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PVote

PlutusType PVote Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PVote :: PType

type PCovariant' PVote

type PContravariant' PVote

type PVariant' PVote

Methods

pcon' :: forall (s :: S). PVote s -> Term s (PInner PVote)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PVote) -> (PVote s -> Term s b) -> Term s b

PShow PVote Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PVote -> Term s PString

PTryFrom PData PVote Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PVote :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PVote, Reduce (PTryFromExcess PData PVote s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PVote) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PVote) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PVote), Reduce (PTryFromExcess PData (PAsData PVote) s)) -> Term s r) -> Term s r

Generic (PVote s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PVote s) :: Type -> Type Source #

Methods

from :: PVote s -> Rep (PVote s) x Source #

to :: Rep (PVote s) x -> PVote s Source #

type AsHaskell PVote Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PVote = AsHaskell (DeriveDataPLiftable PVote Vote)
type PlutusRepr PVote Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PVote = PlutusRepr (DeriveDataPLiftable PVote Vote)
type DPTStrat PVote Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PVote = PlutusTypeData
type PContravariant' PVote Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PVote = All2 PContravariant'' (PCode PVote)
type PCovariant' PVote Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PVote = All2 PCovariant'' (PCode PVote)
type PInner PVote Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PVote = DerivedPInner (DPTStrat PVote) PVote
type PVariant' PVote Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PVote = All2 PVariant'' (PCode PVote)
type PTryFromExcess PData PVote Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PVote = PTryFromExcess PData (PInner PVote)
type PTryFromExcess PData (PAsData PVote) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PVote) = PTryFromExcess PData (PInner (PAsData PVote))
type Rep (PVote s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PVote s) = D1 ('MetaData "PVote" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'False) (C1 ('MetaCons "PVoteYes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))) :+: (C1 ('MetaCons "PVoteNo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))) :+: C1 ('MetaCons "PAbstain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType])))))))

newtype PProtocolVersion (s :: S) Source #

Since: 3.1.0

Constructors

PProtocolVersion (Term s (PDataRecord '["major" ':= PInteger, "minor" ':= PInteger])) 

Instances

Instances details
PDataFields PProtocolVersion Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PFields PProtocolVersion :: [PLabeledType]

Methods

ptoFields :: forall (s :: S). Term s PProtocolVersion -> Term s (PDataRecord (PFields PProtocolVersion))

PEq PProtocolVersion Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PProtocolVersion -> Term s PProtocolVersion -> Term s PBool

PIsData PProtocolVersion Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PProtocolVersion) -> Term s PProtocolVersion

pdataImpl :: forall (s :: S). Term s PProtocolVersion -> Term s PData

PLiftable PProtocolVersion Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PProtocolVersion

type PlutusRepr PProtocolVersion

Methods

toPlutarchRepr :: AsHaskell PProtocolVersion -> PlutusRepr PProtocolVersion

toPlutarch :: forall (s :: S). AsHaskell PProtocolVersion -> PLifted s PProtocolVersion

fromPlutarchRepr :: PlutusRepr PProtocolVersion -> Maybe (AsHaskell PProtocolVersion)

fromPlutarch :: (forall (s :: S). PLifted s PProtocolVersion) -> Either LiftError (AsHaskell PProtocolVersion)

DerivePlutusType PProtocolVersion Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PProtocolVersion

PlutusType PProtocolVersion Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PProtocolVersion :: PType

type PCovariant' PProtocolVersion

type PContravariant' PProtocolVersion

type PVariant' PProtocolVersion

Methods

pcon' :: forall (s :: S). PProtocolVersion s -> Term s (PInner PProtocolVersion)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PProtocolVersion) -> (PProtocolVersion s -> Term s b) -> Term s b

PShow PProtocolVersion Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PProtocolVersion -> Term s PString

PTryFrom PData PProtocolVersion Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PProtocolVersion :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PProtocolVersion, Reduce (PTryFromExcess PData PProtocolVersion s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PProtocolVersion) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PProtocolVersion) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PProtocolVersion), Reduce (PTryFromExcess PData (PAsData PProtocolVersion) s)) -> Term s r) -> Term s r

Generic (PProtocolVersion s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PProtocolVersion s) :: Type -> Type Source #

type PFields PProtocolVersion Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PFields PProtocolVersion = Helper (PInner PProtocolVersion)
type AsHaskell PProtocolVersion Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PProtocolVersion = AsHaskell (DeriveDataPLiftable PProtocolVersion ProtocolVersion)
type PlutusRepr PProtocolVersion Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PProtocolVersion = PlutusRepr (DeriveDataPLiftable PProtocolVersion ProtocolVersion)
type DPTStrat PProtocolVersion Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PProtocolVersion = PlutusTypeData
type PContravariant' PProtocolVersion Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PProtocolVersion = All2 PContravariant'' (PCode PProtocolVersion)
type PCovariant' PProtocolVersion Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PProtocolVersion = All2 PCovariant'' (PCode PProtocolVersion)
type PInner PProtocolVersion Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PProtocolVersion = DerivedPInner (DPTStrat PProtocolVersion) PProtocolVersion
type PVariant' PProtocolVersion Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PProtocolVersion = All2 PVariant'' (PCode PProtocolVersion)
type PTryFromExcess PData PProtocolVersion Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PProtocolVersion = PTryFromExcess PData (PInner PProtocolVersion)
type PTryFromExcess PData (PAsData PProtocolVersion) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PProtocolVersion) = PTryFromExcess PData (PInner (PAsData PProtocolVersion))
type Rep (PProtocolVersion s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PProtocolVersion s) = D1 ('MetaData "PProtocolVersion" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PProtocolVersion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["major" ':= PInteger, "minor" ':= PInteger])))))

newtype PProposalProcedure (s :: S) Source #

Since: 3.1.0

Constructors

PProposalProcedure (Term s (PDataRecord '["deposit" ':= PLovelace, "returnAddr" ':= PCredential, "governanceAction" ':= PGovernanceAction])) 

Instances

Instances details
PDataFields PProposalProcedure Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PFields PProposalProcedure :: [PLabeledType]

Methods

ptoFields :: forall (s :: S). Term s PProposalProcedure -> Term s (PDataRecord (PFields PProposalProcedure))

PEq PProposalProcedure Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PProposalProcedure -> Term s PProposalProcedure -> Term s PBool

PIsData PProposalProcedure Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PProposalProcedure) -> Term s PProposalProcedure

pdataImpl :: forall (s :: S). Term s PProposalProcedure -> Term s PData

PLiftable PProposalProcedure Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PProposalProcedure

type PlutusRepr PProposalProcedure

Methods

toPlutarchRepr :: AsHaskell PProposalProcedure -> PlutusRepr PProposalProcedure

toPlutarch :: forall (s :: S). AsHaskell PProposalProcedure -> PLifted s PProposalProcedure

fromPlutarchRepr :: PlutusRepr PProposalProcedure -> Maybe (AsHaskell PProposalProcedure)

fromPlutarch :: (forall (s :: S). PLifted s PProposalProcedure) -> Either LiftError (AsHaskell PProposalProcedure)

DerivePlutusType PProposalProcedure Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PProposalProcedure

PlutusType PProposalProcedure Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PProposalProcedure :: PType

type PCovariant' PProposalProcedure

type PContravariant' PProposalProcedure

type PVariant' PProposalProcedure

Methods

pcon' :: forall (s :: S). PProposalProcedure s -> Term s (PInner PProposalProcedure)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PProposalProcedure) -> (PProposalProcedure s -> Term s b) -> Term s b

PShow PProposalProcedure Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PProposalProcedure -> Term s PString

PTryFrom PData PProposalProcedure Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PProposalProcedure :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PProposalProcedure, Reduce (PTryFromExcess PData PProposalProcedure s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PProposalProcedure) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PProposalProcedure) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PProposalProcedure), Reduce (PTryFromExcess PData (PAsData PProposalProcedure) s)) -> Term s r) -> Term s r

Generic (PProposalProcedure s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PProposalProcedure s) :: Type -> Type Source #

type PFields PProposalProcedure Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PFields PProposalProcedure = Helper (PInner PProposalProcedure)
type AsHaskell PProposalProcedure Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PProposalProcedure = AsHaskell (DeriveDataPLiftable PProposalProcedure ProposalProcedure)
type PlutusRepr PProposalProcedure Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PProposalProcedure = PlutusRepr (DeriveDataPLiftable PProposalProcedure ProposalProcedure)
type DPTStrat PProposalProcedure Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PProposalProcedure = PlutusTypeData
type PContravariant' PProposalProcedure Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PProposalProcedure = All2 PContravariant'' (PCode PProposalProcedure)
type PCovariant' PProposalProcedure Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PProposalProcedure = All2 PCovariant'' (PCode PProposalProcedure)
type PInner PProposalProcedure Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PProposalProcedure = DerivedPInner (DPTStrat PProposalProcedure) PProposalProcedure
type PVariant' PProposalProcedure Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PProposalProcedure = All2 PVariant'' (PCode PProposalProcedure)
type PTryFromExcess PData PProposalProcedure Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PProposalProcedure = PTryFromExcess PData (PInner PProposalProcedure)
type PTryFromExcess PData (PAsData PProposalProcedure) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PProposalProcedure) = PTryFromExcess PData (PInner (PAsData PProposalProcedure))
type Rep (PProposalProcedure s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PProposalProcedure s) = D1 ('MetaData "PProposalProcedure" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PProposalProcedure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["deposit" ':= PLovelace, "returnAddr" ':= PCredential, "governanceAction" ':= PGovernanceAction])))))

data PGovernanceAction (s :: S) Source #

Since: 3.1.0

Constructors

PParameterChange (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PChangedParameters, "_2" ':= PMaybeData PScriptHash])) 
PHardForkInitiation (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PProtocolVersion])) 
PTreasuryWithdrawals (Term s (PDataRecord '["_0" ':= PMap 'Unsorted PCredential PLovelace, "_1" ':= PMaybeData PScriptHash])) 
PNoConfidence (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId])) 
PUpdateCommittee (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PBuiltinList (PAsData PColdCommitteeCredential), "_2" ':= PMap 'Unsorted PColdCommitteeCredential PInteger, "_3" ':= PRationalData])) 
PNewConstitution (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PConstitution])) 
PInfoAction (Term s (PDataRecord '[])) 

Instances

Instances details
PEq PGovernanceAction Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PGovernanceAction -> Term s PGovernanceAction -> Term s PBool

PIsData PGovernanceAction Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PGovernanceAction) -> Term s PGovernanceAction

pdataImpl :: forall (s :: S). Term s PGovernanceAction -> Term s PData

PLiftable PGovernanceAction Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PGovernanceAction

type PlutusRepr PGovernanceAction

Methods

toPlutarchRepr :: AsHaskell PGovernanceAction -> PlutusRepr PGovernanceAction

toPlutarch :: forall (s :: S). AsHaskell PGovernanceAction -> PLifted s PGovernanceAction

fromPlutarchRepr :: PlutusRepr PGovernanceAction -> Maybe (AsHaskell PGovernanceAction)

fromPlutarch :: (forall (s :: S). PLifted s PGovernanceAction) -> Either LiftError (AsHaskell PGovernanceAction)

DerivePlutusType PGovernanceAction Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PGovernanceAction

PlutusType PGovernanceAction Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PGovernanceAction :: PType

type PCovariant' PGovernanceAction

type PContravariant' PGovernanceAction

type PVariant' PGovernanceAction

Methods

pcon' :: forall (s :: S). PGovernanceAction s -> Term s (PInner PGovernanceAction)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PGovernanceAction) -> (PGovernanceAction s -> Term s b) -> Term s b

PShow PGovernanceAction Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PGovernanceAction -> Term s PString

PTryFrom PData PGovernanceAction Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PGovernanceAction :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PGovernanceAction, Reduce (PTryFromExcess PData PGovernanceAction s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PGovernanceAction) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PGovernanceAction) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PGovernanceAction), Reduce (PTryFromExcess PData (PAsData PGovernanceAction) s)) -> Term s r) -> Term s r

Generic (PGovernanceAction s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PGovernanceAction s) :: Type -> Type Source #

type AsHaskell PGovernanceAction Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PGovernanceAction = AsHaskell (DeriveDataPLiftable PGovernanceAction GovernanceAction)
type PlutusRepr PGovernanceAction Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PGovernanceAction = PlutusRepr (DeriveDataPLiftable PGovernanceAction GovernanceAction)
type DPTStrat PGovernanceAction Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PGovernanceAction = PlutusTypeData
type PContravariant' PGovernanceAction Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PGovernanceAction = All2 PContravariant'' (PCode PGovernanceAction)
type PCovariant' PGovernanceAction Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PGovernanceAction = All2 PCovariant'' (PCode PGovernanceAction)
type PInner PGovernanceAction Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PGovernanceAction = DerivedPInner (DPTStrat PGovernanceAction) PGovernanceAction
type PVariant' PGovernanceAction Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PGovernanceAction = All2 PVariant'' (PCode PGovernanceAction)
type PTryFromExcess PData PGovernanceAction Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PGovernanceAction = PTryFromExcess PData (PInner PGovernanceAction)
type PTryFromExcess PData (PAsData PGovernanceAction) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PGovernanceAction) = PTryFromExcess PData (PInner (PAsData PGovernanceAction))
type Rep (PGovernanceAction s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PGovernanceAction s) = D1 ('MetaData "PGovernanceAction" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'False) ((C1 ('MetaCons "PParameterChange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PChangedParameters, "_2" ':= PMaybeData PScriptHash])))) :+: (C1 ('MetaCons "PHardForkInitiation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PProtocolVersion])))) :+: C1 ('MetaCons "PTreasuryWithdrawals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PMap 'Unsorted PCredential PLovelace, "_1" ':= PMaybeData PScriptHash])))))) :+: ((C1 ('MetaCons "PNoConfidence" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId])))) :+: C1 ('MetaCons "PUpdateCommittee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PBuiltinList (PAsData PColdCommitteeCredential), "_2" ':= PMap 'Unsorted PColdCommitteeCredential PInteger, "_3" ':= PRationalData]))))) :+: (C1 ('MetaCons "PNewConstitution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PMaybeData PGovernanceActionId, "_1" ':= PConstitution])))) :+: C1 ('MetaCons "PInfoAction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))))))

newtype PChangedParameters (s :: S) Source #

Since: 3.1.0

Constructors

PChangedParameters (Term s PData) 

Instances

Instances details
PEq PChangedParameters Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PChangedParameters -> Term s PChangedParameters -> Term s PBool

PIsData PChangedParameters Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PChangedParameters) -> Term s PChangedParameters

pdataImpl :: forall (s :: S). Term s PChangedParameters -> Term s PData

PLiftable PChangedParameters Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PChangedParameters

type PlutusRepr PChangedParameters

Methods

toPlutarchRepr :: AsHaskell PChangedParameters -> PlutusRepr PChangedParameters

toPlutarch :: forall (s :: S). AsHaskell PChangedParameters -> PLifted s PChangedParameters

fromPlutarchRepr :: PlutusRepr PChangedParameters -> Maybe (AsHaskell PChangedParameters)

fromPlutarch :: (forall (s :: S). PLifted s PChangedParameters) -> Either LiftError (AsHaskell PChangedParameters)

DerivePlutusType PChangedParameters Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PChangedParameters

PlutusType PChangedParameters Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PChangedParameters :: PType

type PCovariant' PChangedParameters

type PContravariant' PChangedParameters

type PVariant' PChangedParameters

Methods

pcon' :: forall (s :: S). PChangedParameters s -> Term s (PInner PChangedParameters)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PChangedParameters) -> (PChangedParameters s -> Term s b) -> Term s b

PShow PChangedParameters Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PChangedParameters -> Term s PString

PTryFrom PData PChangedParameters Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PChangedParameters :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PChangedParameters, Reduce (PTryFromExcess PData PChangedParameters s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PChangedParameters) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PChangedParameters) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PChangedParameters), Reduce (PTryFromExcess PData (PAsData PChangedParameters) s)) -> Term s r) -> Term s r

Generic (PChangedParameters s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PChangedParameters s) :: Type -> Type Source #

type AsHaskell PChangedParameters Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PChangedParameters = AsHaskell (DeriveDataPLiftable PChangedParameters ChangedParameters)
type PlutusRepr PChangedParameters Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PChangedParameters = PlutusRepr (DeriveDataPLiftable PChangedParameters ChangedParameters)
type DPTStrat PChangedParameters Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PChangedParameters = PlutusTypeNewtype
type PContravariant' PChangedParameters Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PChangedParameters = All2 PContravariant'' (PCode PChangedParameters)
type PCovariant' PChangedParameters Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PChangedParameters = All2 PCovariant'' (PCode PChangedParameters)
type PInner PChangedParameters Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PChangedParameters = DerivedPInner (DPTStrat PChangedParameters) PChangedParameters
type PVariant' PChangedParameters Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PChangedParameters = All2 PVariant'' (PCode PChangedParameters)
type PTryFromExcess PData PChangedParameters Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PChangedParameters = PTryFromExcess PData (PInner PChangedParameters)
type PTryFromExcess PData (PAsData PChangedParameters) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PChangedParameters) = PTryFromExcess PData (PInner (PAsData PChangedParameters))
type Rep (PChangedParameters s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PChangedParameters s) = D1 ('MetaData "PChangedParameters" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PChangedParameters" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PData))))

newtype PConstitution (s :: S) Source #

A constitution, omitting the optional anchor.

Since: 3.1.0

Constructors

PConstitution (Term s (PDataRecord '["_0" := PMaybeData PScriptHash])) 

Instances

Instances details
PEq PConstitution Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PConstitution -> Term s PConstitution -> Term s PBool

PIsData PConstitution Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PConstitution) -> Term s PConstitution

pdataImpl :: forall (s :: S). Term s PConstitution -> Term s PData

PLiftable PConstitution Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PConstitution

type PlutusRepr PConstitution

Methods

toPlutarchRepr :: AsHaskell PConstitution -> PlutusRepr PConstitution

toPlutarch :: forall (s :: S). AsHaskell PConstitution -> PLifted s PConstitution

fromPlutarchRepr :: PlutusRepr PConstitution -> Maybe (AsHaskell PConstitution)

fromPlutarch :: (forall (s :: S). PLifted s PConstitution) -> Either LiftError (AsHaskell PConstitution)

DerivePlutusType PConstitution Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PConstitution

PlutusType PConstitution Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PConstitution :: PType

type PCovariant' PConstitution

type PContravariant' PConstitution

type PVariant' PConstitution

Methods

pcon' :: forall (s :: S). PConstitution s -> Term s (PInner PConstitution)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PConstitution) -> (PConstitution s -> Term s b) -> Term s b

PShow PConstitution Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PConstitution -> Term s PString

PTryFrom PData PConstitution Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PConstitution :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PConstitution, Reduce (PTryFromExcess PData PConstitution s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PConstitution) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PConstitution) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PConstitution), Reduce (PTryFromExcess PData (PAsData PConstitution) s)) -> Term s r) -> Term s r

Generic (PConstitution s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PConstitution s) :: Type -> Type Source #

type AsHaskell PConstitution Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PConstitution = AsHaskell (DeriveDataPLiftable PConstitution Constitution)
type PlutusRepr PConstitution Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PConstitution = PlutusRepr (DeriveDataPLiftable PConstitution Constitution)
type DPTStrat PConstitution Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PConstitution = PlutusTypeData
type PContravariant' PConstitution Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PConstitution = All2 PContravariant'' (PCode PConstitution)
type PCovariant' PConstitution Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PConstitution = All2 PCovariant'' (PCode PConstitution)
type PInner PConstitution Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PConstitution = DerivedPInner (DPTStrat PConstitution) PConstitution
type PVariant' PConstitution Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PConstitution = All2 PVariant'' (PCode PConstitution)
type PTryFromExcess PData PConstitution Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PConstitution = PTryFromExcess PData (PInner PConstitution)
type PTryFromExcess PData (PAsData PConstitution) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PConstitution) = PTryFromExcess PData (PInner (PAsData PConstitution))
type Rep (PConstitution s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PConstitution s) = D1 ('MetaData "PConstitution" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PConstitution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" ':= PMaybeData PScriptHash])))))

newtype PCommittee (s :: S) Source #

Since: 3.1.0

Constructors

PCommittee (Term s (PDataRecord '["members" ':= PMap 'Unsorted PColdCommitteeCredential PInteger, "quorum" ':= PRationalData])) 

Instances

Instances details
PDataFields PCommittee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PFields PCommittee :: [PLabeledType]

Methods

ptoFields :: forall (s :: S). Term s PCommittee -> Term s (PDataRecord (PFields PCommittee))

PEq PCommittee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PCommittee -> Term s PCommittee -> Term s PBool

PIsData PCommittee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PCommittee) -> Term s PCommittee

pdataImpl :: forall (s :: S). Term s PCommittee -> Term s PData

PLiftable PCommittee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PCommittee

type PlutusRepr PCommittee

Methods

toPlutarchRepr :: AsHaskell PCommittee -> PlutusRepr PCommittee

toPlutarch :: forall (s :: S). AsHaskell PCommittee -> PLifted s PCommittee

fromPlutarchRepr :: PlutusRepr PCommittee -> Maybe (AsHaskell PCommittee)

fromPlutarch :: (forall (s :: S). PLifted s PCommittee) -> Either LiftError (AsHaskell PCommittee)

DerivePlutusType PCommittee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type DPTStrat PCommittee

PlutusType PCommittee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PCommittee :: PType

type PCovariant' PCommittee

type PContravariant' PCommittee

type PVariant' PCommittee

Methods

pcon' :: forall (s :: S). PCommittee s -> Term s (PInner PCommittee)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PCommittee) -> (PCommittee s -> Term s b) -> Term s b

PShow PCommittee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PCommittee -> Term s PString

PTryFrom PData PCommittee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData PCommittee :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PCommittee, Reduce (PTryFromExcess PData PCommittee s)) -> Term s r) -> Term s r

PTryFrom PData (PAsData PCommittee) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PCommittee) :: PType

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PCommittee), Reduce (PTryFromExcess PData (PAsData PCommittee) s)) -> Term s r) -> Term s r

Generic (PCommittee s) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PCommittee s) :: Type -> Type Source #

Methods

from :: PCommittee s -> Rep (PCommittee s) x Source #

to :: Rep (PCommittee s) x -> PCommittee s Source #

type PFields PCommittee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PFields PCommittee = Helper (PInner PCommittee)
type AsHaskell PCommittee Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PCommittee = AsHaskell (DeriveDataPLiftable PCommittee Committee)
type PlutusRepr PCommittee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PCommittee = PlutusRepr (DeriveDataPLiftable PCommittee Committee)
type DPTStrat PCommittee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type DPTStrat PCommittee = PlutusTypeData
type PContravariant' PCommittee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PContravariant' PCommittee = All2 PContravariant'' (PCode PCommittee)
type PCovariant' PCommittee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PCovariant' PCommittee = All2 PCovariant'' (PCode PCommittee)
type PInner PCommittee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PCommittee = DerivedPInner (DPTStrat PCommittee) PCommittee
type PVariant' PCommittee Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PVariant' PCommittee = All2 PVariant'' (PCode PCommittee)
type PTryFromExcess PData PCommittee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData PCommittee = PTryFromExcess PData (PInner PCommittee)
type PTryFromExcess PData (PAsData PCommittee) Source # 
Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PCommittee) = PTryFromExcess PData (PInner (PAsData PCommittee))
type Rep (PCommittee s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PCommittee s) = D1 ('MetaData "PCommittee" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PCommittee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["members" ':= PMap 'Unsorted PColdCommitteeCredential PInteger, "quorum" ':= PRationalData])))))

Crypto

Types

newtype PubKey Source #

Since: 2.0.0

Constructors

PubKey 

Fields

Instances

Instances details
Show PubKey Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3

Eq PubKey Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3

Ord PubKey Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3

newtype PPubKeyHash (s :: S) Source #

Since: 2.0.0

Constructors

PPubKeyHash (Term s (PDataNewtype PByteString)) 

Instances

Instances details
PEq PPubKeyHash Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

Methods

(#==) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool

PIsData PPubKeyHash Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PPubKeyHash) -> Term s PPubKeyHash

pdataImpl :: forall (s :: S). Term s PPubKeyHash -> Term s PData

PLiftable PPubKeyHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

Associated Types

type AsHaskell PPubKeyHash

type PlutusRepr PPubKeyHash

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

Methods

(#<=) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool

(#<) :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PBool

pmax :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PPubKeyHash

pmin :: forall (s :: S). Term s PPubKeyHash -> Term s PPubKeyHash -> Term s PPubKeyHash

DerivePlutusType PPubKeyHash Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

Associated Types

type DPTStrat PPubKeyHash

PlutusType PPubKeyHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

Associated Types

type PInner PPubKeyHash :: PType

type PCovariant' PPubKeyHash

type PContravariant' PPubKeyHash

type PVariant' PPubKeyHash

Methods

pcon' :: forall (s :: S). PPubKeyHash s -> Term s (PInner PPubKeyHash)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PPubKeyHash) -> (PPubKeyHash s -> Term s b) -> Term s b

PShow PPubKeyHash Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

Methods

pshow' :: forall (s :: S). Bool -> Term s PPubKeyHash -> Term s PString

PTryFrom PData PPubKeyHash Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

Associated Types

type PTryFromExcess PData PPubKeyHash :: PType

Methods

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

Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

Associated Types

type PTryFromExcess PData (PAsData PPubKeyHash) :: PType

Methods

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 # 
Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

Associated Types

type Rep (PPubKeyHash s) :: Type -> Type Source #

type AsHaskell PPubKeyHash Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

type AsHaskell PPubKeyHash = AsHaskell (DeriveDataPLiftable PPubKeyHash PubKeyHash)
type PlutusRepr PPubKeyHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

type PlutusRepr PPubKeyHash = PlutusRepr (DeriveDataPLiftable PPubKeyHash PubKeyHash)
type DPTStrat PPubKeyHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

type DPTStrat PPubKeyHash = PlutusTypeNewtype
type PContravariant' PPubKeyHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

type PContravariant' PPubKeyHash = All2 PContravariant'' (PCode PPubKeyHash)
type PCovariant' PPubKeyHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

type PCovariant' PPubKeyHash = All2 PCovariant'' (PCode PPubKeyHash)
type PInner PPubKeyHash Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

type PInner PPubKeyHash = DerivedPInner (DPTStrat PPubKeyHash) PPubKeyHash
type PVariant' PPubKeyHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

type PVariant' PPubKeyHash = All2 PVariant'' (PCode PPubKeyHash)
type PTryFromExcess PData PPubKeyHash Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

type PTryFromExcess PData PPubKeyHash = Mret PPubKeyHash
type PTryFromExcess PData (PAsData PPubKeyHash) Source # 
Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

type PTryFromExcess PData (PAsData PPubKeyHash) = Mret PPubKeyHash
type Rep (PPubKeyHash s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V1.Crypto

type Rep (PPubKeyHash s) = D1 ('MetaData "PPubKeyHash" "Plutarch.LedgerApi.V1.Crypto" "plutarch-ledger-api-3.2.1-HgekeaVvptXG7t3VlbmSV5" 'True) (C1 ('MetaCons "PPubKeyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataNewtype PByteString)))))

pubKeyHash :: PubKey -> PubKeyHash Source #

Since: 2.0.0

Utilities

Types

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

@since WIP

Constructors

PDJust (Term s (PAsData a)) 
PDNothing 

Instances

Instances details
PTryFrom PData a => PTryFrom PData (PAsData (PMaybeData a)) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Utils

Associated Types

type PTryFromExcess PData (PAsData (PMaybeData a)) :: PType

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Utils

Associated Types

type PTryFromExcess PData (PMaybeData a) :: PType

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Utils

Methods

(#==) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool

PIsData (PMaybeData a) Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.Utils

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData (PMaybeData a)) -> Term s (PMaybeData a)

pdataImpl :: forall (s :: S). Term s (PMaybeData a) -> Term s PData

(ToData (AsHaskell a), FromData (AsHaskell a)) => PLiftable (PMaybeData a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

Associated Types

type AsHaskell (PMaybeData a)

type PlutusRepr (PMaybeData a)

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Utils

Methods

(#<=) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool

(#<) :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s PBool

pmax :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s (PMaybeData a)

pmin :: forall (s :: S). Term s (PMaybeData a) -> Term s (PMaybeData a) -> Term s (PMaybeData a)

PlutusType (PMaybeData a) Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.Utils

Associated Types

type PInner (PMaybeData a) :: PType

type PCovariant' (PMaybeData a)

type PContravariant' (PMaybeData a)

type PVariant' (PMaybeData a)

Methods

pcon' :: forall (s :: S). PMaybeData a s -> Term s (PInner (PMaybeData a))

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PMaybeData a)) -> (PMaybeData a s -> Term s b) -> Term s b

(PIsData a, PShow a) => PShow (PMaybeData a) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Utils

Methods

pshow' :: forall (s :: S). Bool -> Term s (PMaybeData a) -> Term s PString

Generic (PMaybeData a s) Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

Associated Types

type Rep (PMaybeData a s) :: Type -> Type Source #

Methods

from :: PMaybeData a s -> Rep (PMaybeData a s) x Source #

to :: Rep (PMaybeData a s) x -> PMaybeData a s Source #

type PTryFromExcess PData (PAsData (PMaybeData a)) Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

type PTryFromExcess PData (PAsData (PMaybeData a)) = PTryFromExcess PData (PInner (PAsData (PMaybeData a)))
type PTryFromExcess PData (PMaybeData a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

type PTryFromExcess PData (PMaybeData a) = PTryFromExcess PData (PInner (PMaybeData a))
type AsHaskell (PMaybeData a) Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.Utils

type AsHaskell (PMaybeData a) = AsHaskell (DeriveDataPLiftable (PMaybeData a) (Maybe (AsHaskell a)))
type PlutusRepr (PMaybeData a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

type PlutusRepr (PMaybeData a) = PlutusRepr (DeriveDataPLiftable (PMaybeData a) (Maybe (AsHaskell a)))
type PContravariant' (PMaybeData a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

type PContravariant' (PMaybeData a) = All2 PContravariant'' (PCode (PMaybeData a))
type PCovariant' (PMaybeData a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

type PCovariant' (PMaybeData a) = All2 PCovariant'' (PCode (PMaybeData a))
type PInner (PMaybeData a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

type PInner (PMaybeData a) = PData
type PVariant' (PMaybeData a) Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

type PVariant' (PMaybeData a) = All2 PVariant'' (PCode (PMaybeData a))
type Rep (PMaybeData a s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.Utils

type Rep (PMaybeData a s) = D1 ('MetaData "PMaybeData" "Plutarch.LedgerApi.Utils" "plutarch-ledger-api-3.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

Constructors

PRationalData (Term s (PDataRecord '["numerator" ':= PInteger, "denominator" ':= PPositive])) 

Instances

Instances details
PDataFields PRationalData Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

Associated Types

type PFields PRationalData :: [PLabeledType]

Methods

ptoFields :: forall (s :: S). Term s PRationalData -> Term s (PDataRecord (PFields PRationalData))

PEq PRationalData Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Utils

Methods

(#==) :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PBool

PIsData PRationalData Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Utils

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PRationalData) -> Term s PRationalData

pdataImpl :: forall (s :: S). Term s PRationalData -> Term s PData

PLiftable PRationalData Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

Associated Types

type AsHaskell PRationalData

type PlutusRepr PRationalData

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Utils

Methods

(#<=) :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PBool

(#<) :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PBool

pmax :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PRationalData

pmin :: forall (s :: S). Term s PRationalData -> Term s PRationalData -> Term s PRationalData

DerivePlutusType PRationalData Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Utils

Associated Types

type DPTStrat PRationalData

PlutusType PRationalData Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

Associated Types

type PInner PRationalData :: PType

type PCovariant' PRationalData

type PContravariant' PRationalData

type PVariant' PRationalData

Methods

pcon' :: forall (s :: S). PRationalData s -> Term s (PInner PRationalData)

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PRationalData) -> (PRationalData s -> Term s b) -> Term s b

PShow PRationalData Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Utils

Methods

pshow' :: forall (s :: S). Bool -> Term s PRationalData -> Term s PString

PTryFrom PData PRationalData Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Utils

Associated Types

type PTryFromExcess PData PRationalData :: PType

Methods

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

Instance details

Defined in Plutarch.LedgerApi.Utils

Associated Types

type PTryFromExcess PData (PAsData PRationalData) :: PType

Methods

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 # 
Instance details

Defined in Plutarch.LedgerApi.Utils

Associated Types

type Rep (PRationalData s) :: Type -> Type Source #

type PFields PRationalData Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Utils

type PFields PRationalData = Helper (PInner PRationalData)
type AsHaskell PRationalData Source #

@since WIP

Instance details

Defined in Plutarch.LedgerApi.Utils

type AsHaskell PRationalData = AsHaskell (DeriveDataPLiftable PRationalData Rational)
type PlutusRepr PRationalData Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

type PlutusRepr PRationalData = PlutusRepr (DeriveDataPLiftable PRationalData Rational)
type DPTStrat PRationalData Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

type DPTStrat PRationalData = PlutusTypeData
type PContravariant' PRationalData Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

type PContravariant' PRationalData = All2 PContravariant'' (PCode PRationalData)
type PCovariant' PRationalData Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

type PCovariant' PRationalData = All2 PCovariant'' (PCode PRationalData)
type PInner PRationalData Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Utils

type PInner PRationalData = DerivedPInner (DPTStrat PRationalData) PRationalData
type PVariant' PRationalData Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

type PVariant' PRationalData = All2 PVariant'' (PCode PRationalData)
type PTryFromExcess PData PRationalData Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

type PTryFromExcess PData PRationalData = Mret PPositive
type PTryFromExcess PData (PAsData PRationalData) Source # 
Instance details

Defined in Plutarch.LedgerApi.Utils

type PTryFromExcess PData (PAsData PRationalData) = Mret PPositive
type Rep (PRationalData s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.Utils

type Rep (PRationalData s) = D1 ('MetaData "PRationalData" "Plutarch.LedgerApi.Utils" "plutarch-ledger-api-3.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 #

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

Since: 2.1.1

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

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

Since: 2.1.1

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

Special version of pmaybe that works with PMaybeData.

Since: 2.1.1

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

Construct a PDJust value.

Since: 2.1.1

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

Construct a PDNothing value.

Since: 2.1.1

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

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

Since: 2.1.1

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

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

Since: 2.1.1

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

Since: 3.1.0