| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Type.Equality
Documentation
d__'91''8801''93'β__4 :: p -> p -> p -> () #
data T__'91''8801''93'β__4 #
d__'10216''91''8801''93''10217'β__8 :: p -> p -> p -> p -> () #
d__'8801'β__10 :: p -> p -> p -> p -> () #
data T__'8801'β__10 #
Constructors
d_'8801'2β_76 :: T_Ctx'8902'_2 -> T_Kind_766 -> T__'8866''8902'__20 -> T__'8866''8902'__20 -> T__'8801'__12 -> T__'8801'β__10 #
d_ren'8801'β_80 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Kind_766 -> T__'8866''8902'__20 -> T__'8866''8902'__20 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T__'8801'β__10 -> T__'8801'β__10 #
d_ren'8801'β'45'List_88 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> [T__'8866''8902'__20] -> [T__'8866''8902'__20] -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T__'91''8801''93'β__4 -> T__'91''8801''93'β__4 #
d_ren'8801'β'45'VecList_98 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> Integer -> T_Vec_28 -> T_Vec_28 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T__'10216''91''8801''93''10217'β__8 -> T__'10216''91''8801''93''10217'β__8 #
du_ren'8801'β'45'VecList_98 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Vec_28 -> T_Vec_28 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T__'10216''91''8801''93''10217'β__8 -> T__'10216''91''8801''93''10217'β__8 #
d_sub'8801'β_172 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Kind_766 -> T__'8866''8902'__20 -> T__'8866''8902'__20 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T__'8801'β__10 -> T__'8801'β__10 #
d_sub'8801'β'45'List_180 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> [T__'8866''8902'__20] -> [T__'8866''8902'__20] -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> T__'91''8801''93'β__4 -> T__'91''8801''93'β__4 #