algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Decidable.Units

Documentation

class Unital r => DecidableUnits r where Source #

Minimal complete definition

recipUnit

Methods

recipUnit :: r -> Maybe r Source #

isUnit :: r -> Bool Source #

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

Instances

DecidableUnits Bool Source # 
DecidableUnits Int Source # 
DecidableUnits Int8 Source # 
DecidableUnits Int16 Source # 
DecidableUnits Int32 Source # 
DecidableUnits Int64 Source # 
DecidableUnits Integer Source # 
DecidableUnits Natural Source # 
DecidableUnits Word Source # 
DecidableUnits Word8 Source # 
DecidableUnits Word16 Source # 
DecidableUnits Word32 Source # 
DecidableUnits Word64 Source # 
DecidableUnits () Source # 

Methods

recipUnit :: () -> Maybe () Source #

isUnit :: () -> Bool Source #

(^?) :: Integral n => () -> n -> Maybe () Source #

DecidableUnits r => DecidableUnits (Opposite r) Source # 
DecidableUnits (BasisCoblade m) Source # 
GCDDomain d => DecidableUnits (Fraction d) Source # 
(DecidableUnits a, DecidableUnits b) => DecidableUnits (a, b) Source # 

Methods

recipUnit :: (a, b) -> Maybe (a, b) Source #

isUnit :: (a, b) -> Bool Source #

(^?) :: Integral n => (a, b) -> n -> Maybe (a, b) Source #

(DecidableUnits a, DecidableUnits b, DecidableUnits c) => DecidableUnits (a, b, c) Source # 

Methods

recipUnit :: (a, b, c) -> Maybe (a, b, c) Source #

isUnit :: (a, b, c) -> Bool Source #

(^?) :: Integral n => (a, b, c) -> n -> Maybe (a, b, c) Source #

(DecidableUnits a, DecidableUnits b, DecidableUnits c, DecidableUnits d) => DecidableUnits (a, b, c, d) Source # 

Methods

recipUnit :: (a, b, c, d) -> Maybe (a, b, c, d) Source #

isUnit :: (a, b, c, d) -> Bool Source #

(^?) :: Integral n => (a, b, c, d) -> n -> Maybe (a, b, c, d) Source #

(DecidableUnits a, DecidableUnits b, DecidableUnits c, DecidableUnits d, DecidableUnits e) => DecidableUnits (a, b, c, d, e) Source # 

Methods

recipUnit :: (a, b, c, d, e) -> Maybe (a, b, c, d, e) Source #

isUnit :: (a, b, c, d, e) -> Bool Source #

(^?) :: Integral n => (a, b, c, d, e) -> n -> Maybe (a, b, c, d, e) Source #