monoids-0.1.33: Monoids, specialized containers and a general map/reduce frameworkSource codeContentsIndex
Data.Ring.Boolean
Portabilitynon-portable (MPTCs)
Stabilityexperimental
Maintainerekmett@gmail.com
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
newtype BoolRing Source
Constructors
BoolRing
getBoolRing :: Bool
show/hide Instances
Produced by Haddock version 2.4.2