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

Unital (BasisCoblade m) => DecidableUnits (BasisCoblade m)

(Unital (Opposite r), DecidableUnits r) => DecidableUnits (Opposite r)

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

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

(Unital (a, b, c, d), DecidableUnits a, DecidableUnits b, DecidableUnits c, DecidableUnits d) => DecidableUnits (a, b, c, d)

(Unital (a, b, c, d, e), 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