Documentation

d_List'8314'_22 :: p -> p -> () #

data T_List'8314'_22 #

d_head_30 :: T_List'8314'_22 -> AgdaAny #

d_tail_32 :: T_List'8314'_22 -> [AgdaAny] #

d_uncons_36 :: T_Level_18 -> () -> T_List'8314'_22 -> T_Σ_14 #

du_uncons_36 :: T_List'8314'_22 -> T_Σ_14 #

d_'91'_'93'_42 :: T_Level_18 -> () -> AgdaAny -> T_List'8314'_22 #

du_'91'_'93'_42 :: AgdaAny -> T_List'8314'_22 #

d__'8759''8314'__46 :: T_Level_18 -> () -> AgdaAny -> T_List'8314'_22 -> T_List'8314'_22 #

du__'8759''8314'__46 :: AgdaAny -> T_List'8314'_22 -> T_List'8314'_22 #

d_length_54 :: T_Level_18 -> () -> T_List'8314'_22 -> Integer #

du_length_54 :: T_List'8314'_22 -> Integer #

d_toList_60 :: T_Level_18 -> () -> T_List'8314'_22 -> [AgdaAny] #

du_toList_60 :: T_List'8314'_22 -> [AgdaAny] #

d_fromList_66 :: T_Level_18 -> () -> [AgdaAny] -> Maybe T_List'8314'_22 #

du_fromList_66 :: [AgdaAny] -> Maybe T_List'8314'_22 #

d_fromVec_74 :: T_Level_18 -> () -> Integer -> T_Vec_28 -> T_List'8314'_22 #

du_fromVec_74 :: T_Vec_28 -> T_List'8314'_22 #

d_toVec_82 :: T_Level_18 -> () -> T_List'8314'_22 -> T_Vec_28 #

du_toVec_82 :: T_List'8314'_22 -> T_Vec_28 #

d_lift_92 :: T_Level_18 -> () -> T_Level_18 -> () -> (Integer -> T_Vec_28 -> T_Σ_14) -> T_List'8314'_22 -> T_List'8314'_22 #

du_lift_92 :: (Integer -> T_Vec_28 -> T_Σ_14) -> T_List'8314'_22 -> T_List'8314'_22 #

d_map_98 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> T_List'8314'_22 #

du_map_98 :: (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> T_List'8314'_22 #

d_replicate_108 :: T_Level_18 -> () -> Integer -> (T__'8801'__12 -> T_Irrelevant_20) -> AgdaAny -> T_List'8314'_22 #

du_replicate_108 :: Integer -> AgdaAny -> T_List'8314'_22 #

d_drop'43'_116 :: T_Level_18 -> () -> Integer -> T_List'8314'_22 -> T_List'8314'_22 #

du_drop'43'_116 :: Integer -> T_List'8314'_22 -> T_List'8314'_22 #

d_foldr_132 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny #

du_foldr_132 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny #

d_foldr'8242'_150 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny -> [AgdaAny] -> AgdaAny #

du_foldr'8242'_150 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny #

d_foldr'8321'_160 :: T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny #

du_foldr'8321'_160 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny #

d_foldl_164 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny #

du_foldl_164 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny #

d_foldl'8321'_174 :: T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny #

du_foldl'8321'_174 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny #

d__'8314''43''43''8314'__178 :: T_Level_18 -> () -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22 #

du__'8314''43''43''8314'__178 :: T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22 #

d__'8314''43''43'__188 :: T_Level_18 -> () -> T_List'8314'_22 -> [AgdaAny] -> T_List'8314'_22 #

du__'8314''43''43'__188 :: T_List'8314'_22 -> [AgdaAny] -> T_List'8314'_22 #

d__'43''43''8314'__196 :: T_Level_18 -> () -> [AgdaAny] -> T_List'8314'_22 -> T_List'8314'_22 #

du__'43''43''8314'__196 :: [AgdaAny] -> T_List'8314'_22 -> T_List'8314'_22 #

d_concat_202 :: T_Level_18 -> () -> T_List'8314'_22 -> T_List'8314'_22 #

du_concat_202 :: T_List'8314'_22 -> T_List'8314'_22 #

d_concatMap_208 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_List'8314'_22) -> T_List'8314'_22 -> T_List'8314'_22 #

du_concatMap_208 :: (AgdaAny -> T_List'8314'_22) -> T_List'8314'_22 -> T_List'8314'_22 #

d_ap_212 :: T_Level_18 -> () -> T_Level_18 -> () -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22 #

du_ap_212 :: T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22 #

d_inits_220 :: T_Level_18 -> () -> [AgdaAny] -> T_List'8314'_22 #

du_inits_220 :: [AgdaAny] -> T_List'8314'_22 #

d_tails_224 :: T_Level_18 -> () -> [AgdaAny] -> T_List'8314'_22 #

du_tails_224 :: [AgdaAny] -> T_List'8314'_22 #

d_reverse_228 :: T_Level_18 -> () -> T_List'8314'_22 -> T_List'8314'_22 #

du_reverse_228 :: T_List'8314'_22 -> T_List'8314'_22 #

d_alignWith_230 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (T_These_38 -> AgdaAny) -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22 #

du_alignWith_230 :: (T_These_38 -> AgdaAny) -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22 #

d_zipWith_242 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22 #

du_zipWith_242 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22 #

d_unalignWith_254 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_These_38) -> T_List'8314'_22 -> T_These_38 #

du_unalignWith_254 :: (AgdaAny -> T_These_38) -> T_List'8314'_22 -> T_These_38 #

d_mcons_266 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_These_38) -> T_Level_18 -> () -> T_These_38 -> T_List'8314'_22 #

du_mcons_266 :: T_These_38 -> T_List'8314'_22 #

d_unzipWith_268 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> T_Σ_14) -> T_List'8314'_22 -> T_Σ_14 #

du_unzipWith_268 :: (AgdaAny -> T_Σ_14) -> T_List'8314'_22 -> T_Σ_14 #

d_align_276 :: T_Level_18 -> () -> T_Level_18 -> () -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22 #

du_align_276 :: T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22 #

d_zip_278 :: T_Level_18 -> () -> T_Level_18 -> () -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22 #

du_zip_278 :: T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22 #

d_unalign_280 :: T_Level_18 -> () -> T_Level_18 -> () -> T_List'8314'_22 -> T_These_38 #

du_unalign_280 :: T_List'8314'_22 -> T_These_38 #

d_unzip_282 :: T_Level_18 -> () -> T_Level_18 -> () -> T_List'8314'_22 -> T_Σ_14 #

du_unzip_282 :: T_List'8314'_22 -> T_Σ_14 #

d__'8759''691'__284 :: T_Level_18 -> () -> [AgdaAny] -> AgdaAny -> T_List'8314'_22 #

du__'8759''691'__284 :: [AgdaAny] -> AgdaAny -> T_List'8314'_22 #

d__'8314''8759''691'__294 :: T_Level_18 -> () -> T_List'8314'_22 -> AgdaAny -> T_List'8314'_22 #

du__'8314''8759''691'__294 :: T_List'8314'_22 -> AgdaAny -> T_List'8314'_22 #

d_SnocView_304 :: p -> p -> p -> () #

data T_SnocView_304 #

d_snocView_316 :: T_Level_18 -> () -> T_List'8314'_22 -> T_SnocView_304 #

du_snocView_316 :: T_List'8314'_22 -> T_SnocView_304 #

d_last'8242'_336 :: T_Level_18 -> () -> T_List'8314'_22 -> T_SnocView_304 -> AgdaAny #

du_last'8242'_336 :: T_SnocView_304 -> AgdaAny #

d_last_340 :: T_Level_18 -> () -> T_List'8314'_22 -> AgdaAny #

du_last_340 :: T_List'8314'_22 -> AgdaAny #

d_groupSeqs'7495'_342 :: T_Level_18 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> [T__'8846'__30] #

du_groupSeqs'7495'_342 :: (AgdaAny -> Bool) -> [AgdaAny] -> [T__'8846'__30] #

d_wordsBy'7495'_392 :: T_Level_18 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> [T_List'8314'_22] #

du_wordsBy'7495'_392 :: (AgdaAny -> Bool) -> [AgdaAny] -> [T_List'8314'_22] #

d_groupSeqs_398 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [T__'8846'__30] #

du_groupSeqs_398 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [T__'8846'__30] #

d_wordsBy_404 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [T_List'8314'_22] #

du_wordsBy_404 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [T_List'8314'_22] #

d_ungroupSeqs_408 :: T_Level_18 -> () -> [T__'8846'__30] -> [AgdaAny] #

du_ungroupSeqs_408 :: [T__'8846'__30] -> [AgdaAny] #