@harmoniclabs/plu-ts-onchain
Version:
An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript
607 lines • 126 kB
TypeScript
export declare const PScriptInfo: import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
Minting: {
currencySym: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
Spending: {
utxoRef: import("../../../../type_system/types.js").StructT<{
PTxOutRef: {
id: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
index: [import("../../../../type_system/types.js").PrimType.Int];
};
}, import("../../../../type_system/types.js").Methods>;
datum: import("../../../../type_system/types.js").StructT<{
Just: {
val: [import("../../../../type_system/types.js").PrimType.Data];
};
Nothing: {};
}, {
unwrap: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../../type_system/types.js").PrimType.Data];
};
Nothing: {};
}, {}>, import("../../../../index.js").PData>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../../type_system/types.js").PrimType.Data];
};
Nothing: {};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PData>;
};
default: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../../type_system/types.js").PrimType.Data];
};
Nothing: {};
}, {}>, import("../../../../index.js").PLam<import("../../../../index.js").PData, import("../../../../index.js").PData>>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../../type_system/types.js").PrimType.Data];
};
Nothing: {};
}, {}>>) => import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../index.js").PData, import("../../../../index.js").PData>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../index.js").PData>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PData>;
};
};
}>;
};
Rewarding: {
stakeCredential: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PByteString>;
};
}>;
};
Certifying: {
index: [import("../../../../type_system/types.js").PrimType.Int];
cert: import("../../../../type_system/types.js").StructT<{
StakeRegistration: {
stakeKey: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PByteString>;
};
}>;
deposit: import("../../../../type_system/types.js").StructT<{
Just: {
val: [import("../../../../type_system/types.js").PrimType.Int];
};
Nothing: {};
}, {
unwrap: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../../type_system/types.js").PrimType.Int];
};
Nothing: {};
}, {}>, import("../../../../index.js").PInt>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../../type_system/types.js").PrimType.Int];
};
Nothing: {};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PInt>;
};
default: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../../type_system/types.js").PrimType.Int];
};
Nothing: {};
}, {}>, import("../../../../index.js").PLam<import("../../../../index.js").PInt, import("../../../../index.js").PInt>>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../../type_system/types.js").PrimType.Int];
};
Nothing: {};
}, {}>>) => import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../index.js").PInt, import("../../../../index.js").PInt>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../index.js").PInt>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PInt>;
};
};
}>;
};
StakeDeRegistration: {
stakeKey: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PByteString>;
};
}>;
refound: import("../../../../type_system/types.js").StructT<{
Just: {
val: [import("../../../../type_system/types.js").PrimType.Int];
};
Nothing: {};
}, {
unwrap: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../../type_system/types.js").PrimType.Int];
};
Nothing: {};
}, {}>, import("../../../../index.js").PInt>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../../type_system/types.js").PrimType.Int];
};
Nothing: {};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PInt>;
};
default: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../../type_system/types.js").PrimType.Int];
};
Nothing: {};
}, {}>, import("../../../../index.js").PLam<import("../../../../index.js").PInt, import("../../../../index.js").PInt>>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../../type_system/types.js").PrimType.Int];
};
Nothing: {};
}, {}>>) => import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../index.js").PInt, import("../../../../index.js").PInt>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../index.js").PInt>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PInt>;
};
};
}>;
};
Delegation: {
delegator: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PByteString>;
};
}>;
delegatee: import("../../../../type_system/types.js").StructT<{
DelegStake: {
poolId: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
DelegVote: {
drep: import("../../../../type_system/types.js").StructT<{
DRep: {
credentials: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PByteString>;
};
}>;
};
AlwaysAbstain: {};
AlwaysNoConfidence: {};
}, import("../../../../type_system/types.js").Methods>;
};
DelegStakeVote: {
poolId: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
drep: import("../../../../type_system/types.js").StructT<{
DRep: {
credentials: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PByteString>;
};
}>;
};
AlwaysAbstain: {};
AlwaysNoConfidence: {};
}, import("../../../../type_system/types.js").Methods>;
};
}, import("../../../../type_system/types.js").Methods>;
};
RegistrationAndDelegation: {
delegator: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PByteString>;
};
}>;
delegatee: import("../../../../type_system/types.js").StructT<{
DelegStake: {
poolId: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
DelegVote: {
drep: import("../../../../type_system/types.js").StructT<{
DRep: {
credentials: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PByteString>;
};
}>;
};
AlwaysAbstain: {};
AlwaysNoConfidence: {};
}, import("../../../../type_system/types.js").Methods>;
};
DelegStakeVote: {
poolId: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
drep: import("../../../../type_system/types.js").StructT<{
DRep: {
credentials: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PByteString>;
};
}>;
};
AlwaysAbstain: {};
AlwaysNoConfidence: {};
}, import("../../../../type_system/types.js").Methods>;
};
}, import("../../../../type_system/types.js").Methods>;
lovelacesDeposit: [import("../../../../type_system/types.js").PrimType.Int];
};
DRepRegistration: {
drep: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PByteString>;
};
}>;
lovelacesDeposit: [import("../../../../type_system/types.js").PrimType.Int];
};
DRepUpdate: {
drep: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PByteString>;
};
}>;
};
DRepDeRegistration: {
drep: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PByteString>;
};
}>;
refound: [import("../../../../type_system/types.js").PrimType.Int];
};
PoolRegistration: {
poolId: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
poolVFR: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PoolRetire: {
poolId: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
epoch: [import("../../../../type_system/types.js").PrimType.Int];
};
CommitteeHotAuthorization: {
cold: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PByteString>;
};
}>;
hot: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PByteString>;
};
}>;
};
CommitteeResignation: {
cold: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>>) => import("../../../../index.js").UtilityTermOf<import("../../../../index.js").PByteString>;
};
}>;
};
}, import("../../../../type_system/types.js").Methods>;
};
Voting: {
voter: import("../../../../type_system/types.js").StructT<{
Committee: {
hotCredentials: import("../../../../type_system/types.js").StructT<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {
hash: import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../PTypes/PStruct/pstruct.js").PStruct<{
PPubKeyCredential: {
pkh: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
PScriptCredential: {
valHash: [import("../../../../type_system/types.js").PrimType.Alias, [import("../../../../type_system/types.js").PrimType.BS], import("../../../../type_system/types.js").Methods];
};
}, {}>, import("../../../../index.js").PByteString>> & {
$: (input: import("../../../../index.js").PappArg<import("../../../../PTypes/PStruct/pstruct.js").PSt