Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Api.V1.Tx

Contents

Orphan instances

Synopsis

newtype PTxOutRef (s :: S) = PTxOutRef (Term s (PDataRecord '["id" := PTxId, "idx" := PInteger]))
newtype PTxOut (s :: S) = PTxOut (Term s (PDataRecord '["address" := PAddress, "value" := PValue 'Sorted 'Positive, "datumHash" := PMaybeData PDatumHash]))
newtype PTxId (s :: S) = PTxId (Term s (PDataRecord '["_0" := PByteString]))
newtype PTxInInfo (s :: S) = PTxInInfo (Term s (PDataRecord '["outRef" := PTxOutRef, "resolved" := PTxOut]))

Documentation

newtype PTxOutRef (s :: S) Source #

Reference to a transaction output with a index referencing which of the outputs is being referred to.

Constructors

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

Instances

Instances details

PEq PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#==) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool Source #
POrd PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx
PPartialOrd PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#<=) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool Source # (#<) :: forall (s :: S). Term s PTxOutRef -> Term s PTxOutRef -> Term s PBool Source #
PIsData PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxOutRef) -> Term s PTxOutRef Source # pdataImpl :: forall (s :: S). Term s PTxOutRef -> Term s PData Source #
PDataFields PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PFields PTxOutRef :: [PLabeledType] Source # Methods ptoFields :: forall (s :: S). Term s PTxOutRef -> Term s (PDataRecord (PFields PTxOutRef)) Source #
DerivePlutusType PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type DPTStrat PTxOutRef Source #
PlutusType PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PInner PTxOutRef :: PType Source # type PCovariant' PTxOutRef Source # type PContravariant' PTxOutRef Source # type PVariant' PTxOutRef Source # Methods pcon' :: forall (s :: S). PTxOutRef s -> Term s (PInner PTxOutRef) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxOutRef) -> (PTxOutRef s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PLifted PTxOutRef = (r :: Type) Source #
PShow PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxOutRef -> Term s PString Source #
PTryFrom PData PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PTryFromExcess PData PTxOutRef :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PTxOutRef, Reduce (PTryFromExcess PData PTxOutRef s)) -> Term s r) -> Term s r Source #
PTryFrom PData (PAsData PTxOutRef) Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PTryFromExcess PData (PAsData PTxOutRef) :: PType Source # 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 Source #
Generic (PTxOutRef s) Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type Rep (PTxOutRef s) :: Type -> Type Source # Methods from :: PTxOutRef s -> Rep (PTxOutRef s) x Source # to :: Rep (PTxOutRef s) x -> PTxOutRef s Source #
type PFields PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type PFields PTxOutRef
type DPTStrat PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type DPTStrat PTxOutRef = PlutusTypeData
type PContravariant' PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type PContravariant' PTxOutRef
type PCovariant' PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type PCovariant' PTxOutRef
type PInner PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type PInner PTxOutRef = DerivedPInner (DPTStrat PTxOutRef) PTxOutRef
type PVariant' PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type PVariant' PTxOutRef
type PLifted PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type PLifted PTxOutRef = TxOutRef
type PTryFromExcess PData PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx type PTryFromExcess PData PTxOutRef = PTryFromExcess PData (PInner PTxOutRef)
type PTryFromExcess PData (PAsData PTxOutRef) Source #
Instance details Defined in Plutarch.Api.V1.Tx type PTryFromExcess PData (PAsData PTxOutRef) = PTryFromExcess PData (PInner (PAsData PTxOutRef))
type Rep (PTxOutRef s) Source #
Instance details Defined in Plutarch.Api.V1.Tx type Rep (PTxOutRef s) = D1 ('MetaData "PTxOutRef" "Plutarch.Api.V1.Tx" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" '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 #

A transaction output. This consists of a target address, value and maybe a datum hash

Constructors

PTxOut (Term s (PDataRecord '["address" := PAddress, "value" := PValue 'Sorted 'Positive, "datumHash" := PMaybeData PDatumHash]))

Instances

Instances details

PEq PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#==) :: forall (s :: S). Term s PTxOut -> Term s PTxOut -> Term s PBool Source #
PIsData PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxOut) -> Term s PTxOut Source # pdataImpl :: forall (s :: S). Term s PTxOut -> Term s PData Source #
PDataFields PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PFields PTxOut :: [PLabeledType] Source # Methods ptoFields :: forall (s :: S). Term s PTxOut -> Term s (PDataRecord (PFields PTxOut)) Source #
DerivePlutusType PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type DPTStrat PTxOut Source #
PlutusType PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PInner PTxOut :: PType Source # type PCovariant' PTxOut Source # type PContravariant' PTxOut Source # type PVariant' PTxOut Source # Methods pcon' :: forall (s :: S). PTxOut s -> Term s (PInner PTxOut) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxOut) -> (PTxOut s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PLifted PTxOut = (r :: Type) Source #
PShow PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxOut -> Term s PString Source #
Generic (PTxOut s) Source #
Instance details Defined in Plutarch.Api.V1.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 #
Instance details Defined in Plutarch.Api.V1.Tx type PFields PTxOut
type DPTStrat PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx type DPTStrat PTxOut = PlutusTypeData
type PContravariant' PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx type PContravariant' PTxOut
type PCovariant' PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx type PCovariant' PTxOut
type PInner PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx type PInner PTxOut = DerivedPInner (DPTStrat PTxOut) PTxOut
type PVariant' PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx type PVariant' PTxOut
type PLifted PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx type PLifted PTxOut = TxOut
type Rep (PTxOut s) Source #
Instance details Defined in Plutarch.Api.V1.Tx type Rep (PTxOut s) = D1 ('MetaData "PTxOut" "Plutarch.Api.V1.Tx" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["address" := PAddress, "value" := PValue 'Sorted 'Positive, "datumHash" := PMaybeData PDatumHash])))))

newtype PTxId (s :: S) Source #

Constructors

PTxId (Term s (PDataRecord '["_0" := PByteString]))

Instances

Instances details

PEq PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#==) :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PBool Source #
POrd PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx
PPartialOrd PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#<=) :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PBool Source # (#<) :: forall (s :: S). Term s PTxId -> Term s PTxId -> Term s PBool Source #
PIsData PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxId) -> Term s PTxId Source # pdataImpl :: forall (s :: S). Term s PTxId -> Term s PData Source #
PDataFields PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PFields PTxId :: [PLabeledType] Source # Methods ptoFields :: forall (s :: S). Term s PTxId -> Term s (PDataRecord (PFields PTxId)) Source #
DerivePlutusType PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type DPTStrat PTxId Source #
PlutusType PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PInner PTxId :: PType Source # type PCovariant' PTxId Source # type PContravariant' PTxId Source # type PVariant' PTxId Source # Methods pcon' :: forall (s :: S). PTxId s -> Term s (PInner PTxId) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxId) -> (PTxId s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PLifted PTxId = (r :: Type) Source #
PShow PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxId -> Term s PString Source #
PTryFrom PData PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PTryFromExcess PData PTxId :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s PTxId, Reduce (PTryFromExcess PData PTxId s)) -> Term s r) -> Term s r Source #
PTryFrom PData (PAsData PTxId) Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PTryFromExcess PData (PAsData PTxId) :: PType Source # 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 Source #
Generic (PTxId s) Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type Rep (PTxId s) :: Type -> Type Source # Methods from :: PTxId s -> Rep (PTxId s) x Source # to :: Rep (PTxId s) x -> PTxId s Source #
type PFields PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type PFields PTxId
type DPTStrat PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type DPTStrat PTxId = PlutusTypeData
type PContravariant' PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type PContravariant' PTxId
type PCovariant' PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type PCovariant' PTxId
type PInner PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type PInner PTxId = DerivedPInner (DPTStrat PTxId) PTxId
type PVariant' PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type PVariant' PTxId
type PLifted PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type PLifted PTxId = TxId
type PTryFromExcess PData PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx type PTryFromExcess PData PTxId
type PTryFromExcess PData (PAsData PTxId) Source #
Instance details Defined in Plutarch.Api.V1.Tx type PTryFromExcess PData (PAsData PTxId)
type Rep (PTxId s) Source #
Instance details Defined in Plutarch.Api.V1.Tx type Rep (PTxId s) = D1 ('MetaData "PTxId" "Plutarch.Api.V1.Tx" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PTxId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PByteString])))))

newtype PTxInInfo (s :: S) Source #

A input of the pending transaction.

Constructors

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

Instances

Instances details

PEq PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods (#==) :: forall (s :: S). Term s PTxInInfo -> Term s PTxInInfo -> Term s PBool Source #
PIsData PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInInfo) -> Term s PTxInInfo Source # pdataImpl :: forall (s :: S). Term s PTxInInfo -> Term s PData Source #
PDataFields PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PFields PTxInInfo :: [PLabeledType] Source # Methods ptoFields :: forall (s :: S). Term s PTxInInfo -> Term s (PDataRecord (PFields PTxInInfo)) Source #
DerivePlutusType PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type DPTStrat PTxInInfo Source #
PlutusType PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PInner PTxInInfo :: PType Source # type PCovariant' PTxInInfo Source # type PContravariant' PTxInInfo Source # type PVariant' PTxInInfo Source # Methods pcon' :: forall (s :: S). PTxInInfo s -> Term s (PInner PTxInInfo) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTxInInfo) -> (PTxInInfo s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Associated Types type PLifted PTxInInfo = (r :: Type) Source #
PShow PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxInInfo -> Term s PString Source #
Generic (PTxInInfo s) Source #
Instance details Defined in Plutarch.Api.V1.Tx 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 #
Instance details Defined in Plutarch.Api.V1.Tx type PFields PTxInInfo
type DPTStrat PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx type DPTStrat PTxInInfo = PlutusTypeData
type PContravariant' PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx type PContravariant' PTxInInfo
type PCovariant' PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx type PCovariant' PTxInInfo
type PInner PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx type PInner PTxInInfo = DerivedPInner (DPTStrat PTxInInfo) PTxInInfo
type PVariant' PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx type PVariant' PTxInInfo
type PLifted PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx type PLifted PTxInInfo = TxInInfo
type Rep (PTxInInfo s) Source #
Instance details Defined in Plutarch.Api.V1.Tx type Rep (PTxInInfo s) = D1 ('MetaData "PTxInInfo" "Plutarch.Api.V1.Tx" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PTxInInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["outRef" := PTxOutRef, "resolved" := PTxOut])))))

Orphan instances

PConstantDecl TxInInfo Source #
Instance details Associated Types type PConstantRepr TxInInfo Source # type PConstanted TxInInfo :: PType Source # Methods pconstantToRepr :: TxInInfo -> PConstantRepr TxInInfo Source # pconstantFromRepr :: PConstantRepr TxInInfo -> Maybe TxInInfo Source #
PConstantDecl TxId Source #
Instance details Associated Types type PConstantRepr TxId Source # type PConstanted TxId :: PType Source # Methods pconstantToRepr :: TxId -> PConstantRepr TxId Source # pconstantFromRepr :: PConstantRepr TxId -> Maybe TxId Source #
PConstantDecl TxOut Source #
Instance details Associated Types type PConstantRepr TxOut Source # type PConstanted TxOut :: PType Source # Methods pconstantToRepr :: TxOut -> PConstantRepr TxOut Source # pconstantFromRepr :: PConstantRepr TxOut -> Maybe TxOut Source #
PConstantDecl TxOutRef Source #
Instance details Associated Types type PConstantRepr TxOutRef Source # type PConstanted TxOutRef :: PType Source # Methods pconstantToRepr :: TxOutRef -> PConstantRepr TxOutRef Source # pconstantFromRepr :: PConstantRepr TxOutRef -> Maybe TxOutRef Source #