Safe Haskell	Safe
Language	Haskell98

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

recipUnitIntegral :: Integral r => r -> Maybe r Source #

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