| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Algebra.Construct.NaturalChoice.Max
Documentation
d_totalPreorder_54 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_TotalPreorder_222 #
d_x'8804'y'8658'x'8851'y'8776'x_102 :: 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_102 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8804'y'8658'y'8851'x'8776'x_106 :: 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_106 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d__'8852'__184 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
du__'8852'__184 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
d_maxOperator_186 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_MaxOperator_128 #
d_mono'45''8804''45'distrib'45''8852'_190 :: 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''8852'_190 :: T_TotalOrder_764 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8851'y'8804'x_192 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
du_x'8851'y'8804'x_192 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8804'y'8658'x'8851'z'8804'y_194 :: 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_194 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8804'y'8658'z'8851'x'8804'y_196 :: 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_196 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8851'y'8804'y_198 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
du_x'8851'y'8804'y_198 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8851'y'8776'x'8658'x'8804'y_200 :: 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_200 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8851'y'8776'y'8658'y'8804'x_202 :: 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_202 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8804'y'8851'z'8658'x'8804'y_204 :: 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_204 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_x'8804'y'8851'z'8658'x'8804'z_206 :: 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_206 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'assoc_208 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'assoc_208 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'band_210 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Band_596 #
d_'8851''45'comm_212 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'comm_212 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'commutativeSemigroup_214 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_CommutativeSemigroup_662 #
d_'8851''45'cong_216 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'cong_216 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'cong'691'_218 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'cong'691'_218 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'cong'737'_220 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'cong'737'_220 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'idem_222 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny #
du_'8851''45'idem_222 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny #
d_'8851''45'identity_224 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 #
du_'8851''45'identity_224 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 #
d_'8851''45'identity'691'_226 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
du_'8851''45'identity'691'_226 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
d_'8851''45'identity'737'_228 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
du_'8851''45'identity'737'_228 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
d_'8851''45'isBand_230 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_IsBand_508 #
d_'8851''45'isCommutativeSemigroup_232 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_IsCommutativeSemigroup_548 #
d_'8851''45'isMagma_234 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_IsMagma_176 #
d_'8851''45'isMonoid_236 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_686 #
du_'8851''45'isMonoid_236 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_686 #
d_'8851''45'isSelectiveMagma_238 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_IsSelectiveMagma_436 #
d_'8851''45'isSemigroup_240 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_IsSemigroup_472 #
d_'8851''45'glb_242 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'glb_242 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'magma_244 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Magma_68 #
d_'8851''45'mono'45''8804'_246 :: 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'_246 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'monoid_248 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_882 #
du_'8851''45'monoid_248 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_882 #
d_'8851''45'mono'691''45''8804'_250 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'mono'691''45''8804'_250 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'mono'737''45''8804'_252 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'mono'737''45''8804'_252 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'sel_254 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> T__'8846'__30 #
du_'8851''45'sel_254 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> T__'8846'__30 #
d_'8851''45'selectiveMagma_256 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_SelectiveMagma_122 #
d_'8851''45'semigroup_258 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> T_Semigroup_536 #
d_'8851''45'triangulate_260 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
du_'8851''45'triangulate_260 :: T_TotalOrder_764 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #
d_'8851''45'zero_262 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 #
du_'8851''45'zero_262 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 #
d_'8851''45'zero'691'_264 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
du_'8851''45'zero'691'_264 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
d_'8851''45'zero'737'_266 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
du_'8851''45'zero'737'_266 :: T_TotalOrder_764 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #