Skip to content

Commit 3e62cd2

Browse files
UnisayUnisay
committed
refactor: replace TH.pprint with custom width-aware pretty-printer
Replace formatTHOutput + TH.pprint with a new PlutusTx.Test.THPretty module that uses prettyprinter's Wadler/Lindig algorithm with 100-column page width. This produces much more readable golden test output -- lines that previously stretched 200+ chars now wrap intelligently.
1 parent 9ad70a3 commit 3e62cd2

File tree

65 files changed

+1054
-551
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

65 files changed

+1054
-551
lines changed

‎plutus-ledger-api/test/Spec/Eq/Golden/V1.Address.golden.th‎

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
1-
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Address.Address
2-
where {(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Address.Address l1l_0
3-
l2l_1) (PlutusLedgerApi.V1.Address.Address r1r_2
4-
r2r_3) = (l1l_0 PlutusTx.Eq.Class.== r1r_2) PlutusTx.Bool.&& (l2l_1 PlutusTx.Eq.Class.== r2r_3);
5-
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}}
1+
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Address.Address where
2+
(PlutusTx.Eq.Class.==)
3+
(PlutusLedgerApi.V1.Address.Address l1l_0 l2l_0)
4+
(PlutusLedgerApi.V1.Address.Address r1r_0 r2r_0) = (l1l_0 PlutusTx.Eq.Class.== r1r_0)
5+
PlutusTx.Bool.&& (l2l_0 PlutusTx.Eq.Class.== r2r_0)
6+
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}

‎plutus-ledger-api/test/Spec/Eq/Golden/V1.Credential.golden.th‎

Lines changed: 9 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,9 @@
1-
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Credential.Credential
2-
where {(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Credential.PubKeyCredential l1l_0) (PlutusLedgerApi.V1.Credential.PubKeyCredential r1r_1) = l1l_0 PlutusTx.Eq.Class.== r1r_1
3-
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Credential.ScriptCredential l1l_2) (PlutusLedgerApi.V1.Credential.ScriptCredential r1r_3) = l1l_2 PlutusTx.Eq.Class.== r1r_3
4-
(PlutusTx.Eq.Class.==) _ _ = GHC.Types.False;
5-
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}}
1+
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Credential.Credential where
2+
(PlutusTx.Eq.Class.==)
3+
(PlutusLedgerApi.V1.Credential.PubKeyCredential l1l_0)
4+
(PlutusLedgerApi.V1.Credential.PubKeyCredential r1r_0) = l1l_0 PlutusTx.Eq.Class.== r1r_0
5+
(PlutusTx.Eq.Class.==)
6+
(PlutusLedgerApi.V1.Credential.ScriptCredential l1l_0)
7+
(PlutusLedgerApi.V1.Credential.ScriptCredential r1r_0) = l1l_0 PlutusTx.Eq.Class.== r1r_0
8+
(PlutusTx.Eq.Class.==) _ _ = GHC.Types.False
9+
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}

‎plutus-ledger-api/test/Spec/Eq/Golden/V1.DCert.golden.th‎

Lines changed: 26 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,26 @@
1-
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.DCert.DCert
2-
where {(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.DCert.DCertDelegRegKey l1l_0) (PlutusLedgerApi.V1.DCert.DCertDelegRegKey r1r_1) = l1l_0 PlutusTx.Eq.Class.== r1r_1
3-
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.DCert.DCertDelegDeRegKey l1l_2) (PlutusLedgerApi.V1.DCert.DCertDelegDeRegKey r1r_3) = l1l_2 PlutusTx.Eq.Class.== r1r_3
4-
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.DCert.DCertDelegDelegate l1l_4
5-
l2l_5) (PlutusLedgerApi.V1.DCert.DCertDelegDelegate r1r_6
6-
r2r_7) = (l1l_4 PlutusTx.Eq.Class.== r1r_6) PlutusTx.Bool.&& (l2l_5 PlutusTx.Eq.Class.== r2r_7)
7-
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.DCert.DCertPoolRegister l1l_8
8-
l2l_9) (PlutusLedgerApi.V1.DCert.DCertPoolRegister r1r_10
9-
r2r_11) = (l1l_8 PlutusTx.Eq.Class.== r1r_10) PlutusTx.Bool.&& (l2l_9 PlutusTx.Eq.Class.== r2r_11)
10-
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.DCert.DCertPoolRetire l1l_12
11-
l2l_13) (PlutusLedgerApi.V1.DCert.DCertPoolRetire r1r_14
12-
r2r_15) = (l1l_12 PlutusTx.Eq.Class.== r1r_14) PlutusTx.Bool.&& (l2l_13 PlutusTx.Eq.Class.== r2r_15)
13-
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.DCert.DCertGenesis) (PlutusLedgerApi.V1.DCert.DCertGenesis) = GHC.Types.True
14-
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.DCert.DCertMir) (PlutusLedgerApi.V1.DCert.DCertMir) = GHC.Types.True
15-
(PlutusTx.Eq.Class.==) _ _ = GHC.Types.False;
16-
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}}
1+
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.DCert.DCert where
2+
(PlutusTx.Eq.Class.==)
3+
(PlutusLedgerApi.V1.DCert.DCertDelegRegKey l1l_0)
4+
(PlutusLedgerApi.V1.DCert.DCertDelegRegKey r1r_0) = l1l_0 PlutusTx.Eq.Class.== r1r_0
5+
(PlutusTx.Eq.Class.==)
6+
(PlutusLedgerApi.V1.DCert.DCertDelegDeRegKey l1l_0)
7+
(PlutusLedgerApi.V1.DCert.DCertDelegDeRegKey r1r_0) = l1l_0 PlutusTx.Eq.Class.== r1r_0
8+
(PlutusTx.Eq.Class.==)
9+
(PlutusLedgerApi.V1.DCert.DCertDelegDelegate l1l_0 l2l_0)
10+
(PlutusLedgerApi.V1.DCert.DCertDelegDelegate r1r_0 r2r_0) = (l1l_0 PlutusTx.Eq.Class.== r1r_0)
11+
PlutusTx.Bool.&& (l2l_0 PlutusTx.Eq.Class.== r2r_0)
12+
(PlutusTx.Eq.Class.==)
13+
(PlutusLedgerApi.V1.DCert.DCertPoolRegister l1l_0 l2l_0)
14+
(PlutusLedgerApi.V1.DCert.DCertPoolRegister r1r_0 r2r_0) = (l1l_0 PlutusTx.Eq.Class.== r1r_0)
15+
PlutusTx.Bool.&& (l2l_0 PlutusTx.Eq.Class.== r2r_0)
16+
(PlutusTx.Eq.Class.==)
17+
(PlutusLedgerApi.V1.DCert.DCertPoolRetire l1l_0 l2l_0)
18+
(PlutusLedgerApi.V1.DCert.DCertPoolRetire r1r_0 r2r_0) = (l1l_0 PlutusTx.Eq.Class.== r1r_0)
19+
PlutusTx.Bool.&& (l2l_0 PlutusTx.Eq.Class.== r2r_0)
20+
(PlutusTx.Eq.Class.==)
21+
(PlutusLedgerApi.V1.DCert.DCertGenesis)
22+
(PlutusLedgerApi.V1.DCert.DCertGenesis) = GHC.Types.True
23+
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.DCert.DCertMir) (PlutusLedgerApi.V1.DCert.DCertMir)
24+
= GHC.Types.True
25+
(PlutusTx.Eq.Class.==) _ _ = GHC.Types.False
26+
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}

‎plutus-ledger-api/test/Spec/Eq/Golden/V1.Extended.golden.th‎

Lines changed: 11 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
1-
instance PlutusTx.Eq.Class.Eq a_0 => PlutusTx.Eq.Class.Eq (PlutusLedgerApi.V1.Interval.Extended a_0)
2-
where {(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Interval.NegInf) (PlutusLedgerApi.V1.Interval.NegInf) = GHC.Types.True
3-
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Interval.Finite l1l_1) (PlutusLedgerApi.V1.Interval.Finite r1r_2) = l1l_1 PlutusTx.Eq.Class.== r1r_2
4-
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Interval.PosInf) (PlutusLedgerApi.V1.Interval.PosInf) = GHC.Types.True
5-
(PlutusTx.Eq.Class.==) _ _ = GHC.Types.False;
6-
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}}
1+
instance PlutusTx.Eq.Class.Eq a_0 => PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Interval.Extended
2+
a_0 where
3+
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Interval.NegInf) (PlutusLedgerApi.V1.Interval.NegInf)
4+
= GHC.Types.True
5+
(PlutusTx.Eq.Class.==)
6+
(PlutusLedgerApi.V1.Interval.Finite l1l_0)
7+
(PlutusLedgerApi.V1.Interval.Finite r1r_0) = l1l_0 PlutusTx.Eq.Class.== r1r_0
8+
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Interval.PosInf) (PlutusLedgerApi.V1.Interval.PosInf)
9+
= GHC.Types.True
10+
(PlutusTx.Eq.Class.==) _ _ = GHC.Types.False
11+
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}

‎plutus-ledger-api/test/Spec/Eq/Golden/V1.ScriptContext.golden.th‎

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
1-
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Contexts.ScriptContext
2-
where {(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Contexts.ScriptContext l1l_0
3-
l2l_1) (PlutusLedgerApi.V1.Contexts.ScriptContext r1r_2
4-
r2r_3) = (l1l_0 PlutusTx.Eq.Class.== r1r_2) PlutusTx.Bool.&& (l2l_1 PlutusTx.Eq.Class.== r2r_3);
5-
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}}
1+
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Contexts.ScriptContext where
2+
(PlutusTx.Eq.Class.==)
3+
(PlutusLedgerApi.V1.Contexts.ScriptContext l1l_0 l2l_0)
4+
(PlutusLedgerApi.V1.Contexts.ScriptContext r1r_0 r2r_0) = (l1l_0 PlutusTx.Eq.Class.== r1r_0)
5+
PlutusTx.Bool.&& (l2l_0 PlutusTx.Eq.Class.== r2r_0)
6+
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}

‎plutus-ledger-api/test/Spec/Eq/Golden/V1.ScriptPurpose.golden.th‎

Lines changed: 15 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,15 @@
1-
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Contexts.ScriptPurpose
2-
where {(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Contexts.Minting l1l_0) (PlutusLedgerApi.V1.Contexts.Minting r1r_1) = l1l_0 PlutusTx.Eq.Class.== r1r_1
3-
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Contexts.Spending l1l_2) (PlutusLedgerApi.V1.Contexts.Spending r1r_3) = l1l_2 PlutusTx.Eq.Class.== r1r_3
4-
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Contexts.Rewarding l1l_4) (PlutusLedgerApi.V1.Contexts.Rewarding r1r_5) = l1l_4 PlutusTx.Eq.Class.== r1r_5
5-
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Contexts.Certifying l1l_6) (PlutusLedgerApi.V1.Contexts.Certifying r1r_7) = l1l_6 PlutusTx.Eq.Class.== r1r_7
6-
(PlutusTx.Eq.Class.==) _ _ = GHC.Types.False;
7-
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}}
1+
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Contexts.ScriptPurpose where
2+
(PlutusTx.Eq.Class.==)
3+
(PlutusLedgerApi.V1.Contexts.Minting l1l_0)
4+
(PlutusLedgerApi.V1.Contexts.Minting r1r_0) = l1l_0 PlutusTx.Eq.Class.== r1r_0
5+
(PlutusTx.Eq.Class.==)
6+
(PlutusLedgerApi.V1.Contexts.Spending l1l_0)
7+
(PlutusLedgerApi.V1.Contexts.Spending r1r_0) = l1l_0 PlutusTx.Eq.Class.== r1r_0
8+
(PlutusTx.Eq.Class.==)
9+
(PlutusLedgerApi.V1.Contexts.Rewarding l1l_0)
10+
(PlutusLedgerApi.V1.Contexts.Rewarding r1r_0) = l1l_0 PlutusTx.Eq.Class.== r1r_0
11+
(PlutusTx.Eq.Class.==)
12+
(PlutusLedgerApi.V1.Contexts.Certifying l1l_0)
13+
(PlutusLedgerApi.V1.Contexts.Certifying r1r_0) = l1l_0 PlutusTx.Eq.Class.== r1r_0
14+
(PlutusTx.Eq.Class.==) _ _ = GHC.Types.False
15+
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}

‎plutus-ledger-api/test/Spec/Eq/Golden/V1.StakingCredential.golden.th‎

Lines changed: 11 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,11 @@
1-
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Credential.StakingCredential
2-
where {(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Credential.StakingHash l1l_0) (PlutusLedgerApi.V1.Credential.StakingHash r1r_1) = l1l_0 PlutusTx.Eq.Class.== r1r_1
3-
(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Credential.StakingPtr l1l_2
4-
l2l_3
5-
l3l_4) (PlutusLedgerApi.V1.Credential.StakingPtr r1r_5
6-
r2r_6
7-
r3r_7) = (l1l_2 PlutusTx.Eq.Class.== r1r_5) PlutusTx.Bool.&& ((l2l_3 PlutusTx.Eq.Class.== r2r_6) PlutusTx.Bool.&& (l3l_4 PlutusTx.Eq.Class.== r3r_7))
8-
(PlutusTx.Eq.Class.==) _ _ = GHC.Types.False;
9-
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}}
1+
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Credential.StakingCredential where
2+
(PlutusTx.Eq.Class.==)
3+
(PlutusLedgerApi.V1.Credential.StakingHash l1l_0)
4+
(PlutusLedgerApi.V1.Credential.StakingHash r1r_0) = l1l_0 PlutusTx.Eq.Class.== r1r_0
5+
(PlutusTx.Eq.Class.==)
6+
(PlutusLedgerApi.V1.Credential.StakingPtr l1l_0 l2l_0 l3l_0)
7+
(PlutusLedgerApi.V1.Credential.StakingPtr r1r_0 r2r_0 r3r_0) = (l1l_0
8+
PlutusTx.Eq.Class.== r1r_0) PlutusTx.Bool.&& ((l2l_0 PlutusTx.Eq.Class.== r2r_0)
9+
PlutusTx.Bool.&& (l3l_0 PlutusTx.Eq.Class.== r3r_0))
10+
(PlutusTx.Eq.Class.==) _ _ = GHC.Types.False
11+
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}

‎plutus-ledger-api/test/Spec/Eq/Golden/V1.TxInInfo.golden.th‎

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
1-
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Contexts.TxInInfo
2-
where {(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Contexts.TxInInfo l1l_0
3-
l2l_1) (PlutusLedgerApi.V1.Contexts.TxInInfo r1r_2
4-
r2r_3) = (l1l_0 PlutusTx.Eq.Class.== r1r_2) PlutusTx.Bool.&& (l2l_1 PlutusTx.Eq.Class.== r2r_3);
5-
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}}
1+
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Contexts.TxInInfo where
2+
(PlutusTx.Eq.Class.==)
3+
(PlutusLedgerApi.V1.Contexts.TxInInfo l1l_0 l2l_0)
4+
(PlutusLedgerApi.V1.Contexts.TxInInfo r1r_0 r2r_0) = (l1l_0 PlutusTx.Eq.Class.== r1r_0)
5+
PlutusTx.Bool.&& (l2l_0 PlutusTx.Eq.Class.== r2r_0)
6+
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}

‎plutus-ledger-api/test/Spec/Eq/Golden/V1.TxInfo.golden.th‎

Lines changed: 30 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,30 @@
1-
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Contexts.TxInfo
2-
where {(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Contexts.TxInfo l1l_0
3-
l2l_1
4-
l3l_2
5-
l4l_3
6-
l5l_4
7-
l6l_5
8-
l7l_6
9-
l8l_7
10-
l9l_8
11-
l10l_9) (PlutusLedgerApi.V1.Contexts.TxInfo r1r_10
12-
r2r_11
13-
r3r_12
14-
r4r_13
15-
r5r_14
16-
r6r_15
17-
r7r_16
18-
r8r_17
19-
r9r_18
20-
r10r_19) = (l1l_0 PlutusTx.Eq.Class.== r1r_10) PlutusTx.Bool.&& ((l2l_1 PlutusTx.Eq.Class.== r2r_11) PlutusTx.Bool.&& ((l3l_2 PlutusTx.Eq.Class.== r3r_12) PlutusTx.Bool.&& ((l4l_3 PlutusTx.Eq.Class.== r4r_13) PlutusTx.Bool.&& ((l5l_4 PlutusTx.Eq.Class.== r5r_14) PlutusTx.Bool.&& ((l6l_5 PlutusTx.Eq.Class.== r6r_15) PlutusTx.Bool.&& ((l7l_6 PlutusTx.Eq.Class.== r7r_16) PlutusTx.Bool.&& ((l8l_7 PlutusTx.Eq.Class.== r8r_17) PlutusTx.Bool.&& ((l9l_8 PlutusTx.Eq.Class.== r9r_18) PlutusTx.Bool.&& (l10l_9 PlutusTx.Eq.Class.== r10r_19)))))))));
21-
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}}
1+
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Contexts.TxInfo where
2+
(PlutusTx.Eq.Class.==)
3+
(PlutusLedgerApi.V1.Contexts.TxInfo l1l_0
4+
l2l_0
5+
l3l_0
6+
l4l_0
7+
l5l_0
8+
l6l_0
9+
l7l_0
10+
l8l_0
11+
l9l_0
12+
l10l_0)
13+
(PlutusLedgerApi.V1.Contexts.TxInfo r1r_0
14+
r2r_0
15+
r3r_0
16+
r4r_0
17+
r5r_0
18+
r6r_0
19+
r7r_0
20+
r8r_0
21+
r9r_0
22+
r10r_0) = (l1l_0 PlutusTx.Eq.Class.== r1r_0) PlutusTx.Bool.&& ((l2l_0
23+
PlutusTx.Eq.Class.== r2r_0) PlutusTx.Bool.&& ((l3l_0 PlutusTx.Eq.Class.== r3r_0)
24+
PlutusTx.Bool.&& ((l4l_0 PlutusTx.Eq.Class.== r4r_0) PlutusTx.Bool.&& ((l5l_0
25+
PlutusTx.Eq.Class.== r5r_0) PlutusTx.Bool.&& ((l6l_0 PlutusTx.Eq.Class.== r6r_0)
26+
PlutusTx.Bool.&& ((l7l_0 PlutusTx.Eq.Class.== r7r_0) PlutusTx.Bool.&& ((l8l_0
27+
PlutusTx.Eq.Class.== r8r_0) PlutusTx.Bool.&& ((l9l_0
28+
PlutusTx.Eq.Class.== r9r_0) PlutusTx.Bool.&& (l10l_0
29+
PlutusTx.Eq.Class.== r10r_0)))))))))
30+
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}

‎plutus-ledger-api/test/Spec/Eq/Golden/V1.TxOut.golden.th‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
1-
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Tx.TxOut
2-
where {(PlutusTx.Eq.Class.==) (PlutusLedgerApi.V1.Tx.TxOut l1l_0
3-
l2l_1
4-
l3l_2) (PlutusLedgerApi.V1.Tx.TxOut r1r_3
5-
r2r_4
6-
r3r_5) = (l1l_0 PlutusTx.Eq.Class.== r1r_3) PlutusTx.Bool.&& ((l2l_1 PlutusTx.Eq.Class.== r2r_4) PlutusTx.Bool.&& (l3l_2 PlutusTx.Eq.Class.== r3r_5));
7-
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}}
1+
instance PlutusTx.Eq.Class.Eq PlutusLedgerApi.V1.Tx.TxOut where
2+
(PlutusTx.Eq.Class.==)
3+
(PlutusLedgerApi.V1.Tx.TxOut l1l_0 l2l_0 l3l_0)
4+
(PlutusLedgerApi.V1.Tx.TxOut r1r_0 r2r_0 r3r_0) = (l1l_0 PlutusTx.Eq.Class.== r1r_0)
5+
PlutusTx.Bool.&& ((l2l_0 PlutusTx.Eq.Class.== r2r_0) PlutusTx.Bool.&& (l3l_0
6+
PlutusTx.Eq.Class.== r3r_0))
7+
{-# INLINABLE (PlutusTx.Eq.Class.==) #-}

0 commit comments

Comments
 (0)