Documentation

d_map_22 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] Source #

du_map_22 ∷ (AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] Source #

d__'43''43'__32 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

du__'43''43'__32 ∷ [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

d_intersperse_42 ∷ T_Level_18 → () → AgdaAny → [AgdaAny] → [AgdaAny] Source #

du_intersperse_42 ∷ AgdaAny → [AgdaAny] → [AgdaAny] Source #

d_intercalate_56 ∷ T_Level_18 → () → [AgdaAny] → [[AgdaAny]] → [AgdaAny] Source #

du_intercalate_56 ∷ [AgdaAny] → [[AgdaAny]] → [AgdaAny] Source #

d_cartesianProductWith_70 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

du_cartesianProductWith_70 ∷ (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

d_cartesianProduct_82 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → [AgdaAny] → [T_Σ_14] Source #

du_cartesianProduct_82 ∷ [AgdaAny] → [AgdaAny] → [T_Σ_14] Source #

d_alignWith_84 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (T_These_38 → AgdaAny) → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

du_alignWith_84 ∷ (T_These_38 → AgdaAny) → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

d_zipWith_104 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

du_zipWith_104 ∷ (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

d_unalignWith_118 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_These_38) → [AgdaAny] → T_Σ_14 Source #

du_unalignWith_118 ∷ (AgdaAny → T_These_38) → [AgdaAny] → T_Σ_14 Source #

d_unzipWith_166 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_Σ_14) → [AgdaAny] → T_Σ_14 Source #

du_unzipWith_166 ∷ (AgdaAny → T_Σ_14) → [AgdaAny] → T_Σ_14 Source #

d_partitionSumsWith_176 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T__'8846'__30) → [AgdaAny] → T_Σ_14 Source #

du_partitionSumsWith_176 ∷ (AgdaAny → T__'8846'__30) → [AgdaAny] → T_Σ_14 Source #

d_align_180 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → [AgdaAny] → [T_These_38] Source #

du_align_180 ∷ [AgdaAny] → [AgdaAny] → [T_These_38] Source #

d_zip_182 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny] → [AgdaAny] → [T_Σ_14] Source #

du_zip_182 ∷ [AgdaAny] → [AgdaAny] → [T_Σ_14] Source #

d_unalign_184 ∷ T_Level_18 → () → T_Level_18 → () → [T_These_38] → T_Σ_14 Source #

du_unalign_184 ∷ [T_These_38] → T_Σ_14 Source #

d_unzip_186 ∷ T_Level_18 → () → T_Level_18 → () → [T_Σ_14] → T_Σ_14 Source #

du_unzip_186 ∷ [T_Σ_14] → T_Σ_14 Source #

d_partitionSums_188 ∷ T_Level_18 → () → T_Level_18 → () → [T__'8846'__30] → T_Σ_14 Source #

du_partitionSums_188 ∷ [T__'8846'__30] → T_Σ_14 Source #

d_merge_192 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

du_merge_192 ∷ (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

d_foldr_216 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → AgdaAny Source #

du_foldr_216 ∷ (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → AgdaAny Source #

d_foldl_230 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → AgdaAny Source #

du_foldl_230 ∷ (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → AgdaAny Source #

d_concat_244 ∷ T_Level_18 → () → [[AgdaAny]] → [AgdaAny] Source #

du_concat_244 ∷ [[AgdaAny]] → [AgdaAny] Source #

d_concatMap_246 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → [AgdaAny]) → [AgdaAny] → [AgdaAny] Source #

du_concatMap_246 ∷ (AgdaAny → [AgdaAny]) → [AgdaAny] → [AgdaAny] Source #

d_ap_250 ∷ T_Level_18 → () → T_Level_18 → () → [AgdaAny → AgdaAny] → [AgdaAny] → [AgdaAny] Source #

du_ap_250 ∷ [AgdaAny → AgdaAny] → [AgdaAny] → [AgdaAny] Source #

d_catMaybes_256 ∷ T_Level_18 → () → [Maybe AgdaAny] → [AgdaAny] Source #

du_catMaybes_256 ∷ [Maybe AgdaAny] → [AgdaAny] Source #

d_mapMaybe_258 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → Maybe AgdaAny) → [AgdaAny] → [AgdaAny] Source #

du_mapMaybe_258 ∷ (AgdaAny → Maybe AgdaAny) → [AgdaAny] → [AgdaAny] Source #

d_null_262 ∷ T_Level_18 → () → [AgdaAny] → Bool Source #

du_null_262 ∷ [AgdaAny] → Bool Source #

d_and_268 ∷ [Bool] → Bool Source #

d_or_270 ∷ [Bool] → Bool Source #

d_any_272 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → Bool Source #

du_any_272 ∷ (AgdaAny → Bool) → [AgdaAny] → Bool Source #

d_all_276 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → Bool Source #

du_all_276 ∷ (AgdaAny → Bool) → [AgdaAny] → Bool Source #

d_sum_280 ∷ [Integer] → Integer Source #

d_product_282 ∷ [Integer] → Integer Source #

d_length_284 ∷ T_Level_18 → () → [AgdaAny] → Integer Source #

du_length_284 ∷ [AgdaAny] → Integer Source #

d_'91'_'93'_286 ∷ T_Level_18 → () → AgdaAny → [AgdaAny] Source #

du_'91'_'93'_286 ∷ AgdaAny → [AgdaAny] Source #

d_fromMaybe_290 ∷ T_Level_18 → () → Maybe AgdaAny → [AgdaAny] Source #

du_fromMaybe_290 ∷ Maybe AgdaAny → [AgdaAny] Source #

d_replicate_294 ∷ T_Level_18 → () → Integer → AgdaAny → [AgdaAny] Source #

du_replicate_294 ∷ Integer → AgdaAny → [AgdaAny] Source #

d_iterate_302 ∷ T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → Integer → [AgdaAny] Source #

du_iterate_302 ∷ (AgdaAny → AgdaAny) → AgdaAny → Integer → [AgdaAny] Source #

d_inits_314 ∷ T_Level_18 → () → [AgdaAny] → [[AgdaAny]] Source #

du_inits_314 ∷ [AgdaAny] → [[AgdaAny]] Source #

d_tail_320 ∷ T_Level_18 → () → [AgdaAny] → [[AgdaAny]] Source #

du_tail_320 ∷ [AgdaAny] → [[AgdaAny]] Source #

d_tails_330 ∷ T_Level_18 → () → [AgdaAny] → [[AgdaAny]] Source #

du_tails_330 ∷ [AgdaAny] → [[AgdaAny]] Source #

d_tail_336 ∷ T_Level_18 → () → [AgdaAny] → [[AgdaAny]] Source #

du_tail_336 ∷ [AgdaAny] → [[AgdaAny]] Source #

d_insertAt_344 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → AgdaAny → [AgdaAny] Source #

du_insertAt_344 ∷ [AgdaAny] → T_Fin_10 → AgdaAny → [AgdaAny] Source #

d_updateAt_360 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → (AgdaAny → AgdaAny) → [AgdaAny] Source #

du_updateAt_360 ∷ [AgdaAny] → T_Fin_10 → (AgdaAny → AgdaAny) → [AgdaAny] Source #

d_applyUpTo_376 ∷ T_Level_18 → () → (Integer → AgdaAny) → Integer → [AgdaAny] Source #

du_applyUpTo_376 ∷ (Integer → AgdaAny) → Integer → [AgdaAny] Source #

d_applyDownFrom_384 ∷ T_Level_18 → () → (Integer → AgdaAny) → Integer → [AgdaAny] Source #

du_applyDownFrom_384 ∷ (Integer → AgdaAny) → Integer → [AgdaAny] Source #

d_tabulate_396 ∷ T_Level_18 → () → Integer → (T_Fin_10 → AgdaAny) → [AgdaAny] Source #

du_tabulate_396 ∷ Integer → (T_Fin_10 → AgdaAny) → [AgdaAny] Source #

d_lookup_406 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → AgdaAny Source #

du_lookup_406 ∷ [AgdaAny] → T_Fin_10 → AgdaAny Source #

d_upTo_418 ∷ Integer → [Integer] Source #

d_downFrom_420 ∷ Integer → [Integer] Source #

d_allFin_424 ∷ Integer → [T_Fin_10] Source #

d_unfold_436 ∷ T_Level_18 → T_Level_18 → () → (Integer → ()) → (Integer → AgdaAny → Maybe T_Σ_14) → Integer → AgdaAny → [AgdaAny] Source #

du_unfold_436 ∷ (Integer → AgdaAny → Maybe T_Σ_14) → Integer → AgdaAny → [AgdaAny] Source #

d_reverseAcc_458 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

du_reverseAcc_458 ∷ [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

d_reverse_460 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] Source #

du_reverse_460 ∷ [AgdaAny] → [AgdaAny] Source #

d__'691''43''43'__462 ∷ T_Level_18 → () → [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

du__'691''43''43'__462 ∷ [AgdaAny] → [AgdaAny] → [AgdaAny] Source #

d__'8759''691'__464 ∷ T_Level_18 → () → [AgdaAny] → AgdaAny → [AgdaAny] Source #

du__'8759''691'__464 ∷ [AgdaAny] → AgdaAny → [AgdaAny] Source #

d_InitLast_474 ∷ p → p → p → () Source #

data T_InitLast_474 Source #

d_initLast_488 ∷ T_Level_18 → () → [AgdaAny] → T_InitLast_474 Source #

du_initLast_488 ∷ [AgdaAny] → T_InitLast_474 Source #

d_unsnoc_510 ∷ T_Level_18 → () → [AgdaAny] → Maybe T_Σ_14 Source #

du_unsnoc_510 ∷ [AgdaAny] → Maybe T_Σ_14 Source #

d_uncons_526 ∷ T_Level_18 → () → [AgdaAny] → Maybe T_Σ_14 Source #

du_uncons_526 ∷ [AgdaAny] → Maybe T_Σ_14 Source #

d_head_532 ∷ T_Level_18 → () → [AgdaAny] → Maybe AgdaAny Source #

du_head_532 ∷ [AgdaAny] → Maybe AgdaAny Source #

d_tail_536 ∷ T_Level_18 → () → [AgdaAny] → Maybe [AgdaAny] Source #

du_tail_536 ∷ [AgdaAny] → Maybe [AgdaAny] Source #

d_last_540 ∷ T_Level_18 → () → [AgdaAny] → Maybe AgdaAny Source #

du_last_540 ∷ [AgdaAny] → Maybe AgdaAny Source #

d_take_546 ∷ T_Level_18 → () → Integer → [AgdaAny] → [AgdaAny] Source #

du_take_546 ∷ Integer → [AgdaAny] → [AgdaAny] Source #

d_drop_558 ∷ T_Level_18 → () → Integer → [AgdaAny] → [AgdaAny] Source #

du_drop_558 ∷ Integer → [AgdaAny] → [AgdaAny] Source #

d_splitAt_570 ∷ T_Level_18 → () → Integer → [AgdaAny] → T_Σ_14 Source #

du_splitAt_570 ∷ Integer → [AgdaAny] → T_Σ_14 Source #

d_removeAt_586 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → [AgdaAny] Source #

du_removeAt_586 ∷ [AgdaAny] → T_Fin_10 → [AgdaAny] Source #

d_takeWhile_600 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] Source #

du_takeWhile_600 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] Source #

d_takeWhile'7495'_626 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → [AgdaAny] Source #

du_takeWhile'7495'_626 ∷ (AgdaAny → Bool) → [AgdaAny] → [AgdaAny] Source #

d_dropWhile_632 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] Source #

du_dropWhile_632 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] Source #

d_dropWhile'7495'_658 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → [AgdaAny] Source #

du_dropWhile'7495'_658 ∷ (AgdaAny → Bool) → [AgdaAny] → [AgdaAny] Source #

d_filter_664 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] Source #

du_filter_664 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] Source #

d_filter'7495'_690 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → [AgdaAny] Source #

du_filter'7495'_690 ∷ (AgdaAny → Bool) → [AgdaAny] → [AgdaAny] Source #

d_partition_696 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T_Σ_14 Source #

du_partition_696 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → T_Σ_14 Source #

d_partition'7495'_730 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → T_Σ_14 Source #

du_partition'7495'_730 ∷ (AgdaAny → Bool) → [AgdaAny] → T_Σ_14 Source #

d_span_736 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T_Σ_14 Source #

du_span_736 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → T_Σ_14 Source #

d_span'7495'_770 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → T_Σ_14 Source #

du_span'7495'_770 ∷ (AgdaAny → Bool) → [AgdaAny] → T_Σ_14 Source #

d_break_776 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → T_Σ_14 Source #

du_break_776 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → T_Σ_14 Source #

d_break'7495'_780 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → T_Σ_14 Source #

du_break'7495'_780 ∷ (AgdaAny → Bool) → [AgdaAny] → T_Σ_14 Source #

d_linesBy_786 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → [[AgdaAny]] Source #

du_linesBy_786 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → [[AgdaAny]] Source #

d_go_796 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → Maybe [AgdaAny] → [AgdaAny] → [[AgdaAny]] Source #

du_go_796 ∷ (AgdaAny → T_Dec_20) → Maybe [AgdaAny] → [AgdaAny] → [[AgdaAny]] Source #

d_acc'8242'_810 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → Maybe [AgdaAny] → AgdaAny → [AgdaAny] → [AgdaAny] Source #

du_acc'8242'_810 ∷ Maybe [AgdaAny] → [AgdaAny] Source #

d_linesBy'7495'_812 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → [[AgdaAny]] Source #

du_linesBy'7495'_812 ∷ (AgdaAny → Bool) → [AgdaAny] → [[AgdaAny]] Source #

d_wordsBy_818 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → [[AgdaAny]] Source #

du_wordsBy_818 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → [[AgdaAny]] Source #

d_cons_828 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → [[AgdaAny]] → [[AgdaAny]] Source #

du_cons_828 ∷ [AgdaAny] → [[AgdaAny]] → [[AgdaAny]] Source #

d_go_836 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] → [[AgdaAny]] Source #

du_go_836 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] → [[AgdaAny]] Source #

d_wordsBy'7495'_846 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → [[AgdaAny]] Source #

du_wordsBy'7495'_846 ∷ (AgdaAny → Bool) → [AgdaAny] → [[AgdaAny]] Source #

d_derun_852 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] Source #

du_derun_852 ∷ (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] Source #

d_derun'7495'_892 ∷ T_Level_18 → () → (AgdaAny → AgdaAny → Bool) → [AgdaAny] → [AgdaAny] Source #

du_derun'7495'_892 ∷ (AgdaAny → AgdaAny → Bool) → [AgdaAny] → [AgdaAny] Source #

d_deduplicate_898 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] Source #

du_deduplicate_898 ∷ (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → [AgdaAny] Source #

d_deduplicate'7495'_908 ∷ T_Level_18 → () → (AgdaAny → AgdaAny → Bool) → [AgdaAny] → [AgdaAny] Source #

du_deduplicate'7495'_908 ∷ (AgdaAny → AgdaAny → Bool) → [AgdaAny] → [AgdaAny] Source #

d_find_914 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → Maybe AgdaAny Source #

du_find_914 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → Maybe AgdaAny Source #

d_find'7495'_924 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → Maybe AgdaAny Source #

du_find'7495'_924 ∷ (AgdaAny → Bool) → [AgdaAny] → Maybe AgdaAny Source #

d_findIndex_932 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → Maybe T_Fin_10 Source #

du_findIndex_932 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → Maybe T_Fin_10 Source #

d_findIndex'7495'_944 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → Maybe T_Fin_10 Source #

du_findIndex'7495'_944 ∷ (AgdaAny → Bool) → [AgdaAny] → Maybe T_Fin_10 Source #

d_findIndices_952 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → [T_Fin_10] Source #

du_findIndices_952 ∷ T_Level_18 → T_Level_18 → (AgdaAny → T_Dec_20) → [AgdaAny] → [T_Fin_10] Source #

d_indices_966 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → AgdaAny → [AgdaAny] → [T_Fin_10] Source #

du_indices_966 ∷ T_Level_18 → T_Level_18 → (AgdaAny → T_Dec_20) → [AgdaAny] → [T_Fin_10] Source #

d_findIndices'7495'_970 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → [T_Fin_10] Source #

du_findIndices'7495'_970 ∷ T_Level_18 → (AgdaAny → Bool) → [AgdaAny] → [T_Fin_10] Source #

d__'91'_'93''37''61'__976 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → (AgdaAny → AgdaAny) → [AgdaAny] Source #

du__'91'_'93''37''61'__976 ∷ [AgdaAny] → T_Fin_10 → (AgdaAny → AgdaAny) → [AgdaAny] Source #

d__'91'_'93''8759''61'__986 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → AgdaAny → [AgdaAny] Source #

du__'91'_'93''8759''61'__986 ∷ [AgdaAny] → T_Fin_10 → AgdaAny → [AgdaAny] Source #

d__'63''8759'__994 ∷ T_Level_18 → () → Maybe AgdaAny → [AgdaAny] → [AgdaAny] Source #

du__'63''8759'__994 ∷ Maybe AgdaAny → [AgdaAny] → [AgdaAny] Source #

d__'8759''691''63'__996 ∷ T_Level_18 → () → [AgdaAny] → Maybe AgdaAny → [AgdaAny] Source #

du__'8759''691''63'__996 ∷ [AgdaAny] → Maybe AgdaAny → [AgdaAny] Source #

d_'43''43''45'rawMagma_1012 ∷ T_Level_18 → () → T_RawMagma_36 Source #

du_'43''43''45'rawMagma_1012 ∷ T_RawMagma_36 Source #

d_'43''43''45''91''93''45'rawMonoid_1014 ∷ T_Level_18 → () → T_RawMonoid_64 Source #

du_'43''43''45''91''93''45'rawMonoid_1014 ∷ T_RawMonoid_64 Source #

d__'8759''691'''__1020 ∷ T_Level_18 → () → [AgdaAny] → AgdaAny → T_InitLast_474 Source #

du__'8759''691'''__1020 ∷ [AgdaAny] → AgdaAny → T_InitLast_474 Source #

d__'9472'__1022 ∷ T_Level_18 → () → [AgdaAny] → T_Fin_10 → [AgdaAny] Source #

d_scanr_1024 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → [AgdaAny] Source #

du_scanr_1024 ∷ (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → [AgdaAny] Source #

d_scanl_1062 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → [AgdaAny] Source #

du_scanl_1062 ∷ (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → [AgdaAny] Source #