| Safe Haskell | None |
|---|
MAlonzo.Code.Algebra.Construct.NaturalChoice.MinMaxOp
Documentation
d__'8776'__22 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> () Source #
d__'8818'__24 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> () Source #
d__'8851'__76 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du__'8851'__76 :: T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d__Absorbs__92 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d__DistributesOver__94 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d__DistributesOver'691'__96 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d__DistributesOver'737'__98 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_Absorptive_102 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_mono'45''8804''45'distrib'45''8851'_1760 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_mono'45''8804''45'distrib'45''8851'_1760 :: 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_1762 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8658'x'8851'z'8804'y_1762 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8658'z'8851'x'8804'y_1764 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8658'z'8851'x'8804'y_1764 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'y_1766 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8851'z'8658'x'8804'y_1766 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'z_1768 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8851'z'8658'x'8804'z_1768 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8776'x'8658'x'8804'y_1770 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8776'x'8658'x'8804'y_1770 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8776'y'8658'y'8804'x_1772 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8776'y'8658'y'8804'x_1772 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8804'x_1774 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8804'x_1774 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8804'y_1776 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8804'y_1776 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'assoc_1778 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'assoc_1778 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'band_1780 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Band_266 Source #
d_'8851''45'comm_1782 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'comm_1782 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'commutativeSemigroup_1784 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_CommutativeSemigroup_332 Source #
du_'8851''45'commutativeSemigroup_1784 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_CommutativeSemigroup_332 Source #
d_'8851''45'cong_1786 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'cong_1786 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'cong'691'_1788 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'cong'691'_1788 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'cong'737'_1790 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'cong'737'_1790 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'glb_1792 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'glb_1792 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'idem_1794 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny Source #
d_'8851''45'identity_1796 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
du_'8851''45'identity_1796 :: T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
d_'8851''45'identity'691'_1798 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'identity'691'_1798 :: T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'identity'737'_1800 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'identity'737'_1800 :: T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'isBand_1802 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsBand_242 Source #
d_'8851''45'isCommutativeSemigroup_1804 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsCommutativeSemigroup_282 Source #
du_'8851''45'isCommutativeSemigroup_1804 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_IsCommutativeSemigroup_282 Source #
d_'8851''45'isMagma_1806 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsMagma_98 Source #
d_'8851''45'isMonoid_1808 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_370 Source #
du_'8851''45'isMonoid_1808 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_370 Source #
d_'8851''45'isSelectiveMagma_1810 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsSelectiveMagma_170 Source #
du_'8851''45'isSelectiveMagma_1810 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_IsSelectiveMagma_170 Source #
d_'8851''45'isSemigroup_1812 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsSemigroup_206 Source #
du_'8851''45'isSemigroup_1812 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_IsSemigroup_206 Source #
d_'8851''45'magma_1814 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Magma_36 Source #
d_'8851''45'mono'45''8804'_1816 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'mono'45''8804'_1816 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'monoid_1818 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_502 Source #
du_'8851''45'monoid_1818 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_502 Source #
d_'8851''45'mono'691''45''8804'_1820 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'mono'691''45''8804'_1820 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'mono'737''45''8804'_1822 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'mono'737''45''8804'_1822 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'rawMagma_1824 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_RawMagma_8 Source #
d_'8851''45'sel_1826 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
du_'8851''45'sel_1826 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
d_'8851''45'selectiveMagma_1828 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_SelectiveMagma_90 Source #
du_'8851''45'selectiveMagma_1828 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_SelectiveMagma_90 Source #
d_'8851''45'semigroup_1830 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Semigroup_206 Source #
d_'8851''45'triangulate_1832 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'triangulate_1832 :: T_TotalPreorder_204 -> T_MinOperator_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'zero_1834 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
du_'8851''45'zero_1834 :: T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
d_'8851''45'zero'691'_1836 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'zero'691'_1836 :: T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'zero'737'_1838 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'zero'737'_1838 :: T_MinOperator_84 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_mono'45''8804''45'distrib'45''8852'_1842 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_mono'45''8804''45'distrib'45''8852'_1842 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8804'x_1844 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8804'x_1844 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8658'x'8851'z'8804'y_1846 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8658'x'8851'z'8804'y_1846 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8658'z'8851'x'8804'y_1848 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8658'z'8851'x'8804'y_1848 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8804'y_1850 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8804'y_1850 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8776'x'8658'x'8804'y_1852 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8776'x'8658'x'8804'y_1852 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8776'y'8658'y'8804'x_1854 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8851'y'8776'y'8658'y'8804'x_1854 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'y_1856 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8851'z'8658'x'8804'y_1856 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8804'y'8851'z'8658'x'8804'z_1858 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_x'8804'y'8851'z'8658'x'8804'z_1858 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'assoc_1860 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'assoc_1860 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'band_1862 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Band_266 Source #
d_'8851''45'comm_1864 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'comm_1864 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'commutativeSemigroup_1866 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_CommutativeSemigroup_332 Source #
du_'8851''45'commutativeSemigroup_1866 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_CommutativeSemigroup_332 Source #
d_'8851''45'cong_1868 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'cong_1868 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'cong'691'_1870 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'cong'691'_1870 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'cong'737'_1872 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'cong'737'_1872 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'idem_1874 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny Source #
d_'8851''45'identity_1876 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
du_'8851''45'identity_1876 :: T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
d_'8851''45'identity'691'_1878 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'identity'691'_1878 :: T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'identity'737'_1880 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'identity'737'_1880 :: T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'isBand_1882 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsBand_242 Source #
d_'8851''45'isCommutativeSemigroup_1884 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsCommutativeSemigroup_282 Source #
du_'8851''45'isCommutativeSemigroup_1884 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsCommutativeSemigroup_282 Source #
d_'8851''45'isMagma_1886 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsMagma_98 Source #
d_'8851''45'isMonoid_1888 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_370 Source #
du_'8851''45'isMonoid_1888 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_370 Source #
d_'8851''45'isSelectiveMagma_1890 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsSelectiveMagma_170 Source #
du_'8851''45'isSelectiveMagma_1890 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsSelectiveMagma_170 Source #
d_'8851''45'isSemigroup_1892 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_IsSemigroup_206 Source #
du_'8851''45'isSemigroup_1892 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsSemigroup_206 Source #
d_'8851''45'glb_1894 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'glb_1894 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'magma_1896 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Magma_36 Source #
d_'8851''45'mono'45''8804'_1898 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'mono'45''8804'_1898 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'monoid_1900 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_502 Source #
du_'8851''45'monoid_1900 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_502 Source #
d_'8851''45'mono'691''45''8804'_1902 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'mono'691''45''8804'_1902 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'mono'737''45''8804'_1904 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'mono'737''45''8804'_1904 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'sel_1906 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
du_'8851''45'sel_1906 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
d_'8851''45'selectiveMagma_1908 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_SelectiveMagma_90 Source #
du_'8851''45'selectiveMagma_1908 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_SelectiveMagma_90 Source #
d_'8851''45'semigroup_1910 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Semigroup_206 Source #
d_'8851''45'triangulate_1912 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'triangulate_1912 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'zero_1914 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
du_'8851''45'zero_1914 :: T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #
d_'8851''45'zero'691'_1916 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'zero'691'_1916 :: T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'zero'737'_1918 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
du_'8851''45'zero'737'_1918 :: T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d_'8851''45'distrib'737''45''8852'_1920 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'distrib'737''45''8852'_1920 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'distrib'691''45''8852'_1948 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'distrib'691''45''8852'_1948 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8851''45'distrib'45''8852'_1950 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Σ_14 Source #
du_'8851''45'distrib'45''8852'_1950 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Σ_14 Source #
d_'8852''45'distrib'737''45''8851'_1952 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8852''45'distrib'737''45''8851'_1952 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8852''45'distrib'691''45''8851'_1980 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8852''45'distrib'691''45''8851'_1980 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8852''45'distrib'45''8851'_1982 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Σ_14 Source #
du_'8852''45'distrib'45''8851'_1982 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Σ_14 Source #
d_'8851''45'absorbs'45''8852'_1984 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8851''45'absorbs'45''8852'_1984 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8852''45'absorbs'45''8851'_2006 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_'8852''45'absorbs'45''8851'_2006 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8852''45''8851''45'absorptive_2028 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Σ_14 Source #
du_'8852''45''8851''45'absorptive_2028 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Σ_14 Source #
d_'8851''45''8852''45'absorptive_2030 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Σ_14 Source #
du_'8851''45''8852''45'absorptive_2030 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> T_Σ_14 Source #
d__'8805'__2032 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> () Source #
d_antimono'45''8804''45'distrib'45''8851'_2040 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_antimono'45''8804''45'distrib'45''8851'_2040 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_antimono'45''8804''45'distrib'45''8852'_2086 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_antimono'45''8804''45'distrib'45''8852'_2086 :: T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_x'8851'y'8804'x'8852'y_2130 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MinOperator_84 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #