Move getLanguage to Script

carlostome · carlostome · commit 5f9f38ffe51e · 2026-01-23T16:41:39.000+01:00
diff --git a/src/Ledger/Conway/Specification/Script/Base.lagda.md b/src/Ledger/Conway/Specification/Script/Base.lagda.md
@@ -108,4 +108,7 @@ record ScriptStructure : Type₁ where
 
   toP2Script : Script → Maybe P2Script
   toP2Script = isInj₂
+
+  getLanguage : Script → Maybe Language
+  getLanguage s = toP2Script s <&> language
 ```
diff --git a/src/Ledger/Conway/Specification/Utxow.lagda.md b/src/Ledger/Conway/Specification/Utxow.lagda.md
@@ -68,10 +68,6 @@ instance
 
 languages : Tx → UTxO → ℙ Language
 languages tx utxo = mapPartial getLanguage (txscripts tx utxo)
-  where
-    getLanguage : Script → Maybe Language
-    getLanguage (inj₁ _) = nothing
-    getLanguage (inj₂ s) = just (language s)
 ```
 -->
 
