From 3343aa1009790719d68d664a7402d1944a0d0865 Mon Sep 17 00:00:00 2001 From: huianyang Date: Tue, 28 May 2024 10:06:21 -0700 Subject: [PATCH 1/2] feat: adding new protocol hash PtParisBxoLz5gzMmn3d9WBQNoPSZakgnkMC2VNuQ3KXfUtUQeZ --- .../taquito-local-forging/src/protocols.ts | 2 + .../src/michelson-types.ts | 163 +++++++++--------- packages/taquito/src/constants.ts | 1 + 3 files changed, 87 insertions(+), 79 deletions(-) diff --git a/packages/taquito-local-forging/src/protocols.ts b/packages/taquito-local-forging/src/protocols.ts index 0c1617c236..57ef667405 100644 --- a/packages/taquito-local-forging/src/protocols.ts +++ b/packages/taquito-local-forging/src/protocols.ts @@ -17,6 +17,7 @@ export enum ProtocolsHash { PtNairobi = 'PtNairobiyssHuh87hEhfVBGCVrK3WnS8Z2FT4ymB5tAa4r1nQf', ProxfordY = 'ProxfordYmVfjWnRcgjWH36fW6PArwqykTFzotUxRs6gmTcZDuH', PtParisBQ = 'PtParisBQscdCm6Cfow6ndeU6wKJyA3aV1j4D3gQBQMsTQyJCrz', + PtParisBx = 'PtParisBxoLz5gzMmn3d9WBQNoPSZakgnkMC2VNuQ3KXfUtUQeZ', ProtoALpha = 'ProtoALphaALphaALphaALphaALphaALphaALphaALphaDdp3zK', } @@ -39,6 +40,7 @@ const protoLevel: Record = { PtNairobiyssHuh87hEhfVBGCVrK3WnS8Z2FT4ymB5tAa4r1nQf: 17, ProxfordYmVfjWnRcgjWH36fW6PArwqykTFzotUxRs6gmTcZDuH: 19, PtParisBQscdCm6Cfow6ndeU6wKJyA3aV1j4D3gQBQMsTQyJCrz: 20, + PtParisBxoLz5gzMmn3d9WBQNoPSZakgnkMC2VNuQ3KXfUtUQeZ: 20, ProtoALphaALphaALphaALphaALphaALphaALphaALphaDdp3zK: 21, }; diff --git a/packages/taquito-michel-codec/src/michelson-types.ts b/packages/taquito-michel-codec/src/michelson-types.ts index c7d4f252b2..e2aae08b6a 100644 --- a/packages/taquito-michel-codec/src/michelson-types.ts +++ b/packages/taquito-michel-codec/src/michelson-types.ts @@ -128,7 +128,7 @@ type Instr0 = Prim0; type InstrX = PrimX; export type MichelsonCode = InstructionList | MichelsonInstruction; -export interface InstructionList extends List { } +export interface InstructionList extends List {} export type MichelsonNoArgInstruction = Instr0; export type MichelsonInstruction = @@ -224,87 +224,87 @@ export type MichelsonTypeChest = Type0<'chest'>; type TypeList = T & Node; export type MichelsonTypePair = TypeX<'pair', T> | TypeList; -export interface MichelsonTypeOption extends TypeX<'option', [T]> { } -export interface MichelsonTypeList extends TypeX<'list', [T]> { } -export interface MichelsonTypeContract extends TypeX<'contract', [T]> { } -export interface MichelsonTypeOr extends TypeX<'or', T> { } +export interface MichelsonTypeOption extends TypeX<'option', [T]> {} +export interface MichelsonTypeList extends TypeX<'list', [T]> {} +export interface MichelsonTypeContract extends TypeX<'contract', [T]> {} +export interface MichelsonTypeOr extends TypeX<'or', T> {} export interface MichelsonTypeLambda - extends TypeX<'lambda', [Arg, Ret]> { } + extends TypeX<'lambda', [Arg, Ret]> {} -export interface MichelsonTypeSet extends TypeX<'set', [T]> { } +export interface MichelsonTypeSet extends TypeX<'set', [T]> {} export interface MichelsonTypeMap - extends TypeX<'map', [K, V]> { } + extends TypeX<'map', [K, V]> {} export interface MichelsonTypeBigMap - extends TypeX<'big_map', [K, V]> { } + extends TypeX<'big_map', [K, V]> {} export interface MichelsonTypeSaplingState - extends TypeX<'sapling_state', [IntLiteral]> { } + extends TypeX<'sapling_state', [IntLiteral]> {} export interface MichelsonTypeSaplingTransaction - extends TypeX<'sapling_transaction', [IntLiteral]> { } -export interface MichelsonTypeTicket extends TypeX<'ticket', [T]> { } + extends TypeX<'sapling_transaction', [IntLiteral]> {} +export interface MichelsonTypeTicket extends TypeX<'ticket', [T]> {} export type MichelsonType = T extends 'int' ? MichelsonTypeInt : T extends 'nat' - ? MichelsonTypeNat - : T extends 'string' - ? MichelsonTypeString - : T extends 'bytes' - ? MichelsonTypeBytes - : T extends 'mutez' - ? MichelsonTypeMutez - : T extends 'bool' - ? MichelsonTypeBool - : T extends 'key_hash' - ? MichelsonTypeKeyHash - : T extends 'timestamp' - ? MichelsonTypeTimestamp - : T extends 'address' - ? MichelsonTypeAddress - : T extends 'key' - ? MichelsonTypeKey - : T extends 'unit' - ? MichelsonTypeUnit - : T extends 'signature' - ? MichelsonTypeSignature - : T extends 'operation' - ? MichelsonTypeOperation - : T extends 'chain_id' - ? MichelsonTypeChainID - : T extends 'option' - ? MichelsonTypeOption - : T extends 'list' - ? MichelsonTypeList - : T extends 'contract' - ? MichelsonTypeContract - : T extends 'ticket' - ? MichelsonTypeTicket - : T extends 'pair' - ? MichelsonTypePair - : T extends 'or' - ? MichelsonTypeOr<[MichelsonType, MichelsonType]> - : T extends 'lambda' - ? MichelsonTypeLambda - : T extends 'set' - ? MichelsonTypeSet - : T extends 'map' - ? MichelsonTypeMap - : T extends 'big_map' - ? MichelsonTypeBigMap - : T extends 'never' - ? MichelsonTypeNever - : T extends 'bls12_381_g1' - ? MichelsonTypeBLS12_381_G1 - : T extends 'bls12_381_g2' - ? MichelsonTypeBLS12_381_G2 - : T extends 'bls12_381_fr' - ? MichelsonTypeBLS12_381_FR - : T extends 'sapling_transaction' - ? MichelsonTypeSaplingTransaction - : T extends 'sapling_state' - ? MichelsonTypeSaplingState - : T extends 'chest_key' - ? MichelsonTypeChestKey - : MichelsonTypeChest; + ? MichelsonTypeNat + : T extends 'string' + ? MichelsonTypeString + : T extends 'bytes' + ? MichelsonTypeBytes + : T extends 'mutez' + ? MichelsonTypeMutez + : T extends 'bool' + ? MichelsonTypeBool + : T extends 'key_hash' + ? MichelsonTypeKeyHash + : T extends 'timestamp' + ? MichelsonTypeTimestamp + : T extends 'address' + ? MichelsonTypeAddress + : T extends 'key' + ? MichelsonTypeKey + : T extends 'unit' + ? MichelsonTypeUnit + : T extends 'signature' + ? MichelsonTypeSignature + : T extends 'operation' + ? MichelsonTypeOperation + : T extends 'chain_id' + ? MichelsonTypeChainID + : T extends 'option' + ? MichelsonTypeOption + : T extends 'list' + ? MichelsonTypeList + : T extends 'contract' + ? MichelsonTypeContract + : T extends 'ticket' + ? MichelsonTypeTicket + : T extends 'pair' + ? MichelsonTypePair + : T extends 'or' + ? MichelsonTypeOr<[MichelsonType, MichelsonType]> + : T extends 'lambda' + ? MichelsonTypeLambda + : T extends 'set' + ? MichelsonTypeSet + : T extends 'map' + ? MichelsonTypeMap + : T extends 'big_map' + ? MichelsonTypeBigMap + : T extends 'never' + ? MichelsonTypeNever + : T extends 'bls12_381_g1' + ? MichelsonTypeBLS12_381_G1 + : T extends 'bls12_381_g2' + ? MichelsonTypeBLS12_381_G2 + : T extends 'bls12_381_fr' + ? MichelsonTypeBLS12_381_FR + : T extends 'sapling_transaction' + ? MichelsonTypeSaplingTransaction + : T extends 'sapling_state' + ? MichelsonTypeSaplingState + : T extends 'chest_key' + ? MichelsonTypeChestKey + : MichelsonTypeChest; // Data @@ -330,7 +330,10 @@ export type MichelsonDataPair = DataX<'Pair', T> | Da export type MichelsonMapElt = PrimX<'Elt', [MichelsonData, MichelsonData]>; export type MichelsonMapEltList = List; export type MichelsonLambdaRec = DataX<'Lambda_rec', [InstructionList]>; -export type MichelsonTicket = PrimX<'Ticket', [StringLiteral | BytesLiteral, MichelsonType, MichelsonData, IntLiteral]>; +export type MichelsonTicket = PrimX< + 'Ticket', + [StringLiteral | BytesLiteral, MichelsonType, MichelsonData, IntLiteral] +>; export type MichelsonData = | IntLiteral @@ -363,12 +366,12 @@ export type MichelsonContract = MichelsonContractSection[]; export type MichelsonContractSection = T extends 'parameter' - ? MichelsonContractParameter - : T extends 'storage' - ? MichelsonContractStorage - : T extends 'view' - ? MichelsonContractView - : MichelsonContractCode; + ? MichelsonContractParameter + : T extends 'storage' + ? MichelsonContractStorage + : T extends 'view' + ? MichelsonContractView + : MichelsonContractCode; // Code analysis types export interface MichelsonTypeFailed { @@ -405,6 +408,7 @@ export enum Protocol { PtNairobi = 'PtNairobiyssHuh87hEhfVBGCVrK3WnS8Z2FT4ymB5tAa4r1nQf', ProxfordY = 'ProxfordYmVfjWnRcgjWH36fW6PArwqykTFzotUxRs6gmTcZDuH', PtParisBQ = 'PtParisBQscdCm6Cfow6ndeU6wKJyA3aV1j4D3gQBQMsTQyJCrz', + PtParisBx = 'PtParisBxoLz5gzMmn3d9WBQNoPSZakgnkMC2VNuQ3KXfUtUQeZ', ProtoALpha = 'ProtoALphaALphaALphaALphaALphaALphaALphaALphaDdp3zK', // temporary protocol hash } @@ -439,6 +443,7 @@ const protoLevel: Record = { PtNairobiyssHuh87hEhfVBGCVrK3WnS8Z2FT4ymB5tAa4r1nQf: 17, ProxfordYmVfjWnRcgjWH36fW6PArwqykTFzotUxRs6gmTcZDuH: 19, PtParisBQscdCm6Cfow6ndeU6wKJyA3aV1j4D3gQBQMsTQyJCrz: 20, + PtParisBxoLz5gzMmn3d9WBQNoPSZakgnkMC2VNuQ3KXfUtUQeZ: 20, ProtoALphaALphaALphaALphaALphaALphaALphaALphaDdp3zK: 21, }; diff --git a/packages/taquito/src/constants.ts b/packages/taquito/src/constants.ts index f543d7b7ca..a912d53020 100644 --- a/packages/taquito/src/constants.ts +++ b/packages/taquito/src/constants.ts @@ -69,6 +69,7 @@ export enum Protocols { PtNairobi = 'PtNairobiyssHuh87hEhfVBGCVrK3WnS8Z2FT4ymB5tAa4r1nQf', ProxfordY = 'ProxfordYmVfjWnRcgjWH36fW6PArwqykTFzotUxRs6gmTcZDuH', PtParisBQ = 'PtParisBQscdCm6Cfow6ndeU6wKJyA3aV1j4D3gQBQMsTQyJCrz', + PtParisBx = 'PtParisBxoLz5gzMmn3d9WBQNoPSZakgnkMC2VNuQ3KXfUtUQeZ', ProtoALpha = 'ProtoALphaALphaALphaALphaALphaALphaALphaALphaDdp3zK', } From 01dd98bc624dec5f45950243eecb6ffed51a563d Mon Sep 17 00:00:00 2001 From: huianyang Date: Tue, 28 May 2024 13:05:08 -0700 Subject: [PATCH 2/2] addressed review comment --- .../src/michelson-types.ts | 163 +++++++++--------- 1 file changed, 80 insertions(+), 83 deletions(-) diff --git a/packages/taquito-michel-codec/src/michelson-types.ts b/packages/taquito-michel-codec/src/michelson-types.ts index e2aae08b6a..3e55746ba8 100644 --- a/packages/taquito-michel-codec/src/michelson-types.ts +++ b/packages/taquito-michel-codec/src/michelson-types.ts @@ -128,7 +128,7 @@ type Instr0 = Prim0; type InstrX = PrimX; export type MichelsonCode = InstructionList | MichelsonInstruction; -export interface InstructionList extends List {} +export interface InstructionList extends List { } export type MichelsonNoArgInstruction = Instr0; export type MichelsonInstruction = @@ -224,87 +224,87 @@ export type MichelsonTypeChest = Type0<'chest'>; type TypeList = T & Node; export type MichelsonTypePair = TypeX<'pair', T> | TypeList; -export interface MichelsonTypeOption extends TypeX<'option', [T]> {} -export interface MichelsonTypeList extends TypeX<'list', [T]> {} -export interface MichelsonTypeContract extends TypeX<'contract', [T]> {} -export interface MichelsonTypeOr extends TypeX<'or', T> {} +export interface MichelsonTypeOption extends TypeX<'option', [T]> { } +export interface MichelsonTypeList extends TypeX<'list', [T]> { } +export interface MichelsonTypeContract extends TypeX<'contract', [T]> { } +export interface MichelsonTypeOr extends TypeX<'or', T> { } export interface MichelsonTypeLambda - extends TypeX<'lambda', [Arg, Ret]> {} + extends TypeX<'lambda', [Arg, Ret]> { } -export interface MichelsonTypeSet extends TypeX<'set', [T]> {} +export interface MichelsonTypeSet extends TypeX<'set', [T]> { } export interface MichelsonTypeMap - extends TypeX<'map', [K, V]> {} + extends TypeX<'map', [K, V]> { } export interface MichelsonTypeBigMap - extends TypeX<'big_map', [K, V]> {} + extends TypeX<'big_map', [K, V]> { } export interface MichelsonTypeSaplingState - extends TypeX<'sapling_state', [IntLiteral]> {} + extends TypeX<'sapling_state', [IntLiteral]> { } export interface MichelsonTypeSaplingTransaction - extends TypeX<'sapling_transaction', [IntLiteral]> {} -export interface MichelsonTypeTicket extends TypeX<'ticket', [T]> {} + extends TypeX<'sapling_transaction', [IntLiteral]> { } +export interface MichelsonTypeTicket extends TypeX<'ticket', [T]> { } export type MichelsonType = T extends 'int' ? MichelsonTypeInt : T extends 'nat' - ? MichelsonTypeNat - : T extends 'string' - ? MichelsonTypeString - : T extends 'bytes' - ? MichelsonTypeBytes - : T extends 'mutez' - ? MichelsonTypeMutez - : T extends 'bool' - ? MichelsonTypeBool - : T extends 'key_hash' - ? MichelsonTypeKeyHash - : T extends 'timestamp' - ? MichelsonTypeTimestamp - : T extends 'address' - ? MichelsonTypeAddress - : T extends 'key' - ? MichelsonTypeKey - : T extends 'unit' - ? MichelsonTypeUnit - : T extends 'signature' - ? MichelsonTypeSignature - : T extends 'operation' - ? MichelsonTypeOperation - : T extends 'chain_id' - ? MichelsonTypeChainID - : T extends 'option' - ? MichelsonTypeOption - : T extends 'list' - ? MichelsonTypeList - : T extends 'contract' - ? MichelsonTypeContract - : T extends 'ticket' - ? MichelsonTypeTicket - : T extends 'pair' - ? MichelsonTypePair - : T extends 'or' - ? MichelsonTypeOr<[MichelsonType, MichelsonType]> - : T extends 'lambda' - ? MichelsonTypeLambda - : T extends 'set' - ? MichelsonTypeSet - : T extends 'map' - ? MichelsonTypeMap - : T extends 'big_map' - ? MichelsonTypeBigMap - : T extends 'never' - ? MichelsonTypeNever - : T extends 'bls12_381_g1' - ? MichelsonTypeBLS12_381_G1 - : T extends 'bls12_381_g2' - ? MichelsonTypeBLS12_381_G2 - : T extends 'bls12_381_fr' - ? MichelsonTypeBLS12_381_FR - : T extends 'sapling_transaction' - ? MichelsonTypeSaplingTransaction - : T extends 'sapling_state' - ? MichelsonTypeSaplingState - : T extends 'chest_key' - ? MichelsonTypeChestKey - : MichelsonTypeChest; + ? MichelsonTypeNat + : T extends 'string' + ? MichelsonTypeString + : T extends 'bytes' + ? MichelsonTypeBytes + : T extends 'mutez' + ? MichelsonTypeMutez + : T extends 'bool' + ? MichelsonTypeBool + : T extends 'key_hash' + ? MichelsonTypeKeyHash + : T extends 'timestamp' + ? MichelsonTypeTimestamp + : T extends 'address' + ? MichelsonTypeAddress + : T extends 'key' + ? MichelsonTypeKey + : T extends 'unit' + ? MichelsonTypeUnit + : T extends 'signature' + ? MichelsonTypeSignature + : T extends 'operation' + ? MichelsonTypeOperation + : T extends 'chain_id' + ? MichelsonTypeChainID + : T extends 'option' + ? MichelsonTypeOption + : T extends 'list' + ? MichelsonTypeList + : T extends 'contract' + ? MichelsonTypeContract + : T extends 'ticket' + ? MichelsonTypeTicket + : T extends 'pair' + ? MichelsonTypePair + : T extends 'or' + ? MichelsonTypeOr<[MichelsonType, MichelsonType]> + : T extends 'lambda' + ? MichelsonTypeLambda + : T extends 'set' + ? MichelsonTypeSet + : T extends 'map' + ? MichelsonTypeMap + : T extends 'big_map' + ? MichelsonTypeBigMap + : T extends 'never' + ? MichelsonTypeNever + : T extends 'bls12_381_g1' + ? MichelsonTypeBLS12_381_G1 + : T extends 'bls12_381_g2' + ? MichelsonTypeBLS12_381_G2 + : T extends 'bls12_381_fr' + ? MichelsonTypeBLS12_381_FR + : T extends 'sapling_transaction' + ? MichelsonTypeSaplingTransaction + : T extends 'sapling_state' + ? MichelsonTypeSaplingState + : T extends 'chest_key' + ? MichelsonTypeChestKey + : MichelsonTypeChest; // Data @@ -330,10 +330,7 @@ export type MichelsonDataPair = DataX<'Pair', T> | Da export type MichelsonMapElt = PrimX<'Elt', [MichelsonData, MichelsonData]>; export type MichelsonMapEltList = List; export type MichelsonLambdaRec = DataX<'Lambda_rec', [InstructionList]>; -export type MichelsonTicket = PrimX< - 'Ticket', - [StringLiteral | BytesLiteral, MichelsonType, MichelsonData, IntLiteral] ->; +export type MichelsonTicket = PrimX<'Ticket', [StringLiteral | BytesLiteral, MichelsonType, MichelsonData, IntLiteral]>; export type MichelsonData = | IntLiteral @@ -366,12 +363,12 @@ export type MichelsonContract = MichelsonContractSection[]; export type MichelsonContractSection = T extends 'parameter' - ? MichelsonContractParameter - : T extends 'storage' - ? MichelsonContractStorage - : T extends 'view' - ? MichelsonContractView - : MichelsonContractCode; + ? MichelsonContractParameter + : T extends 'storage' + ? MichelsonContractStorage + : T extends 'view' + ? MichelsonContractView + : MichelsonContractCode; // Code analysis types export interface MichelsonTypeFailed { @@ -457,4 +454,4 @@ export function ProtoInferiorTo(a: ProtocolID, b: ProtocolID): boolean { export interface ProtocolOptions { protocol?: ProtocolID; -} +} \ No newline at end of file