| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
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_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → (AgdaAny → AgdaAny → AgdaAny) → () Source #
d_Commutative_104 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → (AgdaAny → AgdaAny → AgdaAny) → () Source #
d_Congruent'8321'_106 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → (AgdaAny → AgdaAny) → () Source #
d_Congruent'8322'_108 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → (AgdaAny → AgdaAny → AgdaAny) → () Source #
d_Idempotent_112 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → (AgdaAny → AgdaAny → AgdaAny) → () Source #
d_Identity_116 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → () Source #
d_LeftIdentity_130 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → () Source #
d_LeftZero_134 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → () Source #
d_RightIdentity_142 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → () Source #
d_RightZero_146 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → () Source #
d_Selective_148 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → (AgdaAny → AgdaAny → AgdaAny) → () Source #
d_Zero_150 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → () Source #
d_IsBand_156 ∷ p → p → p → p → p → p → () Source #
d_IsCommutativeSemigroup_170 ∷ p → p → p → p → p → p → () Source #
d_IsMagma_184 ∷ p → p → p → p → p → p → () Source #
d_IsMonoid_186 ∷ p → p → p → p → p → p → p → () Source #
d_IsSelectiveMagma_192 ∷ p → p → p → p → p → p → () Source #
d_IsSemigroup_194 ∷ p → p → p → p → p → p → () Source #
d_IsSemilattice_196 ∷ p → p → p → p → p → p → () Source #
d_x'8851'y'8804'x_1626 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8851'y'8804'x_1626 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8851'y'8804'y_1652 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8851'y'8804'y_1652 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'comm_1674 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'comm_1674 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'cong'737'_1700 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'cong'737'_1700 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'cong'691'_1738 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'cong'691'_1738 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'cong_1748 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'cong_1748 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'assoc_1762 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'assoc_1762 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'idem_1802 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny Source #
d_'8851''45'sel_1806 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → T__'8846'__30 Source #
du_'8851''45'sel_1806 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → T__'8846'__30 Source #
d_'8851''45'identity'737'_1814 ∷ T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d_'8851''45'identity'691'_1820 ∷ T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d_'8851''45'identity_1826 ∷ T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny) → T_Σ_14 Source #
d_'8851''45'zero'737'_1832 ∷ T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d_'8851''45'zero'691'_1838 ∷ T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d_'8851''45'zero_1844 ∷ T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny) → T_Σ_14 Source #
d_'8851''45'isMagma_1848 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → T_IsMagma_86 Source #
d_'8851''45'isSemigroup_1850 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → T_IsSemigroup_194 Source #
d_'8851''45'isBand_1852 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → T_IsBand_230 Source #
d_'8851''45'isCommutativeSemigroup_1854 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → T_IsCommutativeSemigroup_270 Source #
du_'8851''45'isCommutativeSemigroup_1854 ∷ T_TotalPreorder_204 → T_MinOperator_84 → T_IsCommutativeSemigroup_270 Source #
d_'8851''45'isSemilattice_1856 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → T_IsSemilattice_312 Source #
du_'8851''45'isSemilattice_1856 ∷ T_TotalPreorder_204 → T_MinOperator_84 → T_IsSemilattice_312 Source #
d_'8851''45'isSelectiveMagma_1858 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → T_IsSelectiveMagma_158 Source #
du_'8851''45'isSelectiveMagma_1858 ∷ T_TotalPreorder_204 → T_MinOperator_84 → T_IsSelectiveMagma_158 Source #
d_'8851''45'isMonoid_1862 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny) → T_IsMonoid_358 Source #
du_'8851''45'isMonoid_1862 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny) → T_IsMonoid_358 Source #
d_'8851''45'rawMagma_1866 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → T_RawMagma_8 Source #
d_'8851''45'magma_1868 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → T_Magma_36 Source #
d_'8851''45'semigroup_1870 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → T_Semigroup_206 Source #
d_'8851''45'band_1872 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → T_Band_266 Source #
d_'8851''45'commutativeSemigroup_1874 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → T_CommutativeSemigroup_332 Source #
du_'8851''45'commutativeSemigroup_1874 ∷ T_TotalPreorder_204 → T_MinOperator_84 → T_CommutativeSemigroup_332 Source #
d_'8851''45'semilattice_1876 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → T_Semilattice_402 Source #
d_'8851''45'selectiveMagma_1878 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → T_SelectiveMagma_90 Source #
du_'8851''45'selectiveMagma_1878 ∷ T_TotalPreorder_204 → T_MinOperator_84 → T_SelectiveMagma_90 Source #
d_'8851''45'monoid_1882 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny) → T_Monoid_506 Source #
du_'8851''45'monoid_1882 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → (AgdaAny → AgdaAny) → T_Monoid_506 Source #
d_x'8851'y'8776'x'8658'x'8804'y_1890 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8851'y'8776'x'8658'x'8804'y_1890 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8851'y'8776'y'8658'y'8804'x_1922 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8851'y'8776'y'8658'y'8804'x_1922 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_mono'45''8804''45'distrib'45''8851'_1936 ∷ T_Level_18 → T_Level_18 → T_Level_18 → 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'_1936 ∷ 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_1982 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8658'x'8851'z'8804'y_1982 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8804'y'8658'z'8851'x'8804'y_1994 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8658'z'8851'x'8804'y_1994 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'y_2006 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8851'z'8658'x'8804'y_2006 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'z_2020 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_x'8804'y'8851'z'8658'x'8804'z_2020 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'mono'45''8804'_2028 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'mono'45''8804'_2028 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'mono'737''45''8804'_2078 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'mono'737''45''8804'_2078 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'mono'691''45''8804'_2088 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'mono'691''45''8804'_2088 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
d_'8851''45'glb_2100 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #
du_'8851''45'glb_2100 ∷ T_TotalPreorder_204 → T_MinOperator_84 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #