notzero 0.0.9 → 0.0.10

raw patch · 3 files changed

+16/−1 lines, 3 files

Files

changelog +4/−0
notzero.cabal +1/−1
src/Data/NotZeroOr.hs +11/−0

changelog view

@@ -1,3 +1,7 @@+0.0.10++* Add `NumberM` alias and construction function.+ 0.0.9  * Require GHC >= 7.8

notzero.cabal view

@@ -1,5 +1,5 @@ name:               notzero-version:            0.0.9+version:            0.0.10 license:            BSD3 license-file:       LICENSE author:             Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>

src/Data/NotZeroOr.hs view

@@ -8,6 +8,8 @@ , isoNumber , NotZeroOrT(..) , isoNotZeroOrT+, NumberM+, numberM ) where  import Control.Applicative(Applicative(pure, (<*>)), liftA2)@@ -146,6 +148,15 @@   iso     (NotZeroOrT . Identity)     (\(NotZeroOrT (Identity x)) -> x)++type NumberM a f =+  NotZeroOrT a f ()++numberM ::+  f (Number a) +  -> NumberM a f+numberM =+  NotZeroOrT  instance Functor f => Functor (NotZeroOrT a f) where   fmap f (NotZeroOrT q) =