Skip to content

Commit 8cf291e

Browse files
LucsanszkyLucsanszky
authored
Merge pull request #5816 from IntersectMBO/ldan/qualified-rules-imports
Import `Rules` as `qualified`
2 parents 272f031 + 285c2cf commit 8cf291e

161 files changed

Lines changed: 1972 additions & 2699 deletions

File tree

Some content is hidden

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

‎eras/allegra/impl/src/Cardano/Ledger/Allegra.hs‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,13 +30,14 @@ import Cardano.Ledger.Allegra.UTxO ()
3030
import Cardano.Ledger.Binary (DecCBOR, EncCBOR)
3131
import Cardano.Ledger.Block (EraBlockHeader)
3232
import Cardano.Ledger.Shelley.API
33-
import Cardano.Ledger.Shelley.Rules (ShelleyLedgerPredFailure)
33+
import qualified Cardano.Ledger.Shelley.Rules as Shelley
3434
import Data.Bifunctor (Bifunctor (first))
3535
import Data.List.NonEmpty (NonEmpty)
3636
import GHC.Generics (Generic)
3737

3838
instance ApplyTx AllegraEra where
39-
newtype ApplyTxError AllegraEra = AllegraApplyTxError (NonEmpty (ShelleyLedgerPredFailure AllegraEra))
39+
newtype ApplyTxError AllegraEra
40+
= AllegraApplyTxError (NonEmpty (Shelley.ShelleyLedgerPredFailure AllegraEra))
4041
deriving (Eq, Show)
4142
deriving newtype (EncCBOR, DecCBOR, Semigroup, Generic)
4243

‎eras/allegra/impl/src/Cardano/Ledger/Allegra/Era.hs‎

Lines changed: 19 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ import Cardano.Ledger.Coin (Coin)
2020
import Cardano.Ledger.Genesis (EraGenesis, NoGenesis)
2121
import Cardano.Ledger.Internal.Era (AllegraEra)
2222
import Cardano.Ledger.Shelley.Core
23-
import Cardano.Ledger.Shelley.Rules
23+
import qualified Cardano.Ledger.Shelley.Rules as Shelley
2424

2525
instance EraGenesis AllegraEra
2626

@@ -38,41 +38,41 @@ type instance Value AllegraEra = Coin
3838

3939
-- These rules are all inherited from Shelley
4040

41-
type instance EraRule "BBODY" AllegraEra = ShelleyBBODY AllegraEra
41+
type instance EraRule "BBODY" AllegraEra = Shelley.ShelleyBBODY AllegraEra
4242

43-
type instance EraRule "DELEG" AllegraEra = ShelleyDELEG AllegraEra
43+
type instance EraRule "DELEG" AllegraEra = Shelley.ShelleyDELEG AllegraEra
4444

45-
type instance EraRule "DELEGS" AllegraEra = ShelleyDELEGS AllegraEra
45+
type instance EraRule "DELEGS" AllegraEra = Shelley.ShelleyDELEGS AllegraEra
4646

47-
type instance EraRule "DELPL" AllegraEra = ShelleyDELPL AllegraEra
47+
type instance EraRule "DELPL" AllegraEra = Shelley.ShelleyDELPL AllegraEra
4848

49-
type instance EraRule "EPOCH" AllegraEra = ShelleyEPOCH AllegraEra
49+
type instance EraRule "EPOCH" AllegraEra = Shelley.ShelleyEPOCH AllegraEra
5050

51-
type instance EraRule "LEDGER" AllegraEra = ShelleyLEDGER AllegraEra
51+
type instance EraRule "LEDGER" AllegraEra = Shelley.ShelleyLEDGER AllegraEra
5252

53-
type instance EraRule "LEDGERS" AllegraEra = ShelleyLEDGERS AllegraEra
53+
type instance EraRule "LEDGERS" AllegraEra = Shelley.ShelleyLEDGERS AllegraEra
5454

55-
type instance EraRule "MIR" AllegraEra = ShelleyMIR AllegraEra
55+
type instance EraRule "MIR" AllegraEra = Shelley.ShelleyMIR AllegraEra
5656

57-
type instance EraRule "NEWEPOCH" AllegraEra = ShelleyNEWEPOCH AllegraEra
57+
type instance EraRule "NEWEPOCH" AllegraEra = Shelley.ShelleyNEWEPOCH AllegraEra
5858

59-
type instance EraRule "NEWPP" AllegraEra = ShelleyNEWPP AllegraEra
59+
type instance EraRule "NEWPP" AllegraEra = Shelley.ShelleyNEWPP AllegraEra
6060

61-
type instance EraRule "POOL" AllegraEra = ShelleyPOOL AllegraEra
61+
type instance EraRule "POOL" AllegraEra = Shelley.ShelleyPOOL AllegraEra
6262

63-
type instance EraRule "POOLREAP" AllegraEra = ShelleyPOOLREAP AllegraEra
63+
type instance EraRule "POOLREAP" AllegraEra = Shelley.ShelleyPOOLREAP AllegraEra
6464

65-
type instance EraRule "PPUP" AllegraEra = ShelleyPPUP AllegraEra
65+
type instance EraRule "PPUP" AllegraEra = Shelley.ShelleyPPUP AllegraEra
6666

67-
type instance EraRule "RUPD" AllegraEra = ShelleyRUPD AllegraEra
67+
type instance EraRule "RUPD" AllegraEra = Shelley.ShelleyRUPD AllegraEra
6868

69-
type instance EraRule "SNAP" AllegraEra = ShelleySNAP AllegraEra
69+
type instance EraRule "SNAP" AllegraEra = Shelley.ShelleySNAP AllegraEra
7070

71-
type instance EraRule "TICK" AllegraEra = ShelleyTICK AllegraEra
71+
type instance EraRule "TICK" AllegraEra = Shelley.ShelleyTICK AllegraEra
7272

73-
type instance EraRule "TICKF" AllegraEra = ShelleyTICKF AllegraEra
73+
type instance EraRule "TICKF" AllegraEra = Shelley.ShelleyTICKF AllegraEra
7474

75-
type instance EraRule "UPEC" AllegraEra = ShelleyUPEC AllegraEra
75+
type instance EraRule "UPEC" AllegraEra = Shelley.ShelleyUPEC AllegraEra
7676

7777
-- These rules are defined anew in the Allegra era
7878

‎eras/allegra/impl/src/Cardano/Ledger/Allegra/Rules.hs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,6 @@ import Cardano.Ledger.Allegra.Rules.Pool ()
1919
import Cardano.Ledger.Allegra.Rules.Ppup ()
2020
import Cardano.Ledger.Allegra.Rules.Utxo
2121
import Cardano.Ledger.Allegra.Rules.Utxow
22-
import Cardano.Ledger.Shelley.Rules (ShelleyTickEvent)
22+
import qualified Cardano.Ledger.Shelley.Rules as Shelley
2323

24-
type instance EraRuleEvent "TICK" AllegraEra = ShelleyTickEvent AllegraEra
24+
type instance EraRuleEvent "TICK" AllegraEra = Shelley.ShelleyTickEvent AllegraEra

‎eras/allegra/impl/src/Cardano/Ledger/Allegra/Rules/Bbody.hs‎

Lines changed: 21 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -8,46 +8,35 @@ module Cardano.Ledger.Allegra.Rules.Bbody () where
88
import Cardano.Ledger.Allegra.Era (AllegraEra)
99
import Cardano.Ledger.Allegra.Rules.Ledgers ()
1010
import Cardano.Ledger.Core
11-
import Cardano.Ledger.Shelley.Rules (
12-
ShelleyBbodyPredFailure (..),
13-
ShelleyDelegPredFailure,
14-
ShelleyDelegsPredFailure,
15-
ShelleyDelplPredFailure,
16-
ShelleyLedgerPredFailure,
17-
ShelleyLedgersPredFailure,
18-
ShelleyPoolPredFailure,
19-
ShelleyPpupPredFailure,
20-
ShelleyUtxoPredFailure,
21-
ShelleyUtxowPredFailure,
22-
)
11+
import qualified Cardano.Ledger.Shelley.Rules as Shelley
2312

24-
type instance EraRuleFailure "BBODY" AllegraEra = ShelleyBbodyPredFailure AllegraEra
13+
type instance EraRuleFailure "BBODY" AllegraEra = Shelley.ShelleyBbodyPredFailure AllegraEra
2514

26-
instance InjectRuleFailure "BBODY" ShelleyBbodyPredFailure AllegraEra
15+
instance InjectRuleFailure "BBODY" Shelley.ShelleyBbodyPredFailure AllegraEra
2716

28-
instance InjectRuleFailure "BBODY" ShelleyLedgersPredFailure AllegraEra where
29-
injectFailure = LedgersFailure
17+
instance InjectRuleFailure "BBODY" Shelley.ShelleyLedgersPredFailure AllegraEra where
18+
injectFailure = Shelley.LedgersFailure
3019

31-
instance InjectRuleFailure "BBODY" ShelleyLedgerPredFailure AllegraEra where
32-
injectFailure = LedgersFailure . injectFailure
20+
instance InjectRuleFailure "BBODY" Shelley.ShelleyLedgerPredFailure AllegraEra where
21+
injectFailure = Shelley.LedgersFailure . injectFailure
3322

34-
instance InjectRuleFailure "BBODY" ShelleyUtxowPredFailure AllegraEra where
35-
injectFailure = LedgersFailure . injectFailure
23+
instance InjectRuleFailure "BBODY" Shelley.ShelleyUtxowPredFailure AllegraEra where
24+
injectFailure = Shelley.LedgersFailure . injectFailure
3625

37-
instance InjectRuleFailure "BBODY" ShelleyUtxoPredFailure AllegraEra where
38-
injectFailure = LedgersFailure . injectFailure
26+
instance InjectRuleFailure "BBODY" Shelley.ShelleyUtxoPredFailure AllegraEra where
27+
injectFailure = Shelley.LedgersFailure . injectFailure
3928

40-
instance InjectRuleFailure "BBODY" ShelleyPpupPredFailure AllegraEra where
41-
injectFailure = LedgersFailure . injectFailure
29+
instance InjectRuleFailure "BBODY" Shelley.ShelleyPpupPredFailure AllegraEra where
30+
injectFailure = Shelley.LedgersFailure . injectFailure
4231

43-
instance InjectRuleFailure "BBODY" ShelleyDelegsPredFailure AllegraEra where
44-
injectFailure = LedgersFailure . injectFailure
32+
instance InjectRuleFailure "BBODY" Shelley.ShelleyDelegsPredFailure AllegraEra where
33+
injectFailure = Shelley.LedgersFailure . injectFailure
4534

46-
instance InjectRuleFailure "BBODY" ShelleyDelplPredFailure AllegraEra where
47-
injectFailure = LedgersFailure . injectFailure
35+
instance InjectRuleFailure "BBODY" Shelley.ShelleyDelplPredFailure AllegraEra where
36+
injectFailure = Shelley.LedgersFailure . injectFailure
4837

49-
instance InjectRuleFailure "BBODY" ShelleyPoolPredFailure AllegraEra where
50-
injectFailure = LedgersFailure . injectFailure
38+
instance InjectRuleFailure "BBODY" Shelley.ShelleyPoolPredFailure AllegraEra where
39+
injectFailure = Shelley.LedgersFailure . injectFailure
5140

52-
instance InjectRuleFailure "BBODY" ShelleyDelegPredFailure AllegraEra where
53-
injectFailure = LedgersFailure . injectFailure
41+
instance InjectRuleFailure "BBODY" Shelley.ShelleyDelegPredFailure AllegraEra where
42+
injectFailure = Shelley.LedgersFailure . injectFailure

‎eras/allegra/impl/src/Cardano/Ledger/Allegra/Rules/Deleg.hs‎

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -7,10 +7,8 @@ module Cardano.Ledger.Allegra.Rules.Deleg () where
77

88
import Cardano.Ledger.Allegra.Era (AllegraEra)
99
import Cardano.Ledger.Core
10-
import Cardano.Ledger.Shelley.Rules (
11-
ShelleyDelegPredFailure,
12-
)
10+
import qualified Cardano.Ledger.Shelley.Rules as Shelley
1311

14-
type instance EraRuleFailure "DELEG" AllegraEra = ShelleyDelegPredFailure AllegraEra
12+
type instance EraRuleFailure "DELEG" AllegraEra = Shelley.ShelleyDelegPredFailure AllegraEra
1513

16-
instance InjectRuleFailure "DELEG" ShelleyDelegPredFailure AllegraEra
14+
instance InjectRuleFailure "DELEG" Shelley.ShelleyDelegPredFailure AllegraEra

‎eras/allegra/impl/src/Cardano/Ledger/Allegra/Rules/Delegs.hs‎

Lines changed: 9 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -8,22 +8,17 @@ module Cardano.Ledger.Allegra.Rules.Delegs () where
88
import Cardano.Ledger.Allegra.Era (AllegraEra)
99
import Cardano.Ledger.Allegra.Rules.Delpl ()
1010
import Cardano.Ledger.Core
11-
import Cardano.Ledger.Shelley.Rules (
12-
ShelleyDelegPredFailure,
13-
ShelleyDelegsPredFailure (..),
14-
ShelleyDelplPredFailure,
15-
ShelleyPoolPredFailure,
16-
)
11+
import qualified Cardano.Ledger.Shelley.Rules as Shelley
1712

18-
type instance EraRuleFailure "DELEGS" AllegraEra = ShelleyDelegsPredFailure AllegraEra
13+
type instance EraRuleFailure "DELEGS" AllegraEra = Shelley.ShelleyDelegsPredFailure AllegraEra
1914

20-
instance InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure AllegraEra
15+
instance InjectRuleFailure "DELEGS" Shelley.ShelleyDelegsPredFailure AllegraEra
2116

22-
instance InjectRuleFailure "DELEGS" ShelleyDelplPredFailure AllegraEra where
23-
injectFailure = DelplFailure
17+
instance InjectRuleFailure "DELEGS" Shelley.ShelleyDelplPredFailure AllegraEra where
18+
injectFailure = Shelley.DelplFailure
2419

25-
instance InjectRuleFailure "DELEGS" ShelleyPoolPredFailure AllegraEra where
26-
injectFailure = DelplFailure . injectFailure
20+
instance InjectRuleFailure "DELEGS" Shelley.ShelleyPoolPredFailure AllegraEra where
21+
injectFailure = Shelley.DelplFailure . injectFailure
2722

28-
instance InjectRuleFailure "DELEGS" ShelleyDelegPredFailure AllegraEra where
29-
injectFailure = DelplFailure . injectFailure
23+
instance InjectRuleFailure "DELEGS" Shelley.ShelleyDelegPredFailure AllegraEra where
24+
injectFailure = Shelley.DelplFailure . injectFailure

‎eras/allegra/impl/src/Cardano/Ledger/Allegra/Rules/Delpl.hs‎

Lines changed: 7 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -9,18 +9,14 @@ import Cardano.Ledger.Allegra.Era (AllegraEra)
99
import Cardano.Ledger.Allegra.Rules.Deleg ()
1010
import Cardano.Ledger.Allegra.Rules.Pool ()
1111
import Cardano.Ledger.Core
12-
import Cardano.Ledger.Shelley.Rules (
13-
ShelleyDelegPredFailure,
14-
ShelleyDelplPredFailure (..),
15-
ShelleyPoolPredFailure,
16-
)
12+
import qualified Cardano.Ledger.Shelley.Rules as Shelley
1713

18-
type instance EraRuleFailure "DELPL" AllegraEra = ShelleyDelplPredFailure AllegraEra
14+
type instance EraRuleFailure "DELPL" AllegraEra = Shelley.ShelleyDelplPredFailure AllegraEra
1915

20-
instance InjectRuleFailure "DELPL" ShelleyDelplPredFailure AllegraEra
16+
instance InjectRuleFailure "DELPL" Shelley.ShelleyDelplPredFailure AllegraEra
2117

22-
instance InjectRuleFailure "DELPL" ShelleyPoolPredFailure AllegraEra where
23-
injectFailure = PoolFailure
18+
instance InjectRuleFailure "DELPL" Shelley.ShelleyPoolPredFailure AllegraEra where
19+
injectFailure = Shelley.PoolFailure
2420

25-
instance InjectRuleFailure "DELPL" ShelleyDelegPredFailure AllegraEra where
26-
injectFailure = DelegFailure
21+
instance InjectRuleFailure "DELPL" Shelley.ShelleyDelegPredFailure AllegraEra where
22+
injectFailure = Shelley.DelegFailure

‎eras/allegra/impl/src/Cardano/Ledger/Allegra/Rules/Ledger.hs‎

Lines changed: 18 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -9,41 +9,31 @@ import Cardano.Ledger.Allegra.Era (AllegraEra)
99
import Cardano.Ledger.Allegra.Rules.Delegs ()
1010
import Cardano.Ledger.Allegra.Rules.Utxow ()
1111
import Cardano.Ledger.Core
12-
import Cardano.Ledger.Shelley.Rules (
13-
ShelleyDelegPredFailure,
14-
ShelleyDelegsPredFailure,
15-
ShelleyDelplPredFailure,
16-
ShelleyLedgerEvent,
17-
ShelleyLedgerPredFailure (..),
18-
ShelleyPoolPredFailure,
19-
ShelleyPpupPredFailure,
20-
ShelleyUtxoPredFailure,
21-
ShelleyUtxowPredFailure,
22-
)
12+
import qualified Cardano.Ledger.Shelley.Rules as Shelley
2313

24-
type instance EraRuleFailure "LEDGER" AllegraEra = ShelleyLedgerPredFailure AllegraEra
14+
type instance EraRuleFailure "LEDGER" AllegraEra = Shelley.ShelleyLedgerPredFailure AllegraEra
2515

26-
instance InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure AllegraEra
16+
instance InjectRuleFailure "LEDGER" Shelley.ShelleyLedgerPredFailure AllegraEra
2717

28-
instance InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure AllegraEra where
29-
injectFailure = UtxowFailure
18+
instance InjectRuleFailure "LEDGER" Shelley.ShelleyUtxowPredFailure AllegraEra where
19+
injectFailure = Shelley.UtxowFailure
3020

31-
instance InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure AllegraEra where
32-
injectFailure = UtxowFailure . injectFailure
21+
instance InjectRuleFailure "LEDGER" Shelley.ShelleyUtxoPredFailure AllegraEra where
22+
injectFailure = Shelley.UtxowFailure . injectFailure
3323

34-
instance InjectRuleFailure "LEDGER" ShelleyPpupPredFailure AllegraEra where
35-
injectFailure = UtxowFailure . injectFailure
24+
instance InjectRuleFailure "LEDGER" Shelley.ShelleyPpupPredFailure AllegraEra where
25+
injectFailure = Shelley.UtxowFailure . injectFailure
3626

37-
instance InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure AllegraEra where
38-
injectFailure = DelegsFailure
27+
instance InjectRuleFailure "LEDGER" Shelley.ShelleyDelegsPredFailure AllegraEra where
28+
injectFailure = Shelley.DelegsFailure
3929

40-
instance InjectRuleFailure "LEDGER" ShelleyDelplPredFailure AllegraEra where
41-
injectFailure = DelegsFailure . injectFailure
30+
instance InjectRuleFailure "LEDGER" Shelley.ShelleyDelplPredFailure AllegraEra where
31+
injectFailure = Shelley.DelegsFailure . injectFailure
4232

43-
instance InjectRuleFailure "LEDGER" ShelleyPoolPredFailure AllegraEra where
44-
injectFailure = DelegsFailure . injectFailure
33+
instance InjectRuleFailure "LEDGER" Shelley.ShelleyPoolPredFailure AllegraEra where
34+
injectFailure = Shelley.DelegsFailure . injectFailure
4535

46-
instance InjectRuleFailure "LEDGER" ShelleyDelegPredFailure AllegraEra where
47-
injectFailure = DelegsFailure . injectFailure
36+
instance InjectRuleFailure "LEDGER" Shelley.ShelleyDelegPredFailure AllegraEra where
37+
injectFailure = Shelley.DelegsFailure . injectFailure
4838

49-
type instance EraRuleEvent "LEDGER" AllegraEra = ShelleyLedgerEvent AllegraEra
39+
type instance EraRuleEvent "LEDGER" AllegraEra = Shelley.ShelleyLedgerEvent AllegraEra

‎eras/allegra/impl/src/Cardano/Ledger/Allegra/Rules/Ledgers.hs‎

Lines changed: 19 additions & 29 deletions
Original file line numberDiff line numberDiff line change
@@ -8,42 +8,32 @@ module Cardano.Ledger.Allegra.Rules.Ledgers () where
88
import Cardano.Ledger.Allegra.Era (AllegraEra)
99
import Cardano.Ledger.Allegra.Rules.Ledger ()
1010
import Cardano.Ledger.Core
11-
import Cardano.Ledger.Shelley.Rules (
12-
ShelleyDelegPredFailure,
13-
ShelleyDelegsPredFailure,
14-
ShelleyDelplPredFailure,
15-
ShelleyLedgerPredFailure,
16-
ShelleyLedgersPredFailure (..),
17-
ShelleyPoolPredFailure,
18-
ShelleyPpupPredFailure,
19-
ShelleyUtxoPredFailure,
20-
ShelleyUtxowPredFailure,
21-
)
11+
import qualified Cardano.Ledger.Shelley.Rules as Shelley
2212

23-
type instance EraRuleFailure "LEDGERS" AllegraEra = ShelleyLedgersPredFailure AllegraEra
13+
type instance EraRuleFailure "LEDGERS" AllegraEra = Shelley.ShelleyLedgersPredFailure AllegraEra
2414

25-
instance InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure AllegraEra
15+
instance InjectRuleFailure "LEDGERS" Shelley.ShelleyLedgersPredFailure AllegraEra
2616

27-
instance InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure AllegraEra where
28-
injectFailure = LedgerFailure
17+
instance InjectRuleFailure "LEDGERS" Shelley.ShelleyLedgerPredFailure AllegraEra where
18+
injectFailure = Shelley.LedgerFailure
2919

30-
instance InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure AllegraEra where
31-
injectFailure = LedgerFailure . injectFailure
20+
instance InjectRuleFailure "LEDGERS" Shelley.ShelleyUtxowPredFailure AllegraEra where
21+
injectFailure = Shelley.LedgerFailure . injectFailure
3222

33-
instance InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure AllegraEra where
34-
injectFailure = LedgerFailure . injectFailure
23+
instance InjectRuleFailure "LEDGERS" Shelley.ShelleyUtxoPredFailure AllegraEra where
24+
injectFailure = Shelley.LedgerFailure . injectFailure
3525

36-
instance InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure AllegraEra where
37-
injectFailure = LedgerFailure . injectFailure
26+
instance InjectRuleFailure "LEDGERS" Shelley.ShelleyPpupPredFailure AllegraEra where
27+
injectFailure = Shelley.LedgerFailure . injectFailure
3828

39-
instance InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure AllegraEra where
40-
injectFailure = LedgerFailure . injectFailure
29+
instance InjectRuleFailure "LEDGERS" Shelley.ShelleyDelegsPredFailure AllegraEra where
30+
injectFailure = Shelley.LedgerFailure . injectFailure
4131

42-
instance InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure AllegraEra where
43-
injectFailure = LedgerFailure . injectFailure
32+
instance InjectRuleFailure "LEDGERS" Shelley.ShelleyDelplPredFailure AllegraEra where
33+
injectFailure = Shelley.LedgerFailure . injectFailure
4434

45-
instance InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure AllegraEra where
46-
injectFailure = LedgerFailure . injectFailure
35+
instance InjectRuleFailure "LEDGERS" Shelley.ShelleyPoolPredFailure AllegraEra where
36+
injectFailure = Shelley.LedgerFailure . injectFailure
4737

48-
instance InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure AllegraEra where
49-
injectFailure = LedgerFailure . injectFailure
38+
instance InjectRuleFailure "LEDGERS" Shelley.ShelleyDelegPredFailure AllegraEra where
39+
injectFailure = Shelley.LedgerFailure . injectFailure

‎eras/allegra/impl/src/Cardano/Ledger/Allegra/Rules/Pool.hs‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -7,12 +7,12 @@ module Cardano.Ledger.Allegra.Rules.Pool () where
77

88
import Cardano.Ledger.Allegra.Era (AllegraEra)
99
import Cardano.Ledger.Core
10-
import Cardano.Ledger.Shelley.Rules (PoolEvent, ShelleyPoolPredFailure)
10+
import qualified Cardano.Ledger.Shelley.Rules as Shelley
1111

12-
type instance EraRuleFailure "POOL" AllegraEra = ShelleyPoolPredFailure AllegraEra
12+
type instance EraRuleFailure "POOL" AllegraEra = Shelley.ShelleyPoolPredFailure AllegraEra
1313

14-
instance InjectRuleFailure "POOL" ShelleyPoolPredFailure AllegraEra
14+
instance InjectRuleFailure "POOL" Shelley.ShelleyPoolPredFailure AllegraEra
1515

16-
type instance EraRuleEvent "POOL" AllegraEra = PoolEvent AllegraEra
16+
type instance EraRuleEvent "POOL" AllegraEra = Shelley.PoolEvent AllegraEra
1717

18-
instance InjectRuleEvent "POOL" PoolEvent AllegraEra
18+
instance InjectRuleEvent "POOL" Shelley.PoolEvent AllegraEra

0 commit comments

Comments
 (0)