| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Algebra.Construct.NaturalChoice.Min
Documentation
d_totalPreorder_54 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_TotalPreorder_222 #
d__'8851'__94 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
du__'8851'__94 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8804'y'8658'x'8851'y'8776'x_120 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_x'8804'y'8658'x'8851'y'8776'x_120 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8804'y'8658'y'8851'x'8776'x_150 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_x'8804'y'8658'y'8851'x'8776'x_150 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_minOperator_176 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_MinOperator_98 #
d_mono'45''8804''45'distrib'45''8851'_180 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #
du_mono'45''8804''45'distrib'45''8851'_180 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8804'y'8658'x'8851'z'8804'y_182 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_x'8804'y'8658'x'8851'z'8804'y_182 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8804'y'8658'z'8851'x'8804'y_184 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_x'8804'y'8658'z'8851'x'8804'y_184 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8804'y'8851'z'8658'x'8804'y_186 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_x'8804'y'8851'z'8658'x'8804'y_186 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8804'y'8851'z'8658'x'8804'z_188 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_x'8804'y'8851'z'8658'x'8804'z_188 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8851'y'8776'x'8658'x'8804'y_190 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_x'8851'y'8776'x'8658'x'8804'y_190 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8851'y'8776'y'8658'y'8804'x_192 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_x'8851'y'8776'y'8658'y'8804'x_192 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8851'y'8804'x_194 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
du_x'8851'y'8804'x_194 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8851'y'8804'y_196 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
du_x'8851'y'8804'y_196 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'assoc_198 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'assoc_198 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'band_200 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Band_596 #
d_'8851''45'comm_202 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'comm_202 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'commutativeSemigroup_204 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_CommutativeSemigroup_662 #
d_'8851''45'cong_206 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'cong_206 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'cong'691'_208 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'cong'691'_208 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'cong'737'_210 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'cong'737'_210 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'glb_212 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'glb_212 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'idem_214 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny #
du_'8851''45'idem_214 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny #
d_'8851''45'identity_216 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 #
du_'8851''45'identity_216 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 #
d_'8851''45'identity'691'_218 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
du_'8851''45'identity'691'_218 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
d_'8851''45'identity'737'_220 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
du_'8851''45'identity'737'_220 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
d_'8851''45'isBand_222 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_IsBand_508 #
d_'8851''45'isCommutativeSemigroup_224 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_IsCommutativeSemigroup_548 #
d_'8851''45'isMagma_226 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_IsMagma_176 #
d_'8851''45'isMonoid_228 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_686 #
du_'8851''45'isMonoid_228 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_686 #
d_'8851''45'isSelectiveMagma_230 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_IsSelectiveMagma_436 #
d_'8851''45'isSemigroup_232 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_IsSemigroup_472 #
d_'8851''45'magma_234 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Magma_68 #
d_'8851''45'mono'45''8804'_236 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'mono'45''8804'_236 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'monoid_238 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_882 #
du_'8851''45'monoid_238 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_882 #
d_'8851''45'mono'691''45''8804'_240 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'mono'691''45''8804'_240 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'mono'737''45''8804'_242 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'mono'737''45''8804'_242 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'rawMagma_244 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_RawMagma_36 #
d_'8851''45'sel_246 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> T__'8846'__30 #
du_'8851''45'sel_246 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> T__'8846'__30 #
d_'8851''45'selectiveMagma_248 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_SelectiveMagma_122 #
d_'8851''45'semigroup_250 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Semigroup_536 #
d_'8851''45'triangulate_252 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'triangulate_252 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'zero_254 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 #
du_'8851''45'zero_254 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 #
d_'8851''45'zero'691'_256 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
du_'8851''45'zero'691'_256 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
d_'8851''45'zero'737'_258 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
du_'8851''45'zero'737'_258 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #