| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.List.Extrema.Core
Documentation
d__'60'__96 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → AgdaAny → AgdaAny → () Source #
d__'8851'__192 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → AgdaAny → AgdaAny → AgdaAny Source #
d_'60''45'trans'691'_284 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 Source #
du_'60''45'trans'691'_284 ∷ T_TotalOrder_764 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 Source #
d_'60''45'trans'737'_286 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
du_'60''45'trans'737'_286 ∷ T_TotalOrder_764 → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
d_lemma'8321'_302 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_lemma'8321'_302 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_lemma'8322'_314 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_lemma'8322'_314 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_lemma'8323'_326 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
du_lemma'8323'_326 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
d_lemma'8324'_338 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
du_lemma'8324'_338 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
d_'8851''7480'_344 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''7480'_344 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
d_'8852''7480'_346 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
du_'8852''7480'_346 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''7480''45'sel_350 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__'8846'__30 Source #
du_'8851''7480''45'sel_350 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__'8846'__30 Source #
d_'8851''7480''45'pres'7506''45''8804'v_362 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → AgdaAny Source #
du_'8851''7480''45'pres'7506''45''8804'v_362 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → AgdaAny Source #
d_'8851''7480''45'pres'7506''45''60'v_374 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → T_Σ_14 Source #
du_'8851''7480''45'pres'7506''45''60'v_374 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → T_Σ_14 Source #
d_'8851''7480''45'pres'7495''45'v'8804'_386 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''7480''45'pres'7495''45'v'8804'_386 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''7480''45'pres'7495''45'v'60'_402 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
du_'8851''7480''45'pres'7495''45'v'60'_402 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
d_'8851''7480''45'forces'7495''45'v'8804'_418 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 Source #
du_'8851''7480''45'forces'7495''45'v'8804'_418 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 Source #
d_'8852''7480''45'sel_434 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__'8846'__30 Source #
du_'8852''7480''45'sel_434 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__'8846'__30 Source #
d_'8852''7480''45'pres'7506''45'v'8804'_446 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → AgdaAny Source #
du_'8852''7480''45'pres'7506''45'v'8804'_446 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → AgdaAny Source #
d_'8852''7480''45'pres'7506''45'v'60'_468 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → T_Σ_14 Source #
du_'8852''7480''45'pres'7506''45'v'60'_468 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → T_Σ_14 Source #
d_'8852''7480''45'pres'7495''45''8804'v_490 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8852''7480''45'pres'7495''45''8804'v_490 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8852''7480''45'pres'7495''45''60'v_506 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
du_'8852''7480''45'pres'7495''45''60'v_506 ∷ T_TotalOrder_764 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
d_'8852''7480''45'forces'7495''45''8804'v_522 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_764 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 Source #