From c28de0115fa8903a8f1c21cd935a5855b6eb3140 Mon Sep 17 00:00:00 2001
From: theelk801 <theelk801@gmail.com>
Date: Sun, 26 Jan 2025 11:27:29 -0500
Subject: [PATCH] [DFT] Implement Dredger's Insight

---
 .../src/mage/cards/d/DredgersInsight.java     | 53 +++++++++++++++++++
 Mage.Sets/src/mage/sets/Aetherdrift.java      |  1 +
 2 files changed, 54 insertions(+)
 create mode 100644 Mage.Sets/src/mage/cards/d/DredgersInsight.java

diff --git a/Mage.Sets/src/mage/cards/d/DredgersInsight.java b/Mage.Sets/src/mage/cards/d/DredgersInsight.java
new file mode 100644
index 00000000000..f031f4af29d
--- /dev/null
+++ b/Mage.Sets/src/mage/cards/d/DredgersInsight.java
@@ -0,0 +1,53 @@
+package mage.cards.d;
+
+import mage.abilities.common.CardsLeaveGraveyardTriggeredAbility;
+import mage.abilities.common.EntersBattlefieldTriggeredAbility;
+import mage.abilities.effects.common.GainLifeEffect;
+import mage.abilities.effects.common.MillThenPutInHandEffect;
+import mage.cards.CardImpl;
+import mage.cards.CardSetInfo;
+import mage.constants.CardType;
+import mage.filter.FilterCard;
+import mage.filter.predicate.Predicates;
+
+import java.util.UUID;
+
+/**
+ * @author TheElk801
+ */
+public final class DredgersInsight extends CardImpl {
+
+    private static final FilterCard filter = new FilterCard("artifact and/or creature cards");
+    private static final FilterCard filter2 = new FilterCard("an artifact, creature, or land card");
+
+    static {
+        filter.add(Predicates.or(
+                CardType.ARTIFACT.getPredicate(),
+                CardType.CREATURE.getPredicate()
+        ));
+        filter2.add(Predicates.or(
+                CardType.ARTIFACT.getPredicate(),
+                CardType.CREATURE.getPredicate(),
+                CardType.LAND.getPredicate()
+        ));
+    }
+
+    public DredgersInsight(UUID ownerId, CardSetInfo setInfo) {
+        super(ownerId, setInfo, new CardType[]{CardType.ENCHANTMENT}, "{1}{G}");
+
+        // Whenever one or more artifact and/or creature cards leave your graveyard, you gain 1 life.
+        this.addAbility(new CardsLeaveGraveyardTriggeredAbility(new GainLifeEffect(1), filter));
+
+        // When this enchantment enters, mill four cards. You may put an artifact, creature, or land card from among the milled cards into your hand.
+        this.addAbility(new EntersBattlefieldTriggeredAbility(new MillThenPutInHandEffect(4, filter2)));
+    }
+
+    private DredgersInsight(final DredgersInsight card) {
+        super(card);
+    }
+
+    @Override
+    public DredgersInsight copy() {
+        return new DredgersInsight(this);
+    }
+}
diff --git a/Mage.Sets/src/mage/sets/Aetherdrift.java b/Mage.Sets/src/mage/sets/Aetherdrift.java
index cff922c40ca..34e09894be1 100644
--- a/Mage.Sets/src/mage/sets/Aetherdrift.java
+++ b/Mage.Sets/src/mage/sets/Aetherdrift.java
@@ -50,6 +50,7 @@ public final class Aetherdrift extends ExpansionSet {
         cards.add(new SetCardInfo("Daretti, Rocketeer Engineer", 120, Rarity.RARE, mage.cards.d.DarettiRocketeerEngineer.class));
         cards.add(new SetCardInfo("Dismal Backwater", 254, Rarity.COMMON, mage.cards.d.DismalBackwater.class));
         cards.add(new SetCardInfo("District Mascot", 158, Rarity.RARE, mage.cards.d.DistrictMascot.class));
+        cards.add(new SetCardInfo("Dredger's Insight", 159, Rarity.UNCOMMON, mage.cards.d.DredgersInsight.class));
         cards.add(new SetCardInfo("Earthrumbler", 160, Rarity.UNCOMMON, mage.cards.e.Earthrumbler.class));
         cards.add(new SetCardInfo("Embalmed Ascendant", 201, Rarity.UNCOMMON, mage.cards.e.EmbalmedAscendant.class));
         cards.add(new SetCardInfo("Endrider Catalyzer", 124, Rarity.COMMON, mage.cards.e.EndriderCatalyzer.class));