Documentation

d_TypeError_12 ∷ () Source #

data T_TypeError_12 Source #

d_len'8902'_106 ∷ T_Ctx'8902'_2 → Integer Source #

d_inferTyVar_118 ∷ T_Ctx'8902'_2 → T_Fin_10 → T_Σ_14 Source #

d_decKind_138 ∷ T_Kind_476 → T_Kind_476 → T_Dec_20 Source #

d_isFunKind_174 ∷ T_Ctx'8902'_2 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

du_isFunKind_174 ∷ T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

d_isPat_196 ∷ T_Ctx'8902'_2 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

du_isPat_196 ∷ T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

d_isPi_296 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

du_isPi_296 ∷ T_Ctx'8902'_2 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

d_isFunType_338 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

du_isFunType_338 ∷ T_Ctx'8902'_2 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

d_isMu_392 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

du_isMu_392 ∷ T_Ctx'8902'_2 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

d_isSOPType_436 ∷ T_Ctx'8902'_2 → T__'8866'Nf'8902'__4 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

d_isSOP_476 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

du_isSOP_476 ∷ T_Ctx'8902'_2 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

d_chkIdx_514 ∷ Integer → Integer → T_Either_6 T_TypeError_12 T_Fin_10 Source #

d_inferTyCon_542 ∷ T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → T_Σ_14 Source #

du_inferTyCon_542 ∷ T_Kind_476 → T_TyCon_6 → T_Σ_14 Source #

d_checkKind_554 ∷ T_Ctx'8902'_2 → T_ScopedTy_14 → T_Kind_476 → T_Either_6 T_TypeError_12 T__'8866'Nf'8902'__4 Source #

d_inferKind_562 ∷ T_Ctx'8902'_2 → T_ScopedTy_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

d_inferKind'45'List_568 ∷ T_Ctx'8902'_2 → T_List_382 T_ScopedTy_14 → T_Either_6 T_TypeError_12 [T__'8866'Nf'8902'__4] Source #

d_inferKind'45'VecList_586 ∷ T_Ctx'8902'_2 → T_List_382 (T_List_382 T_ScopedTy_14) → T_Either_6 T_TypeError_12 T_Vec_28 Source #

d_checkKind'45'aux_606 ∷ T_Ctx'8902'_2 → T_Σ_14 → T_Kind_476 → T_Either_6 T_TypeError_12 T__'8866'Nf'8902'__4 Source #

du_checkKind'45'aux_606 ∷ T_Σ_14 → T_Kind_476 → T_Either_6 T_TypeError_12 T__'8866'Nf'8902'__4 Source #

d_addCon_658 ∷ T_Ctx'8902'_2 → T_Σ_14 → T_Σ_14 Source #

du_addCon_658 ∷ T_Σ_14 → T_Σ_14 Source #

d_'46'extendedlambda4_710 ∷ T_Ctx'8902'_2 → T_ScopedTy_14 → T_ScopedTy_14 → T_Σ_14 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

du_'46'extendedlambda4_710 ∷ T_Ctx'8902'_2 → T_ScopedTy_14 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

d_'46'extendedlambda4_732 ∷ T_Ctx'8902'_2 → T_ScopedTy_14 → T_ScopedTy_14 → T_Σ_14 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

du_'46'extendedlambda4_732 ∷ T_Ctx'8902'_2 → T_ScopedTy_14 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

d_len_776 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_Weirdℕ_42 Source #

d_inferVarType_792 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_WeirdFin_56 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

d_decTyVar_830 ∷ T_Ctx'8902'_2 → T_Kind_476 → T__'8715''8902'__14 → T__'8715''8902'__14 → T_Dec_20 Source #

du_decTyVar_830 ∷ T_Ctx'8902'_2 → T__'8715''8902'__14 → T__'8715''8902'__14 → T_Dec_20 Source #

d_decNfTy_864 ∷ T_Ctx'8902'_2 → T_Kind_476 → T__'8866'Nf'8902'__4 → T__'8866'Nf'8902'__4 → T_Dec_20 Source #

d_decNeTy_874 ∷ T_Ctx'8902'_2 → T_Kind_476 → T__'8866'Ne'8902'__6 → T__'8866'Ne'8902'__6 → T_Dec_20 Source #

du_decNeTy_874 ∷ T_Ctx'8902'_2 → T__'8866'Ne'8902'__6 → T__'8866'Ne'8902'__6 → T_Dec_20 Source #

d_decNfTy'45'List_884 ∷ T_Ctx'8902'_2 → T_Kind_476 → [T__'8866'Nf'8902'__4] → [T__'8866'Nf'8902'__4] → T_Dec_20 Source #

d_decNfTy'45'VecList_914 ∷ T_Ctx'8902'_2 → Integer → T_Kind_476 → T_Vec_28 → T_Vec_28 → T_Dec_20 Source #

du_decNfTy'45'VecList_914 ∷ T_Ctx'8902'_2 → T_Kind_476 → T_Vec_28 → T_Vec_28 → T_Dec_20 Source #

d_decTyCon_932 ∷ T_Kind_476 → T_TyCon_6 → T_TyCon_6 → T_Dec_20 Source #

du_decTyCon_932 ∷ T_TyCon_6 → T_TyCon_6 → T_Dec_20 Source #

d_checkType_1148 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_ScopedTm_522 → T__'8866'Nf'8902'__4 → T_Either_6 T_TypeError_12 T__'8866'__168 Source #

d_inferType_1156 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_ScopedTm_522 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

d_checkConstrArgs'45'List_1180 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_List_382 T_ScopedTm_522 → [T__'8866'Nf'8902'__4] → T_Either_6 T_TypeError_12 T_IList_302 Source #

d_checkCases'45'List_1220 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T__'8866'Nf'8902'__4 → T_List_382 T_ScopedTm_522 → Integer → T_Vec_28 → T_Either_6 T_TypeError_12 T_Cases_162 Source #

du_checkCases'45'List_1220 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T__'8866'Nf'8902'__4 → T_List_382 T_ScopedTm_522 → T_Vec_28 → T_Either_6 T_TypeError_12 T_Cases_162 Source #

d_'46'extendedlambda24_1314 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_ScopedTm_522 → T_ScopedTm_522 → T_Σ_14 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

du_'46'extendedlambda24_1314 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_ScopedTm_522 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

d_'46'extendedlambda24_1352 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_ScopedTy_14 → T_ScopedTy_14 → T_ScopedTm_522 → T_Σ_14 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

du_'46'extendedlambda24_1352 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_ScopedTy_14 → T_ScopedTm_522 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

d_'46'extendedlambda24_1388 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_ScopedTy_14 → Integer → T_List_382 T_ScopedTm_522 → T__'8866'Nf'8902'__4 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

du_'46'extendedlambda24_1388 ∷ T_Ctx'8902'_2 → T_Ctx_2 → Integer → T_List_382 T_ScopedTm_522 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

d_'46'extendedlambda24_1410 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_ScopedTy_14 → T_ScopedTm_522 → T_List_382 T_ScopedTm_522 → T__'8866'Nf'8902'__4 → T_Σ_14 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #

du_'46'extendedlambda24_1410 ∷ T_Ctx'8902'_2 → T_Ctx_2 → T_List_382 T_ScopedTm_522 → T__'8866'Nf'8902'__4 → T_Σ_14 → T_Either_6 T_TypeError_12 T_Σ_14 Source #