Data.NotZero

Documentation

data NotZero a

Instances

Eq a => Eq (NotZero a)

Methods

(==) :: NotZero a -> NotZero a -> Bool

(/=) :: NotZero a -> NotZero a -> Bool

Ord a => Ord (NotZero a)

Methods

compare :: NotZero a -> NotZero a -> Ordering

(<) :: NotZero a -> NotZero a -> Bool

(<=) :: NotZero a -> NotZero a -> Bool

(>) :: NotZero a -> NotZero a -> Bool

(>=) :: NotZero a -> NotZero a -> Bool

max :: NotZero a -> NotZero a -> NotZero a

min :: NotZero a -> NotZero a -> NotZero a

Show a => Show (NotZero a)

Methods

showsPrec :: Int -> NotZero a -> ShowS

show :: NotZero a -> String

showList :: [NotZero a] -> ShowS

Num a => Semigroup (NotZero a)

Methods

(<>) :: NotZero a -> NotZero a -> NotZero a

sconcat :: NonEmpty (NotZero a) -> NotZero a

stimes :: Integral b => b -> NotZero a -> NotZero a

Num a => Monoid (NotZero a)

Methods

mempty :: NotZero a

mappend :: NotZero a -> NotZero a -> NotZero a

mconcat :: [NotZero a] -> NotZero a

getNotZero :: NotZero a -> a

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

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

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

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