algebra-3.1: Constructive abstract algebra

Safe Haskell | None

Numeric.Decidable.Units

# Documentation

class Unital r => DecidableUnits r where Source

Methods

recipUnit :: r -> Maybe rSource

isUnit :: DecidableUnits r => r -> Bool Source

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

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