@harmoniclabs/plu-ts-onchain
Version:
An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript
761 lines • 60.2 kB
TypeScript
export declare const PRational: import("../../../PTypes/PStruct/pstruct.js").PStruct<{
PRational: {
numerator: [import("../../../type_system/types.js").PrimType.Int];
denominator: [import("../../../type_system/types.js").PrimType.Int];
};
}, import("../../../type_system/types.js").Methods>;
export declare const PConstitution: import("../../../PTypes/PStruct/pstruct.js").PStruct<{
PConstitution: {
constitutionScriptHash: import("../../../type_system/types.js").StructT<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {
unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
};
default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>, import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
};
};
}>;
};
}, import("../../../type_system/types.js").Methods>;
export declare const PGovernanceAction: import("../../../PTypes/PStruct/pstruct.js").PStruct<{
ParameterChange: {
govActionId: import("../../../type_system/types.js").StructT<{
Just: {
val: 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>;
};
Nothing: {};
}, {
unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>;
};
default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>, import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>;
};
};
}>;
changedParameters: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.List, [import("../../../type_system/types.js").PrimType.Pair, [import("../../../type_system/types.js").PrimType.Data], [import("../../../type_system/types.js").PrimType.Data]]], import("../../../type_system/types.js").Methods];
constitutionScriptHash: import("../../../type_system/types.js").StructT<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {
unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
};
default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>, import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
};
};
}>;
};
HardForkInitiation: {
govActionId: import("../../../type_system/types.js").StructT<{
Just: {
val: 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>;
};
Nothing: {};
}, {
unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>;
};
default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>, import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>;
};
};
}>;
nextProtocolVersion: import("../../../type_system/types.js").StructT<{
PProtocolVersion: {
major: [import("../../../type_system/types.js").PrimType.Int];
minor: [import("../../../type_system/types.js").PrimType.Int];
};
}, import("../../../type_system/types.js").Methods>;
};
TreasuryWithdrawals: {
withdrawals: [import("../../../type_system/types.js").PrimType.List, [import("../../../type_system/types.js").PrimType.Pair, 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("../../../lib/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("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PByteString>;
};
}>, [import("../../../type_system/types.js").PrimType.Int]]];
constitutionScriptHash: import("../../../type_system/types.js").StructT<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {
unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
};
default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>, import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
};
};
}>;
};
NoConfidence: {
govActionId: import("../../../type_system/types.js").StructT<{
Just: {
val: 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>;
};
Nothing: {};
}, {
unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>;
};
default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>, import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>;
};
};
}>;
};
UpdateCommittee: {
govActionId: import("../../../type_system/types.js").StructT<{
Just: {
val: 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>;
};
Nothing: {};
}, {
unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>;
};
default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>, import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>;
};
};
}>;
removedMembers: [import("../../../type_system/types.js").PrimType.List, 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("../../../lib/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("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PByteString>;
};
}>];
newMembers: [import("../../../type_system/types.js").PrimType.List, [import("../../../type_system/types.js").PrimType.Pair, 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("../../../lib/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("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PByteString>;
};
}>, [import("../../../type_system/types.js").PrimType.Int]]];
newQuorum: import("../../../type_system/types.js").StructT<{
PRational: {
numerator: [import("../../../type_system/types.js").PrimType.Int];
denominator: [import("../../../type_system/types.js").PrimType.Int];
};
}, import("../../../type_system/types.js").Methods>;
};
NewConstitution: {
govActionId: import("../../../type_system/types.js").StructT<{
Just: {
val: 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>;
};
Nothing: {};
}, {
unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>;
};
default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>, import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: 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>;
};
Nothing: {};
}, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
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>>;
};
};
}>;
consitution: import("../../../type_system/types.js").StructT<{
PConstitution: {
constitutionScriptHash: import("../../../type_system/types.js").StructT<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {
unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
};
default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>, import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
Just: {
val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
};
Nothing: {};
}, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
$: (input: import("../../../lib/index.js").PappArg<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
};
};
}>;
};
}, import("../../../type_system/types.js").Methods>;
};
InfoAction: {};
}, import("../../../type_system/types.js").Methods>;