Numeric.Decidable.Units

Documentation

class Unital r => DecidableUnits r where

Methods

recipUnit :: r -> Maybe r

isUnit :: DecidableUnits r => r -> Bool

(^?) :: Integral n => r -> n -> Maybe r

Instances

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 r => DecidableUnits (Opposite r)

(DecidableUnits a, DecidableUnits b) => DecidableUnits (a, b)

DecidableZero n => DecidableUnits (:^ x n)

(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 r

recipUnitWhole :: Integral r => r -> Maybe r