Numeric.Partial.Group

Documentation

class PartialMonoid a => PartialGroup a where

Methods

pnegate :: a -> Maybe a

pminus :: a -> a -> Maybe a

psubtract :: a -> a -> Maybe a

Instances

PartialGroup Int

Methods

pnegate :: Int -> Maybe Int

pminus :: Int -> Int -> Maybe Int

psubtract :: Int -> Int -> Maybe Int

PartialGroup Int8

Methods

pnegate :: Int8 -> Maybe Int8

pminus :: Int8 -> Int8 -> Maybe Int8

psubtract :: Int8 -> Int8 -> Maybe Int8

PartialGroup Int16

Methods

pnegate :: Int16 -> Maybe Int16

pminus :: Int16 -> Int16 -> Maybe Int16

psubtract :: Int16 -> Int16 -> Maybe Int16

PartialGroup Int32

Methods

pnegate :: Int32 -> Maybe Int32

pminus :: Int32 -> Int32 -> Maybe Int32

psubtract :: Int32 -> Int32 -> Maybe Int32

PartialGroup Int64

Methods

pnegate :: Int64 -> Maybe Int64

pminus :: Int64 -> Int64 -> Maybe Int64

psubtract :: Int64 -> Int64 -> Maybe Int64

PartialGroup Integer

Methods

pnegate :: Integer -> Maybe Integer

pminus :: Integer -> Integer -> Maybe Integer

psubtract :: Integer -> Integer -> Maybe Integer

PartialGroup Natural

Methods

pnegate :: Natural -> Maybe Natural

pminus :: Natural -> Natural -> Maybe Natural

psubtract :: Natural -> Natural -> Maybe Natural

PartialGroup Word

Methods

pnegate :: Word -> Maybe Word

pminus :: Word -> Word -> Maybe Word

psubtract :: Word -> Word -> Maybe Word

PartialGroup Word8

Methods

pnegate :: Word8 -> Maybe Word8

pminus :: Word8 -> Word8 -> Maybe Word8

psubtract :: Word8 -> Word8 -> Maybe Word8

PartialGroup Word16

Methods

pnegate :: Word16 -> Maybe Word16

pminus :: Word16 -> Word16 -> Maybe Word16

psubtract :: Word16 -> Word16 -> Maybe Word16

PartialGroup Word32

Methods

pnegate :: Word32 -> Maybe Word32

pminus :: Word32 -> Word32 -> Maybe Word32

psubtract :: Word32 -> Word32 -> Maybe Word32

PartialGroup Word64

Methods

pnegate :: Word64 -> Maybe Word64

pminus :: Word64 -> Word64 -> Maybe Word64

psubtract :: Word64 -> Word64 -> Maybe Word64

PartialGroup ()

Methods

pnegate :: () -> Maybe ()

pminus :: () -> () -> Maybe ()

psubtract :: () -> () -> Maybe ()

PartialGroup a => PartialGroup (Morphism a)

Methods

pnegate :: Morphism a -> Maybe (Morphism a)

pminus :: Morphism a -> Morphism a -> Maybe (Morphism a)

psubtract :: Morphism a -> Morphism a -> Maybe (Morphism a)

(PartialGroup a, PartialGroup b) => PartialGroup (a, b)

Methods

pnegate :: (a, b) -> Maybe (a, b)

pminus :: (a, b) -> (a, b) -> Maybe (a, b)

psubtract :: (a, b) -> (a, b) -> Maybe (a, b)

(PartialGroup a, PartialGroup b, PartialGroup c) => PartialGroup (a, b, c)

Methods

pnegate :: (a, b, c) -> Maybe (a, b, c)

pminus :: (a, b, c) -> (a, b, c) -> Maybe (a, b, c)

psubtract :: (a, b, c) -> (a, b, c) -> Maybe (a, b, c)

(PartialGroup a, PartialGroup b, PartialGroup c, PartialGroup d) => PartialGroup (a, b, c, d)

Methods

pnegate :: (a, b, c, d) -> Maybe (a, b, c, d)

pminus :: (a, b, c, d) -> (a, b, c, d) -> Maybe (a, b, c, d)

psubtract :: (a, b, c, d) -> (a, b, c, d) -> Maybe (a, b, c, d)

(PartialGroup a, PartialGroup b, PartialGroup c, PartialGroup d, PartialGroup e) => PartialGroup (a, b, c, d, e)

Methods

pnegate :: (a, b, c, d, e) -> Maybe (a, b, c, d, e)

pminus :: (a, b, c, d, e) -> (a, b, c, d, e) -> Maybe (a, b, c, d, e)

psubtract :: (a, b, c, d, e) -> (a, b, c, d, e) -> Maybe (a, b, c, d, e)