Documentation

d_map_22 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] #

du_map_22 :: (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] #

d__'43''43'__32 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

du__'43''43'__32 :: [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

d_intersperse_42 :: T_Level_18 -> () -> AgdaAny -> [AgdaAny] -> [AgdaAny] #

du_intersperse_42 :: AgdaAny -> [AgdaAny] -> [AgdaAny] #

d_intercalate_56 :: T_Level_18 -> () -> [AgdaAny] -> [[AgdaAny]] -> [AgdaAny] #

du_intercalate_56 :: [AgdaAny] -> [[AgdaAny]] -> [AgdaAny] #

d_cartesianProductWith_70 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

du_cartesianProductWith_70 :: (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

d_cartesianProduct_82 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> [T_Σ_14] #

du_cartesianProduct_82 :: [AgdaAny] -> [AgdaAny] -> [T_Σ_14] #

d_alignWith_84 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (T_These_38 -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

du_alignWith_84 :: (T_These_38 -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

d_zipWith_104 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

du_zipWith_104 :: (AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

d_unalignWith_118 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_These_38) -> [AgdaAny] -> T_Σ_14 #

du_unalignWith_118 :: (AgdaAny -> T_These_38) -> [AgdaAny] -> T_Σ_14 #

d_unzipWith_166 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_Σ_14 #

du_unzipWith_166 :: (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_Σ_14 #

d_partitionSumsWith_176 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T__'8846'__30) -> [AgdaAny] -> T_Σ_14 #

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

d_align_180 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> [T_These_38] #

du_align_180 :: [AgdaAny] -> [AgdaAny] -> [T_These_38] #

d_zip_182 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> [T_Σ_14] #

du_zip_182 :: [AgdaAny] -> [AgdaAny] -> [T_Σ_14] #

d_unalign_184 :: T_Level_18 -> () -> T_Level_18 -> () -> [T_These_38] -> T_Σ_14 #

du_unalign_184 :: [T_These_38] -> T_Σ_14 #

d_unzip_186 :: T_Level_18 -> () -> T_Level_18 -> () -> [T_Σ_14] -> T_Σ_14 #

du_unzip_186 :: [T_Σ_14] -> T_Σ_14 #

d_partitionSums_188 :: T_Level_18 -> () -> T_Level_18 -> () -> [T__'8846'__30] -> T_Σ_14 #

du_partitionSums_188 :: [T__'8846'__30] -> T_Σ_14 #

d_merge_192 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

du_merge_192 :: (AgdaAny -> AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

d_foldr_216 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny #

du_foldr_216 :: (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny #

d_foldl_230 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny #

du_foldl_230 :: (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny #

d_concat_244 :: T_Level_18 -> () -> [[AgdaAny]] -> [AgdaAny] #

du_concat_244 :: [[AgdaAny]] -> [AgdaAny] #

d_concatMap_246 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny] #

du_concatMap_246 :: (AgdaAny -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny] #

d_ap_250 :: T_Level_18 -> () -> T_Level_18 -> () -> [AgdaAny -> AgdaAny] -> [AgdaAny] -> [AgdaAny] #

du_ap_250 :: [AgdaAny -> AgdaAny] -> [AgdaAny] -> [AgdaAny] #

d_catMaybes_256 :: T_Level_18 -> () -> [Maybe AgdaAny] -> [AgdaAny] #

du_catMaybes_256 :: [Maybe AgdaAny] -> [AgdaAny] #

d_mapMaybe_258 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny] #

du_mapMaybe_258 :: (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny] #

d_null_262 :: T_Level_18 -> () -> [AgdaAny] -> Bool #

du_null_262 :: [AgdaAny] -> Bool #

d_and_268 :: [Bool] -> Bool #

d_or_270 :: [Bool] -> Bool #

d_any_272 :: T_Level_18 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> Bool #

du_any_272 :: (AgdaAny -> Bool) -> [AgdaAny] -> Bool #

d_all_276 :: T_Level_18 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> Bool #

du_all_276 :: (AgdaAny -> Bool) -> [AgdaAny] -> Bool #

d_sum_280 :: [Integer] -> Integer #

d_product_282 :: [Integer] -> Integer #

d_length_284 :: T_Level_18 -> () -> [AgdaAny] -> Integer #

du_length_284 :: [AgdaAny] -> Integer #

d_'91'_'93'_286 :: T_Level_18 -> () -> AgdaAny -> [AgdaAny] #

du_'91'_'93'_286 :: AgdaAny -> [AgdaAny] #

d_fromMaybe_290 :: T_Level_18 -> () -> Maybe AgdaAny -> [AgdaAny] #

du_fromMaybe_290 :: Maybe AgdaAny -> [AgdaAny] #

d_replicate_294 :: T_Level_18 -> () -> Integer -> AgdaAny -> [AgdaAny] #

du_replicate_294 :: Integer -> AgdaAny -> [AgdaAny] #

d_iterate_302 :: T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> Integer -> [AgdaAny] #

du_iterate_302 :: (AgdaAny -> AgdaAny) -> AgdaAny -> Integer -> [AgdaAny] #

d_inits_314 :: T_Level_18 -> () -> [AgdaAny] -> [[AgdaAny]] #

du_inits_314 :: [AgdaAny] -> [[AgdaAny]] #

d_tail_320 :: T_Level_18 -> () -> [AgdaAny] -> [[AgdaAny]] #

du_tail_320 :: [AgdaAny] -> [[AgdaAny]] #

d_tails_330 :: T_Level_18 -> () -> [AgdaAny] -> [[AgdaAny]] #

du_tails_330 :: [AgdaAny] -> [[AgdaAny]] #

d_tail_336 :: T_Level_18 -> () -> [AgdaAny] -> [[AgdaAny]] #

du_tail_336 :: [AgdaAny] -> [[AgdaAny]] #

d_insertAt_344 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> AgdaAny -> [AgdaAny] #

du_insertAt_344 :: [AgdaAny] -> T_Fin_10 -> AgdaAny -> [AgdaAny] #

d_updateAt_360 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> (AgdaAny -> AgdaAny) -> [AgdaAny] #

du_updateAt_360 :: [AgdaAny] -> T_Fin_10 -> (AgdaAny -> AgdaAny) -> [AgdaAny] #

d_applyUpTo_376 :: T_Level_18 -> () -> (Integer -> AgdaAny) -> Integer -> [AgdaAny] #

du_applyUpTo_376 :: (Integer -> AgdaAny) -> Integer -> [AgdaAny] #

d_applyDownFrom_384 :: T_Level_18 -> () -> (Integer -> AgdaAny) -> Integer -> [AgdaAny] #

du_applyDownFrom_384 :: (Integer -> AgdaAny) -> Integer -> [AgdaAny] #

d_tabulate_396 :: T_Level_18 -> () -> Integer -> (T_Fin_10 -> AgdaAny) -> [AgdaAny] #

du_tabulate_396 :: Integer -> (T_Fin_10 -> AgdaAny) -> [AgdaAny] #

d_lookup_406 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> AgdaAny #

du_lookup_406 :: [AgdaAny] -> T_Fin_10 -> AgdaAny #

d_upTo_418 :: Integer -> [Integer] #

d_downFrom_420 :: Integer -> [Integer] #

d_allFin_424 :: Integer -> [T_Fin_10] #

d_unfold_436 :: T_Level_18 -> T_Level_18 -> () -> (Integer -> ()) -> (Integer -> AgdaAny -> Maybe T_Σ_14) -> Integer -> AgdaAny -> [AgdaAny] #

du_unfold_436 :: (Integer -> AgdaAny -> Maybe T_Σ_14) -> Integer -> AgdaAny -> [AgdaAny] #

d_reverseAcc_458 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

du_reverseAcc_458 :: [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

d_reverse_460 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] #

du_reverse_460 :: [AgdaAny] -> [AgdaAny] #

d__'691''43''43'__462 :: T_Level_18 -> () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

du__'691''43''43'__462 :: [AgdaAny] -> [AgdaAny] -> [AgdaAny] #

d__'8759''691'__464 :: T_Level_18 -> () -> [AgdaAny] -> AgdaAny -> [AgdaAny] #

du__'8759''691'__464 :: [AgdaAny] -> AgdaAny -> [AgdaAny] #

d_InitLast_474 :: p -> p -> p -> () #

data T_InitLast_474 #

d_initLast_488 :: T_Level_18 -> () -> [AgdaAny] -> T_InitLast_474 #

du_initLast_488 :: [AgdaAny] -> T_InitLast_474 #

d_unsnoc_510 :: T_Level_18 -> () -> [AgdaAny] -> Maybe T_Σ_14 #

du_unsnoc_510 :: [AgdaAny] -> Maybe T_Σ_14 #

d_uncons_526 :: T_Level_18 -> () -> [AgdaAny] -> Maybe T_Σ_14 #

du_uncons_526 :: [AgdaAny] -> Maybe T_Σ_14 #

d_head_532 :: T_Level_18 -> () -> [AgdaAny] -> Maybe AgdaAny #

du_head_532 :: [AgdaAny] -> Maybe AgdaAny #

d_tail_536 :: T_Level_18 -> () -> [AgdaAny] -> Maybe [AgdaAny] #

du_tail_536 :: [AgdaAny] -> Maybe [AgdaAny] #

d_last_540 :: T_Level_18 -> () -> [AgdaAny] -> Maybe AgdaAny #

du_last_540 :: [AgdaAny] -> Maybe AgdaAny #

d_take_546 :: T_Level_18 -> () -> Integer -> [AgdaAny] -> [AgdaAny] #

du_take_546 :: Integer -> [AgdaAny] -> [AgdaAny] #

d_drop_558 :: T_Level_18 -> () -> Integer -> [AgdaAny] -> [AgdaAny] #

du_drop_558 :: Integer -> [AgdaAny] -> [AgdaAny] #

d_splitAt_570 :: T_Level_18 -> () -> Integer -> [AgdaAny] -> T_Σ_14 #

du_splitAt_570 :: Integer -> [AgdaAny] -> T_Σ_14 #

d_removeAt_586 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> [AgdaAny] #

du_removeAt_586 :: [AgdaAny] -> T_Fin_10 -> [AgdaAny] #

d_takeWhile_600 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] #

du_takeWhile_600 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] #

d_takeWhile'7495'_626 :: T_Level_18 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny] #

du_takeWhile'7495'_626 :: (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny] #

d_dropWhile_632 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] #

du_dropWhile_632 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] #

d_dropWhile'7495'_658 :: T_Level_18 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny] #

du_dropWhile'7495'_658 :: (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny] #

d_filter_664 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] #

du_filter_664 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] #

d_filter'7495'_690 :: T_Level_18 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny] #

du_filter'7495'_690 :: (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny] #

d_partition_696 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Σ_14 #

du_partition_696 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Σ_14 #

d_partition'7495'_730 :: T_Level_18 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14 #

du_partition'7495'_730 :: (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14 #

d_span_736 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Σ_14 #

du_span_736 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Σ_14 #

d_span'7495'_770 :: T_Level_18 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14 #

du_span'7495'_770 :: (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14 #

d_break_776 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Σ_14 #

du_break_776 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> T_Σ_14 #

d_break'7495'_780 :: T_Level_18 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14 #

du_break'7495'_780 :: (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14 #

d_linesBy_786 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [[AgdaAny]] #

du_linesBy_786 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [[AgdaAny]] #

d_go_796 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> Maybe [AgdaAny] -> [AgdaAny] -> [[AgdaAny]] #

du_go_796 :: (AgdaAny -> T_Dec_20) -> Maybe [AgdaAny] -> [AgdaAny] -> [[AgdaAny]] #

d_acc'8242'_810 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> Maybe [AgdaAny] -> AgdaAny -> [AgdaAny] -> [AgdaAny] #

du_acc'8242'_810 :: Maybe [AgdaAny] -> [AgdaAny] #

d_linesBy'7495'_812 :: T_Level_18 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> [[AgdaAny]] #

du_linesBy'7495'_812 :: (AgdaAny -> Bool) -> [AgdaAny] -> [[AgdaAny]] #

d_wordsBy_818 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [[AgdaAny]] #

du_wordsBy_818 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [[AgdaAny]] #

d_cons_828 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [[AgdaAny]] -> [[AgdaAny]] #

du_cons_828 :: [AgdaAny] -> [[AgdaAny]] -> [[AgdaAny]] #

d_go_836 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] -> [[AgdaAny]] #

du_go_836 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] -> [[AgdaAny]] #

d_wordsBy'7495'_846 :: T_Level_18 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> [[AgdaAny]] #

du_wordsBy'7495'_846 :: (AgdaAny -> Bool) -> [AgdaAny] -> [[AgdaAny]] #

d_derun_852 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] #

du_derun_852 :: (AgdaAny -> AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] #

d_derun'7495'_892 :: T_Level_18 -> () -> (AgdaAny -> AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny] #

du_derun'7495'_892 :: (AgdaAny -> AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny] #

d_deduplicate_898 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] #

du_deduplicate_898 :: (AgdaAny -> AgdaAny -> T_Dec_20) -> [AgdaAny] -> [AgdaAny] #

d_deduplicate'7495'_908 :: T_Level_18 -> () -> (AgdaAny -> AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny] #

du_deduplicate'7495'_908 :: (AgdaAny -> AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny] #

d_find_914 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> Maybe AgdaAny #

du_find_914 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> Maybe AgdaAny #

d_find'7495'_924 :: T_Level_18 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> Maybe AgdaAny #

du_find'7495'_924 :: (AgdaAny -> Bool) -> [AgdaAny] -> Maybe AgdaAny #

d_findIndex_932 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> Maybe T_Fin_10 #

du_findIndex_932 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> Maybe T_Fin_10 #

d_findIndex'7495'_944 :: T_Level_18 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> Maybe T_Fin_10 #

du_findIndex'7495'_944 :: (AgdaAny -> Bool) -> [AgdaAny] -> Maybe T_Fin_10 #

d_findIndices_952 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [T_Fin_10] #

du_findIndices_952 :: T_Level_18 -> T_Level_18 -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [T_Fin_10] #

d_indices_966 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> AgdaAny -> [AgdaAny] -> [T_Fin_10] #

du_indices_966 :: T_Level_18 -> T_Level_18 -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [T_Fin_10] #

d_findIndices'7495'_970 :: T_Level_18 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> [T_Fin_10] #

du_findIndices'7495'_970 :: T_Level_18 -> (AgdaAny -> Bool) -> [AgdaAny] -> [T_Fin_10] #

d__'91'_'93''37''61'__976 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> (AgdaAny -> AgdaAny) -> [AgdaAny] #

du__'91'_'93''37''61'__976 :: [AgdaAny] -> T_Fin_10 -> (AgdaAny -> AgdaAny) -> [AgdaAny] #

d__'91'_'93''8759''61'__986 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> AgdaAny -> [AgdaAny] #

du__'91'_'93''8759''61'__986 :: [AgdaAny] -> T_Fin_10 -> AgdaAny -> [AgdaAny] #

d__'63''8759'__994 :: T_Level_18 -> () -> Maybe AgdaAny -> [AgdaAny] -> [AgdaAny] #

du__'63''8759'__994 :: Maybe AgdaAny -> [AgdaAny] -> [AgdaAny] #

d__'8759''691''63'__996 :: T_Level_18 -> () -> [AgdaAny] -> Maybe AgdaAny -> [AgdaAny] #

du__'8759''691''63'__996 :: [AgdaAny] -> Maybe AgdaAny -> [AgdaAny] #

d_'43''43''45'rawMagma_1012 :: T_Level_18 -> () -> T_RawMagma_36 #

du_'43''43''45'rawMagma_1012 :: T_RawMagma_36 #

d_'43''43''45''91''93''45'rawMonoid_1014 :: T_Level_18 -> () -> T_RawMonoid_64 #

du_'43''43''45''91''93''45'rawMonoid_1014 :: T_RawMonoid_64 #

d__'8759''691'''__1020 :: T_Level_18 -> () -> [AgdaAny] -> AgdaAny -> T_InitLast_474 #

du__'8759''691'''__1020 :: [AgdaAny] -> AgdaAny -> T_InitLast_474 #

d__'9472'__1022 :: T_Level_18 -> () -> [AgdaAny] -> T_Fin_10 -> [AgdaAny] #

d_scanr_1024 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] #

du_scanr_1024 :: (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] #

d_scanl_1062 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] #

du_scanl_1062 :: (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> [AgdaAny] #