diff --git a/src/Clash/Cores/Crc/Catalog.hs b/src/Clash/Cores/Crc/Catalog.hs index 7533ff0..9c3c5d4 100644 --- a/src/Clash/Cores/Crc/Catalog.hs +++ b/src/Clash/Cores/Crc/Catalog.hs @@ -15,11 +15,9 @@ All entries are from https://reveng.sourceforge.io/crc-catalogue/all.htm module Clash.Cores.Crc.Catalog where import Clash.Prelude -import Clash.Class.HasDomain (TryDomain, TryDomainResult(NotFound)) import Clash.Cores.Crc.Internal data Crc3_gsm = Crc3_gsm deriving Show -type instance TryDomain t Crc3_gsm = 'NotFound instance KnownCrc Crc3_gsm where type CrcWidth Crc3_gsm = 3 crcParams _ = CrcParams @@ -32,7 +30,6 @@ instance KnownCrc Crc3_gsm where } data Crc3_rohc = Crc3_rohc deriving Show -type instance TryDomain t Crc3_rohc = 'NotFound instance KnownCrc Crc3_rohc where type CrcWidth Crc3_rohc = 3 crcParams _ = CrcParams @@ -45,7 +42,6 @@ instance KnownCrc Crc3_rohc where } data Crc4_g_704 = Crc4_g_704 deriving Show -type instance TryDomain t Crc4_g_704 = 'NotFound instance KnownCrc Crc4_g_704 where type CrcWidth Crc4_g_704 = 4 crcParams _ = CrcParams @@ -58,13 +54,11 @@ instance KnownCrc Crc4_g_704 where } data Crc4_itu = Crc4_itu deriving Show -type instance TryDomain t Crc4_itu = 'NotFound instance KnownCrc Crc4_itu where type CrcWidth Crc4_itu = CrcWidth Crc4_g_704 crcParams _ = crcParams Crc4_g_704 data Crc4_interlaken = Crc4_interlaken deriving Show -type instance TryDomain t Crc4_interlaken = 'NotFound instance KnownCrc Crc4_interlaken where type CrcWidth Crc4_interlaken = 4 crcParams _ = CrcParams @@ -77,7 +71,6 @@ instance KnownCrc Crc4_interlaken where } data Crc5_epc_c1g2 = Crc5_epc_c1g2 deriving Show -type instance TryDomain t Crc5_epc_c1g2 = 'NotFound instance KnownCrc Crc5_epc_c1g2 where type CrcWidth Crc5_epc_c1g2 = 5 crcParams _ = CrcParams @@ -90,13 +83,11 @@ instance KnownCrc Crc5_epc_c1g2 where } data Crc5_epc = Crc5_epc deriving Show -type instance TryDomain t Crc5_epc = 'NotFound instance KnownCrc Crc5_epc where type CrcWidth Crc5_epc = CrcWidth Crc5_epc_c1g2 crcParams _ = crcParams Crc5_epc_c1g2 data Crc5_g_704 = Crc5_g_704 deriving Show -type instance TryDomain t Crc5_g_704 = 'NotFound instance KnownCrc Crc5_g_704 where type CrcWidth Crc5_g_704 = 5 crcParams _ = CrcParams @@ -109,13 +100,11 @@ instance KnownCrc Crc5_g_704 where } data Crc5_itu = Crc5_itu deriving Show -type instance TryDomain t Crc5_itu = 'NotFound instance KnownCrc Crc5_itu where type CrcWidth Crc5_itu = CrcWidth Crc5_g_704 crcParams _ = crcParams Crc5_g_704 data Crc5_usb = Crc5_usb deriving Show -type instance TryDomain t Crc5_usb = 'NotFound instance KnownCrc Crc5_usb where type CrcWidth Crc5_usb = 5 crcParams _ = CrcParams @@ -128,7 +117,6 @@ instance KnownCrc Crc5_usb where } data Crc6_cdma2000_a = Crc6_cdma2000_a deriving Show -type instance TryDomain t Crc6_cdma2000_a = 'NotFound instance KnownCrc Crc6_cdma2000_a where type CrcWidth Crc6_cdma2000_a = 6 crcParams _ = CrcParams @@ -141,7 +129,6 @@ instance KnownCrc Crc6_cdma2000_a where } data Crc6_cdma2000_b = Crc6_cdma2000_b deriving Show -type instance TryDomain t Crc6_cdma2000_b = 'NotFound instance KnownCrc Crc6_cdma2000_b where type CrcWidth Crc6_cdma2000_b = 6 crcParams _ = CrcParams @@ -154,7 +141,6 @@ instance KnownCrc Crc6_cdma2000_b where } data Crc6_darc = Crc6_darc deriving Show -type instance TryDomain t Crc6_darc = 'NotFound instance KnownCrc Crc6_darc where type CrcWidth Crc6_darc = 6 crcParams _ = CrcParams @@ -167,7 +153,6 @@ instance KnownCrc Crc6_darc where } data Crc6_g_704 = Crc6_g_704 deriving Show -type instance TryDomain t Crc6_g_704 = 'NotFound instance KnownCrc Crc6_g_704 where type CrcWidth Crc6_g_704 = 6 crcParams _ = CrcParams @@ -180,13 +165,11 @@ instance KnownCrc Crc6_g_704 where } data Crc6_itu = Crc6_itu deriving Show -type instance TryDomain t Crc6_itu = 'NotFound instance KnownCrc Crc6_itu where type CrcWidth Crc6_itu = CrcWidth Crc6_g_704 crcParams _ = crcParams Crc6_g_704 data Crc6_gsm = Crc6_gsm deriving Show -type instance TryDomain t Crc6_gsm = 'NotFound instance KnownCrc Crc6_gsm where type CrcWidth Crc6_gsm = 6 crcParams _ = CrcParams @@ -199,7 +182,6 @@ instance KnownCrc Crc6_gsm where } data Crc7_mmc = Crc7_mmc deriving Show -type instance TryDomain t Crc7_mmc = 'NotFound instance KnownCrc Crc7_mmc where type CrcWidth Crc7_mmc = 7 crcParams _ = CrcParams @@ -212,7 +194,6 @@ instance KnownCrc Crc7_mmc where } data Crc7_rohc = Crc7_rohc deriving Show -type instance TryDomain t Crc7_rohc = 'NotFound instance KnownCrc Crc7_rohc where type CrcWidth Crc7_rohc = 7 crcParams _ = CrcParams @@ -225,7 +206,6 @@ instance KnownCrc Crc7_rohc where } data Crc7_umts = Crc7_umts deriving Show -type instance TryDomain t Crc7_umts = 'NotFound instance KnownCrc Crc7_umts where type CrcWidth Crc7_umts = 7 crcParams _ = CrcParams @@ -238,7 +218,6 @@ instance KnownCrc Crc7_umts where } data Crc8_autosar = Crc8_autosar deriving Show -type instance TryDomain t Crc8_autosar = 'NotFound instance KnownCrc Crc8_autosar where type CrcWidth Crc8_autosar = 8 crcParams _ = CrcParams @@ -251,7 +230,6 @@ instance KnownCrc Crc8_autosar where } data Crc8_bluetooth = Crc8_bluetooth deriving Show -type instance TryDomain t Crc8_bluetooth = 'NotFound instance KnownCrc Crc8_bluetooth where type CrcWidth Crc8_bluetooth = 8 crcParams _ = CrcParams @@ -264,7 +242,6 @@ instance KnownCrc Crc8_bluetooth where } data Crc8_cdma2000 = Crc8_cdma2000 deriving Show -type instance TryDomain t Crc8_cdma2000 = 'NotFound instance KnownCrc Crc8_cdma2000 where type CrcWidth Crc8_cdma2000 = 8 crcParams _ = CrcParams @@ -277,7 +254,6 @@ instance KnownCrc Crc8_cdma2000 where } data Crc8_darc = Crc8_darc deriving Show -type instance TryDomain t Crc8_darc = 'NotFound instance KnownCrc Crc8_darc where type CrcWidth Crc8_darc = 8 crcParams _ = CrcParams @@ -290,7 +266,6 @@ instance KnownCrc Crc8_darc where } data Crc8_dvb_s2 = Crc8_dvb_s2 deriving Show -type instance TryDomain t Crc8_dvb_s2 = 'NotFound instance KnownCrc Crc8_dvb_s2 where type CrcWidth Crc8_dvb_s2 = 8 crcParams _ = CrcParams @@ -303,7 +278,6 @@ instance KnownCrc Crc8_dvb_s2 where } data Crc8_gsm_a = Crc8_gsm_a deriving Show -type instance TryDomain t Crc8_gsm_a = 'NotFound instance KnownCrc Crc8_gsm_a where type CrcWidth Crc8_gsm_a = 8 crcParams _ = CrcParams @@ -316,7 +290,6 @@ instance KnownCrc Crc8_gsm_a where } data Crc8_gsm_b = Crc8_gsm_b deriving Show -type instance TryDomain t Crc8_gsm_b = 'NotFound instance KnownCrc Crc8_gsm_b where type CrcWidth Crc8_gsm_b = 8 crcParams _ = CrcParams @@ -329,7 +302,6 @@ instance KnownCrc Crc8_gsm_b where } data Crc8_hitag = Crc8_hitag deriving Show -type instance TryDomain t Crc8_hitag = 'NotFound instance KnownCrc Crc8_hitag where type CrcWidth Crc8_hitag = 8 crcParams _ = CrcParams @@ -342,7 +314,6 @@ instance KnownCrc Crc8_hitag where } data Crc8_i_432_1 = Crc8_i_432_1 deriving Show -type instance TryDomain t Crc8_i_432_1 = 'NotFound instance KnownCrc Crc8_i_432_1 where type CrcWidth Crc8_i_432_1 = 8 crcParams _ = CrcParams @@ -355,13 +326,11 @@ instance KnownCrc Crc8_i_432_1 where } data Crc8_itu = Crc8_itu deriving Show -type instance TryDomain t Crc8_itu = 'NotFound instance KnownCrc Crc8_itu where type CrcWidth Crc8_itu = CrcWidth Crc8_i_432_1 crcParams _ = crcParams Crc8_i_432_1 data Crc8_i_code = Crc8_i_code deriving Show -type instance TryDomain t Crc8_i_code = 'NotFound instance KnownCrc Crc8_i_code where type CrcWidth Crc8_i_code = 8 crcParams _ = CrcParams @@ -374,7 +343,6 @@ instance KnownCrc Crc8_i_code where } data Crc8_lte = Crc8_lte deriving Show -type instance TryDomain t Crc8_lte = 'NotFound instance KnownCrc Crc8_lte where type CrcWidth Crc8_lte = 8 crcParams _ = CrcParams @@ -387,7 +355,6 @@ instance KnownCrc Crc8_lte where } data Crc8_maxim_dow = Crc8_maxim_dow deriving Show -type instance TryDomain t Crc8_maxim_dow = 'NotFound instance KnownCrc Crc8_maxim_dow where type CrcWidth Crc8_maxim_dow = 8 crcParams _ = CrcParams @@ -400,13 +367,11 @@ instance KnownCrc Crc8_maxim_dow where } data Crc8_maxim = Crc8_maxim deriving Show -type instance TryDomain t Crc8_maxim = 'NotFound instance KnownCrc Crc8_maxim where type CrcWidth Crc8_maxim = CrcWidth Crc8_maxim_dow crcParams _ = crcParams Crc8_maxim_dow data Crc8_mifare_mad = Crc8_mifare_mad deriving Show -type instance TryDomain t Crc8_mifare_mad = 'NotFound instance KnownCrc Crc8_mifare_mad where type CrcWidth Crc8_mifare_mad = 8 crcParams _ = CrcParams @@ -419,7 +384,6 @@ instance KnownCrc Crc8_mifare_mad where } data Crc8_nrsc_5 = Crc8_nrsc_5 deriving Show -type instance TryDomain t Crc8_nrsc_5 = 'NotFound instance KnownCrc Crc8_nrsc_5 where type CrcWidth Crc8_nrsc_5 = 8 crcParams _ = CrcParams @@ -432,7 +396,6 @@ instance KnownCrc Crc8_nrsc_5 where } data Crc8_opensafety = Crc8_opensafety deriving Show -type instance TryDomain t Crc8_opensafety = 'NotFound instance KnownCrc Crc8_opensafety where type CrcWidth Crc8_opensafety = 8 crcParams _ = CrcParams @@ -445,7 +408,6 @@ instance KnownCrc Crc8_opensafety where } data Crc8_rohc = Crc8_rohc deriving Show -type instance TryDomain t Crc8_rohc = 'NotFound instance KnownCrc Crc8_rohc where type CrcWidth Crc8_rohc = 8 crcParams _ = CrcParams @@ -458,7 +420,6 @@ instance KnownCrc Crc8_rohc where } data Crc8_sae_j1850 = Crc8_sae_j1850 deriving Show -type instance TryDomain t Crc8_sae_j1850 = 'NotFound instance KnownCrc Crc8_sae_j1850 where type CrcWidth Crc8_sae_j1850 = 8 crcParams _ = CrcParams @@ -471,7 +432,6 @@ instance KnownCrc Crc8_sae_j1850 where } data Crc8_smbus = Crc8_smbus deriving Show -type instance TryDomain t Crc8_smbus = 'NotFound instance KnownCrc Crc8_smbus where type CrcWidth Crc8_smbus = 8 crcParams _ = CrcParams @@ -484,7 +444,6 @@ instance KnownCrc Crc8_smbus where } data Crc8_tech_3250 = Crc8_tech_3250 deriving Show -type instance TryDomain t Crc8_tech_3250 = 'NotFound instance KnownCrc Crc8_tech_3250 where type CrcWidth Crc8_tech_3250 = 8 crcParams _ = CrcParams @@ -497,19 +456,16 @@ instance KnownCrc Crc8_tech_3250 where } data Crc8_aes = Crc8_aes deriving Show -type instance TryDomain t Crc8_aes = 'NotFound instance KnownCrc Crc8_aes where type CrcWidth Crc8_aes = CrcWidth Crc8_tech_3250 crcParams _ = crcParams Crc8_tech_3250 data Crc8_etu = Crc8_etu deriving Show -type instance TryDomain t Crc8_etu = 'NotFound instance KnownCrc Crc8_etu where type CrcWidth Crc8_etu = CrcWidth Crc8_tech_3250 crcParams _ = crcParams Crc8_tech_3250 data Crc8_wcdma = Crc8_wcdma deriving Show -type instance TryDomain t Crc8_wcdma = 'NotFound instance KnownCrc Crc8_wcdma where type CrcWidth Crc8_wcdma = 8 crcParams _ = CrcParams @@ -522,7 +478,6 @@ instance KnownCrc Crc8_wcdma where } data Crc10_atm = Crc10_atm deriving Show -type instance TryDomain t Crc10_atm = 'NotFound instance KnownCrc Crc10_atm where type CrcWidth Crc10_atm = 10 crcParams _ = CrcParams @@ -535,13 +490,11 @@ instance KnownCrc Crc10_atm where } data Crc10_i_610 = Crc10_i_610 deriving Show -type instance TryDomain t Crc10_i_610 = 'NotFound instance KnownCrc Crc10_i_610 where type CrcWidth Crc10_i_610 = CrcWidth Crc10_atm crcParams _ = crcParams Crc10_atm data Crc10_cdma2000 = Crc10_cdma2000 deriving Show -type instance TryDomain t Crc10_cdma2000 = 'NotFound instance KnownCrc Crc10_cdma2000 where type CrcWidth Crc10_cdma2000 = 10 crcParams _ = CrcParams @@ -554,7 +507,6 @@ instance KnownCrc Crc10_cdma2000 where } data Crc10_gsm = Crc10_gsm deriving Show -type instance TryDomain t Crc10_gsm = 'NotFound instance KnownCrc Crc10_gsm where type CrcWidth Crc10_gsm = 10 crcParams _ = CrcParams @@ -567,7 +519,6 @@ instance KnownCrc Crc10_gsm where } data Crc11_flexray = Crc11_flexray deriving Show -type instance TryDomain t Crc11_flexray = 'NotFound instance KnownCrc Crc11_flexray where type CrcWidth Crc11_flexray = 11 crcParams _ = CrcParams @@ -580,7 +531,6 @@ instance KnownCrc Crc11_flexray where } data Crc11_umts = Crc11_umts deriving Show -type instance TryDomain t Crc11_umts = 'NotFound instance KnownCrc Crc11_umts where type CrcWidth Crc11_umts = 11 crcParams _ = CrcParams @@ -593,7 +543,6 @@ instance KnownCrc Crc11_umts where } data Crc12_cdma2000 = Crc12_cdma2000 deriving Show -type instance TryDomain t Crc12_cdma2000 = 'NotFound instance KnownCrc Crc12_cdma2000 where type CrcWidth Crc12_cdma2000 = 12 crcParams _ = CrcParams @@ -606,7 +555,6 @@ instance KnownCrc Crc12_cdma2000 where } data Crc12_dect = Crc12_dect deriving Show -type instance TryDomain t Crc12_dect = 'NotFound instance KnownCrc Crc12_dect where type CrcWidth Crc12_dect = 12 crcParams _ = CrcParams @@ -619,7 +567,6 @@ instance KnownCrc Crc12_dect where } data Crc12_gsm = Crc12_gsm deriving Show -type instance TryDomain t Crc12_gsm = 'NotFound instance KnownCrc Crc12_gsm where type CrcWidth Crc12_gsm = 12 crcParams _ = CrcParams @@ -632,7 +579,6 @@ instance KnownCrc Crc12_gsm where } data Crc12_umts = Crc12_umts deriving Show -type instance TryDomain t Crc12_umts = 'NotFound instance KnownCrc Crc12_umts where type CrcWidth Crc12_umts = 12 crcParams _ = CrcParams @@ -645,13 +591,11 @@ instance KnownCrc Crc12_umts where } data Crc12_3gpp = Crc12_3gpp deriving Show -type instance TryDomain t Crc12_3gpp = 'NotFound instance KnownCrc Crc12_3gpp where type CrcWidth Crc12_3gpp = CrcWidth Crc12_umts crcParams _ = crcParams Crc12_umts data Crc13_bbc = Crc13_bbc deriving Show -type instance TryDomain t Crc13_bbc = 'NotFound instance KnownCrc Crc13_bbc where type CrcWidth Crc13_bbc = 13 crcParams _ = CrcParams @@ -664,7 +608,6 @@ instance KnownCrc Crc13_bbc where } data Crc14_darc = Crc14_darc deriving Show -type instance TryDomain t Crc14_darc = 'NotFound instance KnownCrc Crc14_darc where type CrcWidth Crc14_darc = 14 crcParams _ = CrcParams @@ -677,7 +620,6 @@ instance KnownCrc Crc14_darc where } data Crc14_gsm = Crc14_gsm deriving Show -type instance TryDomain t Crc14_gsm = 'NotFound instance KnownCrc Crc14_gsm where type CrcWidth Crc14_gsm = 14 crcParams _ = CrcParams @@ -690,7 +632,6 @@ instance KnownCrc Crc14_gsm where } data Crc15_can = Crc15_can deriving Show -type instance TryDomain t Crc15_can = 'NotFound instance KnownCrc Crc15_can where type CrcWidth Crc15_can = 15 crcParams _ = CrcParams @@ -703,7 +644,6 @@ instance KnownCrc Crc15_can where } data Crc15_mpt1327 = Crc15_mpt1327 deriving Show -type instance TryDomain t Crc15_mpt1327 = 'NotFound instance KnownCrc Crc15_mpt1327 where type CrcWidth Crc15_mpt1327 = 15 crcParams _ = CrcParams @@ -716,7 +656,6 @@ instance KnownCrc Crc15_mpt1327 where } data Crc16_arc = Crc16_arc deriving Show -type instance TryDomain t Crc16_arc = 'NotFound instance KnownCrc Crc16_arc where type CrcWidth Crc16_arc = 16 crcParams _ = CrcParams @@ -729,13 +668,11 @@ instance KnownCrc Crc16_arc where } data Crc16_ibm = Crc16_ibm deriving Show -type instance TryDomain t Crc16_ibm = 'NotFound instance KnownCrc Crc16_ibm where type CrcWidth Crc16_ibm = CrcWidth Crc16_arc crcParams _ = crcParams Crc16_arc data Crc16_cdma2000 = Crc16_cdma2000 deriving Show -type instance TryDomain t Crc16_cdma2000 = 'NotFound instance KnownCrc Crc16_cdma2000 where type CrcWidth Crc16_cdma2000 = 16 crcParams _ = CrcParams @@ -748,7 +685,6 @@ instance KnownCrc Crc16_cdma2000 where } data Crc16_cms = Crc16_cms deriving Show -type instance TryDomain t Crc16_cms = 'NotFound instance KnownCrc Crc16_cms where type CrcWidth Crc16_cms = 16 crcParams _ = CrcParams @@ -761,7 +697,6 @@ instance KnownCrc Crc16_cms where } data Crc16_dds_110 = Crc16_dds_110 deriving Show -type instance TryDomain t Crc16_dds_110 = 'NotFound instance KnownCrc Crc16_dds_110 where type CrcWidth Crc16_dds_110 = 16 crcParams _ = CrcParams @@ -774,7 +709,6 @@ instance KnownCrc Crc16_dds_110 where } data Crc16_dect_r = Crc16_dect_r deriving Show -type instance TryDomain t Crc16_dect_r = 'NotFound instance KnownCrc Crc16_dect_r where type CrcWidth Crc16_dect_r = 16 crcParams _ = CrcParams @@ -787,7 +721,6 @@ instance KnownCrc Crc16_dect_r where } data Crc16_dect_x = Crc16_dect_x deriving Show -type instance TryDomain t Crc16_dect_x = 'NotFound instance KnownCrc Crc16_dect_x where type CrcWidth Crc16_dect_x = 16 crcParams _ = CrcParams @@ -800,7 +733,6 @@ instance KnownCrc Crc16_dect_x where } data Crc16_dnp = Crc16_dnp deriving Show -type instance TryDomain t Crc16_dnp = 'NotFound instance KnownCrc Crc16_dnp where type CrcWidth Crc16_dnp = 16 crcParams _ = CrcParams @@ -813,7 +745,6 @@ instance KnownCrc Crc16_dnp where } data Crc16_en_13757 = Crc16_en_13757 deriving Show -type instance TryDomain t Crc16_en_13757 = 'NotFound instance KnownCrc Crc16_en_13757 where type CrcWidth Crc16_en_13757 = 16 crcParams _ = CrcParams @@ -826,7 +757,6 @@ instance KnownCrc Crc16_en_13757 where } data Crc16_genibus = Crc16_genibus deriving Show -type instance TryDomain t Crc16_genibus = 'NotFound instance KnownCrc Crc16_genibus where type CrcWidth Crc16_genibus = 16 crcParams _ = CrcParams @@ -839,31 +769,26 @@ instance KnownCrc Crc16_genibus where } data Crc16_darc = Crc16_darc deriving Show -type instance TryDomain t Crc16_darc = 'NotFound instance KnownCrc Crc16_darc where type CrcWidth Crc16_darc = CrcWidth Crc16_genibus crcParams _ = crcParams Crc16_genibus data Crc16_epc = Crc16_epc deriving Show -type instance TryDomain t Crc16_epc = 'NotFound instance KnownCrc Crc16_epc where type CrcWidth Crc16_epc = CrcWidth Crc16_genibus crcParams _ = crcParams Crc16_genibus data Crc16_epc_c1g2 = Crc16_epc_c1g2 deriving Show -type instance TryDomain t Crc16_epc_c1g2 = 'NotFound instance KnownCrc Crc16_epc_c1g2 where type CrcWidth Crc16_epc_c1g2 = CrcWidth Crc16_genibus crcParams _ = crcParams Crc16_genibus data Crc16_i_code = Crc16_i_code deriving Show -type instance TryDomain t Crc16_i_code = 'NotFound instance KnownCrc Crc16_i_code where type CrcWidth Crc16_i_code = CrcWidth Crc16_genibus crcParams _ = crcParams Crc16_genibus data Crc16_gsm = Crc16_gsm deriving Show -type instance TryDomain t Crc16_gsm = 'NotFound instance KnownCrc Crc16_gsm where type CrcWidth Crc16_gsm = 16 crcParams _ = CrcParams @@ -876,7 +801,6 @@ instance KnownCrc Crc16_gsm where } data Crc16_ibm_3740 = Crc16_ibm_3740 deriving Show -type instance TryDomain t Crc16_ibm_3740 = 'NotFound instance KnownCrc Crc16_ibm_3740 where type CrcWidth Crc16_ibm_3740 = 16 crcParams _ = CrcParams @@ -889,19 +813,16 @@ instance KnownCrc Crc16_ibm_3740 where } data Crc16_autosar = Crc16_autosar deriving Show -type instance TryDomain t Crc16_autosar = 'NotFound instance KnownCrc Crc16_autosar where type CrcWidth Crc16_autosar = CrcWidth Crc16_ibm_3740 crcParams _ = crcParams Crc16_ibm_3740 data Crc16_ccitt_false = Crc16_ccitt_false deriving Show -type instance TryDomain t Crc16_ccitt_false = 'NotFound instance KnownCrc Crc16_ccitt_false where type CrcWidth Crc16_ccitt_false = CrcWidth Crc16_ibm_3740 crcParams _ = crcParams Crc16_ibm_3740 data Crc16_ibm_sdlc = Crc16_ibm_sdlc deriving Show -type instance TryDomain t Crc16_ibm_sdlc = 'NotFound instance KnownCrc Crc16_ibm_sdlc where type CrcWidth Crc16_ibm_sdlc = 16 crcParams _ = CrcParams @@ -914,25 +835,21 @@ instance KnownCrc Crc16_ibm_sdlc where } data Crc16_iso_hdlc = Crc16_iso_hdlc deriving Show -type instance TryDomain t Crc16_iso_hdlc = 'NotFound instance KnownCrc Crc16_iso_hdlc where type CrcWidth Crc16_iso_hdlc = CrcWidth Crc16_ibm_sdlc crcParams _ = crcParams Crc16_ibm_sdlc data Crc16_iso_iec_14443_3_b = Crc16_iso_iec_14443_3_b deriving Show -type instance TryDomain t Crc16_iso_iec_14443_3_b = 'NotFound instance KnownCrc Crc16_iso_iec_14443_3_b where type CrcWidth Crc16_iso_iec_14443_3_b = CrcWidth Crc16_ibm_sdlc crcParams _ = crcParams Crc16_ibm_sdlc data Crc16_x25 = Crc16_x25 deriving Show -type instance TryDomain t Crc16_x25 = 'NotFound instance KnownCrc Crc16_x25 where type CrcWidth Crc16_x25 = CrcWidth Crc16_ibm_sdlc crcParams _ = crcParams Crc16_ibm_sdlc data Crc16_iso_iec_14443_3_a = Crc16_iso_iec_14443_3_a deriving Show -type instance TryDomain t Crc16_iso_iec_14443_3_a = 'NotFound instance KnownCrc Crc16_iso_iec_14443_3_a where type CrcWidth Crc16_iso_iec_14443_3_a = 16 crcParams _ = CrcParams @@ -945,7 +862,6 @@ instance KnownCrc Crc16_iso_iec_14443_3_a where } data Crc16_kermit = Crc16_kermit deriving Show -type instance TryDomain t Crc16_kermit = 'NotFound instance KnownCrc Crc16_kermit where type CrcWidth Crc16_kermit = 16 crcParams _ = CrcParams @@ -958,31 +874,26 @@ instance KnownCrc Crc16_kermit where } data Crc16_bluetooth = Crc16_bluetooth deriving Show -type instance TryDomain t Crc16_bluetooth = 'NotFound instance KnownCrc Crc16_bluetooth where type CrcWidth Crc16_bluetooth = CrcWidth Crc16_kermit crcParams _ = crcParams Crc16_kermit data Crc16_ccitt = Crc16_ccitt deriving Show -type instance TryDomain t Crc16_ccitt = 'NotFound instance KnownCrc Crc16_ccitt where type CrcWidth Crc16_ccitt = CrcWidth Crc16_kermit crcParams _ = crcParams Crc16_kermit data Crc16_ccitt_true = Crc16_ccitt_true deriving Show -type instance TryDomain t Crc16_ccitt_true = 'NotFound instance KnownCrc Crc16_ccitt_true where type CrcWidth Crc16_ccitt_true = CrcWidth Crc16_kermit crcParams _ = crcParams Crc16_kermit data Crc16_v_41_lsb = Crc16_v_41_lsb deriving Show -type instance TryDomain t Crc16_v_41_lsb = 'NotFound instance KnownCrc Crc16_v_41_lsb where type CrcWidth Crc16_v_41_lsb = CrcWidth Crc16_kermit crcParams _ = crcParams Crc16_kermit data Crc16_lj1200 = Crc16_lj1200 deriving Show -type instance TryDomain t Crc16_lj1200 = 'NotFound instance KnownCrc Crc16_lj1200 where type CrcWidth Crc16_lj1200 = 16 crcParams _ = CrcParams @@ -995,7 +906,6 @@ instance KnownCrc Crc16_lj1200 where } data Crc16_m17 = Crc16_m17 deriving Show -type instance TryDomain t Crc16_m17 = 'NotFound instance KnownCrc Crc16_m17 where type CrcWidth Crc16_m17 = 16 crcParams _ = CrcParams @@ -1008,7 +918,6 @@ instance KnownCrc Crc16_m17 where } data Crc16_maxim_dow = Crc16_maxim_dow deriving Show -type instance TryDomain t Crc16_maxim_dow = 'NotFound instance KnownCrc Crc16_maxim_dow where type CrcWidth Crc16_maxim_dow = 16 crcParams _ = CrcParams @@ -1021,13 +930,11 @@ instance KnownCrc Crc16_maxim_dow where } data Crc16_maxim = Crc16_maxim deriving Show -type instance TryDomain t Crc16_maxim = 'NotFound instance KnownCrc Crc16_maxim where type CrcWidth Crc16_maxim = CrcWidth Crc16_maxim_dow crcParams _ = crcParams Crc16_maxim_dow data Crc16_mcrf4xx = Crc16_mcrf4xx deriving Show -type instance TryDomain t Crc16_mcrf4xx = 'NotFound instance KnownCrc Crc16_mcrf4xx where type CrcWidth Crc16_mcrf4xx = 16 crcParams _ = CrcParams @@ -1040,7 +947,6 @@ instance KnownCrc Crc16_mcrf4xx where } data Crc16_modbus = Crc16_modbus deriving Show -type instance TryDomain t Crc16_modbus = 'NotFound instance KnownCrc Crc16_modbus where type CrcWidth Crc16_modbus = 16 crcParams _ = CrcParams @@ -1053,7 +959,6 @@ instance KnownCrc Crc16_modbus where } data Crc16_nrsc_5 = Crc16_nrsc_5 deriving Show -type instance TryDomain t Crc16_nrsc_5 = 'NotFound instance KnownCrc Crc16_nrsc_5 where type CrcWidth Crc16_nrsc_5 = 16 crcParams _ = CrcParams @@ -1066,7 +971,6 @@ instance KnownCrc Crc16_nrsc_5 where } data Crc16_opensafety_a = Crc16_opensafety_a deriving Show -type instance TryDomain t Crc16_opensafety_a = 'NotFound instance KnownCrc Crc16_opensafety_a where type CrcWidth Crc16_opensafety_a = 16 crcParams _ = CrcParams @@ -1079,7 +983,6 @@ instance KnownCrc Crc16_opensafety_a where } data Crc16_opensafety_b = Crc16_opensafety_b deriving Show -type instance TryDomain t Crc16_opensafety_b = 'NotFound instance KnownCrc Crc16_opensafety_b where type CrcWidth Crc16_opensafety_b = 16 crcParams _ = CrcParams @@ -1092,7 +995,6 @@ instance KnownCrc Crc16_opensafety_b where } data Crc16_profibus = Crc16_profibus deriving Show -type instance TryDomain t Crc16_profibus = 'NotFound instance KnownCrc Crc16_profibus where type CrcWidth Crc16_profibus = 16 crcParams _ = CrcParams @@ -1105,13 +1007,11 @@ instance KnownCrc Crc16_profibus where } data Crc16_iec_61158_2 = Crc16_iec_61158_2 deriving Show -type instance TryDomain t Crc16_iec_61158_2 = 'NotFound instance KnownCrc Crc16_iec_61158_2 where type CrcWidth Crc16_iec_61158_2 = CrcWidth Crc16_profibus crcParams _ = crcParams Crc16_profibus data Crc16_riello = Crc16_riello deriving Show -type instance TryDomain t Crc16_riello = 'NotFound instance KnownCrc Crc16_riello where type CrcWidth Crc16_riello = 16 crcParams _ = CrcParams @@ -1124,7 +1024,6 @@ instance KnownCrc Crc16_riello where } data Crc16_spi_fujitsu = Crc16_spi_fujitsu deriving Show -type instance TryDomain t Crc16_spi_fujitsu = 'NotFound instance KnownCrc Crc16_spi_fujitsu where type CrcWidth Crc16_spi_fujitsu = 16 crcParams _ = CrcParams @@ -1137,13 +1036,11 @@ instance KnownCrc Crc16_spi_fujitsu where } data Crc16_aug_ccitt = Crc16_aug_ccitt deriving Show -type instance TryDomain t Crc16_aug_ccitt = 'NotFound instance KnownCrc Crc16_aug_ccitt where type CrcWidth Crc16_aug_ccitt = CrcWidth Crc16_spi_fujitsu crcParams _ = crcParams Crc16_spi_fujitsu data Crc16_t10_dif = Crc16_t10_dif deriving Show -type instance TryDomain t Crc16_t10_dif = 'NotFound instance KnownCrc Crc16_t10_dif where type CrcWidth Crc16_t10_dif = 16 crcParams _ = CrcParams @@ -1156,7 +1053,6 @@ instance KnownCrc Crc16_t10_dif where } data Crc16_teledisk = Crc16_teledisk deriving Show -type instance TryDomain t Crc16_teledisk = 'NotFound instance KnownCrc Crc16_teledisk where type CrcWidth Crc16_teledisk = 16 crcParams _ = CrcParams @@ -1169,7 +1065,6 @@ instance KnownCrc Crc16_teledisk where } data Crc16_tms37157 = Crc16_tms37157 deriving Show -type instance TryDomain t Crc16_tms37157 = 'NotFound instance KnownCrc Crc16_tms37157 where type CrcWidth Crc16_tms37157 = 16 crcParams _ = CrcParams @@ -1182,7 +1077,6 @@ instance KnownCrc Crc16_tms37157 where } data Crc16_umts = Crc16_umts deriving Show -type instance TryDomain t Crc16_umts = 'NotFound instance KnownCrc Crc16_umts where type CrcWidth Crc16_umts = 16 crcParams _ = CrcParams @@ -1195,19 +1089,16 @@ instance KnownCrc Crc16_umts where } data Crc16_verifone = Crc16_verifone deriving Show -type instance TryDomain t Crc16_verifone = 'NotFound instance KnownCrc Crc16_verifone where type CrcWidth Crc16_verifone = CrcWidth Crc16_umts crcParams _ = crcParams Crc16_umts data Crc16_buypass = Crc16_buypass deriving Show -type instance TryDomain t Crc16_buypass = 'NotFound instance KnownCrc Crc16_buypass where type CrcWidth Crc16_buypass = CrcWidth Crc16_umts crcParams _ = crcParams Crc16_umts data Crc16_usb = Crc16_usb deriving Show -type instance TryDomain t Crc16_usb = 'NotFound instance KnownCrc Crc16_usb where type CrcWidth Crc16_usb = 16 crcParams _ = CrcParams @@ -1220,7 +1111,6 @@ instance KnownCrc Crc16_usb where } data Crc16_xmodem = Crc16_xmodem deriving Show -type instance TryDomain t Crc16_xmodem = 'NotFound instance KnownCrc Crc16_xmodem where type CrcWidth Crc16_xmodem = 16 crcParams _ = CrcParams @@ -1233,31 +1123,26 @@ instance KnownCrc Crc16_xmodem where } data Crc16_acorn = Crc16_acorn deriving Show -type instance TryDomain t Crc16_acorn = 'NotFound instance KnownCrc Crc16_acorn where type CrcWidth Crc16_acorn = CrcWidth Crc16_xmodem crcParams _ = crcParams Crc16_xmodem data Crc16_lte = Crc16_lte deriving Show -type instance TryDomain t Crc16_lte = 'NotFound instance KnownCrc Crc16_lte where type CrcWidth Crc16_lte = CrcWidth Crc16_xmodem crcParams _ = crcParams Crc16_xmodem data Crc16_v_41_msb = Crc16_v_41_msb deriving Show -type instance TryDomain t Crc16_v_41_msb = 'NotFound instance KnownCrc Crc16_v_41_msb where type CrcWidth Crc16_v_41_msb = CrcWidth Crc16_xmodem crcParams _ = crcParams Crc16_xmodem data Crc16_zmodem = Crc16_zmodem deriving Show -type instance TryDomain t Crc16_zmodem = 'NotFound instance KnownCrc Crc16_zmodem where type CrcWidth Crc16_zmodem = CrcWidth Crc16_xmodem crcParams _ = crcParams Crc16_xmodem data Crc17_can_fd = Crc17_can_fd deriving Show -type instance TryDomain t Crc17_can_fd = 'NotFound instance KnownCrc Crc17_can_fd where type CrcWidth Crc17_can_fd = 17 crcParams _ = CrcParams @@ -1270,7 +1155,6 @@ instance KnownCrc Crc17_can_fd where } data Crc21_can_fd = Crc21_can_fd deriving Show -type instance TryDomain t Crc21_can_fd = 'NotFound instance KnownCrc Crc21_can_fd where type CrcWidth Crc21_can_fd = 21 crcParams _ = CrcParams @@ -1283,7 +1167,6 @@ instance KnownCrc Crc21_can_fd where } data Crc24_ble = Crc24_ble deriving Show -type instance TryDomain t Crc24_ble = 'NotFound instance KnownCrc Crc24_ble where type CrcWidth Crc24_ble = 24 crcParams _ = CrcParams @@ -1296,7 +1179,6 @@ instance KnownCrc Crc24_ble where } data Crc24_flexray_a = Crc24_flexray_a deriving Show -type instance TryDomain t Crc24_flexray_a = 'NotFound instance KnownCrc Crc24_flexray_a where type CrcWidth Crc24_flexray_a = 24 crcParams _ = CrcParams @@ -1309,7 +1191,6 @@ instance KnownCrc Crc24_flexray_a where } data Crc24_flexray_b = Crc24_flexray_b deriving Show -type instance TryDomain t Crc24_flexray_b = 'NotFound instance KnownCrc Crc24_flexray_b where type CrcWidth Crc24_flexray_b = 24 crcParams _ = CrcParams @@ -1322,7 +1203,6 @@ instance KnownCrc Crc24_flexray_b where } data Crc24_interlaken = Crc24_interlaken deriving Show -type instance TryDomain t Crc24_interlaken = 'NotFound instance KnownCrc Crc24_interlaken where type CrcWidth Crc24_interlaken = 24 crcParams _ = CrcParams @@ -1335,7 +1215,6 @@ instance KnownCrc Crc24_interlaken where } data Crc24_lte_a = Crc24_lte_a deriving Show -type instance TryDomain t Crc24_lte_a = 'NotFound instance KnownCrc Crc24_lte_a where type CrcWidth Crc24_lte_a = 24 crcParams _ = CrcParams @@ -1348,7 +1227,6 @@ instance KnownCrc Crc24_lte_a where } data Crc24_lte_b = Crc24_lte_b deriving Show -type instance TryDomain t Crc24_lte_b = 'NotFound instance KnownCrc Crc24_lte_b where type CrcWidth Crc24_lte_b = 24 crcParams _ = CrcParams @@ -1361,7 +1239,6 @@ instance KnownCrc Crc24_lte_b where } data Crc24_openpgp = Crc24_openpgp deriving Show -type instance TryDomain t Crc24_openpgp = 'NotFound instance KnownCrc Crc24_openpgp where type CrcWidth Crc24_openpgp = 24 crcParams _ = CrcParams @@ -1374,7 +1251,6 @@ instance KnownCrc Crc24_openpgp where } data Crc24_os_9 = Crc24_os_9 deriving Show -type instance TryDomain t Crc24_os_9 = 'NotFound instance KnownCrc Crc24_os_9 where type CrcWidth Crc24_os_9 = 24 crcParams _ = CrcParams @@ -1387,7 +1263,6 @@ instance KnownCrc Crc24_os_9 where } data Crc30_cdma = Crc30_cdma deriving Show -type instance TryDomain t Crc30_cdma = 'NotFound instance KnownCrc Crc30_cdma where type CrcWidth Crc30_cdma = 30 crcParams _ = CrcParams @@ -1400,7 +1275,6 @@ instance KnownCrc Crc30_cdma where } data Crc31_philips = Crc31_philips deriving Show -type instance TryDomain t Crc31_philips = 'NotFound instance KnownCrc Crc31_philips where type CrcWidth Crc31_philips = 31 crcParams _ = CrcParams @@ -1413,7 +1287,6 @@ instance KnownCrc Crc31_philips where } data Crc32_aixm = Crc32_aixm deriving Show -type instance TryDomain t Crc32_aixm = 'NotFound instance KnownCrc Crc32_aixm where type CrcWidth Crc32_aixm = 32 crcParams _ = CrcParams @@ -1426,7 +1299,6 @@ instance KnownCrc Crc32_aixm where } data Crc32_autosar = Crc32_autosar deriving Show -type instance TryDomain t Crc32_autosar = 'NotFound instance KnownCrc Crc32_autosar where type CrcWidth Crc32_autosar = 32 crcParams _ = CrcParams @@ -1439,7 +1311,6 @@ instance KnownCrc Crc32_autosar where } data Crc32_base91_d = Crc32_base91_d deriving Show -type instance TryDomain t Crc32_base91_d = 'NotFound instance KnownCrc Crc32_base91_d where type CrcWidth Crc32_base91_d = 32 crcParams _ = CrcParams @@ -1452,7 +1323,6 @@ instance KnownCrc Crc32_base91_d where } data Crc32_bzip2 = Crc32_bzip2 deriving Show -type instance TryDomain t Crc32_bzip2 = 'NotFound instance KnownCrc Crc32_bzip2 where type CrcWidth Crc32_bzip2 = 32 crcParams _ = CrcParams @@ -1465,19 +1335,16 @@ instance KnownCrc Crc32_bzip2 where } data Crc32_aal5 = Crc32_aal5 deriving Show -type instance TryDomain t Crc32_aal5 = 'NotFound instance KnownCrc Crc32_aal5 where type CrcWidth Crc32_aal5 = CrcWidth Crc32_bzip2 crcParams _ = crcParams Crc32_bzip2 data Crc32_dect_b = Crc32_dect_b deriving Show -type instance TryDomain t Crc32_dect_b = 'NotFound instance KnownCrc Crc32_dect_b where type CrcWidth Crc32_dect_b = CrcWidth Crc32_bzip2 crcParams _ = crcParams Crc32_bzip2 data Crc32_cd_rom_edc = Crc32_cd_rom_edc deriving Show -type instance TryDomain t Crc32_cd_rom_edc = 'NotFound instance KnownCrc Crc32_cd_rom_edc where type CrcWidth Crc32_cd_rom_edc = 32 crcParams _ = CrcParams @@ -1490,7 +1357,6 @@ instance KnownCrc Crc32_cd_rom_edc where } data Crc32_cksum = Crc32_cksum deriving Show -type instance TryDomain t Crc32_cksum = 'NotFound instance KnownCrc Crc32_cksum where type CrcWidth Crc32_cksum = 32 crcParams _ = CrcParams @@ -1503,13 +1369,11 @@ instance KnownCrc Crc32_cksum where } data Crc32_posix = Crc32_posix deriving Show -type instance TryDomain t Crc32_posix = 'NotFound instance KnownCrc Crc32_posix where type CrcWidth Crc32_posix = CrcWidth Crc32_cksum crcParams _ = crcParams Crc32_cksum data Crc32_iscsi = Crc32_iscsi deriving Show -type instance TryDomain t Crc32_iscsi = 'NotFound instance KnownCrc Crc32_iscsi where type CrcWidth Crc32_iscsi = 32 crcParams _ = CrcParams @@ -1522,25 +1386,21 @@ instance KnownCrc Crc32_iscsi where } data Crc32_base91_c = Crc32_base91_c deriving Show -type instance TryDomain t Crc32_base91_c = 'NotFound instance KnownCrc Crc32_base91_c where type CrcWidth Crc32_base91_c = CrcWidth Crc32_iscsi crcParams _ = crcParams Crc32_iscsi data Crc32_castagnoli = Crc32_castagnoli deriving Show -type instance TryDomain t Crc32_castagnoli = 'NotFound instance KnownCrc Crc32_castagnoli where type CrcWidth Crc32_castagnoli = CrcWidth Crc32_iscsi crcParams _ = crcParams Crc32_iscsi data Crc32_interlaken = Crc32_interlaken deriving Show -type instance TryDomain t Crc32_interlaken = 'NotFound instance KnownCrc Crc32_interlaken where type CrcWidth Crc32_interlaken = CrcWidth Crc32_iscsi crcParams _ = crcParams Crc32_iscsi data Crc32_iso_hdlc = Crc32_iso_hdlc deriving Show -type instance TryDomain t Crc32_iso_hdlc = 'NotFound instance KnownCrc Crc32_iso_hdlc where type CrcWidth Crc32_iso_hdlc = 32 crcParams _ = CrcParams @@ -1553,37 +1413,31 @@ instance KnownCrc Crc32_iso_hdlc where } data Crc32_adccp = Crc32_adccp deriving Show -type instance TryDomain t Crc32_adccp = 'NotFound instance KnownCrc Crc32_adccp where type CrcWidth Crc32_adccp = CrcWidth Crc32_iso_hdlc crcParams _ = crcParams Crc32_iso_hdlc data Crc32_v_42 = Crc32_v_42 deriving Show -type instance TryDomain t Crc32_v_42 = 'NotFound instance KnownCrc Crc32_v_42 where type CrcWidth Crc32_v_42 = CrcWidth Crc32_iso_hdlc crcParams _ = crcParams Crc32_iso_hdlc data Crc32_xz = Crc32_xz deriving Show -type instance TryDomain t Crc32_xz = 'NotFound instance KnownCrc Crc32_xz where type CrcWidth Crc32_xz = CrcWidth Crc32_iso_hdlc crcParams _ = crcParams Crc32_iso_hdlc data Crc32_pkzip = Crc32_pkzip deriving Show -type instance TryDomain t Crc32_pkzip = 'NotFound instance KnownCrc Crc32_pkzip where type CrcWidth Crc32_pkzip = CrcWidth Crc32_iso_hdlc crcParams _ = crcParams Crc32_iso_hdlc data Crc32_ethernet = Crc32_ethernet deriving Show -type instance TryDomain t Crc32_ethernet = 'NotFound instance KnownCrc Crc32_ethernet where type CrcWidth Crc32_ethernet = CrcWidth Crc32_iso_hdlc crcParams _ = crcParams Crc32_iso_hdlc data Crc32_jamcrc = Crc32_jamcrc deriving Show -type instance TryDomain t Crc32_jamcrc = 'NotFound instance KnownCrc Crc32_jamcrc where type CrcWidth Crc32_jamcrc = 32 crcParams _ = CrcParams @@ -1596,7 +1450,6 @@ instance KnownCrc Crc32_jamcrc where } data Crc32_mef = Crc32_mef deriving Show -type instance TryDomain t Crc32_mef = 'NotFound instance KnownCrc Crc32_mef where type CrcWidth Crc32_mef = 32 crcParams _ = CrcParams @@ -1609,7 +1462,6 @@ instance KnownCrc Crc32_mef where } data Crc32_mpeg_2 = Crc32_mpeg_2 deriving Show -type instance TryDomain t Crc32_mpeg_2 = 'NotFound instance KnownCrc Crc32_mpeg_2 where type CrcWidth Crc32_mpeg_2 = 32 crcParams _ = CrcParams @@ -1622,7 +1474,6 @@ instance KnownCrc Crc32_mpeg_2 where } data Crc32_xfer = Crc32_xfer deriving Show -type instance TryDomain t Crc32_xfer = 'NotFound instance KnownCrc Crc32_xfer where type CrcWidth Crc32_xfer = 32 crcParams _ = CrcParams @@ -1635,7 +1486,6 @@ instance KnownCrc Crc32_xfer where } data Crc40_gsm = Crc40_gsm deriving Show -type instance TryDomain t Crc40_gsm = 'NotFound instance KnownCrc Crc40_gsm where type CrcWidth Crc40_gsm = 40 crcParams _ = CrcParams @@ -1648,7 +1498,6 @@ instance KnownCrc Crc40_gsm where } data Crc64_ecma_182 = Crc64_ecma_182 deriving Show -type instance TryDomain t Crc64_ecma_182 = 'NotFound instance KnownCrc Crc64_ecma_182 where type CrcWidth Crc64_ecma_182 = 64 crcParams _ = CrcParams @@ -1661,7 +1510,6 @@ instance KnownCrc Crc64_ecma_182 where } data Crc64_go_iso = Crc64_go_iso deriving Show -type instance TryDomain t Crc64_go_iso = 'NotFound instance KnownCrc Crc64_go_iso where type CrcWidth Crc64_go_iso = 64 crcParams _ = CrcParams @@ -1674,7 +1522,6 @@ instance KnownCrc Crc64_go_iso where } data Crc64_ms = Crc64_ms deriving Show -type instance TryDomain t Crc64_ms = 'NotFound instance KnownCrc Crc64_ms where type CrcWidth Crc64_ms = 64 crcParams _ = CrcParams @@ -1687,7 +1534,6 @@ instance KnownCrc Crc64_ms where } data Crc64_redis = Crc64_redis deriving Show -type instance TryDomain t Crc64_redis = 'NotFound instance KnownCrc Crc64_redis where type CrcWidth Crc64_redis = 64 crcParams _ = CrcParams @@ -1700,7 +1546,6 @@ instance KnownCrc Crc64_redis where } data Crc64_we = Crc64_we deriving Show -type instance TryDomain t Crc64_we = 'NotFound instance KnownCrc Crc64_we where type CrcWidth Crc64_we = 64 crcParams _ = CrcParams @@ -1713,7 +1558,6 @@ instance KnownCrc Crc64_we where } data Crc64_xz = Crc64_xz deriving Show -type instance TryDomain t Crc64_xz = 'NotFound instance KnownCrc Crc64_xz where type CrcWidth Crc64_xz = 64 crcParams _ = CrcParams @@ -1726,13 +1570,11 @@ instance KnownCrc Crc64_xz where } data Crc64_ecma = Crc64_ecma deriving Show -type instance TryDomain t Crc64_ecma = 'NotFound instance KnownCrc Crc64_ecma where type CrcWidth Crc64_ecma = CrcWidth Crc64_xz crcParams _ = crcParams Crc64_xz data Crc82_darc = Crc82_darc deriving Show -type instance TryDomain t Crc82_darc = 'NotFound instance KnownCrc Crc82_darc where type CrcWidth Crc82_darc = 82 crcParams _ = CrcParams diff --git a/src/Clash/Cores/Crc/Internal.hs b/src/Clash/Cores/Crc/Internal.hs index 37b5907..de71c8f 100644 --- a/src/Clash/Cores/Crc/Internal.hs +++ b/src/Clash/Cores/Crc/Internal.hs @@ -23,7 +23,6 @@ rewritten directly from their sources. module Clash.Cores.Crc.Internal where import Clash.Prelude -import Clash.Class.HasDomain (TryDomain, TryDomainResult(NotFound)) import qualified Clash.Sized.Vector as V (toList) import qualified Data.List as L @@ -67,9 +66,6 @@ data CrcParams (crcWidth :: Nat) } deriving (Generic, Show, ShowX, Lift) --- | No domain in 'CrcParams' -type instance TryDomain t (CrcParams crcWidth) = 'NotFound - -- | This class is used to define CRCs -- -- First make a data declaration without constructors for your CRC and then @@ -107,9 +103,6 @@ data SoftwareCrc (crcWidth :: Nat) (dataWidth :: Nat) } deriving (Generic, Show, ShowX) --- | No domain in 'SoftwareCrc' -type instance TryDomain t (SoftwareCrc crcWidth dataWidth) = 'NotFound - -- | Apply function only when bool is True applyWhen :: Bool -> (a -> a) -> a -> a applyWhen True f x = f x @@ -324,9 +317,6 @@ data FGMatrices (crcWidth :: Nat) (dataWidth :: Nat) } deriving (Show, Lift) --- | No domain in 'FGMatrices' -type instance TryDomain t (FGMatrices crcWidth dataWidth) = 'NotFound - -- | Compute the 'FGMatrices' from 'CrcParams' mkFGMatrices :: forall (crc :: Type) (dataWidth :: Nat) @@ -387,9 +377,6 @@ deriving instance (KnownNat crcWidth, KnownNat dataWidth, KnownNat nLanes) deriving instance (KnownNat crcWidth, KnownNat dataWidth, KnownNat nLanes) => Show (CrcLaneParams crcWidth dataWidth nLanes) --- | No domain in 'CrcLaneParams' -type instance TryDomain t (CrcLaneParams crcWidth dataWidth nLanes) = 'NotFound - -- | Contains all necessary parameters for the hardware CRC implementation data CrcHardwareParams (crcWidth :: Nat) (dataWidth :: Nat) (nLanes :: Nat) = CrcHardwareParams @@ -401,9 +388,6 @@ data CrcHardwareParams (crcWidth :: Nat) (dataWidth :: Nat) (nLanes :: Nat) } deriving (Show, Lift) --- | No domain in 'CrcHardwareParams' -type instance TryDomain t (CrcHardwareParams crcWidth dataWidth nLanes) = 'NotFound - -- | This class is used to indicate a CRC has a derived hardware implementation -- -- @nLanes@ indicates the maximum number of @dataWidth@ words you want to @@ -431,9 +415,6 @@ data SNatOrdering a b where SNatEQ2 :: forall a b. a ~ b => SNatOrdering a b SNatGT2 :: forall a b. (b + 1) <= a => SNatOrdering a b --- | No domain in 'SNatOrdering' -type instance TryDomain t (SNatOrdering a b) = 'NotFound - -- | Get an ordering relation between two SNats compareSNat2 :: forall a b . SNat a -> SNat b -> SNatOrdering a b compareSNat2 a b diff --git a/src/Clash/Cores/UART.hs b/src/Clash/Cores/UART.hs index 2ddf1d8..8a4cd4f 100644 --- a/src/Clash/Cores/UART.hs +++ b/src/Clash/Cores/UART.hs @@ -32,7 +32,6 @@ module Clash.Cores.UART ) where import Clash.Prelude -import Clash.Class.HasDomain (TryDomain, TryDomainResult(Found)) import Data.Maybe (isJust) -- | Division that rounds the result @@ -41,9 +40,6 @@ type DivRound (a :: Nat) (b :: Nat) = Div (a + (Div b 2)) b -- | UART baud generator newtype BaudGenerator (dom :: Domain) = BaudGenerator (Signal dom Bool) --- | Find clock domain for BaudGenerator -type instance TryDomain t (BaudGenerator dom) = 'Found dom - -- | The width of the counter used for baud generation type BaudGenCounterWidth = 16