Documentation

d_SigTy_6 ∷ p → p → p → p → p → p → p → p → p → p → () Source #

d_convSigTy_8 ∷ Integer → Integer → Integer → T__'8724'_'8803'__120 → T__'8724'_'8803'__120 → Integer → Integer → Integer → T__'8724'_'8803'__120 → T__'8724'_'8803'__120 → Integer → Integer → T__'8866'Nf'8902'__4 → T__'8866'Nf'8902'__4 → T__'8801'__12 → T_SigTy_260 → T_SigTy_260 Source #

du_convSigTy_8 ∷ T_SigTy_260 → T_SigTy_260 Source #

d_mkTy_10 ∷ Integer → Integer → T__'47'_'8866''8902'_22 → T__'8866'Nf'8902'__4 Source #

d_sig2type_12 ∷ T_Sig_68 → T__'8866'Nf'8902'__4 Source #

d_sig2typeΠ_14 ∷ Integer → Integer → T__'8866'Nf'8902'__4 → T__'8866'Nf'8902'__4 Source #

d_sig2type'8658'_16 ∷ Integer → Integer → [T__'47'_'8866''8902'_22] → T__'8866'Nf'8902'__4 → T__'8866'Nf'8902'__4 Source #

d_sigTy2type_18 ∷ T_Ctx'8902'_2 → Integer → Integer → Integer → Integer → Integer → Integer → T__'8866'Nf'8902'__4 → T__'8724'_'8803'__120 → T__'8724'_'8803'__120 → T_SigTy_260 → T__'8866'Nf'8902'__4 Source #

du_sigTy2type_18 ∷ T__'8866'Nf'8902'__4 → T__'8866'Nf'8902'__4 Source #

d_'8866''9839'2TyNe'9839'_20 ∷ Integer → Integer → T__'8866''9839'_4 → T__'8866'Ne'8902'__6 Source #

d_btype_30 ∷ T_Ctx'8902'_2 → T_Builtin_2 → T__'8866'Nf'8902'__4 Source #

d_btype'45'ren_42 ∷ T_Ctx'8902'_2 → T_Ctx'8902'_2 → T_Builtin_2 → (T_Kind_476 → T__'8715''8902'__14 → T__'8715''8902'__14) → T__'8801'__12 Source #

d_btype'45'sub_56 ∷ T_Ctx'8902'_2 → T_Ctx'8902'_2 → T_Builtin_2 → (T_Kind_476 → T__'8715''8902'__14 → T__'8866'Nf'8902'__4) → T__'8801'__12 Source #

d_subNf'45'Π_72 ∷ T_Ctx'8902'_2 → T_Ctx'8902'_2 → T_Kind_476 → (T_Kind_476 → T__'8715''8902'__14 → T__'8866'Nf'8902'__4) → T__'8866'Nf'8902'__4 → T__'8801'__12 Source #

d_subSigTy_108 ∷ T_Ctx'8902'_2 → T_Ctx'8902'_2 → (T_Kind_476 → T__'8715''8902'__14 → T__'8866'Nf'8902'__4) → Integer → Integer → Integer → T__'8724'_'8803'__120 → Integer → Integer → Integer → T__'8724'_'8803'__120 → T__'8866'Nf'8902'__4 → T_SigTy_260 → T_SigTy_260 Source #

du_subSigTy_108 ∷ T_Ctx'8902'_2 → T_Ctx'8902'_2 → (T_Kind_476 → T__'8715''8902'__14 → T__'8866'Nf'8902'__4) → T_SigTy_260 → T_SigTy_260 Source #

d__'91'_'93'SigTy_150 ∷ T_Ctx'8902'_2 → T_Kind_476 → Integer → Integer → Integer → T__'8724'_'8803'__120 → Integer → Integer → Integer → T__'8724'_'8803'__120 → T__'8866'Nf'8902'__4 → T_SigTy_260 → T__'8866'Nf'8902'__4 → T_SigTy_260 Source #

du__'91'_'93'SigTy_150 ∷ T_Ctx'8902'_2 → T_Kind_476 → T_SigTy_260 → T__'8866'Nf'8902'__4 → T_SigTy_260 Source #

d_uniqueSigTy_180 ∷ Integer → Integer → Integer → T__'8724'_'8803'__120 → Integer → Integer → Integer → T__'8724'_'8803'__120 → T_Ctx'8902'_2 → T__'8866'Nf'8902'__4 → T_SigTy_260 → T_SigTy_260 → T__'8801'__12 Source #