acme-zero-one:Cabal软件包依赖项的标识元素和吸收元素

acme-zero和acme-one 包依存关系与吸收元素形成一个可交换的半定态。 它们满足以下公理： 关联性 对于所有依赖项a ， b和c ， (a , b) , c = a , (b , c) 实际上，出于这个原因，Cabal语法甚至不允许您使用括号。 可交换性 对于所有依赖项a和b ， a , b = b , a 身份元素 对于所有依赖项a ， acme-one , a = a a , acme-one = a 取决于不会产生其他影响。 吸收元件 对于所有依赖项a ， acme-zero , a = acme-zero a , acme-zero = acme-zero 根据除了拥有作为仅仅依靠同样的效果acme-zero 。