| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.List.Relation.Unary.Any.Properties
Documentation
d__'62''62''61'__38 ∷ T_Level_18 → () → () → [AgdaAny] → (AgdaAny → [AgdaAny]) → [AgdaAny] Source #
d__'8855'__40 ∷ T_Level_18 → () → () → [AgdaAny] → [AgdaAny] → [T_Σ_14] Source #
d__'8859'__42 ∷ T_Level_18 → () → () → [AgdaAny → AgdaAny] → [AgdaAny] → [AgdaAny] Source #
du_pure_50 ∷ () → AgdaAny → [AgdaAny] Source #
d_lift'45'resp_102 ∷ 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_102 ∷ (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → T_Pointwise_48 → T_Any_34 → T_Any_34 Source #
d_here'45'injective_124 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 Source #
d_there'45'injective_130 ∷ 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'_132 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Any_34 → T_Irrelevant_20 Source #
d_Any'45'cong_140 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Kind_6 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny Source #
du_Any'45'cong_140 ∷ [AgdaAny] → [AgdaAny] → T_Kind_6 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny Source #
d_map'45'cong_172 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → T__'8801'__12) → T_Any_34 → T__'8801'__12 Source #
d_map'45'id_198 ∷ 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'_218 ∷ 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_234 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → AgdaAny Source #
d_lookup'45'index_242 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → AgdaAny Source #
d_swap_264 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_swap'45'there_274 ∷ 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_296 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T__'8801'__12 Source #
d_swap'8596'_320 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_1960 Source #
du_swap'8596'_320 ∷ [AgdaAny] → [AgdaAny] → T_Inverse_1960 Source #
d_'8869''8596'Any'8869'_322 ∷ T_Level_18 → () → [AgdaAny] → T_Inverse_1960 Source #
d_from_328 ∷ T_Level_18 → () → [AgdaAny] → T_Level_18 → () → [AgdaAny] → T_Level_18 → () → T_Any_34 → AgdaAny Source #
d_'8869''8596'Any'91''93'_336 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Inverse_1960 Source #
d_any'8314'_340 ∷ T_Level_18 → () → [AgdaAny] → (AgdaAny → Bool) → T_Any_34 → AgdaAny Source #
d_any'8315'_372 ∷ T_Level_18 → () → (AgdaAny → Bool) → [AgdaAny] → AgdaAny → T_Any_34 Source #
d_any'8660'_406 ∷ T_Level_18 → () → [AgdaAny] → (AgdaAny → Bool) → T_Equivalence_1714 Source #
du_any'8660'_406 ∷ [AgdaAny] → (AgdaAny → Bool) → T_Equivalence_1714 Source #
d_Any'45''8846''8314'_410 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → (AgdaAny → ()) → T__'8846'__30 → T_Any_34 Source #
d_Any'45''8846''8315'_414 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T__'8846'__30 Source #
d_'8846''8596'_424 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → (AgdaAny → ()) → T_Inverse_1960 Source #
d_from'8728'to_436 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T__'8846'__30 → T__'8801'__12 Source #
d_to'8728'from_458 ∷ 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'_482 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Σ_14 → T_Any_34 Source #
d_Any'45''215''8315'_496 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Σ_14 Source #
d_'215''8596'_522 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_1960 Source #
du_'215''8596'_522 ∷ [AgdaAny] → [AgdaAny] → T_Inverse_1960 Source #
d_from'8728'to_538 ∷ 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_630 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T__'8801'__12 Source #
d_Any'45'Σ'8314''691'_690 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → [AgdaAny] → T_Σ_14 → T_Any_34 Source #
d_Any'45'Σ'8315''691'_704 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Σ_14 Source #
d_singleton'8314'_712 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → AgdaAny → T_Any_34 Source #
d_singleton'8315'_716 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → T_Any_34 → AgdaAny Source #
d_map'8314'_730 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_map'8315'_736 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_map'8314''8728'map'8315'_752 ∷ 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'_770 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Level_18 → [AgdaAny] → (AgdaAny → ()) → T_Any_34 → T__'8801'__12 Source #
d_map'8596'_780 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Inverse_1960 Source #
d_gmap_782 ∷ 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 #
d_mapMaybe'8314'_798 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → Maybe AgdaAny) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_'43''43''8314''737'_844 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_'43''43''8314''691'_854 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_'43''43''8315'_868 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T__'8846'__30 Source #
d_'43''43''8314''8728''43''43''8315'_890 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T__'8801'__12 Source #
d_'43''43''8315''8728''43''43''8314'_934 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T__'8846'__30 → T__'8801'__12 Source #
d_'43''43''8596'_970 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_1960 Source #
d_'43''43''45'comm_978 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_'43''43''45'comm'8728''43''43''45'comm_990 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T__'8801'__12 Source #
d_'43''43''8596''43''43'_1058 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_1960 Source #
d_'43''43''45'insert_1068 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → [AgdaAny] → AgdaAny → T_Any_34 Source #
d_concat'8314'_1086 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [[AgdaAny]] → T_Any_34 → T_Any_34 Source #
d_concat'8315'_1096 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [[AgdaAny]] → T_Any_34 → T_Any_34 Source #
d_concat'8315''8728''43''43''8314''737'_1148 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [[AgdaAny]] → T_Any_34 → T__'8801'__12 Source #
d_concat'8315''8728''43''43''8314''691'_1168 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [[AgdaAny]] → T_Any_34 → T__'8801'__12 Source #
d_concat'8314''8728'concat'8315'_1190 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [[AgdaAny]] → T_Any_34 → T__'8801'__12 Source #
d_concat'8315''8728'concat'8314'_1240 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [[AgdaAny]] → T_Any_34 → T__'8801'__12 Source #
d_concat'8596'_1256 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [[AgdaAny]] → T_Inverse_1960 Source #
du_concat'8596'_1256 ∷ [[AgdaAny]] → T_Inverse_1960 Source #
d_cartesianProductWith'8314'_1276 ∷ 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'_1276 ∷ (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_Any_34 → T_Any_34 → T_Any_34 Source #
d_cartesianProductWith'8315'_1298 ∷ 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'_1298 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → T_Σ_14) → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Σ_14 Source #
d_cartesianProduct'8314'_1344 ∷ 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 #
d_cartesianProduct'8315'_1350 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Σ_14 Source #
d_applyUpTo'8314'_1358 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (Integer → AgdaAny) → Integer → Integer → AgdaAny → T__'8804'__22 → T_Any_34 Source #
d_applyUpTo'8315'_1374 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (Integer → AgdaAny) → Integer → T_Any_34 → T_Σ_14 Source #
d_applyDownFrom'8314'_1400 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (Integer → AgdaAny) → Integer → Integer → AgdaAny → T__'8804'__22 → T_Any_34 Source #
d_applyDownFrom'8315'_1444 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (Integer → AgdaAny) → Integer → T_Any_34 → T_Σ_14 Source #
d_tabulate'8314'_1470 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → Integer → (T_Fin_10 → AgdaAny) → T_Fin_10 → AgdaAny → T_Any_34 Source #
d_tabulate'8315'_1484 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → Integer → (T_Fin_10 → AgdaAny) → T_Any_34 → T_Σ_14 Source #
d_filter'8314'_1500 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T__'8846'__30 Source #
du_filter'8314'_1500 ∷ (AgdaAny → T_Dec_20) → [AgdaAny] → T_Any_34 → T__'8846'__30 Source #
d_filter'8315'_1536 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_20) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_derun'8314''45'aux_1588 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → T_Any_34 Source #
du_derun'8314''45'aux_1588 ∷ (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → T_Any_34 Source #
d_derun'8314'_1632 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_Any_34 → T_Any_34 Source #
du_derun'8314'_1632 ∷ (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_Any_34 → T_Any_34 Source #
d_deduplicate'8314'_1678 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_Any_34 → T_Any_34 Source #
du_deduplicate'8314'_1678 ∷ (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_Any_34 → T_Any_34 Source #
d_derun'8315''45'aux_1722 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → T_Any_34 → T_Any_34 Source #
du_derun'8315''45'aux_1722 ∷ (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_derun'8315'_1762 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_deduplicate'8315'_1770 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_20) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #
du_deduplicate'8315'_1770 ∷ (AgdaAny → AgdaAny → T_Dec_20) → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_mapWith'8712''8314'_1800 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T_Σ_14 → T_Any_34 Source #
d_mapWith'8712''8315'_1822 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T_Any_34 → T_Σ_14 Source #
d_mapWith'8712''8596'_1850 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T_Inverse_1960 Source #
d_from'8728'to_1868 ∷ 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_1892 ∷ 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'_1914 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T__'8846'__30 → T_Any_34 Source #
d_reverseAcc'8315'_1948 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34 → T__'8846'__30 Source #
d_reverse'8314'_1996 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_reverse'8315'_2000 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_pure'8314'_2010 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → AgdaAny → T_Any_34 Source #
d_pure'8315'_2012 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → T_Any_34 → AgdaAny Source #
d_pure'8314''8728'pure'8315'_2018 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → T_Any_34 → T__'8801'__12 Source #
d_pure'8315''8728'pure'8314'_2024 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → AgdaAny → T__'8801'__12 Source #
d_pure'8596'_2028 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → T_Inverse_1960 Source #
d_'8759''8596'_2034 ∷ T_Level_18 → () → T_Level_18 → AgdaAny → [AgdaAny] → (AgdaAny → ()) → T_Inverse_1960 Source #
d_'62''62''61''8596'_2062 ∷ T_Level_18 → T_Level_18 → () → () → (AgdaAny → ()) → (AgdaAny → [AgdaAny]) → [AgdaAny] → T_Inverse_1960 Source #
du_'62''62''61''8596'_2062 ∷ (AgdaAny → [AgdaAny]) → [AgdaAny] → T_Inverse_1960 Source #
d_'8859''8596'_2078 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → ()) → [AgdaAny → AgdaAny] → [AgdaAny] → T_Inverse_1960 Source #
du_'8859''8596'_2078 ∷ [AgdaAny → AgdaAny] → [AgdaAny] → T_Inverse_1960 Source #
d_'8859''8314''8242'_2114 ∷ 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'_2114 ∷ [AgdaAny → AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 → T_Any_34 Source #
d_'8855''8596'_2134 ∷ T_Level_18 → () → () → T_Level_18 → (T_Σ_14 → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_1960 Source #
du_'8855''8596'_2134 ∷ [AgdaAny] → [AgdaAny] → T_Inverse_1960 Source #
d_'8855''8596''8242'_2168 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_1960 Source #
d_map'45'with'45''8712''8314'_2186 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T_Σ_14 → T_Any_34 Source #
d_map'45'with'45''8712''8315'_2188 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T_Any_34 → T_Σ_14 Source #
d_map'45'with'45''8712''8596'_2190 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T_Inverse_1960 Source #