Safe Haskell | None |
---|
Documentation
class Unital r => DecidableUnits r whereSource
DecidableUnits Bool | |
DecidableUnits Int | |
DecidableUnits Int8 | |
DecidableUnits Int16 | |
DecidableUnits Int32 | |
DecidableUnits Int64 | |
DecidableUnits Integer | |
DecidableUnits Word | |
DecidableUnits Word8 | |
DecidableUnits Word16 | |
DecidableUnits Word32 | |
DecidableUnits Word64 | |
DecidableUnits () | |
DecidableUnits Natural | |
DecidableUnits (BasisCoblade m) | |
DecidableUnits r => DecidableUnits (Opposite r) | |
(DecidableUnits a, DecidableUnits b) => DecidableUnits (a, b) | |
(DecidableUnits a, DecidableUnits b, DecidableUnits c) => DecidableUnits (a, b, c) | |
(DecidableUnits a, DecidableUnits b, DecidableUnits c, DecidableUnits d) => DecidableUnits (a, b, c, d) | |
(DecidableUnits a, DecidableUnits b, DecidableUnits c, DecidableUnits d, DecidableUnits e) => DecidableUnits (a, b, c, d, e) |
recipUnitIntegral :: Integral r => r -> Maybe rSource
recipUnitWhole :: Integral r => r -> Maybe rSource