| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Type.RenamingSubstitution
Documentation
d_Ren_4 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> () #
d_ext_18 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14 #
du_ext_18 :: (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14 #
d_ren_28 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> T__'8866''8902'__20 -> T__'8866''8902'__20 #
d_ren'45'List_32 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> [T__'8866''8902'__20] -> [T__'8866''8902'__20] #
d_ren'45'VecList_38 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> Integer -> T_Kind_766 -> T_Vec_28 -> T_Vec_28 #
du_ren'45'VecList_38 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> T_Vec_28 -> T_Vec_28 #
d_weaken_98 :: T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> T__'8866''8902'__20 -> T__'8866''8902'__20 #
d_ext'45'id_102 :: T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12 #
d_ext'45'cong_116 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12) -> T_Kind_766 -> T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12 #
d_ren'45'cong_132 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12) -> T_Kind_766 -> T__'8866''8902'__20 -> T__'8801'__12 #
d_ren'45'cong'45'List_142 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12) -> T_Kind_766 -> [T__'8866''8902'__20] -> T__'8801'__12 #
d_ren'45'cong'45'VecList_154 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12) -> Integer -> T_Kind_766 -> T_Vec_28 -> T__'8801'__12 #
d_ren'45'id'45'VecList_226 :: T_Ctx'8902'_2 -> T_Kind_766 -> Integer -> T_Vec_28 -> T__'8801'__12 #
d_ext'45'comp_266 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12 #
d_ren'45'comp_274 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> T__'8866''8902'__20 -> T__'8801'__12 #
d_ren'45'comp'45'List_280 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> [T__'8866''8902'__20] -> T__'8801'__12 #
d_ren'45'comp'45'VecList_288 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> Integer -> T_Kind_766 -> T_Vec_28 -> T__'8801'__12 #
d_Sub_322 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> () #
d_exts_336 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T_Kind_766 -> T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20 #
du_exts_336 :: T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T_Kind_766 -> T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20 #
d_sub_346 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T_Kind_766 -> T__'8866''8902'__20 -> T__'8866''8902'__20 #
d_sub'45'List_350 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T_Kind_766 -> [T__'8866''8902'__20] -> [T__'8866''8902'__20] #
d_sub'45'VecList_356 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> Integer -> T_Kind_766 -> T_Vec_28 -> T_Vec_28 #
du_sub'45'VecList_356 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T_Kind_766 -> T_Vec_28 -> T_Vec_28 #
d_sub'45'cons_420 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T_Kind_766 -> T__'8866''8902'__20 -> T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20 #
du_sub'45'cons_420 :: (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T__'8866''8902'__20 -> T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20 #
d__'91'_'93'_432 :: T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> T__'8866''8902'__20 -> T__'8866''8902'__20 -> T__'8866''8902'__20 #
d_exts'45'id_440 :: T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12 #
d_exts'45'cong_454 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12) -> T_Kind_766 -> T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12 #
d_sub'45'cong_470 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12) -> T_Kind_766 -> T__'8866''8902'__20 -> T__'8801'__12 #
d_sub'45'cong'45'List_480 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12) -> T_Kind_766 -> [T__'8866''8902'__20] -> T__'8801'__12 #
d_sub'45'cong'45'VecList_492 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12) -> Integer -> T_Kind_766 -> T_Vec_28 -> T__'8801'__12 #
d_sub'45'id'45'VecList_564 :: T_Ctx'8902'_2 -> T_Kind_766 -> Integer -> T_Vec_28 -> T__'8801'__12 #
d_exts'45'ext_604 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12 #
d_sub'45'ren_612 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> T__'8866''8902'__20 -> T__'8801'__12 #
d_sub'45'ren'45'List_618 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> [T__'8866''8902'__20] -> T__'8801'__12 #
d_sub'45'ren'45'VecList_626 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> Integer -> T_Kind_766 -> T_Vec_28 -> T__'8801'__12 #
d_ren'45'ext'45'exts_666 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T_Kind_766 -> T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12 #
d_ren'45'sub_674 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T_Kind_766 -> T__'8866''8902'__20 -> T__'8801'__12 #
d_ren'45'sub'45'List_680 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T_Kind_766 -> [T__'8866''8902'__20] -> T__'8801'__12 #
d_ren'45'sub'45'VecList_688 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> Integer -> T_Kind_766 -> T_Vec_28 -> T__'8801'__12 #
d_extscomp_728 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T_Kind_766 -> T_Kind_766 -> T__'8715''8902'__14 -> T__'8801'__12 #
d_sub'45'comp_738 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T_Kind_766 -> T__'8866''8902'__20 -> T__'8801'__12 #
d_sub'45'com'45'List_744 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T_Kind_766 -> [T__'8866''8902'__20] -> T__'8801'__12 #
d_sub'45'com'45'VecList_752 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> Integer -> T_Kind_766 -> T_Vec_28 -> T__'8801'__12 #
d_ren'45'sub'45'cons_792 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T__'8866''8902'__20 -> T__'8715''8902'__14 -> T__'8801'__12 #
d_sub'45'sub'45'cons_810 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T__'8866''8902'__20 -> T__'8715''8902'__14 -> T__'8801'__12 #
d_ren'45'μ_828 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Kind_766 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T__'8866''8902'__20 -> T__'8866''8902'__20 -> T__'8801'__12 #
d_ren'45'Π_844 :: T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> T_Ctx'8902'_2 -> T__'8866''8902'__20 -> T__'8866''8902'__20 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T__'8801'__12 #
d_sub'45'μ_858 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Kind_766 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T__'8866''8902'__20 -> T__'8866''8902'__20 -> T__'8801'__12 #
d_sub'45'Π_874 :: T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> T_Ctx'8902'_2 -> T__'8866''8902'__20 -> T__'8866''8902'__20 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T__'8801'__12 #
d_sub'45''8709'_886 :: T_Kind_766 -> T__'8866''8902'__20 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T__'8801'__12 #
d_sub'8709''45'ren_906 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Kind_766 -> T__'8866''8902'__20 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T__'8801'__12 #
d_sub'8709''45'sub_918 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Kind_766 -> T__'8866''8902'__20 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T__'8801'__12 #
d_lookup'45'ren'45'VecList_932 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> Integer -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Fin_10 -> T_Vec_28 -> T__'8801'__12 #
d_lookup'45'sub'45'VecList_950 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> Integer -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T_Fin_10 -> T_Vec_28 -> T__'8801'__12 #