| Safe Haskell | None |
|---|
MAlonzo.Code.Algebra.Construct.NaturalChoice.Max
Documentation
d_totalPreorder_46 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_TotalPreorder_204 Source #
d_x'8804'y'8658'x'8851'y'8776'x_88 :: 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_88 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8658'y'8851'x'8776'x_92 :: 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_92 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d__'8852'__170 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du__'8852'__170 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_maxOperator_172 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_MaxOperator_114 Source #
d_mono'45''8804''45'distrib'45''8852'_176 :: 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''8852'_176 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8804'x_178 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8804'x_178 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8658'x'8851'z'8804'y_180 :: 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_180 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8658'z'8851'x'8804'y_182 :: 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_182 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8804'y_184 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8804'y_184 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8776'x'8658'x'8804'y_186 :: 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_186 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8776'y'8658'y'8804'x_188 :: 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_188 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'y_190 :: 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_190 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'z_192 :: 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_192 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'assoc_194 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'assoc_194 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'band_196 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Band_266 Source #
d_'8851''45'comm_198 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'comm_198 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'commutativeSemigroup_200 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_CommutativeSemigroup_332 Source #
d_'8851''45'cong_202 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'cong_202 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'cong'691'_204 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'cong'691'_204 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'cong'737'_206 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'cong'737'_206 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'idem_208 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny Source #
d_'8851''45'identity_210 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
du_'8851''45'identity_210 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
d_'8851''45'identity'691'_212 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'identity'691'_212 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'identity'737'_214 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'identity'737'_214 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'isBand_216 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsBand_242 Source #
d_'8851''45'isCommutativeSemigroup_218 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsCommutativeSemigroup_282 Source #
du_'8851''45'isCommutativeSemigroup_218 :: T_TotalOrder_648 -> T_IsCommutativeSemigroup_282 Source #
d_'8851''45'isMagma_220 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsMagma_98 Source #
d_'8851''45'isMonoid_222 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_370 Source #
du_'8851''45'isMonoid_222 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_370 Source #
d_'8851''45'isSelectiveMagma_224 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsSelectiveMagma_170 Source #
d_'8851''45'isSemigroup_226 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsSemigroup_206 Source #
d_'8851''45'glb_228 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'glb_228 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'magma_230 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Magma_36 Source #
d_'8851''45'mono'45''8804'_232 :: 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'_232 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'monoid_234 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_502 Source #
du_'8851''45'monoid_234 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_502 Source #
d_'8851''45'mono'691''45''8804'_236 :: 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'_236 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'mono'737''45''8804'_238 :: 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'_238 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'sel_240 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
du_'8851''45'sel_240 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
d_'8851''45'selectiveMagma_242 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_SelectiveMagma_90 Source #
d_'8851''45'semigroup_244 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Semigroup_206 Source #
d_'8851''45'triangulate_246 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'triangulate_246 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'zero_248 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
du_'8851''45'zero_248 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
d_'8851''45'zero'691'_250 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'zero'691'_250 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'zero'737'_252 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'zero'737'_252 :: T_TotalOrder_648 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #