Documentation

d_Ctx_2 ∷ p → () Source #

data T_Ctx_2 Source #

d__'8715'__16 ∷ p → p → p → () Source #

data T__'8715'__16 Source #

d_'9839'Kinded_40 ∷ p → () Source #

data T_'9839'Kinded_40 Source #

d_lemma'9839'Kinded_58 ∷ T_Kind_476 → T_Kind_476 → T_Kind_476 → T_Kind_476 → T_'9839'Kinded_40 → T__'8866'Ne'8902'__6 → T_Irrelevant_20 Source #

d_ty2sty_64 ∷ T__'8866'Nf'8902'__4 → T__'8866''9839'_4 Source #

d_sty2ty_82 ∷ T__'8866''9839'_4 → T__'8866'Nf'8902'__4 Source #

d_ty'8773'sty'8321'_88 ∷ T__'8866'Nf'8902'__4 → T__'8801'__12 Source #

d_ty'8773'sty'8322'_112 ∷ T__'8866''9839'_4 → T__'8801'__12 Source #

d_'10214'_'10215'_124 ∷ T__'8866'Nf'8902'__4 → () Source #

d_mkCaseType_146 ∷ T_Ctx'8902'_2 → T__'8866'Nf'8902'__4 → [T__'8866'Nf'8902'__4] → T__'8866'Nf'8902'__4 Source #

du_mkCaseType_146 ∷ T__'8866'Nf'8902'__4 → [T__'8866'Nf'8902'__4] → T__'8866'Nf'8902'__4 Source #

d_ConstrArgs_152 ∷ T_Ctx'8902'_2 → T_Ctx_2 → [T__'8866'Nf'8902'__4] → () Source #

d_Cases_162 ∷ p → p → p → p → p → () Source #

data T_Cases_162 Source #

d__'8866'__168 ∷ p → p → p → () Source #

data T__'8866'__168 Source #

d_conv'8715'_290 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_Ctx_2 → T__'8866'Nf'8902'__4 → T__'8866'Nf'8902'__4 → T__'8801'__12 → T__'8801'__12 → T__'8715'__16 → T__'8715'__16 Source #

du_conv'8715'_290 ∷ T__'8715'__16 → T__'8715'__16 Source #

d_conv'8866'_302 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_Ctx_2 → T__'8866'Nf'8902'__4 → T__'8866'Nf'8902'__4 → T__'8801'__12 → T__'8801'__12 → T__'8866'__168 → T__'8866'__168 Source #

du_conv'8866'_302 ∷ T__'8866'__168 → T__'8866'__168 Source #

d_lookupCase_318 ∷ Integer → T_Ctx'8902'_2 → T_Ctx_2 → T__'8866'Nf'8902'__4 → T_Vec_28 → T_Fin_10 → T_Cases_162 → T__'8866'__168 Source #

du_lookupCase_318 ∷ T_Vec_28 → T_Fin_10 → T_Cases_162 → T__'8866'__168 Source #

d_bwdMkCaseType_334 ∷ T_Ctx'8902'_2 → T_Bwd_6 → T__'8866'Nf'8902'__4 → T__'8866'Nf'8902'__4 Source #

du_bwdMkCaseType_334 ∷ T_Bwd_6 → T__'8866'Nf'8902'__4 → T__'8866'Nf'8902'__4 Source #

d_lemma'45'bwdfwdfunction''_346 ∷ T_Ctx'8902'_2 → T__'8866'Nf'8902'__4 → [T__'8866'Nf'8902'__4] → T__'8801'__12 Source #

d_constr'45'cong_372 ∷ T_Ctx'8902'_2 → T_Ctx_2 → Integer → T_Fin_10 → T_Vec_28 → [T__'8866'Nf'8902'__4] → T__'8801'__12 → T_IList_302 → T_IList_302 → T__'8801'__12 → T__'8801'__12 Source #

d_constr'45'cong''_400 ∷ T_Ctx'8902'_2 → T_Ctx_2 → Integer → T_Fin_10 → T_Vec_28 → [T__'8866'Nf'8902'__4] → [T__'8866'Nf'8902'__4] → T__'8801'__12 → T__'8801'__12 → T_IList_302 → T_IList_302 → T__'8801'__12 → T__'8801'__12 Source #