| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.Nat.DivMod
Documentation
d_m'47'n'42'n_42 :: Integer -> Integer -> T_NonZero_112 -> Integer #
du_m'47'n'42'n_42 :: Integer -> Integer -> Integer #
d_'37''45'cong'737'_48 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8801'__12 -> T__'8801'__12 #
d_'37''45'cong'691'_54 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T__'8801'__12 -> T__'8801'__12 #
d_n'37'n'8801'0_64 :: Integer -> T_NonZero_112 -> T__'8801'__12 #
d_'91'm'43'kn'93''37'n'8801'm'37'n_100 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8801'__12 #
d_m'8804'n'8658''91'n'8760'm'93''37'm'8801'n'37'm_118 :: Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> T__'8801'__12 #
d_m'42'n'8804'o'8658''91'o'8760'm'42'n'93''37'n'8801'o'37'n_136 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> T__'8801'__12 #
d_m'42'n'37'n'8801'0_154 :: Integer -> Integer -> T_NonZero_112 -> T__'8801'__12 #
d_m'37'n'60'n_166 :: Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 #
du_m'37'n'60'n_166 :: Integer -> Integer -> T__'8804'__22 #
d_m'37'n'8804'n_178 :: Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 #
du_m'37'n'8804'n_178 :: Integer -> Integer -> T__'8804'__22 #
d_m'37'n'8804'm_190 :: Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 #
du_m'37'n'8804'm_190 :: Integer -> Integer -> T__'8804'__22 #
d_m'60'n'8658'm'37'n'8801'm_210 :: Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> T__'8801'__12 #
d_'37''45'pred'45''8801'0_220 :: Integer -> Integer -> T_NonZero_112 -> T__'8801'__12 -> T__'8801'__12 #
d_m'60''91'1'43'n'37'd'93''8658'm'8804''91'n'37'd'93'_236 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> T__'8804'__22 #
du_m'60''91'1'43'n'37'd'93''8658'm'8804''91'n'37'd'93'_236 :: Integer -> Integer -> T__'8804'__22 -> T__'8804'__22 #
d_'91'1'43'm'37'd'93''8804'1'43'n'8658''91'm'37'd'93''8804'n_252 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> T__'8804'__22 -> T__'8804'__22 #
du_'91'1'43'm'37'd'93''8804'1'43'n'8658''91'm'37'd'93''8804'n_252 :: Integer -> Integer -> T__'8804'__22 -> T__'8804'__22 #
d_'37''45'distrib'737''45''43'_270 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8801'__12 #
d_'37''45'distrib'737''45''42'_300 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8801'__12 #
d_m'8242'_312 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> Integer #
du_m'8242'_312 :: Integer -> Integer -> T_NonZero_112 -> Integer #
d_n'8242'_314 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> Integer #
du_n'8242'_314 :: Integer -> Integer -> T_NonZero_112 -> Integer #
d_k_316 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> Integer #
d_j_318 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> Integer #
d_lemma_320 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8801'__12 #
d_'37''45'remove'45''43''737'_340 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8739'__20 -> T__'8801'__12 #
d_'37''45'remove'45''43''691'_360 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8739'__20 -> T__'8801'__12 #
d_'47''45'cong'737'_372 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8801'__12 -> T__'8801'__12 #
d_'47''45'cong'691'_378 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T__'8801'__12 -> T__'8801'__12 #
d_m'42'n'47'n'8801'm_406 :: Integer -> Integer -> T_NonZero_112 -> T__'8801'__12 #
d_m'47'n'42'n'8801'm_418 :: Integer -> Integer -> T_NonZero_112 -> T__'8739'__20 -> T__'8801'__12 #
d_m'42''91'n'47'm'93''8801'n_428 :: Integer -> Integer -> T_NonZero_112 -> T__'8739'__20 -> T__'8801'__12 #
d_m'47'n'42'n'8804'm_440 :: Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 #
d_m'47'n'8804'm_452 :: Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 #
du_m'47'n'8804'm_452 :: Integer -> Integer -> T__'8804'__22 #
d_m'47'n'60'm_466 :: Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T__'8804'__22 -> T__'8804'__22 #
du_m'47'n'60'm_466 :: Integer -> Integer -> T__'8804'__22 #
d_'47''45'mono'45''8804'_478 :: Integer -> Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T__'8804'__22 -> T__'8804'__22 -> T__'8804'__22 #
du_'47''45'mono'45''8804'_478 :: Integer -> Integer -> Integer -> Integer -> T__'8804'__22 -> T__'8804'__22 -> T__'8804'__22 #
d_'47''45'mono'737''45''8804'_488 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> T__'8804'__22 #
du_'47''45'mono'737''45''8804'_488 :: Integer -> Integer -> Integer -> T__'8804'__22 -> T__'8804'__22 #
d_'47''45'mono'691''45''8804'_504 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T__'8804'__22 -> T__'8804'__22 #
du_'47''45'mono'691''45''8804'_504 :: Integer -> Integer -> Integer -> T__'8804'__22 -> T__'8804'__22 #
d_'47''45'cancel'691''45''8801'_518 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8739'__20 -> T__'8739'__20 -> T__'8801'__12 -> T__'8801'__12 #
d_m'60'n'8658'm'47'n'8801'0_540 :: Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> T__'8801'__12 #
d_m'8805'n'8658'm'47'n'62'0_554 :: Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> T__'8804'__22 #
d_m'47'n'8801'0'8658'm'60'n_568 :: Integer -> Integer -> T_NonZero_112 -> T__'8801'__12 -> T__'8804'__22 #
d_m'47'n'8802'0'8658'n'8804'm_608 :: Integer -> Integer -> T_NonZero_112 -> (T__'8801'__12 -> T_Irrelevant_20) -> T__'8804'__22 #
d_'43''45'distrib'45''47'_644 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> T__'8801'__12 #
d_'43''45'distrib'45''47''45''8739''737'_662 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8739'__20 -> T__'8801'__12 #
d_'43''45'distrib'45''47''45''8739''691'_682 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8739'__20 -> T__'8801'__12 #
d_m'47'n'8801'1'43''91'm'8760'n'93''47'n_700 :: Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> T__'8801'__12 #
d_'91'm'8760'n'93''47'n'8801'm'47'n'8760'1_718 :: Integer -> Integer -> T_NonZero_112 -> T__'8801'__12 #
d_m'8739'n'8658'o'37'n'37'm'8801'o'37'm_750 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T__'8739'__20 -> T__'8801'__12 #
d_pm_764 :: Integer -> Integer -> T_NonZero_112 -> Integer -> T_NonZero_112 -> Integer #
d_lem_766 :: Integer -> Integer -> T_NonZero_112 -> Integer -> T_NonZero_112 -> T__'8804'__22 #
du_lem_766 :: Integer -> Integer -> Integer -> T__'8804'__22 #
d_m'42'n'47'm'42'o'8801'n'47'o_780 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T__'8801'__12 #
d_helper_796 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> Integer -> T_Acc_42 -> T__'8801'__12 #
d_n'8760'o'60'n_828 :: Integer -> Integer -> T__'8804'__22 -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> (Integer -> T__'8804'__22 -> T_Acc_42) -> T__'8804'__22 #
du_n'8760'o'60'n_828 :: Integer -> Integer -> T__'8804'__22 -> T__'8804'__22 #
d_m'42'n'47'o'42'n'8801'm'47'o_842 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T__'8801'__12 #
d_m'60'n'42'o'8658'm'47'o'60'n_866 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> T__'8804'__22 #
d_'91'm'8760'n'42'o'93''47'o'8801'm'47'o'8760'n_900 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8801'__12 #
d_m'47'n'47'o'8801'm'47''91'n'42'o'93'_926 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T_NonZero_112 -> T__'8801'__12 #
d_n'42'o_938 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T_NonZero_112 -> Integer #
du_n'42'o_938 :: Integer -> Integer -> Integer #
d_o'42'n_940 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T_NonZero_112 -> Integer #
du_o'42'n_940 :: Integer -> Integer -> Integer #
d_lem'8321'_942 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T_NonZero_112 -> T__'8739'__20 #
du_lem'8321'_942 :: Integer -> Integer -> Integer -> T__'8739'__20 #
d_lem'8322'_946 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T_NonZero_112 -> T__'8801'__12 #
d_lem'8323'_950 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T_NonZero_112 -> T__'8804'__22 #
du_lem'8323'_950 :: Integer -> Integer -> Integer -> T__'8804'__22 #
d_'42''45''47''45'assoc_966 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8739'__20 -> T__'8801'__12 #
d_'47''45''42''45'interchange_988 :: Integer -> Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T_NonZero_112 -> T__'8739'__20 -> T__'8739'__20 -> T__'8801'__12 #
d_m'42'n'47'm'33''8801'n'47''91'm'8760'1'93''33'_1012 :: Integer -> Integer -> T_NonZero_112 -> T__'8801'__12 #
d_m'37''91'n'42'o'93''47'o'8801'm'47'o'37'n_1040 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T_NonZero_112 -> T__'8801'__12 #
d_m'37'n'42'o'8801'm'42'o'37''91'n'42'o'93'_1070 :: Integer -> Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T__'8801'__12 #
d_'91'm'42'n'43'o'93''37''91'p'42'n'93''8801''91'm'42'n'93''37''91'p'42'n'93''43'o_1094 :: Integer -> Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> T__'8801'__12 #
d_mn_1112 :: Integer -> Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> Integer #
du_mn_1112 :: Integer -> Integer -> Integer #
d_pn_1114 :: Integer -> Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> Integer #
du_pn_1114 :: Integer -> Integer -> Integer #
d_lem'8321'_1116 :: Integer -> Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> T__'8804'__22 #
du_lem'8321'_1116 :: Integer -> Integer -> Integer -> T__'8804'__22 #
d_lem'8322'_1118 :: Integer -> Integer -> Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 -> T__'8804'__22 #
du_lem'8322'_1118 :: Integer -> Integer -> Integer -> Integer -> T__'8804'__22 -> T__'8804'__22 #
d_DivMod_1126 :: p -> p -> () #
data T_DivMod_1126 #
Constructors
| C_result_1146 Integer T_Fin_10 |
d_quotient_1138 :: T_DivMod_1126 -> Integer #
d_nonZeroDivisor_1144 :: Integer -> Integer -> T_DivMod_1126 -> T_NonZero_112 #
d__div__1154 :: Integer -> Integer -> T_NonZero_112 -> Integer #
d__mod__1162 :: Integer -> Integer -> T_NonZero_112 -> T_Fin_10 #
du__mod__1162 :: Integer -> Integer -> T_Fin_10 #
d__divMod__1174 :: Integer -> Integer -> T_NonZero_112 -> T_DivMod_1126 #
du__divMod__1174 :: Integer -> Integer -> T_DivMod_1126 #
d_'91'm'47'n'93''42'n_1184 :: Integer -> Integer -> T_NonZero_112 -> Integer #
du_'91'm'47'n'93''42'n_1184 :: Integer -> Integer -> Integer #
d_'91'm'37'n'93''60'n_1186 :: Integer -> Integer -> T_NonZero_112 -> T_NonZero_112 -> T__'8804'__22 #
du_'91'm'37'n'93''60'n_1186 :: Integer -> Integer -> T_NonZero_112 -> T__'8804'__22 #