algebra-4.3.1: Constructive abstract algebra

Safe Haskell	Safe
Language	Haskell98

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) #