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_782 → T_RawTy_2 → T_RawTy_2 Source #

check_ƛ_12 ∷ T_Kind_782 → 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_454 (T_List_454 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_array_28 ∷ RTyCon Source #

pattern C_pair_30 ∷ RTyCon Source #

check_atomic_24 ∷ T_AtomicTyCon_6 → T_RawTyCon_4 Source #

check_list_26 ∷ T_RawTyCon_4 Source #

check_array_28 ∷ T_RawTyCon_4 Source #

check_pair_30 ∷ T_RawTyCon_4 Source #

cover_RawTyCon_4 ∷ RTyCon → () Source #

d_RawTm_32 ∷ () Source #

type T_RawTm_32 = RTerm Source #

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

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

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

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

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

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

pattern C_error_46 ∷ RType → RTerm Source #

pattern C_builtin_48 ∷ DefaultFun → RTerm Source #

pattern C_wrap_50 ∷ RType → RType → RTerm → RTerm Source #

pattern C_unwrap_52 ∷ RTerm → RTerm Source #

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

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

check_'96'_34 ∷ Integer → T_RawTm_32 Source #

check_Λ_36 ∷ T_Kind_782 → T_RawTm_32 → T_RawTm_32 Source #

check__'183''8902'__38 ∷ T_RawTm_32 → T_RawTy_2 → T_RawTm_32 Source #

check_ƛ_40 ∷ T_RawTy_2 → T_RawTm_32 → T_RawTm_32 Source #

check__'183'__42 ∷ T_RawTm_32 → T_RawTm_32 → T_RawTm_32 Source #

check_con_44 ∷ T_TagCon_108 → T_RawTm_32 Source #

check_error_46 ∷ T_RawTy_2 → T_RawTm_32 Source #

check_builtin_48 ∷ T_Builtin_2 → T_RawTm_32 Source #

check_wrap_50 ∷ T_RawTy_2 → T_RawTy_2 → T_RawTm_32 → T_RawTm_32 Source #

check_unwrap_52 ∷ T_RawTm_32 → T_RawTm_32 Source #

check_constr_60 ∷ T_RawTy_2 → Integer → T_List_454 T_RawTm_32 → T_RawTm_32 Source #

check_case_68 ∷ T_RawTy_2 → T_RawTm_32 → T_List_454 T_RawTm_32 → T_RawTm_32 Source #

cover_RawTm_32 ∷ RTerm → () Source #

d_decRTyCon_74 ∷ T_RawTyCon_4 → T_RawTyCon_4 → Bool Source #

d_decRKi_84 ∷ T_Kind_782 → T_Kind_782 → Bool Source #

d_decRTy_102 ∷ T_RawTy_2 → T_RawTy_2 → Bool Source #

d_decRTyList_108 ∷ T_List_454 T_RawTy_2 → T_List_454 T_RawTy_2 → Bool Source #

d_decRTyListList_114 ∷ T_List_454 (T_List_454 T_RawTy_2) → T_List_454 (T_List_454 T_RawTy_2) → Bool Source #

d_decRTm_188 ∷ T_RawTm_32 → T_RawTm_32 → Bool Source #

d_decRTmList_194 ∷ T_List_454 T_RawTm_32 → T_List_454 T_RawTm_32 → Bool Source #

d_addBrackets_292 ∷ T_String_6 → T_String_6 Source #

d_rawTyPrinter_296 ∷ T_RawTy_2 → T_String_6 Source #

d_rawTyListPrinter_298 ∷ T_List_454 T_RawTy_2 → T_String_6 Source #

d_rawTyListListPrinter_300 ∷ T_List_454 (T_List_454 T_RawTy_2) → T_String_6 Source #

d_rawListPrinter_344 ∷ T_List_454 T_RawTm_32 → T_String_6 Source #

d_rawPrinter_346 ∷ T_RawTm_32 → T_String_6 Source #