Documentation

d_RawTy_2 ∷ () Source #

type T_RawTy_2 = RType Source #

pattern C_'96'_6 ∷ Integer → RType Source #

pattern C__'8658'__8 ∷ RType → RType → RType Source #

pattern C_Π_10 ∷ KIND → RType → RType Source #

pattern C_ƛ_12 ∷ KIND → RType → RType Source #

pattern C__'183'__14 ∷ RType → RType → RType Source #

pattern C_con_16 ∷ RTyCon → RType Source #

pattern C_μ_18 ∷ RType → RType → RType Source #

pattern C_SOP_22 ∷ [[RType]] → RType Source #

check_'96'_6 ∷ Integer → T_RawTy_2 Source #

check__'8658'__8 ∷ T_RawTy_2 → T_RawTy_2 → T_RawTy_2 Source #

check_Π_10 ∷ T_Kind_476 → T_RawTy_2 → T_RawTy_2 Source #

check_ƛ_12 ∷ T_Kind_476 → T_RawTy_2 → T_RawTy_2 Source #

check__'183'__14 ∷ T_RawTy_2 → T_RawTy_2 → T_RawTy_2 Source #

check_con_16 ∷ T_RawTyCon_4 → T_RawTy_2 Source #

check_μ_18 ∷ T_RawTy_2 → T_RawTy_2 → T_RawTy_2 Source #

check_SOP_22 ∷ T_List_382 (T_List_382 T_RawTy_2) → T_RawTy_2 Source #

cover_RawTy_2 ∷ RType → () Source #

d_RawTyCon_4 ∷ () Source #

type T_RawTyCon_4 = RTyCon Source #

pattern C_atomic_24 ∷ AtomicTyCon → RTyCon Source #

pattern C_list_26 ∷ RTyCon Source #

pattern C_pair_28 ∷ RTyCon Source #

check_atomic_24 ∷ T_AtomicTyCon_6 → T_RawTyCon_4 Source #

check_list_26 ∷ T_RawTyCon_4 Source #

check_pair_28 ∷ T_RawTyCon_4 Source #

cover_RawTyCon_4 ∷ RTyCon → () Source #

d_RawTm_30 ∷ () Source #

type T_RawTm_30 = RTerm Source #

pattern C_'96'_32 ∷ Integer → RTerm Source #

pattern C_Λ_34 ∷ KIND → RTerm → RTerm Source #

pattern C__'183''8902'__36 ∷ RTerm → RType → RTerm Source #

pattern C_ƛ_38 ∷ RType → RTerm → RTerm Source #

pattern C__'183'__40 ∷ RTerm → RTerm → RTerm Source #

pattern C_con_42 ∷ Some (ValueOf DefaultUni) → RTerm Source #

pattern C_error_44 ∷ RType → RTerm Source #

pattern C_builtin_46 ∷ DefaultFun → RTerm Source #

pattern C_wrap_48 ∷ RType → RType → RTerm → RTerm Source #

pattern C_unwrap_50 ∷ RTerm → RTerm Source #

pattern C_constr_58 ∷ RType → Integer → [RTerm] → RTerm Source #

pattern C_case_66 ∷ RType → RTerm → [RTerm] → RTerm Source #

check_'96'_32 ∷ Integer → T_RawTm_30 Source #

check_Λ_34 ∷ T_Kind_476 → T_RawTm_30 → T_RawTm_30 Source #

check__'183''8902'__36 ∷ T_RawTm_30 → T_RawTy_2 → T_RawTm_30 Source #

check_ƛ_38 ∷ T_RawTy_2 → T_RawTm_30 → T_RawTm_30 Source #

check__'183'__40 ∷ T_RawTm_30 → T_RawTm_30 → T_RawTm_30 Source #

check_con_42 ∷ T_TagCon_58 → T_RawTm_30 Source #

check_error_44 ∷ T_RawTy_2 → T_RawTm_30 Source #

check_builtin_46 ∷ T_Builtin_2 → T_RawTm_30 Source #

check_wrap_48 ∷ T_RawTy_2 → T_RawTy_2 → T_RawTm_30 → T_RawTm_30 Source #

check_unwrap_50 ∷ T_RawTm_30 → T_RawTm_30 Source #

check_constr_58 ∷ T_RawTy_2 → Integer → T_List_382 T_RawTm_30 → T_RawTm_30 Source #

check_case_66 ∷ T_RawTy_2 → T_RawTm_30 → T_List_382 T_RawTm_30 → T_RawTm_30 Source #

cover_RawTm_30 ∷ RTerm → () Source #

d_decRTyCon_72 ∷ T_RawTyCon_4 → T_RawTyCon_4 → Bool Source #

d_decRKi_82 ∷ T_Kind_476 → T_Kind_476 → Bool Source #

d_decRTy_100 ∷ T_RawTy_2 → T_RawTy_2 → Bool Source #

d_decRTyList_106 ∷ T_List_382 T_RawTy_2 → T_List_382 T_RawTy_2 → Bool Source #

d_decRTyListList_112 ∷ T_List_382 (T_List_382 T_RawTy_2) → T_List_382 (T_List_382 T_RawTy_2) → Bool Source #

d_decRTm_186 ∷ T_RawTm_30 → T_RawTm_30 → Bool Source #

d_decRTmList_192 ∷ T_List_382 T_RawTm_30 → T_List_382 T_RawTm_30 → Bool Source #

d_addBrackets_290 ∷ T_String_6 → T_String_6 Source #

d_rawTyPrinter_294 ∷ T_RawTy_2 → T_String_6 Source #

d_rawTyListPrinter_296 ∷ T_List_382 T_RawTy_2 → T_String_6 Source #

d_rawTyListListPrinter_298 ∷ T_List_382 (T_List_382 T_RawTy_2) → T_String_6 Source #

d_rawListPrinter_342 ∷ T_List_382 T_RawTm_30 → T_String_6 Source #

d_rawPrinter_344 ∷ T_RawTm_30 → T_String_6 Source #