Documentation

d__'8776'__20 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> () Source #

d__'8818'__22 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> () Source #

d_x'8804'y'8658'x'8851'z'8804'y_84 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_x'8804'y'8658'x'8851'z'8804'y_84 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_x'8804'y'8658'z'8851'x'8804'y_86 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_x'8804'y'8658'z'8851'x'8804'y_86 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_x'8804'y'8851'z'8658'x'8804'y_88 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_x'8804'y'8851'z'8658'x'8804'y_88 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_x'8804'y'8851'z'8658'x'8804'z_90 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_x'8804'y'8851'z'8658'x'8804'z_90 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_x'8851'y'8776'x'8658'x'8804'y_92 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_x'8851'y'8776'x'8658'x'8804'y_92 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_x'8851'y'8776'y'8658'y'8804'x_94 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_x'8851'y'8776'y'8658'y'8804'x_94 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_x'8851'y'8804'x_96 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_x'8851'y'8804'x_96 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_x'8851'y'8804'y_98 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_x'8851'y'8804'y_98 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8851''45'assoc_100 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8851''45'assoc_100 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8851''45'band_102 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> T_Band_266 Source #

du_'8851''45'band_102 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_Band_266 Source #

d_'8851''45'comm_104 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8851''45'comm_104 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8851''45'commutativeSemigroup_106 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> T_CommutativeSemigroup_332 Source #

du_'8851''45'commutativeSemigroup_106 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_CommutativeSemigroup_332 Source #

d_'8851''45'cong_108 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8851''45'cong_108 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8851''45'cong'691'_110 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8851''45'cong'691'_110 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8851''45'cong'737'_112 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8851''45'cong'737'_112 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8851''45'glb_114 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8851''45'glb_114 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8851''45'idem_116 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny Source #

du_'8851''45'idem_116 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny Source #

d_'8851''45'identity_118 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

du_'8851''45'identity_118 :: T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

d_'8851''45'identity'691'_120 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_'8851''45'identity'691'_120 :: T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_'8851''45'identity'737'_122 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_'8851''45'identity'737'_122 :: T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_'8851''45'isBand_124 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsBand_242 Source #

du_'8851''45'isBand_124 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsBand_242 Source #

d_'8851''45'isCommutativeSemigroup_126 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsCommutativeSemigroup_282 Source #

du_'8851''45'isCommutativeSemigroup_126 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsCommutativeSemigroup_282 Source #

d_'8851''45'isMagma_128 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsMagma_98 Source #

du_'8851''45'isMagma_128 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsMagma_98 Source #

d_'8851''45'isMonoid_130 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_370 Source #

du_'8851''45'isMonoid_130 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_370 Source #

d_'8851''45'isSelectiveMagma_132 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsSelectiveMagma_170 Source #

du_'8851''45'isSelectiveMagma_132 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsSelectiveMagma_170 Source #

d_'8851''45'isSemigroup_134 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsSemigroup_206 Source #

du_'8851''45'isSemigroup_134 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_IsSemigroup_206 Source #

d_'8851''45'magma_136 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> T_Magma_36 Source #

du_'8851''45'magma_136 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_Magma_36 Source #

d_'8851''45'mono'45''8804'_138 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8851''45'mono'45''8804'_138 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8851''45'monoid_140 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_502 Source #

du_'8851''45'monoid_140 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_502 Source #

d_'8851''45'mono'691''45''8804'_142 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8851''45'mono'691''45''8804'_142 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8851''45'mono'737''45''8804'_144 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8851''45'mono'737''45''8804'_144 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8851''45'sel_148 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #

du_'8851''45'sel_148 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #

d_'8851''45'selectiveMagma_150 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> T_SelectiveMagma_90 Source #

du_'8851''45'selectiveMagma_150 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_SelectiveMagma_90 Source #

d_'8851''45'semigroup_152 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> T_Semigroup_206 Source #

du_'8851''45'semigroup_152 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> T_Semigroup_206 Source #

d_'8851''45'triangulate_154 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8851''45'triangulate_154 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8851''45'zero_156 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

du_'8851''45'zero_156 :: T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 Source #

d_'8851''45'zero'691'_158 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_'8851''45'zero'691'_158 :: T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_'8851''45'zero'737'_160 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_'8851''45'zero'737'_160 :: T_MaxOperator_114 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_mono'45''8804''45'distrib'45''8852'_168 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> 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'_168 :: T_TotalPreorder_204 -> T_MaxOperator_114 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #