Documentation

d_TypeError_12 :: () #

data T_TypeError_12 #

d_len'8902'_106 :: T_Ctx'8902'_2 -> Integer #

d_inferTyVar_118 :: T_Ctx'8902'_2 -> T_Fin_10 -> T_Σ_14 #

d_decKind_138 :: T_Kind_766 -> T_Kind_766 -> T_Dec_20 #

d_isFunKind_174 :: T_Ctx'8902'_2 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

du_isFunKind_174 :: T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

d_isPat_196 :: T_Ctx'8902'_2 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

du_isPat_196 :: T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

d_isPi_296 :: T_Ctx'8902'_2 -> T_Ctx_2 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

du_isPi_296 :: T_Ctx'8902'_2 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

d_isFunType_338 :: T_Ctx'8902'_2 -> T_Ctx_2 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

du_isFunType_338 :: T_Ctx'8902'_2 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

d_isMu_392 :: T_Ctx'8902'_2 -> T_Ctx_2 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

du_isMu_392 :: T_Ctx'8902'_2 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

d_isSOPType_436 :: T_Ctx'8902'_2 -> T__'8866'Nf'8902'__4 -> T_Either_6 T_TypeError_12 T_Σ_14 #

d_isSOP_476 :: T_Ctx'8902'_2 -> T_Ctx_2 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

du_isSOP_476 :: T_Ctx'8902'_2 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

d_chkIdx_514 :: Integer -> Integer -> T_Either_6 T_TypeError_12 T_Fin_10 #

d_inferTyCon_542 :: T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> T_Σ_14 #

du_inferTyCon_542 :: T_Kind_766 -> T_TyCon_6 -> T_Σ_14 #

d_checkKind_554 :: T_Ctx'8902'_2 -> T_ScopedTy_14 -> T_Kind_766 -> T_Either_6 T_TypeError_12 T__'8866'Nf'8902'__4 #

d_inferKind_562 :: T_Ctx'8902'_2 -> T_ScopedTy_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

d_inferKind'45'List_568 :: T_Ctx'8902'_2 -> T_List_444 T_ScopedTy_14 -> T_Either_6 T_TypeError_12 [T__'8866'Nf'8902'__4] #

d_inferKind'45'VecList_586 :: T_Ctx'8902'_2 -> T_List_444 (T_List_444 T_ScopedTy_14) -> T_Either_6 T_TypeError_12 T_Vec_28 #

d_checkKind'45'aux_606 :: T_Ctx'8902'_2 -> T_Σ_14 -> T_Kind_766 -> T_Either_6 T_TypeError_12 T__'8866'Nf'8902'__4 #

du_checkKind'45'aux_606 :: T_Σ_14 -> T_Kind_766 -> T_Either_6 T_TypeError_12 T__'8866'Nf'8902'__4 #

d_addCon_658 :: T_Ctx'8902'_2 -> T_Σ_14 -> T_Σ_14 #

du_addCon_658 :: T_Σ_14 -> T_Σ_14 #

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 #

du_'46'extendedlambda4_710 :: T_Ctx'8902'_2 -> T_ScopedTy_14 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

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 #

du_'46'extendedlambda4_732 :: T_Ctx'8902'_2 -> T_ScopedTy_14 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

d_len_776 :: T_Ctx'8902'_2 -> T_Ctx_2 -> T_Weirdℕ_42 #

d_inferVarType_792 :: T_Ctx'8902'_2 -> T_Ctx_2 -> T_WeirdFin_56 -> T_Either_6 T_TypeError_12 T_Σ_14 #

d_decTyVar_830 :: T_Ctx'8902'_2 -> T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14 -> T_Dec_20 #

du_decTyVar_830 :: T_Ctx'8902'_2 -> T__'8715''8902'__14 -> T__'8715''8902'__14 -> T_Dec_20 #

d_decNfTy_864 :: T_Ctx'8902'_2 -> T_Kind_766 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 -> T_Dec_20 #

d_decNeTy_874 :: T_Ctx'8902'_2 -> T_Kind_766 -> T__'8866'Ne'8902'__6 -> T__'8866'Ne'8902'__6 -> T_Dec_20 #

du_decNeTy_874 :: T_Ctx'8902'_2 -> T__'8866'Ne'8902'__6 -> T__'8866'Ne'8902'__6 -> T_Dec_20 #

d_decNfTy'45'List_884 :: T_Ctx'8902'_2 -> T_Kind_766 -> [T__'8866'Nf'8902'__4] -> [T__'8866'Nf'8902'__4] -> T_Dec_20 #

d_decNfTy'45'VecList_914 :: T_Ctx'8902'_2 -> Integer -> T_Kind_766 -> T_Vec_28 -> T_Vec_28 -> T_Dec_20 #

du_decNfTy'45'VecList_914 :: T_Ctx'8902'_2 -> T_Kind_766 -> T_Vec_28 -> T_Vec_28 -> T_Dec_20 #

d_decTyCon_932 :: T_Kind_766 -> T_TyCon_6 -> T_TyCon_6 -> T_Dec_20 #

du_decTyCon_932 :: T_TyCon_6 -> T_TyCon_6 -> T_Dec_20 #

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'__178 #

d_inferType_1156 :: T_Ctx'8902'_2 -> T_Ctx_2 -> T_ScopedTm_522 -> T_Either_6 T_TypeError_12 T_Σ_14 #

d_checkConstrArgs'45'List_1180 :: T_Ctx'8902'_2 -> T_Ctx_2 -> T_List_444 T_ScopedTm_522 -> [T__'8866'Nf'8902'__4] -> T_Either_6 T_TypeError_12 T_IList_302 #

d_checkCases'45'List_1220 :: T_Ctx'8902'_2 -> T_Ctx_2 -> T__'8866'Nf'8902'__4 -> T_List_444 T_ScopedTm_522 -> Integer -> T_Vec_28 -> T_Either_6 T_TypeError_12 T_Cases_172 #

du_checkCases'45'List_1220 :: T_Ctx'8902'_2 -> T_Ctx_2 -> T__'8866'Nf'8902'__4 -> T_List_444 T_ScopedTm_522 -> T_Vec_28 -> T_Either_6 T_TypeError_12 T_Cases_172 #

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 #

du_'46'extendedlambda24_1314 :: T_Ctx'8902'_2 -> T_Ctx_2 -> T_ScopedTm_522 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

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 #

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 #

d_'46'extendedlambda24_1388 :: T_Ctx'8902'_2 -> T_Ctx_2 -> T_ScopedTy_14 -> Integer -> T_List_444 T_ScopedTm_522 -> T__'8866'Nf'8902'__4 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

du_'46'extendedlambda24_1388 :: T_Ctx'8902'_2 -> T_Ctx_2 -> Integer -> T_List_444 T_ScopedTm_522 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

d_'46'extendedlambda24_1410 :: T_Ctx'8902'_2 -> T_Ctx_2 -> T_ScopedTy_14 -> T_ScopedTm_522 -> T_List_444 T_ScopedTm_522 -> T__'8866'Nf'8902'__4 -> T_Σ_14 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #

du_'46'extendedlambda24_1410 :: T_Ctx'8902'_2 -> T_Ctx_2 -> T_List_444 T_ScopedTm_522 -> T__'8866'Nf'8902'__4 -> T_Σ_14 -> T_Either_6 T_TypeError_12 T_Σ_14 #