Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d_List'8314'_22 ∷ p → p → () Source #
d_tail_32 ∷ T_List'8314'_22 → [AgdaAny] Source #
d_uncons_36 ∷ T_Level_18 → () → T_List'8314'_22 → T_Σ_14 Source #
d_'91'_'93'_42 ∷ T_Level_18 → () → AgdaAny → T_List'8314'_22 Source #
d__'8759''8314'__46 ∷ T_Level_18 → () → AgdaAny → T_List'8314'_22 → T_List'8314'_22 Source #
d_length_54 ∷ T_Level_18 → () → T_List'8314'_22 → Integer Source #
d_toList_60 ∷ T_Level_18 → () → T_List'8314'_22 → [AgdaAny] Source #
d_fromList_66 ∷ T_Level_18 → () → [AgdaAny] → Maybe T_List'8314'_22 Source #
d_fromVec_74 ∷ T_Level_18 → () → Integer → T_Vec_28 → T_List'8314'_22 Source #
d_toVec_82 ∷ T_Level_18 → () → 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 #
d_drop'43'_116 ∷ T_Level_18 → () → 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 #
d__'8314''43''43'__188 ∷ T_Level_18 → () → 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 #
d_concat_202 ∷ T_Level_18 → () → 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 #
d_ap_212 ∷ T_Level_18 → () → T_Level_18 → () → 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 #
d_tails_224 ∷ T_Level_18 → () → [AgdaAny] → T_List'8314'_22 Source #
d_reverse_228 ∷ T_Level_18 → () → 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 #
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 #
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 #
d_zip_278 ∷ T_Level_18 → () → T_Level_18 → () → 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 #
d_unzip_282 ∷ T_Level_18 → () → T_Level_18 → () → T_List'8314'_22 → T_Σ_14 Source #
d__'8759''691'__284 ∷ T_Level_18 → () → [AgdaAny] → AgdaAny → T_List'8314'_22 Source #
d_SnocView_304 ∷ p → p → p → () Source #
d_snocView_316 ∷ T_Level_18 → () → T_List'8314'_22 → T_SnocView_304 Source #
d_last'8242'_336 ∷ T_Level_18 → () → T_List'8314'_22 → T_SnocView_304 → AgdaAny Source #
d_last_340 ∷ T_Level_18 → () → 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 #