|
1 | 1 | import * as PlutusData from "../PlutusData.js"; |
2 | 2 | import * as PlutusLedgerApiPlutusData from "plutus-ledger-api/PlutusData.js"; |
| 3 | +import * as PlutusLedgerApiAssocMap from "plutus-ledger-api/AssocMap.js"; |
3 | 4 | import * as PlutusLedgerApiV1 from "plutus-ledger-api/V1.js"; |
4 | 5 | import * as LbrPrelude from "lbr-prelude"; |
5 | 6 | import * as Prelude from "prelude"; |
@@ -602,3 +603,35 @@ declare module "../PlutusData.js" { |
602 | 603 | } |
603 | 604 | PlutusData.IsPlutusData[Symbols.PlutusData] = |
604 | 605 | PlutusLedgerApiPlutusData.isPlutusDataPlutusData; |
| 606 | + |
| 607 | +// Map |
| 608 | +declare module "lbr-prelude" { |
| 609 | + export interface EqInstances { |
| 610 | + [Symbols.Map]: <K, V>( |
| 611 | + dictK: Prelude.Eq<K>, |
| 612 | + dictV: Prelude.Eq<V>, |
| 613 | + ) => Prelude.Eq<PlutusLedgerApiAssocMap.Map<K, V>>; |
| 614 | + } |
| 615 | + |
| 616 | + export interface JsonInstances { |
| 617 | + [Symbols.Map]: <K, V>( |
| 618 | + dictK: Prelude.Json<K>, |
| 619 | + dictV: Prelude.Json<V>, |
| 620 | + ) => Prelude.Json<PlutusLedgerApiAssocMap.Map<K, V>>; |
| 621 | + } |
| 622 | +} |
| 623 | + |
| 624 | +LbrPrelude.Eq[Symbols.Map] = PlutusLedgerApiAssocMap.eqMap; |
| 625 | +LbrPrelude.Json[Symbols.Map] = PlutusLedgerApiAssocMap.jsonMap; |
| 626 | + |
| 627 | +declare module "../PlutusData.js" { |
| 628 | + export interface IsPlutusDataInstances { |
| 629 | + [Symbols.Map]: <K, V>( |
| 630 | + dictK: PlutusLedgerApiPlutusData.IsPlutusData<K>, |
| 631 | + dictV: PlutusLedgerApiPlutusData.IsPlutusData<V>, |
| 632 | + ) => PlutusLedgerApiPlutusData.IsPlutusData< |
| 633 | + PlutusLedgerApiAssocMap.Map<K, V> |
| 634 | + >; |
| 635 | + } |
| 636 | +} |
| 637 | +PlutusData.IsPlutusData[Symbols.Map] = PlutusLedgerApiAssocMap.isPlutusDataMap; |
0 commit comments