Documentation

d__'43''43'__6 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] Source #

d__'63''8759'__8 :: T_Level_14 -> () -> Maybe AgdaAny -> [AgdaAny] -> [AgdaAny] Source #

d__'91'_'93''37''61'__10 :: T_Level_14 -> () -> [AgdaAny] -> T_Fin_6 -> (AgdaAny -> AgdaAny) -> [AgdaAny] Source #

d__'91'_'93''8759''61'__12 :: T_Level_14 -> () -> [AgdaAny] -> T_Fin_6 -> AgdaAny -> [AgdaAny] Source #

d__'691''43''43'__14 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] Source #

d__'8759''691'__20 :: T_Level_14 -> () -> [AgdaAny] -> AgdaAny -> [AgdaAny] Source #

d__'8759''691'''__22 :: T_Level_14 -> () -> [AgdaAny] -> AgdaAny -> T_InitLast_828 Source #

d__'8759''691''63'__24 :: T_Level_14 -> () -> [AgdaAny] -> Maybe AgdaAny -> [AgdaAny] Source #

d__'9472'__30 :: T_Level_14 -> () -> [AgdaAny] -> T_Fin_6 -> [AgdaAny] Source #

d_InitLast_32 :: p1 -> p2 -> p3 -> () Source #

d_List_36 :: p1 -> p2 -> () Source #

d_'91'_'93'_38 :: T_Level_14 -> () -> AgdaAny -> [AgdaAny] Source #

d_align_44 :: T_Level_14 -> () -> T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [T_These_38] Source #

d_alignWith_46 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (T_These_38 -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] Source #

d_all_48 :: T_Level_14 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> Bool Source #

d_allFin_50 :: Integer -> [T_Fin_6] Source #

d_and_52 :: [Bool] -> Bool Source #

d_any_54 :: T_Level_14 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> Bool Source #

d_applyDownFrom_56 :: T_Level_14 -> () -> (Integer -> AgdaAny) -> Integer -> [AgdaAny] Source #

d_applyUpTo_58 :: T_Level_14 -> () -> (Integer -> AgdaAny) -> Integer -> [AgdaAny] Source #

d_break_60 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14 Source #

d_cartesianProduct_62 :: T_Level_14 -> () -> T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [T_Σ_14] Source #

d_cartesianProductWith_64 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] Source #

d_concat_66 :: T_Level_14 -> () -> [[AgdaAny]] -> [AgdaAny] Source #

d_concatMap_68 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny] Source #

d_deduplicate_70 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] Source #

d_derun_72 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] Source #

d_downFrom_74 :: Integer -> [Integer] Source #

d_drop_76 :: T_Level_14 -> () -> Integer -> [AgdaAny] -> [AgdaAny] Source #

d_dropWhile_78 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] Source #

d_filter_80 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] Source #

d_foldl_82 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny Source #

d_foldr_84 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny Source #

d_fromMaybe_86 :: T_Level_14 -> () -> Maybe AgdaAny -> [AgdaAny] Source #

d_head_88 :: T_Level_14 -> () -> [AgdaAny] -> Maybe AgdaAny Source #

d_initLast_90 :: T_Level_14 -> () -> [AgdaAny] -> T_InitLast_828 Source #

d_inits_92 :: T_Level_14 -> () -> [AgdaAny] -> [[AgdaAny]] Source #

d_intercalate_94 :: T_Level_14 -> () -> [AgdaAny] -> [[AgdaAny]] -> [AgdaAny] Source #

d_intersperse_96 :: T_Level_14 -> () -> AgdaAny -> [AgdaAny] -> [AgdaAny] Source #

d_last_98 :: T_Level_14 -> () -> [AgdaAny] -> Maybe AgdaAny Source #

d_length_100 :: T_Level_14 -> () -> [AgdaAny] -> Integer Source #

d_linesBy_102 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [[AgdaAny]] Source #

d_lookup_104 :: T_Level_14 -> () -> [AgdaAny] -> T_Fin_6 -> AgdaAny Source #

d_map_106 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] Source #

d_mapMaybe_108 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny] Source #

d_merge_110 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] Source #

d_null_112 :: T_Level_14 -> () -> [AgdaAny] -> Bool Source #

d_or_114 :: [Bool] -> Bool Source #

d_partition_116 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14 Source #

d_partitionSums_118 :: T_Level_14 -> () -> T_Level_14 -> () -> [T__'8846'__30] -> T_Σ_14 Source #

d_partitionSumsWith_120 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> T__'8846'__30) -> [AgdaAny] -> T_Σ_14 Source #

d_product_122 :: [Integer] -> Integer Source #

d_replicate_124 :: T_Level_14 -> () -> Integer -> AgdaAny -> [AgdaAny] Source #

d_reverse_126 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] Source #

d_reverseAcc_128 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] Source #

d_scanl_130 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] Source #

d_scanr_132 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] Source #

d_span_134 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14 Source #

d_splitAt_136 :: T_Level_14 -> () -> Integer -> [AgdaAny] -> T_Σ_14 Source #

d_sum_138 :: [Integer] -> Integer Source #

d_tabulate_140 :: T_Level_14 -> () -> Integer -> (T_Fin_6 -> AgdaAny) -> [AgdaAny] Source #

d_tail_142 :: T_Level_14 -> () -> [AgdaAny] -> Maybe [AgdaAny] Source #

d_tails_144 :: T_Level_14 -> () -> [AgdaAny] -> [[AgdaAny]] Source #

d_take_146 :: T_Level_14 -> () -> Integer -> [AgdaAny] -> [AgdaAny] Source #

d_takeWhile_148 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] Source #

d_unalign_150 :: T_Level_14 -> () -> T_Level_14 -> () -> [T_These_38] -> T_Σ_14 Source #

d_unalignWith_152 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> T_These_38) -> [AgdaAny] -> T_Σ_14 Source #

d_uncons_154 :: T_Level_14 -> () -> [AgdaAny] -> Maybe T_Σ_14 Source #

d_unfold_156 :: T_Level_14 -> T_Level_14 -> () -> (Integer -> ()) -> (Integer -> AgdaAny -> Maybe T_Σ_14) -> Integer -> AgdaAny -> [AgdaAny] Source #

d_unsnoc_158 :: T_Level_14 -> () -> [AgdaAny] -> Maybe T_Σ_14 Source #

d_unzip_160 :: T_Level_14 -> () -> T_Level_14 -> () -> [T_Σ_14] -> T_Σ_14 Source #

d_unzipWith_162 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_Σ_14 Source #

d_upTo_164 :: Integer -> [Integer] Source #

d_wordsBy_166 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [[AgdaAny]] Source #

d_zip_168 :: T_Level_14 -> () -> T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [T_Σ_14] Source #

d_zipWith_170 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] Source #

d__'91'_'93''37''61'__182 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> [AgdaAny] -> AgdaAny -> T_All_44 -> T_Any_34 -> (AgdaAny -> AgdaAny) -> T_All_44 Source #

d__'91'_'93''61'__184 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> p9 -> () Source #

d__'91'_'93''8788'__186 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> [AgdaAny] -> AgdaAny -> T_All_44 -> T_Any_34 -> AgdaAny -> T_All_44 Source #

d_All_190 :: p1 -> p2 -> p3 -> p4 -> p5 -> () Source #

d_Null_192 :: T_Level_14 -> () -> [AgdaAny] -> () Source #

d_all_196 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Dec_32 Source #

d_all'63'_198 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Dec_32 Source #

d_construct_200 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_Σ_14 Source #

d_decide_202 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T__'8846'__30) -> [AgdaAny] -> T__'8846'__30 Source #

d_forA_204 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawIApplicative_38 -> T_Level_14 -> [AgdaAny] -> (AgdaAny -> ()) -> T_All_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny Source #

d_forM_206 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawIMonad_32 -> T_Level_14 -> [AgdaAny] -> (AgdaAny -> ()) -> T_All_44 -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny Source #

d_fromList_208 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [T_Σ_14] -> T_All_44 Source #

d_head_210 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> T_All_44 -> AgdaAny Source #

d_irrelevant_214 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> [AgdaAny] -> T_All_44 -> T_All_44 -> T__'8801'__12 Source #

d_lookup_216 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> [AgdaAny] -> T_All_44 -> AgdaAny -> T_Any_34 -> AgdaAny Source #

d_lookupAny_218 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Level_14 -> (AgdaAny -> ()) -> T_All_44 -> T_Any_34 -> T_Σ_14 Source #

d_lookupWith_220 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_All_44 -> T_Any_34 -> AgdaAny Source #

d_lookup'8347'_222 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> ()) -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_All_44 -> AgdaAny -> T_Any_34 -> AgdaAny Source #

d_map_224 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> T_All_44 Source #

d_mapA_226 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawIApplicative_38 -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> AgdaAny Source #

d_mapM_228 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawIMonad_32 -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 -> AgdaAny Source #

d_reduce_230 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> () -> [AgdaAny] -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_All_44 -> [AgdaAny] Source #

d_satisfiable_232 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Σ_14 Source #

d_self_234 :: T_Level_14 -> () -> [AgdaAny] -> T_All_44 Source #

d_sequenceA_236 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawIApplicative_38 -> [AgdaAny] -> T_All_44 -> AgdaAny Source #

d_sequenceM_238 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (() -> ()) -> T_RawIMonad_32 -> [AgdaAny] -> T_All_44 -> AgdaAny Source #

d_tabulate_240 :: T_Level_14 -> () -> [AgdaAny] -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Any_34 -> AgdaAny) -> T_All_44 Source #

d_tabulate'8347'_242 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> (AgdaAny -> ()) -> [AgdaAny] -> (AgdaAny -> T_Any_34 -> AgdaAny) -> T_All_44 Source #

d_tail_244 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> T_All_44 -> T_All_44 Source #

d_toList_248 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_All_44 -> [T_Σ_14] Source #

d_uncons_250 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> AgdaAny -> [AgdaAny] -> T_All_44 -> T_Σ_14 Source #

d_universal_252 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> T_All_44 Source #

d_unzip_254 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_All_44 -> T_Σ_14 Source #

d_unzipWith_256 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_All_44 -> T_Σ_14 Source #

d_updateAt_258 :: T_Level_14 -> () -> AgdaAny -> [AgdaAny] -> T_Level_14 -> (AgdaAny -> ()) -> T_Any_34 -> (AgdaAny -> AgdaAny) -> T_All_44 -> T_All_44 Source #

d_zip_260 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> [AgdaAny] -> T_Σ_14 -> T_All_44 Source #

d_zipWith_262 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> T_Σ_14 -> AgdaAny) -> [AgdaAny] -> T_Σ_14 -> T_All_44 Source #

d_'35'__278 :: Integer -> Integer -> AgdaAny -> T_Fin_6 Source #

d__'43'__282 :: Integer -> Integer -> T_Fin_6 -> T_Fin_6 -> T_Fin_6 Source #

d__'45'__284 :: Integer -> T_Fin_6 -> T_Fin_6 -> T_Fin_6 Source #

d__'60'__286 :: Integer -> Integer -> T_Fin_6 -> T_Fin_6 -> () Source #

d__'60''63'__290 :: Integer -> Integer -> T_Fin_6 -> T_Fin_6 -> T_Dec_32 Source #

d__'62'__292 :: Integer -> Integer -> T_Fin_6 -> T_Fin_6 -> () Source #

d__ℕ'45'__294 :: Integer -> T_Fin_6 -> T_Fin_6 Source #

d__ℕ'45'ℕ__296 :: Integer -> T_Fin_6 -> Integer Source #

d__'8593''691'__298 :: Integer -> Integer -> T_Fin_6 -> T_Fin_6 Source #

d__'8593''737'__300 :: Integer -> T_Fin_6 -> Integer -> T_Fin_6 Source #

du__'8593''737'__300 :: T_Fin_6 -> T_Fin_6 Source #

d__'8799'__302 :: Integer -> T_Fin_6 -> T_Fin_6 -> T_Dec_32 Source #

d__'8804'__304 :: Integer -> Integer -> T_Fin_6 -> T_Fin_6 -> () Source #

d__'8804''63'__306 :: Integer -> Integer -> T_Fin_6 -> T_Fin_6 -> T_Dec_32 Source #

d__'8805'__308 :: Integer -> Integer -> T_Fin_6 -> T_Fin_6 -> () Source #

d__'8826'__310 :: p1 -> p2 -> () Source #

d_Fin_316 :: p -> () Source #

d_Fin'8242'_318 :: Integer -> T_Fin_6 -> () Source #

d_Ordering_320 :: p1 -> p2 -> p3 -> () Source #

d_cast_322 :: Integer -> Integer -> T__'8801'__12 -> T_Fin_6 -> T_Fin_6 Source #

d_combine_324 :: Integer -> Integer -> T_Fin_6 -> T_Fin_6 -> T_Fin_6 Source #

d_compare_326 :: Integer -> T_Fin_6 -> T_Fin_6 -> T_Ordering_568 Source #

d_finToFun_332 :: Integer -> Integer -> T_Fin_6 -> T_Fin_6 -> T_Fin_6 Source #

d_fold_334 :: T_Level_14 -> (Integer -> ()) -> Integer -> (Integer -> AgdaAny -> AgdaAny) -> (Integer -> AgdaAny) -> T_Fin_6 -> AgdaAny Source #

d_fold'8242'_336 :: Integer -> T_Level_14 -> (T_Fin_6 -> ()) -> (T_Fin_6 -> AgdaAny -> AgdaAny) -> AgdaAny -> T_Fin_6 -> AgdaAny Source #

d_fromℕ_338 :: Integer -> T_Fin_6 Source #

d_fromℕ'60'_340 :: Integer -> Integer -> T__'8804'__18 -> T_Fin_6 Source #

d_fromℕ'60''8243'_342 :: Integer -> Integer -> T__'8804''8243'__210 -> T_Fin_6 Source #

d_fromℕ'8804'_344 :: Integer -> Integer -> T__'8804'__18 -> T_Fin_6 Source #

d_fromℕ'8804''8243'_346 :: Integer -> Integer -> T__'8804''8243'__210 -> T_Fin_6 Source #

d_funToFin_348 :: Integer -> Integer -> (T_Fin_6 -> T_Fin_6) -> T_Fin_6 Source #

d_inject_352 :: Integer -> T_Fin_6 -> T_Fin_6 -> T_Fin_6 Source #

d_inject'33'_354 :: Integer -> T_Fin_6 -> T_Fin_6 -> T_Fin_6 Source #

d_inject'43'_356 :: Integer -> Integer -> T_Fin_6 -> T_Fin_6 Source #

du_inject'43'_356 :: T_Fin_6 -> T_Fin_6 Source #

d_inject'8321'_358 :: Integer -> T_Fin_6 -> T_Fin_6 Source #

du_inject'8321'_358 :: T_Fin_6 -> T_Fin_6 Source #

d_inject'8804'_360 :: Integer -> Integer -> T_Fin_6 -> T__'8804'__18 -> T_Fin_6 Source #

du_inject'8804'_360 :: T_Fin_6 -> T_Fin_6 Source #

d_join_362 :: Integer -> Integer -> T__'8846'__30 -> T_Fin_6 Source #

d_lift_366 :: Integer -> Integer -> Integer -> (T_Fin_6 -> T_Fin_6) -> T_Fin_6 -> T_Fin_6 Source #

d_lower'8321'_368 :: Integer -> T_Fin_6 -> (T__'8801'__12 -> T_'8869'_4) -> T_Fin_6 Source #

d_opposite_370 :: Integer -> T_Fin_6 -> T_Fin_6 Source #

d_pinch_372 :: Integer -> T_Fin_6 -> T_Fin_6 -> T_Fin_6 Source #

d_pred_374 :: Integer -> T_Fin_6 -> T_Fin_6 Source #

d_punchIn_376 :: Integer -> T_Fin_6 -> T_Fin_6 -> T_Fin_6 Source #

d_punchOut_378 :: Integer -> T_Fin_6 -> T_Fin_6 -> (T__'8801'__12 -> T_'8869'_4) -> T_Fin_6 Source #

d_quotRem_380 :: Integer -> Integer -> T_Fin_6 -> T_Σ_14 Source #

d_quotient_382 :: Integer -> Integer -> T_Fin_6 -> T_Fin_6 Source #

d_raise_384 :: Integer -> Integer -> T_Fin_6 -> T_Fin_6 Source #

d_reduce'8805'_386 :: Integer -> Integer -> T_Fin_6 -> T__'8804'__18 -> T_Fin_6 Source #

d_remQuot_388 :: Integer -> Integer -> T_Fin_6 -> T_Σ_14 Source #

d_remainder_390 :: Integer -> Integer -> T_Fin_6 -> T_Fin_6 Source #

d_splitAt_392 :: Integer -> Integer -> T_Fin_6 -> T__'8846'__30 Source #

d_strengthen_394 :: Integer -> T_Fin_6 -> T_Fin_6 Source #

du_strengthen_394 :: T_Fin_6 -> T_Fin_6 Source #

d_toℕ_400 :: Integer -> T_Fin_6 -> Integer Source #

d_'8712''45''8838'_448 :: T_Level_14 -> () -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Sublist_26 -> T_Any_34 Source #

du_'8712''45''8838'_448 :: [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Sublist_26 -> T_Any_34 Source #

d_'8712''45''8838''45'trans_472 :: T_Level_14 -> () -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Sublist_26 -> T_Sublist_26 -> T__'8801'__12 Source #

d_'8838''45'refl'45'trans_522 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> T_Sublist_26 -> T__'8801'__12 Source #

d_'8838''45'trans'45'refl_548 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> T_Sublist_26 -> T__'8801'__12 Source #

d_'8838''45'trans'45''8759''691''45'refl_564 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> AgdaAny -> T_Sublist_26 -> T__'8801'__12 Source #

d_'8712''45''8838''45'refl_584 :: T_Level_14 -> () -> AgdaAny -> [AgdaAny] -> T_Any_34 -> T__'8801'__12 Source #

d__'43''43''737'__598 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Sublist_26 -> T_Sublist_26 Source #

du__'43''43''737'__598 :: [AgdaAny] -> T_Sublist_26 -> T_Sublist_26 Source #

d__'43''43''691'__610 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Sublist_26 -> T_Sublist_26 Source #

du__'43''43''691'__610 :: [AgdaAny] -> T_Sublist_26 -> T_Sublist_26 Source #

d__'43''43''691''8242'__622 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> T_Sublist_26 -> [AgdaAny] -> T_Sublist_26 Source #

du__'43''43''691''8242'__622 :: [AgdaAny] -> [AgdaAny] -> T_Sublist_26 -> [AgdaAny] -> T_Sublist_26 Source #

d_'8838''691'_642 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> T_Sublist_26 Source #

du_'8838''691'_642 :: [AgdaAny] -> [AgdaAny] -> T_Sublist_26 Source #

d_'8838''45''43''43''691'_658 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Sublist_26 -> T_Sublist_26 -> [AgdaAny] -> T__'8801'__12 Source #

d_'8838''45''43''43''691''8242'_700 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> T_Sublist_26 -> [AgdaAny] -> T__'8801'__12 Source #

d_'8838''45''43''43''691''45''43''43''737'_718 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Sublist_26 -> T_Sublist_26 -> [AgdaAny] -> T__'8801'__12 Source #

d_'8712''45''8838''45''43''43'_740 :: T_Level_14 -> () -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T_Sublist_26 -> T__'8801'__12 Source #

d_'43''43''737''45'assoc_764 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Sublist_26 -> T__'8801'__12 Source #

d_'43''43''8314''691''45'assoc_810 :: T_Level_14 -> () -> AgdaAny -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Any_34 -> T__'8801'__12 Source #

d_find_842 :: T_Level_14 -> () -> [AgdaAny] -> Integer -> Maybe AgdaAny Source #

du_find_842 :: [AgdaAny] -> Integer -> Maybe AgdaAny Source #

d__'8758'_'8712'__856 :: p1 -> p2 -> p3 -> p4 -> p5 -> () Source #

data T__'8758'_'8712'__856 Source #

d_find'8658''8712'_874 :: T_Level_14 -> () -> [AgdaAny] -> AgdaAny -> Integer -> T__'8801'__12 -> T__'8758'_'8712'__856 Source #

du_find'8658''8712'_874 :: [AgdaAny] -> Integer -> T__'8758'_'8712'__856 Source #

d_length'45''8712'_892 :: T_Level_14 -> () -> [AgdaAny] -> AgdaAny -> [AgdaAny] -> T__'8758'_'8712'__856 Source #

du_length'45''8712'_892 :: [AgdaAny] -> T__'8758'_'8712'__856 Source #

d_split'45''8712'_906 :: T_Level_14 -> () -> [AgdaAny] -> Integer -> AgdaAny -> T__'8758'_'8712'__856 -> T_Σ_14 Source #

du_split'45''8712'_906 :: [AgdaAny] -> T__'8758'_'8712'__856 -> T_Σ_14 Source #

d_'8712''45''43''43''691'_930 :: T_Level_14 -> () -> [AgdaAny] -> [AgdaAny] -> Integer -> AgdaAny -> T__'8758'_'8712'__856 -> T__'8758'_'8712'__856 Source #

du_'8712''45''43''43''691'_930 :: [AgdaAny] -> T__'8758'_'8712'__856 -> T__'8758'_'8712'__856 Source #

d_subst'8323'_962 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny -> ()) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 -> AgdaAny -> AgdaAny Source #

du_subst'8323'_962 :: AgdaAny -> AgdaAny Source #

d_cong'8323'_996 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 Source #

d_'8804''45'diff_1004 :: Integer -> Integer -> T__'8804'__18 -> Integer Source #

du_'8804''45'diff_1004 :: Integer -> T__'8804'__18 -> Integer Source #

d_'8804''45'diff'45''43'_1016 :: Integer -> Integer -> T__'8804'__18 -> T__'8801'__12 Source #

d_ap_1036 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T__'8801'__12 -> AgdaAny -> T__'8801'__12 Source #

d_wfRec_1064 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> T_Acc_42) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_wfRec_1064 :: (AgdaAny -> ()) -> (AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_wfRec_1070 :: (Integer -> ()) -> (Integer -> (Integer -> T__'8804'__18 -> AgdaAny) -> AgdaAny) -> Integer -> AgdaAny Source #