Documentation

d__'62''62''61'__32 ∷ T_Level_18 → () → () → T_'8868'_6 → T_'8868'_6 → T_'8868'_6 → [AgdaAny] → (AgdaAny → [AgdaAny]) → [AgdaAny] Source #

du__'62''62''61'__32 ∷ () → () → T_'8868'_6 → T_'8868'_6 → T_'8868'_6 → [AgdaAny] → (AgdaAny → [AgdaAny]) → [AgdaAny] Source #

d__'8855'__34 ∷ T_Level_18 → () → () → T_'8868'_6 → T_'8868'_6 → T_'8868'_6 → [AgdaAny] → [AgdaAny] → [T_Σ_14] Source #

du__'8855'__34 ∷ () → () → T_'8868'_6 → T_'8868'_6 → T_'8868'_6 → [AgdaAny] → [AgdaAny] → [T_Σ_14] Source #

d__'8859'__36 ∷ T_Level_18 → () → () → T_'8868'_6 → T_'8868'_6 → T_'8868'_6 → [AgdaAny → AgdaAny] → [AgdaAny] → [AgdaAny] Source #

du__'8859'__36 ∷ () → () → T_'8868'_6 → T_'8868'_6 → T_'8868'_6 → [AgdaAny → AgdaAny] → [AgdaAny] → [AgdaAny] Source #

d_return_48 ∷ T_Level_18 → () → T_'8868'_6 → AgdaAny → [AgdaAny] Source #

du_return_48 ∷ () → T_'8868'_6 → AgdaAny → [AgdaAny] Source #

d_lift'45'resp_90 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → T_Pointwise_48 → T_Any_34 → T_Any_34 Source #

du_lift'45'resp_90 ∷ (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → T_Pointwise_48 → T_Any_34 → T_Any_34 Source #

d_here'45'injective_112 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 Source #

d_there'45'injective_118 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → AgdaAny → T_Any_34 → T_Any_34 → T__'8801'__12 → T__'8801'__12 Source #

d_'172'Any'91''93'_120 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Any_34 → T_'8869'_4 Source #

d_Any'45'cong_128 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Kind_52 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny Source #

du_Any'45'cong_128 ∷ [AgdaAny] → [AgdaAny] → T_Kind_52 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny Source #

d_map'45'id_158 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → T__'8801'__12) → T_Any_34 → T__'8801'__12 Source #

d_map'45''8728'_178 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → T_Any_34 → T__'8801'__12 Source #

d_lookup'45'result_194 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → AgdaAny Source #

du_lookup'45'result_194 ∷ [AgdaAny] → T_Any_34 → AgdaAny Source #

d_lookup'45'index_202 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → AgdaAny Source #

du_lookup'45'index_202 ∷ [AgdaAny] → T_Any_34 → AgdaAny Source #

d_swap_214 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → [AgdaAny] → [AgdaAny] → (AgdaAny → AgdaAny → ()) → T_Any_34 → T_Any_34 Source #

du_swap_214 ∷ [AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 Source #

d_swap'45'there_226 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → [AgdaAny] → [AgdaAny] → AgdaAny → (AgdaAny → AgdaAny → ()) → T_Any_34 → T__'8801'__12 Source #

d_swap'45'invol_238 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → [AgdaAny] → [AgdaAny] → (AgdaAny → AgdaAny → ()) → T_Any_34 → T__'8801'__12 Source #

d_swap'8596'_252 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → [AgdaAny] → [AgdaAny] → (AgdaAny → AgdaAny → ()) → T_Inverse_58 Source #

du_swap'8596'_252 ∷ [AgdaAny] → [AgdaAny] → T_Inverse_58 Source #

d_'8869''8596'Any'8869'_254 ∷ T_Level_18 → () → [AgdaAny] → T_Inverse_58 Source #

du_'8869''8596'Any'8869'_254 ∷ [AgdaAny] → T_Inverse_58 Source #

d_from_260 ∷ T_Level_18 → () → [AgdaAny] → T_Level_18 → () → [AgdaAny] → T_Level_18 → () → T_Any_34 → AgdaAny Source #

du_from_260 ∷ [AgdaAny] → T_Any_34 → AgdaAny Source #

d_'8869''8596'Any'91''93'_268 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Inverse_58 Source #

du_'8869''8596'Any'91''93'_268 ∷ T_Inverse_58 Source #

d_any'8314'_272 ∷ T_Level_18 → () → [AgdaAny] → (AgdaAny → Bool) → T_Any_34 → AgdaAny Source #

du_any'8314'_272 ∷ [AgdaAny] → (AgdaAny → Bool) → T_Any_34 → AgdaAny Source #

d_any'8315'_304 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → AgdaAny → T_Any_34 Source #

du_any'8315'_304 ∷ (AgdaAny → Bool) → [AgdaAny] → T_Any_34 Source #

d_any'8660'_338 ∷ T_Level_18 → () → [AgdaAny] → (AgdaAny → Bool) → T_Equivalence_16 Source #

du_any'8660'_338 ∷ [AgdaAny] → (AgdaAny → Bool) → T_Equivalence_16 Source #

d_Any'45''8846''8314'_342 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → (AgdaAny → ()) → T__'8846'__30 → T_Any_34 Source #

du_Any'45''8846''8314'_342 ∷ [AgdaAny] → T__'8846'__30 → T_Any_34 Source #

d_Any'45''8846''8315'_346 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T__'8846'__30 Source #

du_Any'45''8846''8315'_346 ∷ [AgdaAny] → T_Any_34 → T__'8846'__30 Source #

d_'8846''8596'_356 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → (AgdaAny → ()) → T_Inverse_58 Source #

du_'8846''8596'_356 ∷ [AgdaAny] → T_Inverse_58 Source #

d_from'8728'to_368 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T__'8846'__30 → T__'8801'__12 Source #

d_to'8728'from_390 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T__'8801'__12 Source #

d_Any'45''215''8314'_410 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Σ_14 → T_Any_34 Source #

du_Any'45''215''8314'_410 ∷ [AgdaAny] → [AgdaAny] → T_Σ_14 → T_Any_34 Source #

d_Any'45''215''8315'_424 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Σ_14 Source #

du_Any'45''215''8315'_424 ∷ [AgdaAny] → [AgdaAny] → T_Any_34 → T_Σ_14 Source #

d_'215''8596'_454 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_58 Source #

du_'215''8596'_454 ∷ [AgdaAny] → [AgdaAny] → T_Inverse_58 Source #

d_from'8728'to_470 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Σ_14 → T__'8801'__12 Source #

d_to'8728'from_558 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T__'8801'__12 Source #

d_helper_624 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → AgdaAny → AgdaAny → T_Any_34 → AgdaAny → AgdaAny → T_Any_34 → T_Any_34 → ((AgdaAny → T__'8801'__12 → T_Σ_14) → T__'8801'__12 → T__'8801'__12) → T_Any_34 → ((AgdaAny → T__'8801'__12 → T_Any_34) → T__'8801'__12 → T__'8801'__12) → T__'8801'__12 Source #

d_Any'45'Σ'8314''691'_654 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → [AgdaAny] → T_Σ_14 → T_Any_34 Source #

du_Any'45'Σ'8314''691'_654 ∷ [AgdaAny] → T_Σ_14 → T_Any_34 Source #

d_Any'45'Σ'8315''691'_668 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Σ_14 Source #

du_Any'45'Σ'8315''691'_668 ∷ [AgdaAny] → T_Any_34 → T_Σ_14 Source #

d_singleton'8314'_676 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → AgdaAny → T_Any_34 Source #

du_singleton'8314'_676 ∷ AgdaAny → T_Any_34 Source #

d_singleton'8315'_680 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → T_Any_34 → AgdaAny Source #

du_singleton'8315'_680 ∷ T_Any_34 → AgdaAny Source #

d_map'8314'_694 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #

du_map'8314'_694 ∷ [AgdaAny] → T_Any_34 → T_Any_34 Source #

d_map'8315'_700 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #

du_map'8315'_700 ∷ [AgdaAny] → T_Any_34 → T_Any_34 Source #

d_map'8314''8728'map'8315'_716 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T__'8801'__12 Source #

d_map'8315''8728'map'8314'_734 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Level_18 → [AgdaAny] → (AgdaAny → ()) → T_Any_34 → T__'8801'__12 Source #

d_map'8596'_744 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Inverse_58 Source #

du_map'8596'_744 ∷ [AgdaAny] → T_Inverse_58 Source #

d_gmap_746 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → T_Any_34 → T_Any_34 Source #

du_gmap_746 ∷ (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → T_Any_34 → T_Any_34 Source #

d_mapMaybe'8314'_762 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → Maybe AgdaAny) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #

du_mapMaybe'8314'_762 ∷ (AgdaAny → Maybe AgdaAny) → [AgdaAny] → T_Any_34 → T_Any_34 Source #

d_'43''43''8314''737'_808 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 Source #

du_'43''43''8314''737'_808 ∷ [AgdaAny] → T_Any_34 → T_Any_34 Source #

d_'43''43''8314''691'_818 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 Source #

du_'43''43''8314''691'_818 ∷ [AgdaAny] → T_Any_34 → T_Any_34 Source #

d_'43''43''8315'_832 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T__'8846'__30 Source #

du_'43''43''8315'_832 ∷ [AgdaAny] → T_Any_34 → T__'8846'__30 Source #

d_'43''43''8314''8728''43''43''8315'_854 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T__'8801'__12 Source #

d_'43''43''8315''8728''43''43''8314'_900 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T__'8846'__30 → T__'8801'__12 Source #

d_'43''43''8596'_936 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_58 Source #

du_'43''43''8596'_936 ∷ [AgdaAny] → T_Inverse_58 Source #

d_'43''43''45'comm_944 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 Source #

du_'43''43''45'comm_944 ∷ [AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 Source #

d_'43''43''45'comm'8728''43''43''45'comm_956 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T__'8801'__12 Source #

d_'43''43''8596''43''43'_1024 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_58 Source #

du_'43''43''8596''43''43'_1024 ∷ [AgdaAny] → [AgdaAny] → T_Inverse_58 Source #

d_'43''43''45'insert_1034 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → [AgdaAny] → AgdaAny → T_Any_34 Source #

du_'43''43''45'insert_1034 ∷ AgdaAny → [AgdaAny] → AgdaAny → T_Any_34 Source #

d_concat'8314'_1052 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [[AgdaAny]] → T_Any_34 → T_Any_34 Source #

du_concat'8314'_1052 ∷ [[AgdaAny]] → T_Any_34 → T_Any_34 Source #

d_concat'8315'_1062 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [[AgdaAny]] → T_Any_34 → T_Any_34 Source #

du_concat'8315'_1062 ∷ [[AgdaAny]] → T_Any_34 → T_Any_34 Source #

d_concat'8315''8728''43''43''8314''737'_1114 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [[AgdaAny]] → T_Any_34 → T__'8801'__12 Source #

d_concat'8315''8728''43''43''8314''691'_1134 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [[AgdaAny]] → T_Any_34 → T__'8801'__12 Source #

d_concat'8314''8728'concat'8315'_1156 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [[AgdaAny]] → T_Any_34 → T__'8801'__12 Source #

d_concat'8315''8728'concat'8314'_1206 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [[AgdaAny]] → T_Any_34 → T__'8801'__12 Source #

d_concat'8596'_1222 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [[AgdaAny]] → T_Inverse_58 Source #

du_concat'8596'_1222 ∷ [[AgdaAny]] → T_Inverse_58 Source #

d_cartesianProductWith'8314'_1242 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_Any_34 → T_Any_34 → T_Any_34 Source #

du_cartesianProductWith'8314'_1242 ∷ (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_Any_34 → T_Any_34 → T_Any_34 Source #

d_cartesianProductWith'8315'_1264 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny → T_Σ_14) → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Σ_14 Source #

du_cartesianProductWith'8315'_1264 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → T_Σ_14) → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Σ_14 Source #

d_cartesianProduct'8314'_1342 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 → T_Any_34 Source #

du_cartesianProduct'8314'_1342 ∷ [AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 → T_Any_34 Source #

d_cartesianProduct'8315'_1348 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Σ_14 Source #

du_cartesianProduct'8315'_1348 ∷ [AgdaAny] → [AgdaAny] → T_Any_34 → T_Σ_14 Source #

d_applyUpTo'8314'_1356 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (Integer → AgdaAny) → Integer → Integer → AgdaAny → T__'8804'__18 → T_Any_34 Source #

du_applyUpTo'8314'_1356 ∷ AgdaAny → T__'8804'__18 → T_Any_34 Source #

d_applyUpTo'8315'_1372 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (Integer → AgdaAny) → Integer → T_Any_34 → T_Σ_14 Source #

du_applyUpTo'8315'_1372 ∷ T_Any_34 → T_Σ_14 Source #

d_applyDownFrom'8314'_1418 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (Integer → AgdaAny) → Integer → Integer → AgdaAny → T__'8804'__18 → T_Any_34 Source #

du_applyDownFrom'8314'_1418 ∷ Integer → Integer → AgdaAny → T__'8804'__18 → T_Any_34 Source #

d_applyDownFrom'8315'_1462 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (Integer → AgdaAny) → Integer → T_Any_34 → T_Σ_14 Source #

du_applyDownFrom'8315'_1462 ∷ Integer → T_Any_34 → T_Σ_14 Source #

d_tabulate'8314'_1498 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → Integer → (T_Fin_6 → AgdaAny) → T_Fin_6 → AgdaAny → T_Any_34 Source #

du_tabulate'8314'_1498 ∷ T_Fin_6 → AgdaAny → T_Any_34 Source #

d_tabulate'8315'_1512 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → Integer → (T_Fin_6 → AgdaAny) → T_Any_34 → T_Σ_14 Source #

du_tabulate'8315'_1512 ∷ T_Any_34 → T_Σ_14 Source #

d_filter'8314'_1532 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_32) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T__'8846'__30 Source #

du_filter'8314'_1532 ∷ (AgdaAny → T_Dec_32) → [AgdaAny] → T_Any_34 → T__'8846'__30 Source #

d_filter'8315'_1568 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_32) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #

du_filter'8315'_1568 ∷ (AgdaAny → T_Dec_32) → [AgdaAny] → T_Any_34 → T_Any_34 Source #

d_derun'8314''45'aux_1620 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_32) → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → T_Any_34 Source #

du_derun'8314''45'aux_1620 ∷ (AgdaAny → AgdaAny → T_Dec_32) → AgdaAny → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → T_Any_34 Source #

d_derun'8314'_1664 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_32) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_Any_34 → T_Any_34 Source #

du_derun'8314'_1664 ∷ (AgdaAny → AgdaAny → T_Dec_32) → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_Any_34 → T_Any_34 Source #

d_deduplicate'8314'_1710 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_32) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_Any_34 → T_Any_34 Source #

du_deduplicate'8314'_1710 ∷ (AgdaAny → AgdaAny → T_Dec_32) → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_Any_34 → T_Any_34 Source #

d_derun'8315''45'aux_1768 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_32) → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → T_Any_34 → T_Any_34 Source #

du_derun'8315''45'aux_1768 ∷ (AgdaAny → AgdaAny → T_Dec_32) → AgdaAny → [AgdaAny] → T_Any_34 → T_Any_34 Source #

d_derun'8315'_1808 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_32) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #

du_derun'8315'_1808 ∷ (AgdaAny → AgdaAny → T_Dec_32) → [AgdaAny] → T_Any_34 → T_Any_34 Source #

d_deduplicate'8315'_1816 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_32) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #

du_deduplicate'8315'_1816 ∷ (AgdaAny → AgdaAny → T_Dec_32) → [AgdaAny] → T_Any_34 → T_Any_34 Source #

d_map'45'with'45''8712''8314'_1846 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T_Σ_14 → T_Any_34 Source #

du_map'45'with'45''8712''8314'_1846 ∷ [AgdaAny] → T_Σ_14 → T_Any_34 Source #

d_map'45'with'45''8712''8315'_1868 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T_Any_34 → T_Σ_14 Source #

du_map'45'with'45''8712''8315'_1868 ∷ [AgdaAny] → T_Any_34 → T_Σ_14 Source #

d_map'45'with'45''8712''8596'_1896 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T_Inverse_58 Source #

du_map'45'with'45''8712''8596'_1896 ∷ [AgdaAny] → T_Inverse_58 Source #

d_from'8728'to_1914 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T_Σ_14 → T__'8801'__12 Source #

d_to'8728'from_1938 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T_Any_34 → T__'8801'__12 Source #

d_reverseAcc'8314'_1960 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T__'8846'__30 → T_Any_34 Source #

du_reverseAcc'8314'_1960 ∷ [AgdaAny] → T__'8846'__30 → T_Any_34 Source #

d_reverseAcc'8315'_1994 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T__'8846'__30 Source #

du_reverseAcc'8315'_1994 ∷ [AgdaAny] → T_Any_34 → T__'8846'__30 Source #

d_reverse'8314'_2062 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #

du_reverse'8314'_2062 ∷ [AgdaAny] → T_Any_34 → T_Any_34 Source #

d_reverse'8315'_2066 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #

du_reverse'8315'_2066 ∷ [AgdaAny] → T_Any_34 → T_Any_34 Source #

d_return'8314'_2088 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → AgdaAny → T_Any_34 Source #

du_return'8314'_2088 ∷ AgdaAny → T_Any_34 Source #

d_return'8315'_2090 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → T_Any_34 → AgdaAny Source #

du_return'8315'_2090 ∷ T_Any_34 → AgdaAny Source #

d_return'8314''8728'return'8315'_2096 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → T_Any_34 → T__'8801'__12 Source #

d_return'8315''8728'return'8314'_2102 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → AgdaAny → T__'8801'__12 Source #

d_return'8596'_2106 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → T_Inverse_58 Source #

du_return'8596'_2106 ∷ T_Inverse_58 Source #

d_'8759''8596'_2118 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → T_Inverse_58 Source #

du_'8759''8596'_2118 ∷ AgdaAny → T_Inverse_58 Source #

d_'62''62''61''8596'_2144 ∷ T_Level_18 → T_Level_18 → () → () → (AgdaAny → ()) → (AgdaAny → [AgdaAny]) → [AgdaAny] → T_Inverse_58 Source #

du_'62''62''61''8596'_2144 ∷ (AgdaAny → [AgdaAny]) → [AgdaAny] → T_Inverse_58 Source #

d_'8859''8596'_2160 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → ()) → [AgdaAny → AgdaAny] → [AgdaAny] → T_Inverse_58 Source #

du_'8859''8596'_2160 ∷ [AgdaAny → AgdaAny] → [AgdaAny] → T_Inverse_58 Source #

d_'8859''8314''8242'_2192 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → ()) → [AgdaAny → AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 → T_Any_34 Source #

du_'8859''8314''8242'_2192 ∷ [AgdaAny → AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 → T_Any_34 Source #

d_'8855''8596'_2212 ∷ T_Level_18 → () → () → T_Level_18 → (T_Σ_14 → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_58 Source #

du_'8855''8596'_2212 ∷ [AgdaAny] → [AgdaAny] → T_Inverse_58 Source #

d_'8855''8596''8242'_2244 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_58 Source #

du_'8855''8596''8242'_2244 ∷ [AgdaAny] → [AgdaAny] → T_Inverse_58 Source #