algebra-4.3: Constructive abstract algebra

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

 Source # Methods(^?) :: Integral n => Bool -> n -> Maybe Bool Source # Source # Methods(^?) :: Integral n => Int -> n -> Maybe Int Source # Source # Methods(^?) :: Integral n => Int8 -> n -> Maybe Int8 Source # Source # Methods(^?) :: Integral n => Int16 -> n -> Maybe Int16 Source # Source # Methods(^?) :: Integral n => Int32 -> n -> Maybe Int32 Source # Source # Methods(^?) :: Integral n => Int64 -> n -> Maybe Int64 Source # Source # Methods(^?) :: Integral n => Integer -> n -> Maybe Integer Source # Source # Methods(^?) :: Integral n => Word -> n -> Maybe Word Source # Source # Methods(^?) :: Integral n => Word8 -> n -> Maybe Word8 Source # Source # Methods(^?) :: Integral n => Word16 -> n -> Maybe Word16 Source # Source # Methods(^?) :: Integral n => Word32 -> n -> Maybe Word32 Source # Source # Methods(^?) :: Integral n => Word64 -> n -> Maybe Word64 Source # Source # MethodsrecipUnit :: () -> Maybe () Source #isUnit :: () -> Bool Source #(^?) :: Integral n => () -> n -> Maybe () Source # Source # Methods(^?) :: Integral n => Natural -> n -> Maybe Natural Source # Source # Methods(^?) :: Integral n => Fraction d -> n -> Maybe (Fraction d) Source # Source # Methods(^?) :: Integral n => BasisCoblade m -> n -> Maybe (BasisCoblade m) Source # Source # Methods(^?) :: Integral n => Opposite r -> n -> Maybe (Opposite r) Source # (DecidableUnits a, DecidableUnits b) => DecidableUnits (a, b) Source # MethodsrecipUnit :: (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 # MethodsrecipUnit :: (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 # MethodsrecipUnit :: (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 # MethodsrecipUnit :: (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 #