Safe Haskell	Safe
Language	Haskell98

Numeric.Partial.Group

Documentation

class PartialMonoid a => PartialGroup a where Source #

Methods

pnegate :: a -> Maybe a Source #

pminus :: a -> a -> Maybe a Source #

psubtract :: a -> a -> Maybe a Source #

Instances

PartialGroup Int Source #
Methods pnegate :: Int -> Maybe Int Source # pminus :: Int -> Int -> Maybe Int Source # psubtract :: Int -> Int -> Maybe Int Source #
PartialGroup Int8 Source #
Methods pnegate :: Int8 -> Maybe Int8 Source # pminus :: Int8 -> Int8 -> Maybe Int8 Source # psubtract :: Int8 -> Int8 -> Maybe Int8 Source #
PartialGroup Int16 Source #
Methods pnegate :: Int16 -> Maybe Int16 Source # pminus :: Int16 -> Int16 -> Maybe Int16 Source # psubtract :: Int16 -> Int16 -> Maybe Int16 Source #
PartialGroup Int32 Source #
Methods pnegate :: Int32 -> Maybe Int32 Source # pminus :: Int32 -> Int32 -> Maybe Int32 Source # psubtract :: Int32 -> Int32 -> Maybe Int32 Source #
PartialGroup Int64 Source #
Methods pnegate :: Int64 -> Maybe Int64 Source # pminus :: Int64 -> Int64 -> Maybe Int64 Source # psubtract :: Int64 -> Int64 -> Maybe Int64 Source #
PartialGroup Integer Source #
Methods pnegate :: Integer -> Maybe Integer Source # pminus :: Integer -> Integer -> Maybe Integer Source # psubtract :: Integer -> Integer -> Maybe Integer Source #
PartialGroup Natural Source #
Methods pnegate :: Natural -> Maybe Natural Source # pminus :: Natural -> Natural -> Maybe Natural Source # psubtract :: Natural -> Natural -> Maybe Natural Source #
PartialGroup Word Source #
Methods pnegate :: Word -> Maybe Word Source # pminus :: Word -> Word -> Maybe Word Source # psubtract :: Word -> Word -> Maybe Word Source #
PartialGroup Word8 Source #
Methods pnegate :: Word8 -> Maybe Word8 Source # pminus :: Word8 -> Word8 -> Maybe Word8 Source # psubtract :: Word8 -> Word8 -> Maybe Word8 Source #
PartialGroup Word16 Source #
Methods pnegate :: Word16 -> Maybe Word16 Source # pminus :: Word16 -> Word16 -> Maybe Word16 Source # psubtract :: Word16 -> Word16 -> Maybe Word16 Source #
PartialGroup Word32 Source #
Methods pnegate :: Word32 -> Maybe Word32 Source # pminus :: Word32 -> Word32 -> Maybe Word32 Source # psubtract :: Word32 -> Word32 -> Maybe Word32 Source #
PartialGroup Word64 Source #
Methods pnegate :: Word64 -> Maybe Word64 Source # pminus :: Word64 -> Word64 -> Maybe Word64 Source # psubtract :: Word64 -> Word64 -> Maybe Word64 Source #
PartialGroup () Source #
Methods pnegate :: () -> Maybe () Source # pminus :: () -> () -> Maybe () Source # psubtract :: () -> () -> Maybe () Source #
PartialGroup a => PartialGroup (Morphism a) Source #
Methods pnegate :: Morphism a -> Maybe (Morphism a) Source # pminus :: Morphism a -> Morphism a -> Maybe (Morphism a) Source # psubtract :: Morphism a -> Morphism a -> Maybe (Morphism a) Source #
(PartialGroup a, PartialGroup b) => PartialGroup (a, b) Source #
Methods pnegate :: (a, b) -> Maybe (a, b) Source # pminus :: (a, b) -> (a, b) -> Maybe (a, b) Source # psubtract :: (a, b) -> (a, b) -> Maybe (a, b) Source #
(PartialGroup a, PartialGroup b, PartialGroup c) => PartialGroup (a, b, c) Source #
Methods pnegate :: (a, b, c) -> Maybe (a, b, c) Source # pminus :: (a, b, c) -> (a, b, c) -> Maybe (a, b, c) Source # psubtract :: (a, b, c) -> (a, b, c) -> Maybe (a, b, c) Source #
(PartialGroup a, PartialGroup b, PartialGroup c, PartialGroup d) => PartialGroup (a, b, c, d) Source #
Methods pnegate :: (a, b, c, d) -> Maybe (a, b, c, d) Source # pminus :: (a, b, c, d) -> (a, b, c, d) -> Maybe (a, b, c, d) Source # psubtract :: (a, b, c, d) -> (a, b, c, d) -> Maybe (a, b, c, d) Source #
(PartialGroup a, PartialGroup b, PartialGroup c, PartialGroup d, PartialGroup e) => PartialGroup (a, b, c, d, e) Source #
Methods pnegate :: (a, b, c, d, e) -> Maybe (a, b, c, d, e) Source # pminus :: (a, b, c, d, e) -> (a, b, c, d, e) -> Maybe (a, b, c, d, e) Source # psubtract :: (a, b, c, d, e) -> (a, b, c, d, e) -> Maybe (a, b, c, d, e) Source #