| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.List.Membership.Setoid.Properties
Documentation
d__'8779'__62 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → [AgdaAny] → [AgdaAny] → () Source #
d__'8712'__118 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d__'8713'__120 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d_'8712''45'resp'45''8776'_140 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → [AgdaAny] → AgdaAny → AgdaAny → AgdaAny → T_Any_34 → T_Any_34 Source #
du_'8712''45'resp'45''8776'_140 ∷ T_Setoid_44 → [AgdaAny] → AgdaAny → AgdaAny → AgdaAny → T_Any_34 → T_Any_34 Source #
d_'8713''45'resp'45''8776'_150 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → [AgdaAny] → AgdaAny → AgdaAny → AgdaAny → (T_Any_34 → T_'8869'_4) → T_Any_34 → T_'8869'_4 Source #
d_'8712''45'resp'45''8779'_162 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → [AgdaAny] → T_Pointwise_48 → T_Any_34 → T_Any_34 Source #
du_'8712''45'resp'45''8779'_162 ∷ T_Setoid_44 → AgdaAny → [AgdaAny] → [AgdaAny] → T_Pointwise_48 → T_Any_34 → T_Any_34 Source #
d_'8713''45'resp'45''8779'_168 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → [AgdaAny] → T_Pointwise_48 → (T_Any_34 → T_'8869'_4) → T_Any_34 → T_'8869'_4 Source #
d__'8777'__190 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → AgdaAny → () Source #
d_AllPairs_212 ∷ p → p → p → p → () Source #
d__'8712'__228 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d_'8713''215''8712''8658''8777'_254 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → AgdaAny → [AgdaAny] → T_All_44 → T_Any_34 → AgdaAny → T_'8869'_4 Source #
d_unique'8658'irrelevant_266 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → T__'8801'__12) → [AgdaAny] → T_AllPairs_20 → AgdaAny → T_Any_34 → T_Any_34 → T__'8801'__12 Source #
d__'8776'__316 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → AgdaAny → AgdaAny → () Source #
d__'8779'__360 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → [AgdaAny] → [AgdaAny] → () Source #
d__'8779'__370 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → [AgdaAny] → [AgdaAny] → () Source #
d__'8712'__374 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d_mapWith'8712'_384 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → [AgdaAny] Source #
du_mapWith'8712'_384 ∷ T_Setoid_44 → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → [AgdaAny] Source #
d_mapWith'8712''45'cong_412 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → [AgdaAny] → [AgdaAny] → T_Pointwise_48 → (AgdaAny → T_Any_34 → AgdaAny) → (AgdaAny → T_Any_34 → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → T_Any_34 → T_Any_34 → AgdaAny) → T_Pointwise_48 Source #
du_mapWith'8712''45'cong_412 ∷ T_Setoid_44 → [AgdaAny] → [AgdaAny] → T_Pointwise_48 → (AgdaAny → AgdaAny → AgdaAny → T_Any_34 → T_Any_34 → AgdaAny) → T_Pointwise_48 Source #
d_mapWith'8712''8791'map_444 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → (AgdaAny → AgdaAny) → [AgdaAny] → T_Pointwise_48 Source #
du_mapWith'8712''8791'map_444 ∷ T_Setoid_44 → (AgdaAny → AgdaAny) → [AgdaAny] → T_Pointwise_48 Source #
d__'8712'__488 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d_mapWith'8712'_498 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → [AgdaAny] Source #
du_mapWith'8712'_498 ∷ T_Setoid_44 → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → [AgdaAny] Source #
d_length'45'mapWith'8712'_516 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T__'8801'__12 Source #
d__'8776'__540 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → AgdaAny → AgdaAny → () Source #
d__'8712'__584 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d__'8759''61'__598 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Level_18 → () → T_Level_18 → [AgdaAny] → (AgdaAny → ()) → T_Any_34 → AgdaAny → [AgdaAny] Source #
du__'8759''61'__598 ∷ T_Level_18 → () → T_Level_18 → [AgdaAny] → (AgdaAny → ()) → T_Any_34 → AgdaAny → [AgdaAny] Source #
d__'8712'__604 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d__'8759''61'__618 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Level_18 → () → T_Level_18 → [AgdaAny] → (AgdaAny → ()) → T_Any_34 → AgdaAny → [AgdaAny] Source #
du__'8759''61'__618 ∷ T_Level_18 → () → T_Level_18 → [AgdaAny] → (AgdaAny → ()) → T_Any_34 → AgdaAny → [AgdaAny] Source #
d_'8712''45'map'8314'_628 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → T_Any_34 → T_Any_34 Source #
du_'8712''45'map'8314'_628 ∷ (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_'8712''45'map'8315'_642 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → AgdaAny → [AgdaAny] → (AgdaAny → AgdaAny) → T_Any_34 → T_Σ_14 Source #
d_map'45''8759''61'_658 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → AgdaAny → AgdaAny → T_Any_34 → T__'8801'__12 Source #
d__'8712'__682 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d__'8779'__708 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → [AgdaAny] → [AgdaAny] → () Source #
d_'8712''45''43''43''8314''737'_722 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_'8712''45''43''43''8314''691'_730 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_'8712''45''43''43''8315'_738 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → [AgdaAny] → T_Any_34 → T__'8846'__30 Source #
d_'8712''45'insert_748 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → [AgdaAny] → [AgdaAny] → AgdaAny → AgdaAny → AgdaAny → T_Any_34 Source #
d_'8712''45''8707''43''43'_762 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → T_Any_34 → T_Σ_14 Source #
d__'8712'__800 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d__'8712'__808 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → [AgdaAny] → [[AgdaAny]] → () Source #
d_'8712''45'concat'8314'_818 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [[AgdaAny]] → T_Any_34 → T_Any_34 Source #
d_'8712''45'concat'8315'_826 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [[AgdaAny]] → T_Any_34 → T_Any_34 Source #
d_'8712''45'concat'8314''8242'_834 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → [[AgdaAny]] → T_Any_34 → T_Any_34 → T_Any_34 Source #
du_'8712''45'concat'8314''8242'_834 ∷ T_Setoid_44 → AgdaAny → [AgdaAny] → [[AgdaAny]] → T_Any_34 → T_Any_34 → T_Any_34 Source #
d_'8712''45'concat'8315''8242'_844 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [[AgdaAny]] → T_Any_34 → T_Σ_14 Source #
d__'8776'__888 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → AgdaAny → AgdaAny → () Source #
d__'8776'__910 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → AgdaAny → AgdaAny → () Source #
d__'8712'__954 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d__'8712'__974 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d__'8712'__994 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d_'8712''45'cartesianProductWith'8314'_1022 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → AgdaAny → AgdaAny → T_Any_34 → T_Any_34 → T_Any_34 Source #
du_'8712''45'cartesianProductWith'8314'_1022 ∷ (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → AgdaAny → AgdaAny → T_Any_34 → T_Any_34 → T_Any_34 Source #
d_'8712''45'cartesianProductWith'8315'_1038 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → AgdaAny → T_Any_34 → T_Σ_14 Source #
du_'8712''45'cartesianProductWith'8315'_1038 ∷ T_Setoid_44 → T_Setoid_44 → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Σ_14 Source #
d_Carrier_1148 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → () Source #
d__'8712'__1188 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d__'8712'__1208 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d__'8712'__1228 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Σ_14 → [T_Σ_14] → () Source #
d_'8712''45'cartesianProduct'8314'_1254 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → AgdaAny → AgdaAny → [AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 → T_Any_34 Source #
du_'8712''45'cartesianProduct'8314'_1254 ∷ [AgdaAny] → [AgdaAny] → T_Any_34 → T_Any_34 → T_Any_34 Source #
d_'8712''45'cartesianProduct'8315'_1266 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → [AgdaAny] → [AgdaAny] → T_Σ_14 → T_Any_34 → T_Σ_14 Source #
d__'8712'__1290 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d_'8712''45'applyUpTo'8314'_1298 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → (Integer → AgdaAny) → Integer → Integer → T__'8804'__18 → T_Any_34 Source #
du_'8712''45'applyUpTo'8314'_1298 ∷ T_Setoid_44 → (Integer → AgdaAny) → Integer → T__'8804'__18 → T_Any_34 Source #
d_'8712''45'applyUpTo'8315'_1310 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → (Integer → AgdaAny) → Integer → T_Any_34 → T_Σ_14 Source #
d_'8712''45'applyDownFrom'8314'_1318 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → (Integer → AgdaAny) → Integer → Integer → T__'8804'__18 → T_Any_34 Source #
du_'8712''45'applyDownFrom'8314'_1318 ∷ T_Setoid_44 → (Integer → AgdaAny) → Integer → Integer → T__'8804'__18 → T_Any_34 Source #
d_'8712''45'applyDownFrom'8315'_1330 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → (Integer → AgdaAny) → Integer → T_Any_34 → T_Σ_14 Source #
d__'8712'__1352 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d_'8712''45'tabulate'8314'_1360 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → Integer → (T_Fin_6 → AgdaAny) → T_Fin_6 → T_Any_34 Source #
d_'8712''45'tabulate'8315'_1372 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → Integer → (T_Fin_6 → AgdaAny) → AgdaAny → T_Any_34 → T_Σ_14 Source #
d__'8712'__1400 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → ()) → (AgdaAny → T_Dec_32) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → () Source #
d_'8712''45'filter'8314'_1406 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → ()) → (AgdaAny → T_Dec_32) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → T_Any_34 → AgdaAny → T_Any_34 Source #
d_'8712''45'filter'8315'_1458 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → ()) → (AgdaAny → T_Dec_32) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → T_Any_34 → T_Σ_14 Source #
du_'8712''45'filter'8315'_1458 ∷ T_Setoid_44 → (AgdaAny → T_Dec_32) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → T_Any_34 → T_Σ_14 Source #
d__'8776'__1526 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_32) → AgdaAny → AgdaAny → () Source #
d__'8712'__1530 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_32) → AgdaAny → [AgdaAny] → () Source #
d_'8712''45'derun'8314'_1536 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_32) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → AgdaAny → T_Any_34 → T_Any_34 Source #
du_'8712''45'derun'8314'_1536 ∷ (AgdaAny → AgdaAny → T_Dec_32) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → AgdaAny → T_Any_34 → T_Any_34 Source #
d_'8712''45'deduplicate'8314'_1546 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_32) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → AgdaAny → T_Any_34 → T_Any_34 Source #
du_'8712''45'deduplicate'8314'_1546 ∷ (AgdaAny → AgdaAny → T_Dec_32) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → AgdaAny → T_Any_34 → T_Any_34 Source #
d_'8712''45'derun'8315'_1556 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_32) → [AgdaAny] → AgdaAny → T_Any_34 → T_Any_34 Source #
du_'8712''45'derun'8315'_1556 ∷ (AgdaAny → AgdaAny → T_Dec_32) → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d_'8712''45'deduplicate'8315'_1566 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → T_Dec_32) → [AgdaAny] → AgdaAny → T_Any_34 → T_Any_34 Source #
du_'8712''45'deduplicate'8315'_1566 ∷ (AgdaAny → AgdaAny → T_Dec_32) → [AgdaAny] → T_Any_34 → T_Any_34 Source #
d__'8712'__1584 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d_'8712''45'length_1590 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → T_Any_34 → T__'8804'__18 Source #
d__'8712'__1612 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d_'8712''45'lookup_1618 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → [AgdaAny] → T_Fin_6 → T_Any_34 Source #
du_'8712''45'lookup_1618 ∷ T_Setoid_44 → [AgdaAny] → T_Fin_6 → T_Any_34 Source #
d__'8776'__1644 ∷ T_Setoid_44 → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → () Source #
d__'8712'__1654 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → () Source #
d_foldr'45'selective_1660 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → T__'8846'__30) → AgdaAny → [AgdaAny] → T__'8846'__30 Source #
du_foldr'45'selective_1660 ∷ T_Setoid_44 → (AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → T__'8846'__30) → AgdaAny → [AgdaAny] → T__'8846'__30 Source #
d__'8712'__1760 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → AgdaAny → [AgdaAny] → () Source #
d__'8759''61'__1774 ∷ T_Setoid_44 → T_Level_18 → () → T_Level_18 → [AgdaAny] → (AgdaAny → ()) → T_Any_34 → AgdaAny → [AgdaAny] Source #
du__'8759''61'__1774 ∷ T_Level_18 → () → T_Level_18 → [AgdaAny] → (AgdaAny → ()) → T_Any_34 → AgdaAny → [AgdaAny] Source #
d_'8712''45''8759''61''8314''45'updated_1786 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → [AgdaAny] → AgdaAny → AgdaAny → T_Any_34 → T_Any_34 Source #
du_'8712''45''8759''61''8314''45'updated_1786 ∷ T_Setoid_44 → [AgdaAny] → AgdaAny → T_Any_34 → T_Any_34 Source #
d_'8712''45''8759''61''8314''45'untouched_1802 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → [AgdaAny] → AgdaAny → AgdaAny → AgdaAny → T_Any_34 → (AgdaAny → T_'8869'_4) → T_Any_34 → T_Any_34 Source #
du_'8712''45''8759''61''8314''45'untouched_1802 ∷ [AgdaAny] → T_Any_34 → T_Any_34 → T_Any_34 Source #
d_'8712''45''8759''61''8315'_1838 ∷ T_Level_18 → T_Level_18 → T_Setoid_44 → [AgdaAny] → AgdaAny → AgdaAny → AgdaAny → T_Any_34 → (AgdaAny → T_'8869'_4) → T_Any_34 → T_Any_34 Source #
d_Pointwise_31085 ∷ p → p → p → p → p → p → p → p → p → p → p → p → p → p → () Source #
d_Pointwise_63683 ∷ p → p → p → p → p → p → p → p → p → p → p → () Source #