| Safe Haskell | None |
|---|
MAlonzo.Code.Algebra.Construct.NaturalChoice.Min
Documentation
d_totalPreorder_46 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_TotalPreorder_204 Source #
d__'8851'__80 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du__'8851'__80 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8658'x'8851'y'8776'x_106 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8658'x'8851'y'8776'x_106 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8658'y'8851'x'8776'x_136 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8658'y'8851'x'8776'x_136 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_minOperator_162 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_MinOperator_84 Source #
d_mono'45''8804''45'distrib'45''8851'_166 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> (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_648 -> (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_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8658'x'8851'z'8804'y_168 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8658'z'8851'x'8804'y_170 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8658'z'8851'x'8804'y_170 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'y_172 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8851'z'8658'x'8804'y_172 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'z_174 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8851'z'8658'x'8804'z_174 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8776'x'8658'x'8804'y_176 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8776'x'8658'x'8804'y_176 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8776'y'8658'y'8804'x_178 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8776'y'8658'y'8804'x_178 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8804'x_180 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8804'x_180 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8804'y_182 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8804'y_182 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'assoc_184 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'assoc_184 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'band_186 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Band_266 Source #
d_'8851''45'comm_188 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'comm_188 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'commutativeSemigroup_190 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_CommutativeSemigroup_332 Source #
d_'8851''45'cong_192 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'cong_192 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'cong'691'_194 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'cong'691'_194 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'cong'737'_196 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'cong'737'_196 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'glb_198 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'glb_198 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'idem_200 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny Source #
d_'8851''45'identity_202 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
du_'8851''45'identity_202 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
d_'8851''45'identity'691'_204 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'identity'691'_204 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'identity'737'_206 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'identity'737'_206 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'isBand_208 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsBand_242 Source #
d_'8851''45'isCommutativeSemigroup_210 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsCommutativeSemigroup_282 Source #
du_'8851''45'isCommutativeSemigroup_210 :: T_TotalOrder_648 -> T_IsCommutativeSemigroup_282 Source #
d_'8851''45'isMagma_212 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsMagma_98 Source #
d_'8851''45'isMonoid_214 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_370 Source #
du_'8851''45'isMonoid_214 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_370 Source #
d_'8851''45'isSelectiveMagma_216 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsSelectiveMagma_170 Source #
d_'8851''45'isSemigroup_218 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsSemigroup_206 Source #
d_'8851''45'magma_220 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Magma_36 Source #
d_'8851''45'mono'45''8804'_222 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'mono'45''8804'_222 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'monoid_224 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_502 Source #
du_'8851''45'monoid_224 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_502 Source #
d_'8851''45'mono'691''45''8804'_226 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'mono'691''45''8804'_226 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'mono'737''45''8804'_228 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'mono'737''45''8804'_228 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'rawMagma_230 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_RawMagma_8 Source #
d_'8851''45'sel_232 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
du_'8851''45'sel_232 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
d_'8851''45'selectiveMagma_234 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_SelectiveMagma_90 Source #
d_'8851''45'semigroup_236 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Semigroup_206 Source #
d_'8851''45'triangulate_238 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'triangulate_238 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'zero_240 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
du_'8851''45'zero_240 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
d_'8851''45'zero'691'_242 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'zero'691'_242 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'zero'737'_244 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'zero'737'_244 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #