| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Algebra.Construct.NaturalChoice.Min
Documentation
d_totalPreorder_60 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_TotalPreorder_240 Source #
d__'8851'__102 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8804'y'8658'x'8851'y'8776'x_128 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8658'x'8851'y'8776'x_128 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8804'y'8658'y'8851'x'8776'x_158 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8658'y'8851'x'8776'x_158 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_minOperator_184 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_MinOperator_106 Source #
d_mono'45''8804''45'distrib'45''8851'_188 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
du_mono'45''8804''45'distrib'45''8851'_188 ∷ T_TotalOrder_986 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8804'y'8658'x'8851'z'8804'y_190 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8658'x'8851'z'8804'y_190 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8804'y'8658'z'8851'x'8804'y_192 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8658'z'8851'x'8804'y_192 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'y_194 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8851'z'8658'x'8804'y_194 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'z_196 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8851'z'8658'x'8804'z_196 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8851'y'8776'x'8658'x'8804'y_198 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8851'y'8776'x'8658'x'8804'y_198 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8851'y'8776'y'8658'y'8804'x_200 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8851'y'8776'y'8658'y'8804'x_200 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8851'y'8804'x_202 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8851'y'8804'y_204 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'assoc_206 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'band_208 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Band_620 Source #
d_'8851''45'comm_210 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'commutativeSemigroup_212 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_CommutativeSemigroup_688 Source #
d_'8851''45'cong_214 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'cong_214 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'cong'691'_216 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'cong'691'_216 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'cong'737'_218 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'cong'737'_218 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'glb_220 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'glb_220 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'idem_222 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny Source #
d_'8851''45'identity_224 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → (AgdaAny → AgdaAny) → T_Σ_14 Source #
du_'8851''45'identity_224 ∷ T_TotalOrder_986 → AgdaAny → (AgdaAny → AgdaAny) → T_Σ_14 Source #
d_'8851''45'identity'691'_226 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
du_'8851''45'identity'691'_226 ∷ T_TotalOrder_986 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d_'8851''45'identity'737'_228 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
du_'8851''45'identity'737'_228 ∷ T_TotalOrder_986 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d_'8851''45'isBand_230 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_IsBand_526 Source #
d_'8851''45'isCommutativeSemigroup_232 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_IsCommutativeSemigroup_568 Source #
d_'8851''45'isMagma_234 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_IsMagma_178 Source #
d_'8851''45'isMonoid_236 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → (AgdaAny → AgdaAny) → T_IsMonoid_712 Source #
du_'8851''45'isMonoid_236 ∷ T_TotalOrder_986 → AgdaAny → (AgdaAny → AgdaAny) → T_IsMonoid_712 Source #
d_'8851''45'isSelectiveMagma_238 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_IsSelectiveMagma_450 Source #
d_'8851''45'isSemigroup_240 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_IsSemigroup_488 Source #
d_'8851''45'magma_242 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Magma_74 Source #
d_'8851''45'mono'45''8804'_244 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'mono'45''8804'_244 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'monoid_246 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → (AgdaAny → AgdaAny) → T_Monoid_914 Source #
d_'8851''45'mono'691''45''8804'_248 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'mono'691''45''8804'_248 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'mono'737''45''8804'_250 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'mono'737''45''8804'_250 ∷ T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'rawMagma_252 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_RawMagma_44 Source #
d_'8851''45'sel_254 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → T__'8846'__30 Source #
d_'8851''45'selectiveMagma_256 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_SelectiveMagma_130 Source #
d_'8851''45'semigroup_258 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → T_Semigroup_558 Source #
d_'8851''45'triangulate_260 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'zero_262 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → (AgdaAny → AgdaAny) → T_Σ_14 Source #
du_'8851''45'zero_262 ∷ T_TotalOrder_986 → AgdaAny → (AgdaAny → AgdaAny) → T_Σ_14 Source #
d_'8851''45'zero'691'_264 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
du_'8851''45'zero'691'_264 ∷ T_TotalOrder_986 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d_'8851''45'zero'737'_266 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_986 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
du_'8851''45'zero'737'_266 ∷ T_TotalOrder_986 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #