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