Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
getNotZero :: NotZero a -> a Source
notZeroElse1 :: (Eq a, Num a) => a -> NotZero a Source
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
getNotZero :: NotZero a -> a Source
notZeroElse1 :: (Eq a, Num a) => a -> NotZero a Source