| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.List.Extrema.Core
Documentation
d__'60'__104 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → () Source #
d__'8851'__124 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny Source #
d_'60''45'trans'691'_138 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 Source #
du_'60''45'trans'691'_138 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 Source #
d_'60''45'trans'737'_140 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
du_'60''45'trans'737'_140 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
d_lemma'8321'_156 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_lemma'8321'_156 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_lemma'8322'_168 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_lemma'8322'_168 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_lemma'8323'_180 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
du_lemma'8323'_180 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
d_lemma'8324'_192 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
du_lemma'8324'_192 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
d_'8851''7480'_198 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''7480'_198 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
d_'8852''7480'_200 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
du_'8852''7480'_200 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''7480''45'sel_204 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__'8846'__30 Source #
du_'8851''7480''45'sel_204 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__'8846'__30 Source #
d_'8851''7480''45'pres'7506''45''8804'v_216 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → AgdaAny Source #
du_'8851''7480''45'pres'7506''45''8804'v_216 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → AgdaAny Source #
d_'8851''7480''45'pres'7506''45''60'v_228 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → T_Σ_14 Source #
du_'8851''7480''45'pres'7506''45''60'v_228 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → T_Σ_14 Source #
d_'8851''7480''45'pres'7495''45'v'8804'_240 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''7480''45'pres'7495''45'v'8804'_240 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''7480''45'pres'7495''45'v'60'_256 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
du_'8851''7480''45'pres'7495''45'v'60'_256 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
d_'8851''7480''45'forces'7495''45'v'8804'_272 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 Source #
du_'8851''7480''45'forces'7495''45'v'8804'_272 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 Source #
d_'8852''7480''45'sel_288 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__'8846'__30 Source #
du_'8852''7480''45'sel_288 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__'8846'__30 Source #
d_'8852''7480''45'pres'7506''45'v'8804'_300 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → AgdaAny Source #
du_'8852''7480''45'pres'7506''45'v'8804'_300 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → AgdaAny Source #
d_'8852''7480''45'pres'7506''45'v'60'_322 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → T_Σ_14 Source #
du_'8852''7480''45'pres'7506''45'v'60'_322 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → T_Σ_14 Source #
d_'8852''7480''45'pres'7495''45''8804'v_344 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8852''7480''45'pres'7495''45''8804'v_344 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8852''7480''45'pres'7495''45''60'v_360 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
du_'8852''7480''45'pres'7495''45''60'v_360 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
d_'8852''7480''45'forces'7495''45''8804'v_376 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 Source #