semiring-num 0.1.0.1 → 0.1.0.2

raw patch · 2 files changed

+17/−1 lines, 2 files

Files

• semiring-num.cabal +1/−1
• src/Data/Semiring.hs +16/−0

@@ -1,5 +1,5 @@ name:                semiring-num-version:             0.1.0.1+version:             0.1.0.2 synopsis:            Basic semiring class and instances description:         Adds a basic semiring class homepage:            https://github.com/oisdk/semiring-num

@@ -251,6 +251,22 @@   zero = Endo (const mempty)  ------------------------------------------------------------------------+-- Instances for Bool wrappers+------------------------------------------------------------------------++instance Semiring Any where+  (<+>) = coerce (||)+  zero = Any False+  (<.>) = coerce (&&)+  one = Any True++instance Semiring All where+  (<+>) = coerce (||)+  zero = All False+  (<.>) = coerce (&&)+  one = All True++------------------------------------------------------------------------ -- Boring instances ------------------------------------------------------------------------