| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Algorithmic.Signature
Documentation
d_convSigTy_8 :: Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> T__'8724'_'8803'__180 -> Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> T__'8724'_'8803'__180 -> Integer -> Integer -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 -> T__'8801'__12 -> T_SigTy_266 -> T_SigTy_266 #
d_mkTy_10 :: Integer -> Integer -> T__'47'_'8866''8902'_26 -> T__'8866'Nf'8902'__4 #
d_sig2type'8658'_16 :: Integer -> Integer -> [T__'47'_'8866''8902'_26] -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 #
d_sigTy2type_18 :: T_Ctx'8902'_2 -> Integer -> Integer -> Integer -> Integer -> Integer -> Integer -> T__'8866'Nf'8902'__4 -> T__'8724'_'8803'__180 -> T__'8724'_'8803'__180 -> T_SigTy_266 -> T__'8866'Nf'8902'__4 #
d_btype'45'ren_42 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Builtin_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T__'8801'__12 #
d_btype'45'sub_56 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Builtin_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4) -> T__'8801'__12 #
d_subNf'45'Π_72 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> T_Kind_766 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4) -> T__'8866'Nf'8902'__4 -> T__'8801'__12 #
d_subSigTy_108 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4) -> Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> T__'8866'Nf'8902'__4 -> T_SigTy_266 -> T_SigTy_266 #
du_subSigTy_108 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8866'Nf'8902'__4) -> T_SigTy_266 -> T_SigTy_266 #
d__'91'_'93'SigTy_150 :: T_Ctx'8902'_2 -> T_Kind_766 -> Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> T__'8866'Nf'8902'__4 -> T_SigTy_266 -> T__'8866'Nf'8902'__4 -> T_SigTy_266 #
du__'91'_'93'SigTy_150 :: T_Ctx'8902'_2 -> T_Kind_766 -> T_SigTy_266 -> T__'8866'Nf'8902'__4 -> T_SigTy_266 #
d_uniqueSigTy_180 :: Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> T_Ctx'8902'_2 -> T__'8866'Nf'8902'__4 -> T_SigTy_266 -> T_SigTy_266 -> T__'8801'__12 #