notzero-0.0.9: A data type for representing numeric values, except zero.

Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.NotZero

Documentation

data NotZero a Source

Instances

Eq a => Eq (NotZero a) 
Ord a => Ord (NotZero a) 
Show a => Show (NotZero a) 
Num a => Monoid (NotZero a) 
Num a => Semigroup (NotZero a) 

getNotZero :: NotZero a -> a Source

notZero :: (Eq a, Num a) => Prism' a (NotZero a) Source

notZeroElse :: (Eq a, Num a) => NotZero a -> a -> NotZero a Source

notZero1 :: (Eq a, Num a) => NotZero a Source

notZeroElse1 :: (Eq a, Num a) => a -> NotZero a Source