Documentation

d_List'8314'_22 ∷ p → p → () Source #

data T_List'8314'_22 Source #

d_head_30 ∷ T_List'8314'_22 → AgdaAny Source #

d_tail_32 ∷ T_List'8314'_22 → [AgdaAny] Source #

d_uncons_36 ∷ T_List'8314'_22 → T_Σ_14 Source #

d_'91'_'93'_42 ∷ T_Level_18 → () → AgdaAny → T_List'8314'_22 Source #

du_'91'_'93'_42 ∷ AgdaAny → T_List'8314'_22 Source #

d__'8759''8314'__46 ∷ T_Level_18 → () → AgdaAny → T_List'8314'_22 → T_List'8314'_22 Source #

du__'8759''8314'__46 ∷ AgdaAny → T_List'8314'_22 → T_List'8314'_22 Source #

d_length_54 ∷ T_Level_18 → () → T_List'8314'_22 → Integer Source #

du_length_54 ∷ T_List'8314'_22 → Integer Source #

d_toList_60 ∷ T_List'8314'_22 → [AgdaAny] Source #

d_fromList_66 ∷ T_Level_18 → () → [AgdaAny] → Maybe T_List'8314'_22 Source #

du_fromList_66 ∷ [AgdaAny] → Maybe T_List'8314'_22 Source #

d_fromVec_74 ∷ T_Level_18 → () → Integer → T_Vec_28 → T_List'8314'_22 Source #

du_fromVec_74 ∷ T_Vec_28 → T_List'8314'_22 Source #

d_toVec_82 ∷ T_Level_18 → () → T_List'8314'_22 → T_Vec_28 Source #

du_toVec_82 ∷ T_List'8314'_22 → T_Vec_28 Source #

d_lift_92 ∷ T_Level_18 → () → T_Level_18 → () → (Integer → T_Vec_28 → T_Σ_14) → T_List'8314'_22 → T_List'8314'_22 Source #

du_lift_92 ∷ (Integer → T_Vec_28 → T_Σ_14) → T_List'8314'_22 → T_List'8314'_22 Source #

d_map_98 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_List'8314'_22 → T_List'8314'_22 Source #

du_map_98 ∷ (AgdaAny → AgdaAny) → T_List'8314'_22 → T_List'8314'_22 Source #

d_replicate_108 ∷ T_Level_18 → () → Integer → (T__'8801'__12 → T_Irrelevant_20) → AgdaAny → T_List'8314'_22 Source #

du_replicate_108 ∷ Integer → AgdaAny → T_List'8314'_22 Source #

d_drop'43'_116 ∷ T_Level_18 → () → Integer → T_List'8314'_22 → T_List'8314'_22 Source #

du_drop'43'_116 ∷ Integer → T_List'8314'_22 → T_List'8314'_22 Source #

d_foldr_132 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T_List'8314'_22 → AgdaAny Source #

du_foldr_132 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T_List'8314'_22 → AgdaAny Source #

d_foldr'8242'_150 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → AgdaAny → [AgdaAny] → AgdaAny Source #

du_foldr'8242'_150 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → AgdaAny Source #

d_foldr'8321'_160 ∷ T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → T_List'8314'_22 → AgdaAny Source #

du_foldr'8321'_160 ∷ (AgdaAny → AgdaAny → AgdaAny) → T_List'8314'_22 → AgdaAny Source #

d_foldl_164 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T_List'8314'_22 → AgdaAny Source #

du_foldl_164 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T_List'8314'_22 → AgdaAny Source #

d_foldl'8321'_174 ∷ T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → T_List'8314'_22 → AgdaAny Source #

du_foldl'8321'_174 ∷ (AgdaAny → AgdaAny → AgdaAny) → T_List'8314'_22 → AgdaAny Source #

d__'8314''43''43''8314'__178 ∷ T_Level_18 → () → T_List'8314'_22 → T_List'8314'_22 → T_List'8314'_22 Source #

du__'8314''43''43''8314'__178 ∷ T_List'8314'_22 → T_List'8314'_22 → T_List'8314'_22 Source #

d__'8314''43''43'__188 ∷ T_Level_18 → () → T_List'8314'_22 → [AgdaAny] → T_List'8314'_22 Source #

du__'8314''43''43'__188 ∷ T_List'8314'_22 → [AgdaAny] → T_List'8314'_22 Source #

d__'43''43''8314'__196 ∷ T_Level_18 → () → [AgdaAny] → T_List'8314'_22 → T_List'8314'_22 Source #

du__'43''43''8314'__196 ∷ [AgdaAny] → T_List'8314'_22 → T_List'8314'_22 Source #

d_concat_202 ∷ T_Level_18 → () → T_List'8314'_22 → T_List'8314'_22 Source #

du_concat_202 ∷ T_List'8314'_22 → T_List'8314'_22 Source #

d_concatMap_208 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_List'8314'_22) → T_List'8314'_22 → T_List'8314'_22 Source #

du_concatMap_208 ∷ (AgdaAny → T_List'8314'_22) → T_List'8314'_22 → T_List'8314'_22 Source #

d_ap_212 ∷ T_Level_18 → () → T_Level_18 → () → T_List'8314'_22 → T_List'8314'_22 → T_List'8314'_22 Source #

du_ap_212 ∷ T_List'8314'_22 → T_List'8314'_22 → T_List'8314'_22 Source #

d_inits_220 ∷ T_Level_18 → () → [AgdaAny] → T_List'8314'_22 Source #

du_inits_220 ∷ [AgdaAny] → T_List'8314'_22 Source #

d_tails_224 ∷ T_Level_18 → () → [AgdaAny] → T_List'8314'_22 Source #

du_tails_224 ∷ [AgdaAny] → T_List'8314'_22 Source #

d_reverse_228 ∷ T_Level_18 → () → T_List'8314'_22 → T_List'8314'_22 Source #

du_reverse_228 ∷ T_List'8314'_22 → T_List'8314'_22 Source #

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 Source #

du_alignWith_230 ∷ (T_These_38 → AgdaAny) → T_List'8314'_22 → T_List'8314'_22 → T_List'8314'_22 Source #

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 Source #

du_zipWith_242 ∷ (AgdaAny → AgdaAny → AgdaAny) → T_List'8314'_22 → T_List'8314'_22 → T_List'8314'_22 Source #

d_unalignWith_254 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_These_38) → T_List'8314'_22 → T_These_38 Source #

du_unalignWith_254 ∷ (AgdaAny → T_These_38) → T_List'8314'_22 → T_These_38 Source #

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 Source #

du_mcons_266 ∷ T_These_38 → T_List'8314'_22 Source #

d_unzipWith_268 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_Σ_14) → T_List'8314'_22 → T_Σ_14 Source #

du_unzipWith_268 ∷ (AgdaAny → T_Σ_14) → T_List'8314'_22 → T_Σ_14 Source #

d_align_276 ∷ T_Level_18 → () → T_Level_18 → () → T_List'8314'_22 → T_List'8314'_22 → T_List'8314'_22 Source #

du_align_276 ∷ T_List'8314'_22 → T_List'8314'_22 → T_List'8314'_22 Source #

d_zip_278 ∷ T_Level_18 → () → T_Level_18 → () → T_List'8314'_22 → T_List'8314'_22 → T_List'8314'_22 Source #

du_zip_278 ∷ T_List'8314'_22 → T_List'8314'_22 → T_List'8314'_22 Source #

d_unalign_280 ∷ T_Level_18 → () → T_Level_18 → () → T_List'8314'_22 → T_These_38 Source #

du_unalign_280 ∷ T_List'8314'_22 → T_These_38 Source #

d_unzip_282 ∷ T_Level_18 → () → T_Level_18 → () → T_List'8314'_22 → T_Σ_14 Source #

du_unzip_282 ∷ T_List'8314'_22 → T_Σ_14 Source #

d__'8759''691'__284 ∷ T_Level_18 → () → [AgdaAny] → AgdaAny → T_List'8314'_22 Source #

du__'8759''691'__284 ∷ [AgdaAny] → AgdaAny → T_List'8314'_22 Source #

d__'8314''8759''691'__294 ∷ T_Level_18 → () → T_List'8314'_22 → AgdaAny → T_List'8314'_22 Source #

du__'8314''8759''691'__294 ∷ T_List'8314'_22 → AgdaAny → T_List'8314'_22 Source #

d_SnocView_304 ∷ p → p → p → () Source #

data T_SnocView_304 Source #

d_snocView_316 ∷ T_Level_18 → () → T_List'8314'_22 → T_SnocView_304 Source #

du_snocView_316 ∷ T_List'8314'_22 → T_SnocView_304 Source #

d_last'8242'_336 ∷ T_Level_18 → () → T_List'8314'_22 → T_SnocView_304 → AgdaAny Source #

du_last'8242'_336 ∷ T_SnocView_304 → AgdaAny Source #

d_last_340 ∷ T_Level_18 → () → T_List'8314'_22 → AgdaAny Source #

du_last_340 ∷ T_List'8314'_22 → AgdaAny Source #

d_groupSeqs'7495'_342 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → [T__'8846'__30] Source #

du_groupSeqs'7495'_342 ∷ (AgdaAny → Bool) → [AgdaAny] → [T__'8846'__30] Source #

d_wordsBy'7495'_392 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → [T_List'8314'_22] Source #

du_wordsBy'7495'_392 ∷ (AgdaAny → Bool) → [AgdaAny] → [T_List'8314'_22] Source #

d_groupSeqs_398 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → [T__'8846'__30] Source #

du_groupSeqs_398 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → [T__'8846'__30] Source #

d_wordsBy_404 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → [AgdaAny] → [T_List'8314'_22] Source #

du_wordsBy_404 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → [T_List'8314'_22] Source #

d_ungroupSeqs_408 ∷ T_Level_18 → () → [T__'8846'__30] → [AgdaAny] Source #

du_ungroupSeqs_408 ∷ [T__'8846'__30] → [AgdaAny] Source #