| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.List.Extrema.Core
Documentation
d__'60'__82 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → () Source #
d__'8851'__182 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny Source #
d_'60''45'trans'691'_278 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 Source #
du_'60''45'trans'691'_278 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 Source #
d_'60''45'trans'737'_280 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
du_'60''45'trans'737'_280 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
d_lemma'8321'_296 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_lemma'8321'_296 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_lemma'8322'_308 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_lemma'8322'_308 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_lemma'8323'_320 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
du_lemma'8323'_320 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
d_lemma'8324'_332 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
du_lemma'8324'_332 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → AgdaAny → T_Σ_14 Source #
d_'8851''7480'_338 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''7480'_338 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
d_'8852''7480'_340 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
du_'8852''7480'_340 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''7480''45'sel_344 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__'8846'__30 Source #
du_'8851''7480''45'sel_344 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__'8846'__30 Source #
d_'8851''7480''45'pres'7506''45''8804'v_356 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → AgdaAny Source #
du_'8851''7480''45'pres'7506''45''8804'v_356 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → AgdaAny Source #
d_'8851''7480''45'pres'7506''45''60'v_368 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → T_Σ_14 Source #
du_'8851''7480''45'pres'7506''45''60'v_368 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → T_Σ_14 Source #
d_'8851''7480''45'pres'7495''45'v'8804'_380 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''7480''45'pres'7495''45'v'8804'_380 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''7480''45'pres'7495''45'v'60'_396 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
du_'8851''7480''45'pres'7495''45'v'60'_396 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
d_'8851''7480''45'forces'7495''45'v'8804'_412 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 Source #
du_'8851''7480''45'forces'7495''45'v'8804'_412 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 Source #
d_'8852''7480''45'sel_428 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__'8846'__30 Source #
du_'8852''7480''45'sel_428 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__'8846'__30 Source #
d_'8852''7480''45'pres'7506''45'v'8804'_440 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → AgdaAny Source #
du_'8852''7480''45'pres'7506''45'v'8804'_440 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → AgdaAny Source #
d_'8852''7480''45'pres'7506''45'v'60'_462 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → T_Σ_14 Source #
du_'8852''7480''45'pres'7506''45'v'60'_462 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8846'__30 → T_Σ_14 Source #
d_'8852''7480''45'pres'7495''45''8804'v_484 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8852''7480''45'pres'7495''45''8804'v_484 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8852''7480''45'pres'7495''45''60'v_500 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
du_'8852''7480''45'pres'7495''45''60'v_500 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T_Σ_14 → T_Σ_14 → T_Σ_14 Source #
d_'8852''7480''45'forces'7495''45''8804'v_516 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T_Σ_14 Source #