| ||||||||||
| ||||||||||
Description | ||||||||||
A Boolean Ring over Bool. Note well that the mappend of this ring is symmetric difference and not disjunction like you might expect. To get that you should use use Ord from Data.Ring.Semi.Ord.Order on Bool to get the '&&'/'||'-based distributive-lattice SemiRing | ||||||||||
Documentation | ||||||||||
module Data.Ring | ||||||||||
| ||||||||||
| ||||||||||
Produced by Haddock version 2.4.1 |