| Safe Haskell | None |
|---|
MAlonzo.Code.Algebra.Construct.NaturalChoice.MinOp
Documentation
d__'8776'__20 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> () Source #
d__'8818'__22 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> () Source #
d_Associative_100 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_Commutative_104 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_Congruent'8321'_106 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> (AgdaAny -> AgdaAny) -> () Source #
d_Congruent'8322'_108 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_Idempotent_112 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_Identity_116 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_LeftIdentity_136 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_LeftZero_140 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_RightIdentity_154 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_RightZero_158 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_Selective_160 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_Zero_162 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_IsBand_168 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> () Source #
d_IsCommutativeSemigroup_178 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> () Source #
d_IsMagma_194 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> () Source #
d_IsMonoid_196 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> () Source #
d_IsSelectiveMagma_206 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> () Source #
d_IsSemigroup_208 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> () Source #
d_x'8851'y'8804'x_1690 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8804'x_1690 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8804'y_1716 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8804'y_1716 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'comm_1738 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'comm_1738 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'cong'737'_1764 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'cong'737'_1764 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'cong'691'_1802 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'cong'691'_1802 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'cong_1812 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'cong_1812 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'assoc_1826 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'assoc_1826 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'idem_1866 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny Source #
d_'8851''45'sel_1870 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
du_'8851''45'sel_1870 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
d_'8851''45'identity'737'_1878 :: T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'identity'691'_1884 :: T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'identity_1890 :: T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
d_'8851''45'zero'737'_1896 :: T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'zero'691'_1902 :: T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'zero_1908 :: T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
d_'8851''45'isMagma_1912 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_IsMagma_98 Source #
d_'8851''45'isSemigroup_1914 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_IsSemigroup_206 Source #
du_'8851''45'isSemigroup_1914 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_IsSemigroup_206 Source #
d_'8851''45'isBand_1916 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_IsBand_242 Source #
d_'8851''45'isCommutativeSemigroup_1918 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_IsCommutativeSemigroup_282 Source #
du_'8851''45'isCommutativeSemigroup_1918 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_IsCommutativeSemigroup_282 Source #
d_'8851''45'isSelectiveMagma_1920 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_IsSelectiveMagma_170 Source #
du_'8851''45'isSelectiveMagma_1920 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_IsSelectiveMagma_170 Source #
d_'8851''45'isMonoid_1924 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_370 Source #
du_'8851''45'isMonoid_1924 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_370 Source #
d_'8851''45'rawMagma_1928 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_RawMagma_8 Source #
d_'8851''45'magma_1930 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_Magma_36 Source #
d_'8851''45'semigroup_1932 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_Semigroup_206 Source #
d_'8851''45'band_1934 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_Band_266 Source #
d_'8851''45'commutativeSemigroup_1936 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_CommutativeSemigroup_332 Source #
du_'8851''45'commutativeSemigroup_1936 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_CommutativeSemigroup_332 Source #
d_'8851''45'selectiveMagma_1938 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_SelectiveMagma_90 Source #
du_'8851''45'selectiveMagma_1938 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_SelectiveMagma_90 Source #
d_'8851''45'monoid_1942 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_502 Source #
du_'8851''45'monoid_1942 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_502 Source #
d_x'8851'y'8776'x'8658'x'8804'y_1950 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8776'x'8658'x'8804'y_1950 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8776'y'8658'y'8804'x_1982 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8776'y'8658'y'8804'x_1982 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_mono'45''8804''45'distrib'45''8851'_1996 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_mono'45''8804''45'distrib'45''8851'_1996 :: T_TotalPreorder_204 -> T_MinOperator_84 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8658'x'8851'z'8804'y_2042 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8658'x'8851'z'8804'y_2042 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8658'z'8851'x'8804'y_2054 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8658'z'8851'x'8804'y_2054 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'y_2066 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8851'z'8658'x'8804'y_2066 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'z_2080 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8851'z'8658'x'8804'z_2080 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'mono'45''8804'_2088 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'mono'45''8804'_2088 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'mono'737''45''8804'_2138 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'mono'737''45''8804'_2138 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'mono'691''45''8804'_2148 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'mono'691''45''8804'_2148 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'glb_2160 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'glb_2160 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'triangulate_2174 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'triangulate_2174 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #