| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Algebra.Construct.NaturalChoice.Min
Documentation
d_totalPreorder_46 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_TotalPreorder_204 Source #
d__'8851'__80 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8804'y'8658'x'8851'y'8776'x_106 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8658'x'8851'y'8776'x_106 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8804'y'8658'y'8851'x'8776'x_136 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8658'y'8851'x'8776'x_136 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_minOperator_162 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_MinOperator_84 Source #
d_mono'45''8804''45'distrib'45''8851'_166 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
du_mono'45''8804''45'distrib'45''8851'_166 ∷ T_TotalOrder_652 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8804'y'8658'x'8851'z'8804'y_168 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8658'x'8851'z'8804'y_168 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8804'y'8658'z'8851'x'8804'y_170 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8658'z'8851'x'8804'y_170 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'y_172 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8851'z'8658'x'8804'y_172 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'z_174 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8851'z'8658'x'8804'z_174 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8851'y'8776'x'8658'x'8804'y_176 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8851'y'8776'x'8658'x'8804'y_176 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8851'y'8776'y'8658'y'8804'x_178 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8851'y'8776'y'8658'y'8804'x_178 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8851'y'8804'x_180 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8851'y'8804'y_182 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'assoc_184 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'band_186 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Band_266 Source #
d_'8851''45'comm_188 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'commutativeSemigroup_190 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_CommutativeSemigroup_332 Source #
d_'8851''45'cong_192 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'cong_192 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'cong'691'_194 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'cong'691'_194 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'cong'737'_196 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'cong'737'_196 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'glb_198 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'glb_198 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'idem_200 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny Source #
d_'8851''45'identity_202 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → (AgdaAny → AgdaAny) → T_Σ_14 Source #
du_'8851''45'identity_202 ∷ T_TotalOrder_652 → AgdaAny → (AgdaAny → AgdaAny) → T_Σ_14 Source #
d_'8851''45'identity'691'_204 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
du_'8851''45'identity'691'_204 ∷ T_TotalOrder_652 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d_'8851''45'identity'737'_206 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
du_'8851''45'identity'737'_206 ∷ T_TotalOrder_652 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d_'8851''45'isBand_208 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_IsBand_230 Source #
d_'8851''45'isCommutativeSemigroup_210 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_IsCommutativeSemigroup_270 Source #
d_'8851''45'isMagma_212 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_IsMagma_86 Source #
d_'8851''45'isMonoid_214 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → (AgdaAny → AgdaAny) → T_IsMonoid_358 Source #
du_'8851''45'isMonoid_214 ∷ T_TotalOrder_652 → AgdaAny → (AgdaAny → AgdaAny) → T_IsMonoid_358 Source #
d_'8851''45'isSelectiveMagma_216 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_IsSelectiveMagma_158 Source #
d_'8851''45'isSemigroup_218 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_IsSemigroup_194 Source #
d_'8851''45'isSemilattice_220 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_IsSemilattice_312 Source #
d_'8851''45'magma_222 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Magma_36 Source #
d_'8851''45'mono'45''8804'_224 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'mono'45''8804'_224 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'monoid_226 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → (AgdaAny → AgdaAny) → T_Monoid_506 Source #
d_'8851''45'mono'691''45''8804'_228 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'mono'691''45''8804'_228 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'mono'737''45''8804'_230 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'mono'737''45''8804'_230 ∷ T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'rawMagma_232 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_RawMagma_8 Source #
d_'8851''45'sel_234 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → T__'8846'__30 Source #
d_'8851''45'selectiveMagma_236 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_SelectiveMagma_90 Source #
d_'8851''45'semigroup_238 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Semigroup_206 Source #
d_'8851''45'semilattice_240 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → T_Semilattice_402 Source #
d_'8851''45'triangulate_242 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'zero_244 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → (AgdaAny → AgdaAny) → T_Σ_14 Source #
du_'8851''45'zero_244 ∷ T_TotalOrder_652 → AgdaAny → (AgdaAny → AgdaAny) → T_Σ_14 Source #
d_'8851''45'zero'691'_246 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
du_'8851''45'zero'691'_246 ∷ T_TotalOrder_652 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d_'8851''45'zero'737'_248 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalOrder_652 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
du_'8851''45'zero'737'_248 ∷ T_TotalOrder_652 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #