diff --git a/generated/MAlonzo/Code/Ledger/Address.hs b/generated/MAlonzo/Code/Ledger/Address.hs index e87e8cf34..c1a06e035 100644 --- a/generated/MAlonzo/Code/Ledger/Address.hs +++ b/generated/MAlonzo/Code/Ledger/Address.hs @@ -25,6 +25,7 @@ import qualified MAlonzo.Code.Class.DecEq.Core import qualified MAlonzo.Code.Class.Decidable.Core import qualified MAlonzo.Code.Class.Show.Core import qualified MAlonzo.Code.Class.Show.Instances +import qualified MAlonzo.Code.Data.Maybe.Properties import qualified MAlonzo.Code.Data.Nat.Properties import qualified MAlonzo.Code.Data.Nat.Show import qualified MAlonzo.Code.Data.String.Base @@ -111,64 +112,64 @@ data T_isScript_42 = C_SHisScript_46 -- Ledger.Address.BaseAddr d_BaseAddr_48 a0 a1 a2 a3 a4 a5 = () data T_BaseAddr_48 - = C_BaseAddr'46'constructor_2765 AgdaAny T_Credential_16 - T_Credential_16 + = C_BaseAddr'46'constructor_2815 AgdaAny T_Credential_16 + (Maybe T_Credential_16) -- Ledger.Address.BaseAddr.net d_net_56 :: T_BaseAddr_48 -> AgdaAny d_net_56 v0 = case coe v0 of - C_BaseAddr'46'constructor_2765 v1 v2 v3 -> coe v1 + C_BaseAddr'46'constructor_2815 v1 v2 v3 -> coe v1 _ -> MAlonzo.RTE.mazUnreachableError -- Ledger.Address.BaseAddr.pay d_pay_58 :: T_BaseAddr_48 -> T_Credential_16 d_pay_58 v0 = case coe v0 of - C_BaseAddr'46'constructor_2765 v1 v2 v3 -> coe v2 + C_BaseAddr'46'constructor_2815 v1 v2 v3 -> coe v2 _ -> MAlonzo.RTE.mazUnreachableError -- Ledger.Address.BaseAddr.stake -d_stake_60 :: T_BaseAddr_48 -> T_Credential_16 +d_stake_60 :: T_BaseAddr_48 -> Maybe T_Credential_16 d_stake_60 v0 = case coe v0 of - C_BaseAddr'46'constructor_2765 v1 v2 v3 -> coe v3 + C_BaseAddr'46'constructor_2815 v1 v2 v3 -> coe v3 _ -> MAlonzo.RTE.mazUnreachableError -- Ledger.Address.BootstrapAddr d_BootstrapAddr_62 a0 a1 a2 a3 a4 a5 = () data T_BootstrapAddr_62 - = C_BootstrapAddr'46'constructor_2987 AgdaAny T_Credential_16 + = C_BootstrapAddr'46'constructor_3037 AgdaAny T_Credential_16 Integer -- Ledger.Address.BootstrapAddr.net d_net_70 :: T_BootstrapAddr_62 -> AgdaAny d_net_70 v0 = case coe v0 of - C_BootstrapAddr'46'constructor_2987 v1 v2 v3 -> coe v1 + C_BootstrapAddr'46'constructor_3037 v1 v2 v3 -> coe v1 _ -> MAlonzo.RTE.mazUnreachableError -- Ledger.Address.BootstrapAddr.pay d_pay_72 :: T_BootstrapAddr_62 -> T_Credential_16 d_pay_72 v0 = case coe v0 of - C_BootstrapAddr'46'constructor_2987 v1 v2 v3 -> coe v2 + C_BootstrapAddr'46'constructor_3037 v1 v2 v3 -> coe v2 _ -> MAlonzo.RTE.mazUnreachableError -- Ledger.Address.BootstrapAddr.attrsSize d_attrsSize_74 :: T_BootstrapAddr_62 -> Integer d_attrsSize_74 v0 = case coe v0 of - C_BootstrapAddr'46'constructor_2987 v1 v2 v3 -> coe v3 + C_BootstrapAddr'46'constructor_3037 v1 v2 v3 -> coe v3 _ -> MAlonzo.RTE.mazUnreachableError -- Ledger.Address.RwdAddr d_RwdAddr_76 a0 a1 a2 a3 a4 a5 = () data T_RwdAddr_76 - = C_RwdAddr'46'constructor_3193 AgdaAny T_Credential_16 + = C_RwdAddr'46'constructor_3243 AgdaAny T_Credential_16 -- Ledger.Address.RwdAddr.net d_net_82 :: T_RwdAddr_76 -> AgdaAny d_net_82 v0 = case coe v0 of - C_RwdAddr'46'constructor_3193 v1 v2 -> coe v1 + C_RwdAddr'46'constructor_3243 v1 v2 -> coe v1 _ -> MAlonzo.RTE.mazUnreachableError -- Ledger.Address.RwdAddr.stake d_stake_84 :: T_RwdAddr_76 -> T_Credential_16 d_stake_84 v0 = case coe v0 of - C_RwdAddr'46'constructor_3193 v1 v2 -> coe v2 + C_RwdAddr'46'constructor_3243 v1 v2 -> coe v2 _ -> MAlonzo.RTE.mazUnreachableError -- Ledger.Address.VKeyBaseAddr d_VKeyBaseAddr_86 :: @@ -249,11 +250,11 @@ du_payCred_108 v0 = case coe v0 of MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38 v1 -> case coe v1 of - C_BaseAddr'46'constructor_2765 v2 v3 v4 -> coe v3 + C_BaseAddr'46'constructor_2815 v2 v3 v4 -> coe v3 _ -> MAlonzo.RTE.mazUnreachableError MAlonzo.Code.Data.Sum.Base.C_inj'8322'_42 v1 -> case coe v1 of - C_BootstrapAddr'46'constructor_2987 v2 v3 v4 -> coe v3 + C_BootstrapAddr'46'constructor_3037 v2 v3 v4 -> coe v3 _ -> MAlonzo.RTE.mazUnreachableError _ -> MAlonzo.RTE.mazUnreachableError -- Ledger.Address.stakeCred @@ -272,8 +273,7 @@ du_stakeCred_110 v0 = case coe v0 of MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38 v1 -> case coe v1 of - C_BaseAddr'46'constructor_2765 v2 v3 v4 - -> coe MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 (coe v4) + C_BaseAddr'46'constructor_2815 v2 v3 v4 -> coe v4 _ -> MAlonzo.RTE.mazUnreachableError MAlonzo.Code.Data.Sum.Base.C_inj'8322'_42 v1 -> coe MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18 @@ -293,11 +293,11 @@ du_netId_112 v0 = case coe v0 of MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38 v1 -> case coe v1 of - C_BaseAddr'46'constructor_2765 v2 v3 v4 -> coe v2 + C_BaseAddr'46'constructor_2815 v2 v3 v4 -> coe v2 _ -> MAlonzo.RTE.mazUnreachableError MAlonzo.Code.Data.Sum.Base.C_inj'8322'_42 v1 -> case coe v1 of - C_BootstrapAddr'46'constructor_2987 v2 v3 v4 -> coe v2 + C_BootstrapAddr'46'constructor_3037 v2 v3 v4 -> coe v2 _ -> MAlonzo.RTE.mazUnreachableError _ -> MAlonzo.RTE.mazUnreachableError -- Ledger.Address.isVKeyAddr @@ -527,7 +527,7 @@ du_getScriptHash_184 v0 v1 -> coe seq (coe v1) (case coe v2 of - C_BaseAddr'46'constructor_2765 v3 v4 v5 + C_BaseAddr'46'constructor_2815 v3 v4 v5 -> case coe v4 of C_ScriptObj_20 v6 -> coe v6 _ -> MAlonzo.RTE.mazUnreachableError @@ -536,7 +536,7 @@ du_getScriptHash_184 v0 v1 -> coe seq (coe v1) (case coe v2 of - C_BootstrapAddr'46'constructor_2987 v3 v4 v5 + C_BootstrapAddr'46'constructor_3037 v3 v4 v5 -> case coe v4 of C_ScriptObj_20 v6 -> coe v6 _ -> MAlonzo.RTE.mazUnreachableError @@ -564,11 +564,11 @@ du_DecEq'45'BaseAddr_190 v0 v1 v2 (coe (\ v3 -> case coe v3 of - C_BaseAddr'46'constructor_2765 v4 v5 v6 + C_BaseAddr'46'constructor_2815 v4 v5 v6 -> coe (\ v7 -> case coe v7 of - C_BaseAddr'46'constructor_2765 v8 v9 v10 + C_BaseAddr'46'constructor_2815 v8 v9 v10 -> coe MAlonzo.Code.Tactic.Derive.DecEq.du_map''_38 (coe @@ -584,9 +584,11 @@ du_DecEq'45'BaseAddr_190 v0 v1 v2 MAlonzo.Code.Relation.Nullary.Reflects.C_of'696'_22 (coe MAlonzo.Code.Agda.Builtin.Unit.C_tt_8))) (coe - MAlonzo.Code.Class.DecEq.Core.d__'8799'__16 - (coe du_DecEq'45'Credential_142 (coe v1) (coe v2)) v10 - v6)) + MAlonzo.Code.Data.Maybe.Properties.du_'8801''45'dec_24 + (coe + MAlonzo.Code.Class.DecEq.Core.d__'8799'__16 + (coe du_DecEq'45'Credential_142 (coe v1) (coe v2))) + (coe v10) (coe v6))) (coe MAlonzo.Code.Class.DecEq.Core.d__'8799'__16 (coe du_DecEq'45'Credential_142 (coe v1) (coe v2)) v9 v5)) @@ -629,11 +631,11 @@ du_DecEq'45'BootstrapAddr_192 v0 v1 v2 (coe (\ v3 -> case coe v3 of - C_BootstrapAddr'46'constructor_2987 v4 v5 v6 + C_BootstrapAddr'46'constructor_3037 v4 v5 v6 -> coe (\ v7 -> case coe v7 of - C_BootstrapAddr'46'constructor_2987 v8 v9 v10 + C_BootstrapAddr'46'constructor_3037 v8 v9 v10 -> coe MAlonzo.Code.Tactic.Derive.DecEq.du_map''_38 (coe @@ -693,11 +695,11 @@ du_DecEq'45'RwdAddr_194 v0 v1 v2 (coe (\ v3 -> case coe v3 of - C_RwdAddr'46'constructor_3193 v4 v5 + C_RwdAddr'46'constructor_3243 v4 v5 -> coe (\ v6 -> case coe v6 of - C_RwdAddr'46'constructor_3193 v7 v8 + C_RwdAddr'46'constructor_3243 v7 v8 -> coe MAlonzo.Code.Tactic.Derive.DecEq.du_map''_38 (coe @@ -790,7 +792,7 @@ du_Show'45'RwdAddr_208 v0 v1 v2 (coe (\ v3 -> case coe v3 of - C_RwdAddr'46'constructor_3193 v4 v5 + C_RwdAddr'46'constructor_3243 v4 v5 -> coe MAlonzo.Code.Data.String.Base.d__'60''43''62'__50 (coe diff --git a/generated/MAlonzo/Code/Ledger/Conway/Conformance/Chain.hs b/generated/MAlonzo/Code/Ledger/Conway/Conformance/Chain.hs index 30d6a2d4e..dcbdcb860 100644 --- a/generated/MAlonzo/Code/Ledger/Conway/Conformance/Chain.hs +++ b/generated/MAlonzo/Code/Ledger/Conway/Conformance/Chain.hs @@ -387,7 +387,7 @@ du_govActionDeposits_2364 v0 v1 -> case coe v4 of MAlonzo.Code.Ledger.GovernanceActions.C_GovActionState'46'constructor_7003 v5 v6 v7 v8 v9 -> case coe v6 of - MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3193 v10 v11 + MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3243 v10 v11 -> coe MAlonzo.Code.Data.Maybe.Base.du__'62''62''61'__72 (coe diff --git a/generated/MAlonzo/Code/Ledger/Conway/Conformance/Epoch.hs b/generated/MAlonzo/Code/Ledger/Conway/Conformance/Epoch.hs index 3aa85dbcd..ac046494b 100644 --- a/generated/MAlonzo/Code/Ledger/Conway/Conformance/Epoch.hs +++ b/generated/MAlonzo/Code/Ledger/Conway/Conformance/Epoch.hs @@ -591,7 +591,7 @@ du_toRwdAddr_2394 :: MAlonzo.Code.Ledger.Address.T_RwdAddr_76 du_toRwdAddr_2394 v0 v1 = coe - MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3193 + MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3243 (coe MAlonzo.Code.Ledger.Types.Epoch.d_NetworkId_288 (coe diff --git a/generated/MAlonzo/Code/Ledger/Conway/Conformance/ScriptValidation.hs b/generated/MAlonzo/Code/Ledger/Conway/Conformance/ScriptValidation.hs index 03a0d2421..6d4fb6690 100644 --- a/generated/MAlonzo/Code/Ledger/Conway/Conformance/ScriptValidation.hs +++ b/generated/MAlonzo/Code/Ledger/Conway/Conformance/ScriptValidation.hs @@ -1101,7 +1101,7 @@ du_rwdScripts_2142 v0 seq (coe v1) (case coe v0 of - MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3193 v2 v3 + MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3243 v2 v3 -> case coe v3 of MAlonzo.Code.Ledger.Address.C_ScriptObj_20 v4 -> coe diff --git a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Address.hs b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Address.hs index 545687d76..9103adfd0 100644 --- a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Address.hs +++ b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Address.hs @@ -17,6 +17,8 @@ import MAlonzo.RTE (coe, erased, AgdaAny, addInt, subInt, mulInt, rem64, lt64, eq64, word64FromNat, word64ToNat) import qualified MAlonzo.RTE import qualified Data.Text +import qualified MAlonzo.Code.Agda.Builtin.Maybe +import qualified MAlonzo.Code.Class.Functor.Instances import qualified MAlonzo.Code.Foreign.Convertible import qualified MAlonzo.Code.Foreign.HaskellTypes import qualified MAlonzo.Code.Ledger.Address @@ -24,7 +26,7 @@ import qualified MAlonzo.Code.Ledger.Address import GHC.Generics (Generic) data Credential = KeyHashObj Integer | ScriptObj Integer deriving (Show, Eq, Generic) -data BaseAddr = BaseAddr {baseNet :: Integer, basePay :: MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.Credential, baseStake :: MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.Credential} +data BaseAddr = BaseAddr {baseNet :: Integer, basePay :: MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.Credential, baseStake :: (Maybe MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.Credential)} deriving (Show, Eq, Generic) data BootstrapAddr = BootstrapAddr {bootNet :: Integer, bootPay :: MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.Credential, bootAttrsSize :: Integer} deriving (Show, Eq, Generic) @@ -70,7 +72,7 @@ d_Conv'45'BaseAddr_16 (coe (\ v0 -> case coe v0 of - MAlonzo.Code.Ledger.Address.C_BaseAddr'46'constructor_2765 v1 v2 v3 + MAlonzo.Code.Ledger.Address.C_BaseAddr'46'constructor_2815 v1 v2 v3 -> coe C_BaseAddr_737 (coe v1) (coe @@ -97,23 +99,9 @@ d_Conv'45'BaseAddr_16 (coe MAlonzo.Code.Foreign.Convertible.d_to_18 (coe - MAlonzo.Code.Foreign.Convertible.C_Convertible'46'constructor_21 - (coe - (\ v4 -> - case coe v4 of - MAlonzo.Code.Ledger.Address.C_KeyHashObj_18 v5 - -> coe C_KeyHashObj_29 (coe v5) - MAlonzo.Code.Ledger.Address.C_ScriptObj_20 v5 - -> coe C_ScriptObj_63 (coe v5) - _ -> MAlonzo.RTE.mazUnreachableError)) - (coe - (\ v4 -> - case coe v4 of - C_KeyHashObj_29 v5 - -> coe MAlonzo.Code.Ledger.Address.C_KeyHashObj_18 (coe v5) - C_ScriptObj_63 v5 - -> coe MAlonzo.Code.Ledger.Address.C_ScriptObj_20 (coe v5) - _ -> MAlonzo.RTE.mazUnreachableError))) + MAlonzo.Code.Foreign.Convertible.du_Functor'8658'Convertible_62 + (coe MAlonzo.Code.Class.Functor.Instances.d_Functor'45'Maybe_6) + (coe d_Conv'45'Credential_12)) v3) _ -> MAlonzo.RTE.mazUnreachableError)) (coe @@ -121,7 +109,7 @@ d_Conv'45'BaseAddr_16 case coe v0 of C_BaseAddr_737 v1 v2 v3 -> coe - MAlonzo.Code.Ledger.Address.C_BaseAddr'46'constructor_2765 (coe v1) + MAlonzo.Code.Ledger.Address.C_BaseAddr'46'constructor_2815 (coe v1) (coe MAlonzo.Code.Foreign.Convertible.d_from_20 (coe @@ -146,23 +134,9 @@ d_Conv'45'BaseAddr_16 (coe MAlonzo.Code.Foreign.Convertible.d_from_20 (coe - MAlonzo.Code.Foreign.Convertible.C_Convertible'46'constructor_21 - (coe - (\ v4 -> - case coe v4 of - MAlonzo.Code.Ledger.Address.C_KeyHashObj_18 v5 - -> coe C_KeyHashObj_29 (coe v5) - MAlonzo.Code.Ledger.Address.C_ScriptObj_20 v5 - -> coe C_ScriptObj_63 (coe v5) - _ -> MAlonzo.RTE.mazUnreachableError)) - (coe - (\ v4 -> - case coe v4 of - C_KeyHashObj_29 v5 - -> coe MAlonzo.Code.Ledger.Address.C_KeyHashObj_18 (coe v5) - C_ScriptObj_63 v5 - -> coe MAlonzo.Code.Ledger.Address.C_ScriptObj_20 (coe v5) - _ -> MAlonzo.RTE.mazUnreachableError))) + MAlonzo.Code.Foreign.Convertible.du_Functor'8658'Convertible_62 + (coe MAlonzo.Code.Class.Functor.Instances.d_Functor'45'Maybe_6) + (coe d_Conv'45'Credential_12)) v3) _ -> MAlonzo.RTE.mazUnreachableError)) -- Ledger.Conway.Foreign.HSLedger.Address.HsTy-BootstrapAddr @@ -178,9 +152,9 @@ d_Conv'45'BootstrapAddr_20 (coe (\ v0 -> case coe v0 of - MAlonzo.Code.Ledger.Address.C_BootstrapAddr'46'constructor_2987 v1 v2 v3 + MAlonzo.Code.Ledger.Address.C_BootstrapAddr'46'constructor_3037 v1 v2 v3 -> coe - C_BootstrapAddr_2403 (coe v1) + C_BootstrapAddr_2611 (coe v1) (coe MAlonzo.Code.Foreign.Convertible.d_to_18 (coe @@ -207,9 +181,9 @@ d_Conv'45'BootstrapAddr_20 (coe (\ v0 -> case coe v0 of - C_BootstrapAddr_2403 v1 v2 v3 + C_BootstrapAddr_2611 v1 v2 v3 -> coe - MAlonzo.Code.Ledger.Address.C_BootstrapAddr'46'constructor_2987 + MAlonzo.Code.Ledger.Address.C_BootstrapAddr'46'constructor_3037 (coe v1) (coe MAlonzo.Code.Foreign.Convertible.d_from_20 @@ -247,9 +221,9 @@ d_Conv'45'RwdAddr_24 (coe (\ v0 -> case coe v0 of - MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3193 v1 v2 + MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3243 v1 v2 -> coe - C_RwdAddr_3763 (coe v1) + C_RwdAddr_3971 (coe v1) (coe MAlonzo.Code.Foreign.Convertible.d_to_18 (coe @@ -275,9 +249,9 @@ d_Conv'45'RwdAddr_24 (coe (\ v0 -> case coe v0 of - C_RwdAddr_3763 v1 v2 + C_RwdAddr_3971 v1 v2 -> coe - MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3193 (coe v1) + MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3243 (coe v1) (coe MAlonzo.Code.Foreign.Convertible.d_from_20 (coe @@ -319,30 +293,33 @@ d_BaseAddr_735 = () type T_BaseAddr_735 = BaseAddr pattern C_BaseAddr_737 a0 a1 a2 = BaseAddr a0 a1 a2 check_BaseAddr_737 :: - Integer -> T_Credential_27 -> T_Credential_27 -> T_BaseAddr_735 + Integer -> + T_Credential_27 -> + MAlonzo.Code.Agda.Builtin.Maybe.T_Maybe_10 () T_Credential_27 -> + T_BaseAddr_735 check_BaseAddr_737 = BaseAddr cover_BaseAddr_735 :: BaseAddr -> () cover_BaseAddr_735 x = case x of BaseAddr _ _ _ -> () -- Ledger.Conway.Foreign.HSLedger.Address.BootstrapAddr -d_BootstrapAddr_2401 = () -type T_BootstrapAddr_2401 = BootstrapAddr -pattern C_BootstrapAddr_2403 a0 a1 a2 = BootstrapAddr a0 a1 a2 -check_BootstrapAddr_2403 :: - Integer -> T_Credential_27 -> Integer -> T_BootstrapAddr_2401 -check_BootstrapAddr_2403 = BootstrapAddr -cover_BootstrapAddr_2401 :: BootstrapAddr -> () -cover_BootstrapAddr_2401 x +d_BootstrapAddr_2609 = () +type T_BootstrapAddr_2609 = BootstrapAddr +pattern C_BootstrapAddr_2611 a0 a1 a2 = BootstrapAddr a0 a1 a2 +check_BootstrapAddr_2611 :: + Integer -> T_Credential_27 -> Integer -> T_BootstrapAddr_2609 +check_BootstrapAddr_2611 = BootstrapAddr +cover_BootstrapAddr_2609 :: BootstrapAddr -> () +cover_BootstrapAddr_2609 x = case x of BootstrapAddr _ _ _ -> () -- Ledger.Conway.Foreign.HSLedger.Address.RwdAddr -d_RwdAddr_3761 = () -type T_RwdAddr_3761 = RwdAddr -pattern C_RwdAddr_3763 a0 a1 = RwdAddr a0 a1 -check_RwdAddr_3763 :: Integer -> T_Credential_27 -> T_RwdAddr_3761 -check_RwdAddr_3763 = RwdAddr -cover_RwdAddr_3761 :: RwdAddr -> () -cover_RwdAddr_3761 x +d_RwdAddr_3969 = () +type T_RwdAddr_3969 = RwdAddr +pattern C_RwdAddr_3971 a0 a1 = RwdAddr a0 a1 +check_RwdAddr_3971 :: Integer -> T_Credential_27 -> T_RwdAddr_3969 +check_RwdAddr_3971 = RwdAddr +cover_RwdAddr_3969 :: RwdAddr -> () +cover_RwdAddr_3969 x = case x of RwdAddr _ _ -> () diff --git a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/BaseTypes.hs b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/BaseTypes.hs index 74bedfab8..782fbaf65 100644 --- a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/BaseTypes.hs +++ b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/BaseTypes.hs @@ -2825,7 +2825,7 @@ d_pay_854 v0 = coe MAlonzo.Code.Ledger.Address.d_pay_58 (coe v0) -- Ledger.Conway.Foreign.HSLedger.BaseTypes._.BaseAddr.stake d_stake_856 :: MAlonzo.Code.Ledger.Address.T_BaseAddr_48 -> - MAlonzo.Code.Ledger.Address.T_Credential_16 + Maybe MAlonzo.Code.Ledger.Address.T_Credential_16 d_stake_856 v0 = coe MAlonzo.Code.Ledger.Address.d_stake_60 (coe v0) -- Ledger.Conway.Foreign.HSLedger.BaseTypes._.BootstrapAddr.attrsSize diff --git a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Certs.hs b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Certs.hs index dd5b1e2cf..b40888660 100644 --- a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Certs.hs +++ b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Certs.hs @@ -6034,7 +6034,7 @@ check_MkCertEnv_4791 :: () MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Gov.Core.T_GovVote_1531 -> MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.T_HSMap_18 - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_RwdAddr_3761 + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_RwdAddr_3969 Integer -> T_CertEnv_4789 check_MkCertEnv_4791 = MkCertEnv diff --git a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Core.hs b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Core.hs index 0b84c3793..4dc53b9ed 100644 --- a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Core.hs +++ b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Core.hs @@ -3781,7 +3781,7 @@ d_pay_1506 v0 = coe MAlonzo.Code.Ledger.Address.d_pay_58 (coe v0) -- Ledger.Conway.Foreign.HSLedger.Core.ExternalStructures._.BaseAddr.stake d_stake_1508 :: MAlonzo.Code.Ledger.Address.T_BaseAddr_48 -> - MAlonzo.Code.Ledger.Address.T_Credential_16 + Maybe MAlonzo.Code.Ledger.Address.T_Credential_16 d_stake_1508 v0 = coe MAlonzo.Code.Ledger.Address.d_stake_60 (coe v0) -- Ledger.Conway.Foreign.HSLedger.Core.ExternalStructures._.BootstrapAddr.attrsSize diff --git a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Enact.hs b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Enact.hs index 17a6e4cbe..5df25cf49 100644 --- a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Enact.hs +++ b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Enact.hs @@ -92,7 +92,7 @@ check_MkEnactState_57 :: (MAlonzo.Code.Foreign.Haskell.Pair.T_Pair_22 () () Integer Integer) -> MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.T_HSMap_18 - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_RwdAddr_3761 + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_RwdAddr_3969 Integer -> T_EnactState_55 check_MkEnactState_57 = MkEnactState @@ -1803,7 +1803,7 @@ check_ChangePParams_12859 :: check_ChangePParams_12859 = ChangePParams check_TreasuryWdrl_12889 :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.T_HSMap_18 - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_RwdAddr_3761 + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_RwdAddr_3969 Integer -> T_GovAction_12371 check_TreasuryWdrl_12889 = TreasuryWdrl diff --git a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Gov.hs b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Gov.hs index e117624c3..84a93224a 100644 --- a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Gov.hs +++ b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Gov.hs @@ -5144,7 +5144,7 @@ d_Conv'45'GovProposal''_292 v3) (coe v4) (coe - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.C_RwdAddr_3763 + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.C_RwdAddr_3971 (coe MAlonzo.Code.Ledger.Address.d_net_82 (coe v5)) (coe MAlonzo.Code.Foreign.Convertible.d_to_18 @@ -6513,9 +6513,9 @@ d_Conv'45'GovProposal''_292 (coe (\ v7 -> case coe v7 of - MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3193 v8 v9 + MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3243 v8 v9 -> coe - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.C_RwdAddr_3763 + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.C_RwdAddr_3971 (coe v8) (coe MAlonzo.Code.Foreign.Convertible.d_to_18 @@ -6550,9 +6550,9 @@ d_Conv'45'GovProposal''_292 (coe (\ v7 -> case coe v7 of - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.C_RwdAddr_3763 v8 v9 + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.C_RwdAddr_3971 v8 v9 -> coe - MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3193 + MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3243 (coe v8) (coe MAlonzo.Code.Foreign.Convertible.d_from_20 @@ -6641,7 +6641,7 @@ d_Conv'45'GovActionState''_296 MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Gov.Core.d_Conv'45'Vote_38))) (MAlonzo.Code.Agda.Builtin.Sigma.d_fst_28 (coe v1)))) (coe - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.C_RwdAddr_3763 + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.C_RwdAddr_3971 (coe MAlonzo.Code.Ledger.Address.d_net_82 (coe v2)) (coe MAlonzo.Code.Foreign.Convertible.d_to_18 @@ -8037,9 +8037,9 @@ d_Conv'45'GovActionState''_296 (coe (\ v6 -> case coe v6 of - MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3193 v7 v8 + MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3243 v7 v8 -> coe - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.C_RwdAddr_3763 + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.C_RwdAddr_3971 (coe v7) (coe MAlonzo.Code.Foreign.Convertible.d_to_18 @@ -8074,9 +8074,9 @@ d_Conv'45'GovActionState''_296 (coe (\ v6 -> case coe v6 of - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.C_RwdAddr_3763 v7 v8 + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.C_RwdAddr_3971 v7 v8 -> coe - MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3193 + MAlonzo.Code.Ledger.Address.C_RwdAddr'46'constructor_3243 (coe v7) (coe MAlonzo.Code.Foreign.Convertible.d_from_20 @@ -9551,7 +9551,7 @@ check_MkGovProposal_5193 :: () () Integer Integer -> MAlonzo.Code.Agda.Builtin.Maybe.T_Maybe_10 () Integer -> Integer -> - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_RwdAddr_3761 -> + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_RwdAddr_3969 -> MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Gov.Core.T_Anchor_143 -> T_GovProposal_5191 check_MkGovProposal_5193 = MkGovProposal @@ -9570,7 +9570,7 @@ check_MkGovActionState_9077 :: MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Gov.Core.T_GovRole_17 MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_Credential_27) MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Gov.Core.T_Vote_1405 -> - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_RwdAddr_3761 -> + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_RwdAddr_3969 -> Integer -> MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Enact.T_GovAction_12371 -> MAlonzo.Code.Foreign.Haskell.Pair.T_Pair_22 diff --git a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Transaction.hs b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Transaction.hs index d233c4a55..8bcea42ff 100644 --- a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Transaction.hs +++ b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Transaction.hs @@ -1947,7 +1947,7 @@ check_MkTxBody_10595 :: (MAlonzo.Code.Foreign.Haskell.Either.T_Either_22 () () MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_BaseAddr_735 - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_BootstrapAddr_2401) + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_BootstrapAddr_2609) (MAlonzo.Code.Foreign.Haskell.Pair.T_Pair_22 () () Integer (MAlonzo.Code.Foreign.Haskell.Pair.T_Pair_22 @@ -1970,7 +1970,7 @@ check_MkTxBody_10595 :: () MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Certs.T_DCert_11659 -> MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.T_HSMap_18 - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_RwdAddr_3761 + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_RwdAddr_3969 Integer -> MAlonzo.Code.Agda.Builtin.List.T_List_10 () diff --git a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Utxo.hs b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Utxo.hs index b198799c9..bf9eae378 100644 --- a/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Utxo.hs +++ b/generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Utxo.hs @@ -2530,7 +2530,7 @@ check_MkUTxOState_1151 :: (MAlonzo.Code.Foreign.Haskell.Either.T_Either_22 () () MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_BaseAddr_735 - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_BootstrapAddr_2401) + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address.T_BootstrapAddr_2609) (MAlonzo.Code.Foreign.Haskell.Pair.T_Pair_22 () () Integer (MAlonzo.Code.Foreign.Haskell.Pair.T_Pair_22 diff --git a/generated/MAlonzo/Code/Ledger/Transaction.hs b/generated/MAlonzo/Code/Ledger/Transaction.hs index e450de6a2..1becfbb5f 100644 --- a/generated/MAlonzo/Code/Ledger/Transaction.hs +++ b/generated/MAlonzo/Code/Ledger/Transaction.hs @@ -1472,7 +1472,7 @@ d_pay_1496 v0 = coe MAlonzo.Code.Ledger.Address.d_pay_58 (coe v0) -- Ledger.Transaction.TransactionStructure._.BaseAddr.stake d_stake_1498 :: MAlonzo.Code.Ledger.Address.T_BaseAddr_48 -> - MAlonzo.Code.Ledger.Address.T_Credential_16 + Maybe MAlonzo.Code.Ledger.Address.T_Credential_16 d_stake_1498 v0 = coe MAlonzo.Code.Ledger.Address.d_stake_60 (coe v0) -- Ledger.Transaction.TransactionStructure._.BootstrapAddr.attrsSize diff --git a/generated/MAlonzo/Code/Ledger/Types/GovStructure.hs b/generated/MAlonzo/Code/Ledger/Types/GovStructure.hs index c69f5a925..a8755e0c8 100644 --- a/generated/MAlonzo/Code/Ledger/Types/GovStructure.hs +++ b/generated/MAlonzo/Code/Ledger/Types/GovStructure.hs @@ -2052,7 +2052,7 @@ d_pay_1204 v0 = coe MAlonzo.Code.Ledger.Address.d_pay_58 (coe v0) -- Ledger.Types.GovStructure.GovStructure._.BaseAddr.stake d_stake_1206 :: MAlonzo.Code.Ledger.Address.T_BaseAddr_48 -> - MAlonzo.Code.Ledger.Address.T_Credential_16 + Maybe MAlonzo.Code.Ledger.Address.T_Credential_16 d_stake_1206 v0 = coe MAlonzo.Code.Ledger.Address.d_stake_60 (coe v0) -- Ledger.Types.GovStructure.GovStructure._.BootstrapAddr.attrsSize diff --git a/generated/cardano-ledger-executable-spec.cabal b/generated/cardano-ledger-executable-spec.cabal index 602f886fb..f0f7dac8d 100644 --- a/generated/cardano-ledger-executable-spec.cabal +++ b/generated/cardano-ledger-executable-spec.cabal @@ -56,586 +56,586 @@ library -- This will be generated automatically when building with nix other-modules: MAlonzo.RTE - MAlonzo.Code.Interface.HasSubtract - MAlonzo.Code.Interface.Hashable - MAlonzo.Code.Interface.ComputationalRelation - MAlonzo.Code.Interface.HasSubtract.Instance - MAlonzo.Code.Interface.STS + MAlonzo.RTE.Float MAlonzo.Code.MetaPrelude - MAlonzo.Code.Tactic.ByEq - MAlonzo.Code.Tactic.ClauseBuilder - MAlonzo.Code.Tactic.Inline - MAlonzo.Code.Tactic.Derive - MAlonzo.Code.Tactic.GenError - MAlonzo.Code.Tactic.Substitute - MAlonzo.Code.Tactic.AnyOf - MAlonzo.Code.Tactic.Assumption - MAlonzo.Code.Tactic.Premises - MAlonzo.Code.Tactic.Derive.DecEq - MAlonzo.Code.Tactic.Derive.TestTypes - MAlonzo.Code.Tactic.Derive.Show - MAlonzo.Code.Tactic.Defaults - MAlonzo.Code.Relation.Nullary - MAlonzo.Code.Relation.Unary - MAlonzo.Code.Relation.Binary.Structures - MAlonzo.Code.Relation.Binary.Construct.NonStrictToStrict - MAlonzo.Code.Relation.Binary.Construct.Composition - MAlonzo.Code.Relation.Binary.Construct.Flip.EqAndOrd - MAlonzo.Code.Relation.Binary.Construct.Intersection - MAlonzo.Code.Relation.Binary.Construct.Constant.Core - MAlonzo.Code.Relation.Binary.Construct.StrictToNonStrict - MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive.Properties - MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive - MAlonzo.Code.Relation.Binary.Construct.NaturalOrder.Left - MAlonzo.Code.Relation.Binary.Construct.On - MAlonzo.Code.Relation.Binary.Construct.Subst.Equality - MAlonzo.Code.Relation.Binary.PropositionalEquality.Core - MAlonzo.Code.Relation.Binary.PropositionalEquality.Properties - MAlonzo.Code.Relation.Binary.PropositionalEquality.Algebra - MAlonzo.Code.Relation.Binary.Lattice - MAlonzo.Code.Relation.Binary.Bundles - MAlonzo.Code.Relation.Binary.Reflection - MAlonzo.Code.Relation.Binary.Core - MAlonzo.Code.Relation.Binary.Morphism - MAlonzo.Code.Relation.Binary.Reasoning.Base.Single - MAlonzo.Code.Relation.Binary.Reasoning.Base.Double - MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple - MAlonzo.Code.Relation.Binary.Reasoning.Syntax - MAlonzo.Code.Relation.Binary.Reasoning.Setoid - MAlonzo.Code.Relation.Binary.Reasoning.PartialOrder - MAlonzo.Code.Relation.Binary.Reasoning.Preorder - MAlonzo.Code.Relation.Binary.Morphism.Structures - MAlonzo.Code.Relation.Binary.Morphism.Construct.Identity - MAlonzo.Code.Relation.Binary.Morphism.Bundles - MAlonzo.Code.Relation.Binary.Morphism.RelMonomorphism - MAlonzo.Code.Relation.Binary.Morphism.OrderMonomorphism - MAlonzo.Code.Relation.Binary.Morphism.Definitions - MAlonzo.Code.Relation.Binary.Structures.Biased - MAlonzo.Code.Relation.Binary.Properties.DecSetoid - MAlonzo.Code.Relation.Binary.Properties.DecTotalOrder - MAlonzo.Code.Relation.Binary.Properties.Setoid - MAlonzo.Code.Relation.Binary.Properties.TotalOrder - MAlonzo.Code.Relation.Binary.Properties.Poset - MAlonzo.Code.Relation.Binary.Properties.ApartnessRelation - MAlonzo.Code.Relation.Binary.Properties.Preorder - MAlonzo.Code.Relation.Binary.Consequences - MAlonzo.Code.Relation.Binary.PropositionalEquality - MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures - MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Construct.Trivial - MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles - MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Core - MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Definitions - MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous - MAlonzo.Code.Relation.Binary.Lattice.Structures - MAlonzo.Code.Relation.Binary.Lattice.Bundles - MAlonzo.Code.Relation.Binary.Lattice.Properties.BoundedJoinSemilattice - MAlonzo.Code.Relation.Binary.Lattice.Properties.JoinSemilattice - MAlonzo.Code.Relation.Binary.Lattice.Definitions - MAlonzo.Code.Relation.Binary.Definitions - MAlonzo.Code.Relation.Unary.PredicateTransformer - MAlonzo.Code.Relation.Unary.Properties - MAlonzo.Code.Relation.Binary - MAlonzo.Code.Relation.Nullary.Decidable.Core - MAlonzo.Code.Relation.Nullary.Recomputable - MAlonzo.Code.Relation.Nullary.Reflects - MAlonzo.Code.Relation.Nullary.Negation - MAlonzo.Code.Relation.Nullary.Indexed - MAlonzo.Code.Relation.Nullary.Decidable - MAlonzo.Code.Relation.Nullary.Negation.Core - MAlonzo.Code.Reflection.AST - MAlonzo.Code.Reflection.Utils - MAlonzo.Code.Reflection.Ext - MAlonzo.Code.Reflection.Syntax + MAlonzo.Code.IO.Primitive.Core + MAlonzo.Code.Class.Monad.Instances + MAlonzo.Code.Class.Monad.Core + MAlonzo.Code.Class.MonadError + MAlonzo.Code.Class.Monoid + MAlonzo.Code.Class.HasSingleton + MAlonzo.Code.Class.Prelude + MAlonzo.Code.Class.Foldable.Instances + MAlonzo.Code.Class.Foldable.Core + MAlonzo.Code.Class.MonadError.Instances + MAlonzo.Code.Class.Traversable.Instances + MAlonzo.Code.Class.Traversable.Core + MAlonzo.Code.Class.Bifunctor + MAlonzo.Code.Class.DecEq.Instances + MAlonzo.Code.Class.DecEq.Core + MAlonzo.Code.Class.HasEmptySet + MAlonzo.Code.Class.MonadReader + MAlonzo.Code.Class.Decidable.Instances + MAlonzo.Code.Class.Decidable.Core + MAlonzo.Code.Class.Semigroup.Instances + MAlonzo.Code.Class.Semigroup.Core + MAlonzo.Code.Class.HasAdd.Core + MAlonzo.Code.Class.HasAdd.Instance + MAlonzo.Code.Class.Foldable + MAlonzo.Code.Class.Core + MAlonzo.Code.Class.Decidable + MAlonzo.Code.Class.HasOrder + MAlonzo.Code.Class.Applicative + MAlonzo.Code.Class.CommutativeMonoid + MAlonzo.Code.Class.Semigroup + MAlonzo.Code.Class.Functor.Instances + MAlonzo.Code.Class.Functor.Core + MAlonzo.Code.Class.Functor + MAlonzo.Code.Class.MonadTC.Instances + MAlonzo.Code.Class.CommutativeMonoid.Instances + MAlonzo.Code.Class.CommutativeMonoid.Core + MAlonzo.Code.Class.IsSet + MAlonzo.Code.Class.DecEq + MAlonzo.Code.Class.Traversable + MAlonzo.Code.Class.MonadReader.Instances + MAlonzo.Code.Class.HasAdd + MAlonzo.Code.Class.Show.Instances + MAlonzo.Code.Class.Show.Core + MAlonzo.Code.Class.Applicative.Instances + MAlonzo.Code.Class.Applicative.Core + MAlonzo.Code.Class.ToBool + MAlonzo.Code.Class.Monoid.Instances + MAlonzo.Code.Class.Monoid.Core + MAlonzo.Code.Class.HasOrder.Core + MAlonzo.Code.Class.HasOrder.Instance + MAlonzo.Code.Class.Monad + MAlonzo.Code.Class.MonadTC + MAlonzo.Code.Class.Show + MAlonzo.Code.Induction + MAlonzo.Code.Prelude + MAlonzo.Code.Algebra.Structures + MAlonzo.Code.Algebra.Consequences.Propositional + MAlonzo.Code.Algebra.Consequences.Setoid + MAlonzo.Code.Algebra.Consequences.Base + MAlonzo.Code.Algebra.Apartness.Structures + MAlonzo.Code.Algebra.Apartness.Bundles + MAlonzo.Code.Algebra.Bundles.Raw + MAlonzo.Code.Algebra.PairOp + MAlonzo.Code.Algebra.Bundles + MAlonzo.Code.Algebra.Structures.Biased + MAlonzo.Code.Algebra.Solver.Ring.AlmostCommutativeRing + MAlonzo.Code.Algebra.Solver.Ring.Simple + MAlonzo.Code.Algebra.Solver.Ring.Lemmas + MAlonzo.Code.Algebra.Solver.Ring + MAlonzo.Code.Algebra.Lattice.Structures + MAlonzo.Code.Algebra.Lattice.Bundles.Raw + MAlonzo.Code.Algebra.Lattice.Bundles + MAlonzo.Code.Algebra.Lattice.Structures.Biased + MAlonzo.Code.Algebra.Lattice.Construct.NaturalChoice.MaxOp + MAlonzo.Code.Algebra.Lattice.Construct.NaturalChoice.MinMaxOp + MAlonzo.Code.Algebra.Lattice.Construct.NaturalChoice.MinOp + MAlonzo.Code.Algebra.Lattice.Properties.Semilattice + MAlonzo.Code.Algebra.Lattice.Properties.BooleanAlgebra + MAlonzo.Code.Algebra.Lattice.Properties.DistributiveLattice + MAlonzo.Code.Algebra.Lattice.Properties.Lattice + MAlonzo.Code.Algebra.Lattice.Morphism.Structures + MAlonzo.Code.Algebra.Lattice.Morphism.LatticeMonomorphism + MAlonzo.Code.Algebra.Core + MAlonzo.Code.Algebra.Definitions + MAlonzo.Code.Algebra.Morphism + MAlonzo.Code.Algebra.Lattice + MAlonzo.Code.Algebra.Function + MAlonzo.Code.Algebra.Definitions.RawSemiring + MAlonzo.Code.Algebra.Definitions.RawMonoid + MAlonzo.Code.Algebra.Definitions.RawMagma + MAlonzo.Code.Algebra.Construct.NaturalChoice.MaxOp + MAlonzo.Code.Algebra.Construct.NaturalChoice.MinMaxOp + MAlonzo.Code.Algebra.Construct.NaturalChoice.MinOp + MAlonzo.Code.Algebra.Construct.NaturalChoice.Base + MAlonzo.Code.Algebra.Construct.NaturalChoice.Min + MAlonzo.Code.Algebra.Construct.NaturalChoice.Max + MAlonzo.Code.Algebra.Construct.LiftedChoice + MAlonzo.Code.Algebra.Properties.Semiring.Exp + MAlonzo.Code.Algebra.Properties.QQuasigroup + MAlonzo.Code.Algebra.Properties.RingWithoutOne + MAlonzo.Code.Algebra.Properties.CommutativeMonoid + MAlonzo.Code.Algebra.Properties.Semigroup + MAlonzo.Code.Algebra.Properties.CommutativeSemigroup + MAlonzo.Code.Algebra.Properties.AbelianGroup + MAlonzo.Code.Algebra.Properties.Ring + MAlonzo.Code.Algebra.Properties.Monoid.Mult + MAlonzo.Code.Algebra.Properties.Loop + MAlonzo.Code.Algebra.Properties.Group + MAlonzo.Code.Algebra.Apartness + MAlonzo.Code.Algebra.Morphism.Structures + MAlonzo.Code.Algebra.Morphism.RingMonomorphism + MAlonzo.Code.Algebra.Morphism.MonoidMonomorphism + MAlonzo.Code.Algebra.Morphism.MagmaMonomorphism + MAlonzo.Code.Algebra.Morphism.Definitions + MAlonzo.Code.Algebra.Morphism.Construct.Identity + MAlonzo.Code.Algebra.Morphism.GroupMonomorphism + MAlonzo.Code.Ledger.Enact + MAlonzo.Code.Ledger.Prelude + MAlonzo.Code.Ledger.Set + MAlonzo.Code.Ledger.GovernanceActions + MAlonzo.Code.Ledger.GovernanceActions.Properties + MAlonzo.Code.Ledger.Types.Epoch + MAlonzo.Code.Ledger.Types.GovStructure + MAlonzo.Code.Ledger.Address + MAlonzo.Code.Ledger.Transaction + MAlonzo.Code.Ledger.Abstract + MAlonzo.Code.Ledger.Set.HashMap + MAlonzo.Code.Ledger.PParams + MAlonzo.Code.Ledger.Crypto + MAlonzo.Code.Ledger.Interface.HasCoin + MAlonzo.Code.Ledger.Script + MAlonzo.Code.Ledger.TokenAlgebra + MAlonzo.Code.Ledger.Certs + MAlonzo.Code.Ledger.Prelude.Base + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Utxo + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Enact + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Gov + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Cert + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Ratify + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Core + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.NewEpoch + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Gov.Core + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Transaction + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Chain + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Epoch + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.PParams + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.BaseTypes + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Ledger + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Certs + MAlonzo.Code.Ledger.Conway.Foreign.Util + MAlonzo.Code.Ledger.Conway.Foreign.HSLedger + MAlonzo.Code.Ledger.Conway.Foreign.HSTypes + MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions + MAlonzo.Code.Ledger.Conway.Conformance.Utxo + MAlonzo.Code.Ledger.Conway.Conformance.Epoch.Properties + MAlonzo.Code.Ledger.Conway.Conformance.Gov + MAlonzo.Code.Ledger.Conway.Conformance.Ratify + MAlonzo.Code.Ledger.Conway.Conformance.Ledger.Properties + MAlonzo.Code.Ledger.Conway.Conformance.Utxow + MAlonzo.Code.Ledger.Conway.Conformance.Utxo.Properties + MAlonzo.Code.Ledger.Conway.Conformance.Certs.Properties + MAlonzo.Code.Ledger.Conway.Conformance.Gov.Properties + MAlonzo.Code.Ledger.Conway.Conformance.Ratify.Properties + MAlonzo.Code.Ledger.Conway.Conformance.Utxow.Properties + MAlonzo.Code.Ledger.Conway.Conformance.Chain + MAlonzo.Code.Ledger.Conway.Conformance.Epoch + MAlonzo.Code.Ledger.Conway.Conformance.Chain.Properties + MAlonzo.Code.Ledger.Conway.Conformance.Ledger + MAlonzo.Code.Ledger.Conway.Conformance.Script + MAlonzo.Code.Ledger.Conway.Conformance.Certs + MAlonzo.Code.Ledger.Conway.Conformance.ScriptValidation + MAlonzo.Code.Ledger.Fees + MAlonzo.Code.Foreign.Haskell.Either + MAlonzo.Code.Foreign.Haskell.Pair + MAlonzo.Code.Foreign.Haskell.List.NonEmpty + MAlonzo.Code.Foreign.Haskell.Coerce + MAlonzo.Code.Foreign.Convertible.Deriving + MAlonzo.Code.Foreign.HaskellTypes + MAlonzo.Code.Foreign.Haskell + MAlonzo.Code.Foreign.Convertible + MAlonzo.Code.Foreign.HaskellTypes.Deriving + MAlonzo.Code.Meta + MAlonzo.Code.Reflection.TCM + MAlonzo.Code.Reflection.Tactic + MAlonzo.Code.Reflection.AST.Meta + MAlonzo.Code.Reflection.AST.Definition + MAlonzo.Code.Reflection.AST.Term + MAlonzo.Code.Reflection.AST.Pattern + MAlonzo.Code.Reflection.AST.Argument.Visibility + MAlonzo.Code.Reflection.AST.Argument.QQuantity MAlonzo.Code.Reflection.AST.Argument.Information MAlonzo.Code.Reflection.AST.Argument.Relevance MAlonzo.Code.Reflection.AST.Argument.Modality - MAlonzo.Code.Reflection.AST.Argument.QQuantity - MAlonzo.Code.Reflection.AST.Argument.Visibility - MAlonzo.Code.Reflection.AST.Literal - MAlonzo.Code.Reflection.AST.Meta MAlonzo.Code.Reflection.AST.Traversal - MAlonzo.Code.Reflection.AST.Term - MAlonzo.Code.Reflection.AST.Definition MAlonzo.Code.Reflection.AST.Abstraction - MAlonzo.Code.Reflection.AST.Show + MAlonzo.Code.Reflection.AST.Literal MAlonzo.Code.Reflection.AST.Argument MAlonzo.Code.Reflection.AST.Name - MAlonzo.Code.Reflection.AST.Pattern MAlonzo.Code.Reflection.AST.DeBruijn - MAlonzo.Code.Reflection.Debug - MAlonzo.Code.Reflection.Utils.Debug - MAlonzo.Code.Reflection.Utils.TCI - MAlonzo.Code.Reflection.Tactic + MAlonzo.Code.Reflection.AST.Show MAlonzo.Code.Reflection.TCM.Format MAlonzo.Code.Reflection.TCM.Syntax + MAlonzo.Code.Reflection.Utils.Debug + MAlonzo.Code.Reflection.Utils.TCI + MAlonzo.Code.Reflection.Debug + MAlonzo.Code.Reflection.Ext + MAlonzo.Code.Reflection.Syntax + MAlonzo.Code.Reflection.Utils MAlonzo.Code.Reflection.TCI - MAlonzo.Code.Reflection.TCM - MAlonzo.Code.Meta - MAlonzo.Code.Induction - MAlonzo.Code.Induction.WellFounded - MAlonzo.Code.Induction.Lexicographic + MAlonzo.Code.Reflection.AST + MAlonzo.Code.Tactic.ClauseBuilder + MAlonzo.Code.Tactic.Substitute + MAlonzo.Code.Tactic.Assumption + MAlonzo.Code.Tactic.Derive + MAlonzo.Code.Tactic.Premises + MAlonzo.Code.Tactic.Defaults + MAlonzo.Code.Tactic.Inline + MAlonzo.Code.Tactic.AnyOf + MAlonzo.Code.Tactic.GenError + MAlonzo.Code.Tactic.ByEq + MAlonzo.Code.Tactic.Derive.DecEq + MAlonzo.Code.Tactic.Derive.TestTypes + MAlonzo.Code.Tactic.Derive.Show + MAlonzo.Code.Reflection + MAlonzo.Code.Level + MAlonzo.Code.QabstractZ45ZsetZ45Ztheory.Prelude + MAlonzo.Code.QabstractZ45ZsetZ45Ztheory.FiniteSetTheory + MAlonzo.Code.Effect.Comonad + MAlonzo.Code.Effect.Choice + MAlonzo.Code.Effect.Empty MAlonzo.Code.Effect.Applicative MAlonzo.Code.Effect.Functor MAlonzo.Code.Effect.Monad - MAlonzo.Code.Effect.Choice - MAlonzo.Code.Effect.Empty - MAlonzo.Code.Effect.Comonad - MAlonzo.Code.Data.String.Base - MAlonzo.Code.Data.String.Properties - MAlonzo.Code.Data.Container.Related - MAlonzo.Code.Data.Container.Membership - MAlonzo.Code.Data.Container.Relation.Binary.Pointwise.Properties - MAlonzo.Code.Data.Container.Relation.Binary.Equality.Setoid - MAlonzo.Code.Data.Container.Relation.Binary.Pointwise - MAlonzo.Code.Data.Container.Relation.Unary.All - MAlonzo.Code.Data.Container.Relation.Unary.Any - MAlonzo.Code.Data.Container.Core - MAlonzo.Code.Data.Container.Morphism - MAlonzo.Code.Data.Container.Morphism.Properties - MAlonzo.Code.Data.Container.Properties - MAlonzo.Code.Data.Char.Base - MAlonzo.Code.Data.Char.Properties - MAlonzo.Code.Data.Digit - MAlonzo.Code.Data.Relation.Nullary.Decidable.Ext - MAlonzo.Code.Data.Refinement - MAlonzo.Code.Data.Maybe - MAlonzo.Code.Data.Bool.Base - MAlonzo.Code.Data.Bool.Properties - MAlonzo.Code.Data.Bool.Show - MAlonzo.Code.Data.Float - MAlonzo.Code.Data.Vec.Functional - MAlonzo.Code.Data.Vec.Relation.Binary.Equality.Cast - MAlonzo.Code.Data.Vec.Relation.Unary.All - MAlonzo.Code.Data.Vec.Relation.Unary.Any - MAlonzo.Code.Data.Vec.Base - MAlonzo.Code.Data.Vec.Bounded.Base - MAlonzo.Code.Data.Vec.Properties - MAlonzo.Code.Data.Vec.Membership.Setoid - MAlonzo.Code.Data.Vec.Membership.Propositional - MAlonzo.Code.Data.Vec.NZ45Zary - MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise - MAlonzo.Code.Data.Sum.Relation.Unary.All - MAlonzo.Code.Data.Sum.Effectful.Left - MAlonzo.Code.Data.Sum.Base - MAlonzo.Code.Data.Sum.Properties - MAlonzo.Code.Data.Sum.Function.Setoid - MAlonzo.Code.Data.Sum.Function.Propositional - MAlonzo.Code.Data.Sum.Algebra - MAlonzo.Code.Data.Fin.Base + MAlonzo.Code.Data.Char + MAlonzo.Code.Data.Sum + MAlonzo.Code.Data.Universe + MAlonzo.Code.Data.Maybe.Properties + MAlonzo.Code.Data.Maybe.Effectful + MAlonzo.Code.Data.Maybe.Relation.Unary.All + MAlonzo.Code.Data.Maybe.Relation.Unary.Any + MAlonzo.Code.Data.Maybe.Relation.Binary.Pointwise + MAlonzo.Code.Data.Maybe.Relation.Binary.Connected + MAlonzo.Code.Data.Maybe.Base MAlonzo.Code.Data.Fin.Properties MAlonzo.Code.Data.Fin.Patterns - MAlonzo.Code.Data.Word64 - MAlonzo.Code.Data.Float.Base - MAlonzo.Code.Data.Float.Properties + MAlonzo.Code.Data.Fin.Base + MAlonzo.Code.Data.Nat.Primality MAlonzo.Code.Data.Nat.Induction MAlonzo.Code.Data.Nat.GCD.Lemmas - MAlonzo.Code.Data.Nat.Divisibility MAlonzo.Code.Data.Nat.GeneralisedArithmetic - MAlonzo.Code.Data.Nat.Base - MAlonzo.Code.Data.Nat.DivMod + MAlonzo.Code.Data.Nat.Divisibility MAlonzo.Code.Data.Nat.Properties - MAlonzo.Code.Data.Nat.Show - MAlonzo.Code.Data.Nat.Properties.Ext - MAlonzo.Code.Data.Nat.Divisibility.Core - MAlonzo.Code.Data.Nat.GCD + MAlonzo.Code.Data.Nat.DivMod.Core MAlonzo.Code.Data.Nat.Literals + MAlonzo.Code.Data.Nat.GCD + MAlonzo.Code.Data.Nat.Divisibility.Core + MAlonzo.Code.Data.Nat.Properties.Ext + MAlonzo.Code.Data.Nat.DivMod MAlonzo.Code.Data.Nat.Coprimality - MAlonzo.Code.Data.Nat.Primality - MAlonzo.Code.Data.Nat.DivMod.Core - MAlonzo.Code.Data.Rational.Base + MAlonzo.Code.Data.Nat.Base + MAlonzo.Code.Data.Nat.Show + MAlonzo.Code.Data.Refinement + MAlonzo.Code.Data.Container + MAlonzo.Code.Data.Parity.Base + MAlonzo.Code.Data.These MAlonzo.Code.Data.Rational.Properties - MAlonzo.Code.Data.Rational.Show - MAlonzo.Code.Data.Rational.Unnormalised.Base MAlonzo.Code.Data.Rational.Unnormalised.Properties - MAlonzo.Code.Data.Sign - MAlonzo.Code.Data.Nat - MAlonzo.Code.Data.List - MAlonzo.Code.Data.These - MAlonzo.Code.Data.W - MAlonzo.Code.Data.These.Base - MAlonzo.Code.Data.These.Properties - MAlonzo.Code.Data.Parity.Base - MAlonzo.Code.Data.String + MAlonzo.Code.Data.Rational.Unnormalised.Base + MAlonzo.Code.Data.Rational.Base + MAlonzo.Code.Data.Rational.Show + MAlonzo.Code.Data.Sign.Properties + MAlonzo.Code.Data.Sign.Base + MAlonzo.Code.Data.Float.Properties + MAlonzo.Code.Data.Float.Base MAlonzo.Code.Data.Record - MAlonzo.Code.Data.Vec - MAlonzo.Code.Data.Container - MAlonzo.Code.Data.Product.Relation.Binary.Pointwise.NonDependent - MAlonzo.Code.Data.Product.Relation.Unary.All - MAlonzo.Code.Data.Product.Ext - MAlonzo.Code.Data.Product.Nary.NonDependent - MAlonzo.Code.Data.Product.Base + MAlonzo.Code.Data.Empty + MAlonzo.Code.Data.Float + MAlonzo.Code.Data.Rational + MAlonzo.Code.Data.Irrelevant MAlonzo.Code.Data.Product.Properties - MAlonzo.Code.Data.Product.Properties.Ext + MAlonzo.Code.Data.Product.Nary.NonDependent + MAlonzo.Code.Data.Product.Relation.Unary.All + MAlonzo.Code.Data.Product.Relation.Binary.Pointwise.NonDependent MAlonzo.Code.Data.Product.Function.Dependent.Propositional - MAlonzo.Code.Data.Product.Function.NonDependent.Setoid MAlonzo.Code.Data.Product.Function.NonDependent.Propositional + MAlonzo.Code.Data.Product.Function.NonDependent.Setoid MAlonzo.Code.Data.Product.Algebra - MAlonzo.Code.Data.Irrelevant - MAlonzo.Code.Data.Maybe.Relation.Binary.Connected - MAlonzo.Code.Data.Maybe.Relation.Binary.Pointwise - MAlonzo.Code.Data.Maybe.Relation.Unary.All - MAlonzo.Code.Data.Maybe.Relation.Unary.Any - MAlonzo.Code.Data.Maybe.Base - MAlonzo.Code.Data.Maybe.Properties - MAlonzo.Code.Data.Maybe.Effectful - MAlonzo.Code.Data.Product - MAlonzo.Code.Data.Fin - MAlonzo.Code.Data.Universe - MAlonzo.Code.Data.Integer.Ext + MAlonzo.Code.Data.Product.Ext + MAlonzo.Code.Data.Product.Properties.Ext + MAlonzo.Code.Data.Product.Base + MAlonzo.Code.Data.Sum.Effectful.Left + MAlonzo.Code.Data.Sum.Properties + MAlonzo.Code.Data.Sum.Relation.Unary.All + MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise + MAlonzo.Code.Data.Sum.Function.Propositional + MAlonzo.Code.Data.Sum.Function.Setoid + MAlonzo.Code.Data.Sum.Algebra + MAlonzo.Code.Data.Sum.Base + MAlonzo.Code.Data.List MAlonzo.Code.Data.Integer.Divisibility - MAlonzo.Code.Data.Integer.Base MAlonzo.Code.Data.Integer.Properties - MAlonzo.Code.Data.Integer.Show + MAlonzo.Code.Data.Integer.Ext + MAlonzo.Code.Data.Integer.GCD MAlonzo.Code.Data.Integer.Properties.NatLemmas MAlonzo.Code.Data.Integer.Solver - MAlonzo.Code.Data.Integer.GCD MAlonzo.Code.Data.Integer.Coprimality - MAlonzo.Code.Data.Sign.Base - MAlonzo.Code.Data.Sign.Properties - MAlonzo.Code.Data.Empty - MAlonzo.Code.Data.Sum - MAlonzo.Code.Data.Bool - MAlonzo.Code.Data.Unit + MAlonzo.Code.Data.Integer.Base + MAlonzo.Code.Data.Integer.Show + MAlonzo.Code.Data.Nat + MAlonzo.Code.Data.Char.Properties + MAlonzo.Code.Data.Char.Base + MAlonzo.Code.Data.Relation.Nullary.Decidable.Ext MAlonzo.Code.Data.Integer + MAlonzo.Code.Data.Word64 MAlonzo.Code.Data.Empty.Polymorphic + MAlonzo.Code.Data.Product + MAlonzo.Code.Data.Digit + MAlonzo.Code.Data.String.Properties + MAlonzo.Code.Data.String.Base + MAlonzo.Code.Data.Maybe + MAlonzo.Code.Data.String + MAlonzo.Code.Data.Bool + MAlonzo.Code.Data.Unit.Polymorphic.Properties + MAlonzo.Code.Data.Unit.Polymorphic.Base MAlonzo.Code.Data.Unit.Polymorphic - MAlonzo.Code.Data.Unit.Base MAlonzo.Code.Data.Unit.Properties - MAlonzo.Code.Data.Unit.Polymorphic.Base - MAlonzo.Code.Data.Unit.Polymorphic.Properties - MAlonzo.Code.Data.Rational - MAlonzo.Code.Data.Char - MAlonzo.Code.Data.Word64.Base + MAlonzo.Code.Data.Unit.Base + MAlonzo.Code.Data.Unit + MAlonzo.Code.Data.Vec + MAlonzo.Code.Data.W + MAlonzo.Code.Data.These.Properties + MAlonzo.Code.Data.These.Base + MAlonzo.Code.Data.Vec.Membership.Propositional + MAlonzo.Code.Data.Vec.Membership.Setoid + MAlonzo.Code.Data.Vec.Properties + MAlonzo.Code.Data.Vec.NZ45Zary + MAlonzo.Code.Data.Vec.Relation.Unary.All + MAlonzo.Code.Data.Vec.Relation.Unary.Any + MAlonzo.Code.Data.Vec.Relation.Binary.Equality.Cast + MAlonzo.Code.Data.Vec.Functional + MAlonzo.Code.Data.Vec.Bounded.Base + MAlonzo.Code.Data.Vec.Base MAlonzo.Code.Data.Word64.Properties - MAlonzo.Code.Data.List.Relation.Binary.Sublist.Heterogeneous.Core - MAlonzo.Code.Data.List.Relation.Binary.Sublist.Heterogeneous.Properties - MAlonzo.Code.Data.List.Relation.Binary.Sublist.Heterogeneous - MAlonzo.Code.Data.List.Relation.Binary.Sublist.Ext - MAlonzo.Code.Data.List.Relation.Binary.Sublist.Setoid.Properties - MAlonzo.Code.Data.List.Relation.Binary.Sublist.Setoid - MAlonzo.Code.Data.List.Relation.Binary.Sublist.Propositional - MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base - MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Properties - MAlonzo.Code.Data.List.Relation.Binary.Disjoint.Setoid.Properties - MAlonzo.Code.Data.List.Relation.Binary.Disjoint.Setoid - MAlonzo.Code.Data.List.Relation.Binary.Disjoint.Propositional - MAlonzo.Code.Data.List.Relation.Binary.Equality.Setoid - MAlonzo.Code.Data.List.Relation.Binary.Equality.Propositional - MAlonzo.Code.Data.List.Relation.Binary.Permutation.Setoid.Properties - MAlonzo.Code.Data.List.Relation.Binary.Permutation.Setoid - MAlonzo.Code.Data.List.Relation.Binary.Permutation.Homogeneous - MAlonzo.Code.Data.List.Relation.Binary.Permutation.Propositional - MAlonzo.Code.Data.List.Relation.Binary.Permutation.Propositional.Properties - MAlonzo.Code.Data.List.Relation.Binary.BagAndSetEquality - MAlonzo.Code.Data.List.Relation.Binary.Lex.Core - MAlonzo.Code.Data.List.Relation.Binary.Lex.Strict - MAlonzo.Code.Data.List.Relation.Binary.Lex - MAlonzo.Code.Data.List.Relation.Binary.Subset.Setoid.Properties - MAlonzo.Code.Data.List.Relation.Binary.Subset.Setoid - MAlonzo.Code.Data.List.Relation.Binary.Subset.Propositional - MAlonzo.Code.Data.List.Relation.Binary.Subset.Propositional.Properties - MAlonzo.Code.Data.List.Relation.Binary.Pointwise - MAlonzo.Code.Data.List.Relation.Unary.Sorted.TotalOrder.Properties - MAlonzo.Code.Data.List.Relation.Unary.Sorted.TotalOrder - MAlonzo.Code.Data.List.Relation.Unary.All + MAlonzo.Code.Data.Word64.Base + MAlonzo.Code.Data.List.NonEmpty.Base + MAlonzo.Code.Data.List.Extrema.Core + MAlonzo.Code.Data.List.Sort + MAlonzo.Code.Data.List.Scans.Base + MAlonzo.Code.Data.List.Membership.Propositional + MAlonzo.Code.Data.List.Membership.DecPropositional + MAlonzo.Code.Data.List.Membership.Setoid.Properties + MAlonzo.Code.Data.List.Membership.Setoid + MAlonzo.Code.Data.List.Membership.Propositional.Properties + MAlonzo.Code.Data.List.Membership.Propositional.Properties.Core + MAlonzo.Code.Data.List.Membership.DecSetoid + MAlonzo.Code.Data.List.Extrema + MAlonzo.Code.Data.List.Properties + MAlonzo.Code.Data.List.Effectful MAlonzo.Code.Data.List.Relation.Unary.Any.Properties - MAlonzo.Code.Data.List.Relation.Unary.MOf - MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core + MAlonzo.Code.Data.List.Relation.Unary.All + MAlonzo.Code.Data.List.Relation.Unary.Linked.Properties + MAlonzo.Code.Data.List.Relation.Unary.Linked MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Properties - MAlonzo.Code.Data.List.Relation.Unary.Unique.DecSetoid + MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core + MAlonzo.Code.Data.List.Relation.Unary.Unique.Propositional MAlonzo.Code.Data.List.Relation.Unary.Unique.DecPropositional + MAlonzo.Code.Data.List.Relation.Unary.Unique.DecPropositional.Properties MAlonzo.Code.Data.List.Relation.Unary.Unique.Setoid.Properties MAlonzo.Code.Data.List.Relation.Unary.Unique.Setoid - MAlonzo.Code.Data.List.Relation.Unary.Unique.DecPropositional.Properties - MAlonzo.Code.Data.List.Relation.Unary.Unique.DecSetoid.Properties - MAlonzo.Code.Data.List.Relation.Unary.Unique.Propositional MAlonzo.Code.Data.List.Relation.Unary.Unique.Propositional.Properties MAlonzo.Code.Data.List.Relation.Unary.Unique.Propositional.Properties.WithK - MAlonzo.Code.Data.List.Relation.Unary.Linked.Properties + MAlonzo.Code.Data.List.Relation.Unary.Unique.DecSetoid.Properties + MAlonzo.Code.Data.List.Relation.Unary.Unique.DecSetoid MAlonzo.Code.Data.List.Relation.Unary.AllPairs + MAlonzo.Code.Data.List.Relation.Unary.MOf MAlonzo.Code.Data.List.Relation.Unary.All.Properties - MAlonzo.Code.Data.List.Relation.Unary.Linked MAlonzo.Code.Data.List.Relation.Unary.Any - MAlonzo.Code.Data.List.Extrema.Core - MAlonzo.Code.Data.List.Ext - MAlonzo.Code.Data.List.Ext.Properties - MAlonzo.Code.Data.List.Ext.Properties2 - MAlonzo.Code.Data.List.Extrema - MAlonzo.Code.Data.List.Base - MAlonzo.Code.Data.List.NonEmpty - MAlonzo.Code.Data.List.Properties - MAlonzo.Code.Data.List.Scans.Base - MAlonzo.Code.Data.List.Membership.DecSetoid - MAlonzo.Code.Data.List.Membership.DecPropositional - MAlonzo.Code.Data.List.Membership.Setoid.Properties - MAlonzo.Code.Data.List.Membership.Setoid - MAlonzo.Code.Data.List.Membership.Propositional - MAlonzo.Code.Data.List.Membership.Propositional.Properties - MAlonzo.Code.Data.List.Membership.Propositional.Properties.Core - MAlonzo.Code.Data.List.Effectful - MAlonzo.Code.Data.List.Sort.MergeSort - MAlonzo.Code.Data.List.Sort.Base - MAlonzo.Code.Data.List.Sort - MAlonzo.Code.Data.List.NonEmpty.Base - MAlonzo.Code.Ledger.Crypto - MAlonzo.Code.Ledger.Interface.HasCoin - MAlonzo.Code.Ledger.PParams - MAlonzo.Code.Ledger.Address - MAlonzo.Code.Ledger.Certs - MAlonzo.Code.Ledger.Prelude.Base - MAlonzo.Code.Ledger.Set.HashMap - MAlonzo.Code.Ledger.TokenAlgebra - MAlonzo.Code.Ledger.Enact - MAlonzo.Code.Ledger.Script - MAlonzo.Code.Ledger.Abstract - MAlonzo.Code.Ledger.Transaction - MAlonzo.Code.Ledger.GovernanceActions - MAlonzo.Code.Ledger.Types.GovStructure - MAlonzo.Code.Ledger.Types.Epoch - MAlonzo.Code.Ledger.Fees - MAlonzo.Code.Ledger.Prelude - MAlonzo.Code.Ledger.Conway.Conformance.Certs.Properties - MAlonzo.Code.Ledger.Conway.Conformance.Utxo.Properties - MAlonzo.Code.Ledger.Conway.Conformance.Certs - MAlonzo.Code.Ledger.Conway.Conformance.Ledger.Properties - MAlonzo.Code.Ledger.Conway.Conformance.ScriptValidation - MAlonzo.Code.Ledger.Conway.Conformance.Chain - MAlonzo.Code.Ledger.Conway.Conformance.Utxo - MAlonzo.Code.Ledger.Conway.Conformance.Script - MAlonzo.Code.Ledger.Conway.Conformance.Chain.Properties - MAlonzo.Code.Ledger.Conway.Conformance.Ratify.Properties - MAlonzo.Code.Ledger.Conway.Conformance.Gov.Properties - MAlonzo.Code.Ledger.Conway.Conformance.Utxow.Properties - MAlonzo.Code.Ledger.Conway.Conformance.Epoch - MAlonzo.Code.Ledger.Conway.Conformance.Ledger - MAlonzo.Code.Ledger.Conway.Conformance.Epoch.Properties - MAlonzo.Code.Ledger.Conway.Conformance.Ratify - MAlonzo.Code.Ledger.Conway.Conformance.Gov - MAlonzo.Code.Ledger.Conway.Conformance.Utxow - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger - MAlonzo.Code.Ledger.Conway.Foreign.HSTypes - MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions - MAlonzo.Code.Ledger.Conway.Foreign.Util - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.PParams - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Address - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Certs - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Cert - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Chain - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Utxo - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Core - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.BaseTypes - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Enact - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.NewEpoch - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Gov.Core - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Transaction - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Epoch - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Ledger - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Ratify - MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Gov - MAlonzo.Code.Ledger.Set - MAlonzo.Code.Ledger.GovernanceActions.Properties - MAlonzo.Code.Reflection - MAlonzo.Code.IO.Primitive.Core - MAlonzo.Code.Axiom.UniquenessOfIdentityProofs - MAlonzo.Code.Axiom.Set.Map - MAlonzo.Code.Axiom.Set.Rel - MAlonzo.Code.Axiom.Set.Map.Dec - MAlonzo.Code.Axiom.Set.TotalMap - MAlonzo.Code.Axiom.Set.List - MAlonzo.Code.Axiom.Set.Factor - MAlonzo.Code.Axiom.Set.TotalMapOn - MAlonzo.Code.Axiom.Set.Properties - MAlonzo.Code.Axiom.Set.Sum - MAlonzo.Code.Axiom.Extensionality.Propositional - MAlonzo.Code.Axiom.Set - MAlonzo.Code.Text.Format - MAlonzo.Code.Text.Printf.Generic - MAlonzo.Code.Text.Printf - MAlonzo.Code.Text.Format.Generic - MAlonzo.Code.Algebra.Structures - MAlonzo.Code.Algebra.Construct.NaturalChoice.MinOp - MAlonzo.Code.Algebra.Construct.NaturalChoice.MaxOp - MAlonzo.Code.Algebra.Construct.NaturalChoice.Min - MAlonzo.Code.Algebra.Construct.NaturalChoice.Base - MAlonzo.Code.Algebra.Construct.NaturalChoice.Max - MAlonzo.Code.Algebra.Construct.NaturalChoice.MinMaxOp - MAlonzo.Code.Algebra.Construct.LiftedChoice - MAlonzo.Code.Algebra.Lattice - MAlonzo.Code.Algebra.Bundles - MAlonzo.Code.Algebra.Core - MAlonzo.Code.Algebra.Morphism - MAlonzo.Code.Algebra.Morphism.Structures - MAlonzo.Code.Algebra.Morphism.Construct.Identity - MAlonzo.Code.Algebra.Morphism.GroupMonomorphism - MAlonzo.Code.Algebra.Morphism.RingMonomorphism - MAlonzo.Code.Algebra.Morphism.MagmaMonomorphism - MAlonzo.Code.Algebra.Morphism.MonoidMonomorphism - MAlonzo.Code.Algebra.Morphism.Definitions - MAlonzo.Code.Algebra.Structures.Biased - MAlonzo.Code.Algebra.Definitions.RawMonoid - MAlonzo.Code.Algebra.Definitions.RawSemiring - MAlonzo.Code.Algebra.Definitions.RawMagma - MAlonzo.Code.Algebra.Solver.Ring - MAlonzo.Code.Algebra.Solver.Ring.Simple - MAlonzo.Code.Algebra.Solver.Ring.AlmostCommutativeRing - MAlonzo.Code.Algebra.Solver.Ring.Lemmas - MAlonzo.Code.Algebra.Function - MAlonzo.Code.Algebra.Properties.Monoid.Mult - MAlonzo.Code.Algebra.Properties.CommutativeMonoid - MAlonzo.Code.Algebra.Properties.RingWithoutOne - MAlonzo.Code.Algebra.Properties.Semiring.Exp - MAlonzo.Code.Algebra.Properties.Semigroup - MAlonzo.Code.Algebra.Properties.CommutativeSemigroup - MAlonzo.Code.Algebra.Properties.Loop - MAlonzo.Code.Algebra.Properties.Ring - MAlonzo.Code.Algebra.Properties.AbelianGroup - MAlonzo.Code.Algebra.Properties.Group - MAlonzo.Code.Algebra.Properties.QQuasigroup - MAlonzo.Code.Algebra.Bundles.Raw - MAlonzo.Code.Algebra.Apartness.Structures - MAlonzo.Code.Algebra.Apartness.Bundles - MAlonzo.Code.Algebra.PairOp - MAlonzo.Code.Algebra.Lattice.Structures - MAlonzo.Code.Algebra.Lattice.Construct.NaturalChoice.MinOp - MAlonzo.Code.Algebra.Lattice.Construct.NaturalChoice.MaxOp - MAlonzo.Code.Algebra.Lattice.Construct.NaturalChoice.MinMaxOp - MAlonzo.Code.Algebra.Lattice.Bundles - MAlonzo.Code.Algebra.Lattice.Morphism.Structures - MAlonzo.Code.Algebra.Lattice.Morphism.LatticeMonomorphism - MAlonzo.Code.Algebra.Lattice.Structures.Biased - MAlonzo.Code.Algebra.Lattice.Properties.BooleanAlgebra - MAlonzo.Code.Algebra.Lattice.Properties.Lattice - MAlonzo.Code.Algebra.Lattice.Properties.DistributiveLattice - MAlonzo.Code.Algebra.Lattice.Properties.Semilattice - MAlonzo.Code.Algebra.Lattice.Bundles.Raw - MAlonzo.Code.Algebra.Apartness - MAlonzo.Code.Algebra.Consequences.Setoid - MAlonzo.Code.Algebra.Consequences.Base - MAlonzo.Code.Algebra.Consequences.Propositional - MAlonzo.Code.Algebra.Definitions + MAlonzo.Code.Data.List.Relation.Unary.Sorted.TotalOrder.Properties + MAlonzo.Code.Data.List.Relation.Unary.Sorted.TotalOrder + MAlonzo.Code.Data.List.Relation.Binary.Pointwise + MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Properties + MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base + MAlonzo.Code.Data.List.Relation.Binary.Disjoint.Propositional + MAlonzo.Code.Data.List.Relation.Binary.Disjoint.Setoid.Properties + MAlonzo.Code.Data.List.Relation.Binary.Disjoint.Setoid + MAlonzo.Code.Data.List.Relation.Binary.Permutation.Homogeneous + MAlonzo.Code.Data.List.Relation.Binary.Permutation.Propositional + MAlonzo.Code.Data.List.Relation.Binary.Permutation.Setoid.Properties + MAlonzo.Code.Data.List.Relation.Binary.Permutation.Setoid + MAlonzo.Code.Data.List.Relation.Binary.Permutation.Propositional.Properties + MAlonzo.Code.Data.List.Relation.Binary.Subset.Propositional + MAlonzo.Code.Data.List.Relation.Binary.Subset.Setoid.Properties + MAlonzo.Code.Data.List.Relation.Binary.Subset.Setoid + MAlonzo.Code.Data.List.Relation.Binary.Subset.Propositional.Properties + MAlonzo.Code.Data.List.Relation.Binary.Lex.Strict + MAlonzo.Code.Data.List.Relation.Binary.Lex.Core + MAlonzo.Code.Data.List.Relation.Binary.Sublist.Propositional + MAlonzo.Code.Data.List.Relation.Binary.Sublist.Heterogeneous + MAlonzo.Code.Data.List.Relation.Binary.Sublist.Setoid.Properties + MAlonzo.Code.Data.List.Relation.Binary.Sublist.Setoid + MAlonzo.Code.Data.List.Relation.Binary.Sublist.Heterogeneous.Properties + MAlonzo.Code.Data.List.Relation.Binary.Sublist.Heterogeneous.Core + MAlonzo.Code.Data.List.Relation.Binary.Sublist.Ext + MAlonzo.Code.Data.List.Relation.Binary.Equality.Propositional + MAlonzo.Code.Data.List.Relation.Binary.Equality.Setoid + MAlonzo.Code.Data.List.Relation.Binary.BagAndSetEquality + MAlonzo.Code.Data.List.Relation.Binary.Lex + MAlonzo.Code.Data.List.Sort.MergeSort + MAlonzo.Code.Data.List.Sort.Base + MAlonzo.Code.Data.List.Ext + MAlonzo.Code.Data.List.NonEmpty + MAlonzo.Code.Data.List.Ext.Properties + MAlonzo.Code.Data.List.Ext.Properties2 + MAlonzo.Code.Data.List.Base + MAlonzo.Code.Data.Sign + MAlonzo.Code.Data.Container.Related + MAlonzo.Code.Data.Container.Properties + MAlonzo.Code.Data.Container.Core + MAlonzo.Code.Data.Container.Morphism + MAlonzo.Code.Data.Container.Relation.Unary.All + MAlonzo.Code.Data.Container.Relation.Unary.Any + MAlonzo.Code.Data.Container.Relation.Binary.Pointwise + MAlonzo.Code.Data.Container.Relation.Binary.Pointwise.Properties + MAlonzo.Code.Data.Container.Relation.Binary.Equality.Setoid + MAlonzo.Code.Data.Container.Membership + MAlonzo.Code.Data.Container.Morphism.Properties + MAlonzo.Code.Data.Bool.Properties + MAlonzo.Code.Data.Bool.Base + MAlonzo.Code.Data.Bool.Show + MAlonzo.Code.Data.Fin + MAlonzo.Code.Relation.Unary.Properties + MAlonzo.Code.Relation.Unary.PredicateTransformer + MAlonzo.Code.Relation.Unary + MAlonzo.Code.Relation.Binary + MAlonzo.Code.Relation.Nullary + MAlonzo.Code.Relation.Nullary.Negation.Core + MAlonzo.Code.Relation.Nullary.Decidable.Core + MAlonzo.Code.Relation.Nullary.Decidable + MAlonzo.Code.Relation.Nullary.Reflects + MAlonzo.Code.Relation.Nullary.Negation + MAlonzo.Code.Relation.Nullary.Recomputable + MAlonzo.Code.Relation.Nullary.Indexed + MAlonzo.Code.Relation.Binary.Structures + MAlonzo.Code.Relation.Binary.PropositionalEquality.Properties + MAlonzo.Code.Relation.Binary.PropositionalEquality.Core + MAlonzo.Code.Relation.Binary.PropositionalEquality.Algebra + MAlonzo.Code.Relation.Binary.Reasoning.PartialOrder + MAlonzo.Code.Relation.Binary.Reasoning.Setoid + MAlonzo.Code.Relation.Binary.Reasoning.Syntax + MAlonzo.Code.Relation.Binary.Reasoning.Preorder + MAlonzo.Code.Relation.Binary.Reasoning.Base.Double + MAlonzo.Code.Relation.Binary.Reasoning.Base.Single + MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple + MAlonzo.Code.Relation.Binary.Bundles + MAlonzo.Code.Relation.Binary.PropositionalEquality + MAlonzo.Code.Relation.Binary.Structures.Biased + MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous + MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures + MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles + MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Core + MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Definitions + MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Construct.Trivial + MAlonzo.Code.Relation.Binary.Lattice.Structures + MAlonzo.Code.Relation.Binary.Lattice.Bundles + MAlonzo.Code.Relation.Binary.Lattice.Definitions + MAlonzo.Code.Relation.Binary.Lattice.Properties.JoinSemilattice + MAlonzo.Code.Relation.Binary.Lattice.Properties.BoundedJoinSemilattice + MAlonzo.Code.Relation.Binary.Core + MAlonzo.Code.Relation.Binary.Reflection + MAlonzo.Code.Relation.Binary.Definitions + MAlonzo.Code.Relation.Binary.Morphism + MAlonzo.Code.Relation.Binary.Lattice + MAlonzo.Code.Relation.Binary.Construct.On + MAlonzo.Code.Relation.Binary.Construct.Subst.Equality + MAlonzo.Code.Relation.Binary.Construct.Intersection + MAlonzo.Code.Relation.Binary.Construct.Constant.Core + MAlonzo.Code.Relation.Binary.Construct.Composition + MAlonzo.Code.Relation.Binary.Construct.NaturalOrder.Left + MAlonzo.Code.Relation.Binary.Construct.StrictToNonStrict + MAlonzo.Code.Relation.Binary.Construct.NonStrictToStrict + MAlonzo.Code.Relation.Binary.Construct.Flip.EqAndOrd + MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive + MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive.Properties + MAlonzo.Code.Relation.Binary.Consequences + MAlonzo.Code.Relation.Binary.Properties.ApartnessRelation + MAlonzo.Code.Relation.Binary.Properties.DecTotalOrder + MAlonzo.Code.Relation.Binary.Properties.Poset + MAlonzo.Code.Relation.Binary.Properties.Setoid + MAlonzo.Code.Relation.Binary.Properties.Preorder + MAlonzo.Code.Relation.Binary.Properties.DecSetoid + MAlonzo.Code.Relation.Binary.Properties.TotalOrder + MAlonzo.Code.Relation.Binary.Morphism.Structures + MAlonzo.Code.Relation.Binary.Morphism.Bundles + MAlonzo.Code.Relation.Binary.Morphism.Definitions + MAlonzo.Code.Relation.Binary.Morphism.Construct.Identity + MAlonzo.Code.Relation.Binary.Morphism.OrderMonomorphism + MAlonzo.Code.Relation.Binary.Morphism.RelMonomorphism MAlonzo.Code.Function - MAlonzo.Code.Class.Foldable - MAlonzo.Code.Class.MonadError - MAlonzo.Code.Class.HasOrder - MAlonzo.Code.Class.Decidable.Core - MAlonzo.Code.Class.Decidable.Instances - MAlonzo.Code.Class.DecEq - MAlonzo.Code.Class.HasSingleton - MAlonzo.Code.Class.Monoid.Core - MAlonzo.Code.Class.Monoid.Instances - MAlonzo.Code.Class.Applicative - MAlonzo.Code.Class.DecEq.Core - MAlonzo.Code.Class.DecEq.Instances - MAlonzo.Code.Class.Traversable - MAlonzo.Code.Class.Show.Core - MAlonzo.Code.Class.Show.Instances - MAlonzo.Code.Class.MonadReader.Instances - MAlonzo.Code.Class.Functor - MAlonzo.Code.Class.Applicative.Core - MAlonzo.Code.Class.Applicative.Instances - MAlonzo.Code.Class.CommutativeMonoid - MAlonzo.Code.Class.Monad.Core - MAlonzo.Code.Class.Monad.Instances - MAlonzo.Code.Class.HasEmptySet - MAlonzo.Code.Class.MonadTC.Instances - MAlonzo.Code.Class.Monad - MAlonzo.Code.Class.Semigroup - MAlonzo.Code.Class.Monoid - MAlonzo.Code.Class.Core - MAlonzo.Code.Class.IsSet - MAlonzo.Code.Class.HasAdd - MAlonzo.Code.Class.Functor.Core - MAlonzo.Code.Class.Functor.Instances - MAlonzo.Code.Class.MonadError.Instances - MAlonzo.Code.Class.HasOrder.Core - MAlonzo.Code.Class.HasOrder.Instance - MAlonzo.Code.Class.HasAdd.Core - MAlonzo.Code.Class.HasAdd.Instance - MAlonzo.Code.Class.Foldable.Core - MAlonzo.Code.Class.Foldable.Instances - MAlonzo.Code.Class.Show - MAlonzo.Code.Class.MonadTC - MAlonzo.Code.Class.ToBool - MAlonzo.Code.Class.Decidable - MAlonzo.Code.Class.MonadReader - MAlonzo.Code.Class.CommutativeMonoid.Core - MAlonzo.Code.Class.CommutativeMonoid.Instances - MAlonzo.Code.Class.Bifunctor - MAlonzo.Code.Class.Prelude - MAlonzo.Code.Class.Traversable.Core - MAlonzo.Code.Class.Traversable.Instances - MAlonzo.Code.Class.Semigroup.Core - MAlonzo.Code.Class.Semigroup.Instances MAlonzo.Code.Function.Structures + MAlonzo.Code.Function.Consequences.Propositional + MAlonzo.Code.Function.Consequences.Setoid + MAlonzo.Code.Function.Bundles + MAlonzo.Code.Function.Strict + MAlonzo.Code.Function.Structures.Biased + MAlonzo.Code.Function.Indexed.Relation.Binary.Equality + MAlonzo.Code.Function.Core + MAlonzo.Code.Function.Dependent.Bundles + MAlonzo.Code.Function.Definitions + MAlonzo.Code.Function.Nary.NonDependent.Base + MAlonzo.Code.Function.Nary.NonDependent + MAlonzo.Code.Function.Related.Propositional + MAlonzo.Code.Function.Related.TypeIsomorphisms MAlonzo.Code.Function.Construct.Composition MAlonzo.Code.Function.Construct.Identity MAlonzo.Code.Function.Construct.Symmetry + MAlonzo.Code.Function.Consequences MAlonzo.Code.Function.Identity.Effectful - MAlonzo.Code.Function.Bundles - MAlonzo.Code.Function.Dependent.Bundles - MAlonzo.Code.Function.Core - MAlonzo.Code.Function.Nary.NonDependent - MAlonzo.Code.Function.Nary.NonDependent.Base + MAlonzo.Code.Function.Properties.RightInverse + MAlonzo.Code.Function.Properties.Inverse + MAlonzo.Code.Function.Properties.Surjection + MAlonzo.Code.Function.Properties.Inverse.HalfAdjointEquivalence + MAlonzo.Code.Function.Properties.Bijection MAlonzo.Code.Function.Base MAlonzo.Code.Function.Metric.Structures - MAlonzo.Code.Function.Metric.Bundles MAlonzo.Code.Function.Metric.Nat.Structures MAlonzo.Code.Function.Metric.Nat.Bundles MAlonzo.Code.Function.Metric.Nat.Core MAlonzo.Code.Function.Metric.Nat.Definitions - MAlonzo.Code.Function.Metric.Nat + MAlonzo.Code.Function.Metric.Bundles MAlonzo.Code.Function.Metric.Core MAlonzo.Code.Function.Metric.Definitions - MAlonzo.Code.Function.Related.TypeIsomorphisms - MAlonzo.Code.Function.Related.Propositional - MAlonzo.Code.Function.Structures.Biased - MAlonzo.Code.Function.Properties.Inverse.HalfAdjointEquivalence - MAlonzo.Code.Function.Properties.RightInverse - MAlonzo.Code.Function.Properties.Surjection - MAlonzo.Code.Function.Properties.Inverse - MAlonzo.Code.Function.Properties.Bijection - MAlonzo.Code.Function.Consequences - MAlonzo.Code.Function.Strict - MAlonzo.Code.Function.Indexed.Relation.Binary.Equality - MAlonzo.Code.Function.Consequences.Setoid - MAlonzo.Code.Function.Consequences.Propositional - MAlonzo.Code.Function.Definitions - MAlonzo.Code.Level + MAlonzo.Code.Function.Metric.Nat + MAlonzo.Code.Induction.WellFounded + MAlonzo.Code.Induction.Lexicographic MAlonzo.Code.Algebra + MAlonzo.Code.Text.Format + MAlonzo.Code.Text.Printf + MAlonzo.Code.Text.Printf.Generic + MAlonzo.Code.Text.Format.Generic MAlonzo.Code.MyDebugOptions + MAlonzo.Code.Interface.Hashable + MAlonzo.Code.Interface.HasSubtract.Instance + MAlonzo.Code.Interface.HasSubtract + MAlonzo.Code.Interface.ComputationalRelation + MAlonzo.Code.Interface.STS MAlonzo.Code.PreludeMeta - MAlonzo.Code.QabstractZ45ZsetZ45Ztheory.FiniteSetTheory - MAlonzo.Code.QabstractZ45ZsetZ45Ztheory.Prelude - MAlonzo.Code.Prelude - MAlonzo.Code.Foreign.Haskell.Pair - MAlonzo.Code.Foreign.Haskell.Coerce - MAlonzo.Code.Foreign.Haskell.Either - MAlonzo.Code.Foreign.Haskell.List.NonEmpty - MAlonzo.Code.Foreign.Convertible.Deriving - MAlonzo.Code.Foreign.Haskell - MAlonzo.Code.Foreign.HaskellTypes.Deriving - MAlonzo.Code.Foreign.Convertible - MAlonzo.Code.Foreign.HaskellTypes - MAlonzo.Code.Agda.Builtin.String.Properties - MAlonzo.Code.Agda.Builtin.FromNat - MAlonzo.Code.Agda.Builtin.Char.Properties - MAlonzo.Code.Agda.Builtin.Maybe - MAlonzo.Code.Agda.Builtin.Reflection.Properties - MAlonzo.Code.Agda.Builtin.Float + MAlonzo.Code.Agda.Builtin.Word.Properties + MAlonzo.Code.Agda.Builtin.Char MAlonzo.Code.Agda.Builtin.IO - MAlonzo.Code.Agda.Builtin.Reflection MAlonzo.Code.Agda.Builtin.Word + MAlonzo.Code.Agda.Builtin.Int + MAlonzo.Code.Agda.Builtin.Sigma + MAlonzo.Code.Agda.Builtin.Strict + MAlonzo.Code.Agda.Builtin.Reflection.Properties MAlonzo.Code.Agda.Builtin.Float.Properties - MAlonzo.Code.Agda.Builtin.Nat - MAlonzo.Code.Agda.Builtin.List + MAlonzo.Code.Agda.Builtin.Reflection + MAlonzo.Code.Agda.Builtin.Float MAlonzo.Code.Agda.Builtin.Equality + MAlonzo.Code.Agda.Builtin.List + MAlonzo.Code.Agda.Builtin.Nat + MAlonzo.Code.Agda.Builtin.Char.Properties + MAlonzo.Code.Agda.Builtin.String.Properties + MAlonzo.Code.Agda.Builtin.Maybe MAlonzo.Code.Agda.Builtin.String - MAlonzo.Code.Agda.Builtin.Sigma - MAlonzo.Code.Agda.Builtin.Word.Properties - MAlonzo.Code.Agda.Builtin.Strict MAlonzo.Code.Agda.Builtin.Bool MAlonzo.Code.Agda.Builtin.Unit - MAlonzo.Code.Agda.Builtin.Int - MAlonzo.Code.Agda.Builtin.Char + MAlonzo.Code.Agda.Builtin.FromNat MAlonzo.Code.Agda.Primitive - MAlonzo.RTE.Float + MAlonzo.Code.Axiom.Set + MAlonzo.Code.Axiom.UniquenessOfIdentityProofs + MAlonzo.Code.Axiom.Extensionality.Propositional + MAlonzo.Code.Axiom.Set.Rel + MAlonzo.Code.Axiom.Set.Sum + MAlonzo.Code.Axiom.Set.TotalMapOn + MAlonzo.Code.Axiom.Set.Properties + MAlonzo.Code.Axiom.Set.Map + MAlonzo.Code.Axiom.Set.List + MAlonzo.Code.Axiom.Set.TotalMap + MAlonzo.Code.Axiom.Set.Factor + MAlonzo.Code.Axiom.Set.Map.Dec diff --git a/generated/test/UtxowSpec.hs b/generated/test/UtxowSpec.hs index 745aa9d7d..067ead3a5 100644 --- a/generated/test/UtxowSpec.hs +++ b/generated/test/UtxowSpec.hs @@ -64,7 +64,7 @@ initEnv :: UTxOEnv initEnv = MkUTxOEnv {ueSlot = 0, uePparams = initParams, ueTreasury = 0} baseAddr :: Integer -> Addr -baseAddr n = Left BaseAddr{baseNet = 0, basePay = KeyHashObj n, baseStake = KeyHashObj n} +baseAddr n = Left BaseAddr{baseNet = 0, basePay = KeyHashObj n, baseStake = Just (KeyHashObj n)} a0 :: Addr a0 = baseAddr 0