algebra-4.3.1: Constructive abstract algebra

Safe Haskell	Safe
Language	Haskell98

Numeric.Partial.Semigroup

Documentation

class PartialSemigroup a where Source #

Minimal complete definition

Methods

padd :: a -> a -> Maybe a Source #

Instances

PartialSemigroup Bool Source #
Methods padd :: Bool -> Bool -> Maybe Bool Source #
PartialSemigroup Int Source #
Methods padd :: Int -> Int -> Maybe Int Source #
PartialSemigroup Int8 Source #
Methods padd :: Int8 -> Int8 -> Maybe Int8 Source #
PartialSemigroup Int16 Source #
Methods padd :: Int16 -> Int16 -> Maybe Int16 Source #
PartialSemigroup Int32 Source #
Methods padd :: Int32 -> Int32 -> Maybe Int32 Source #
PartialSemigroup Int64 Source #
Methods padd :: Int64 -> Int64 -> Maybe Int64 Source #
PartialSemigroup Integer Source #
Methods padd :: Integer -> Integer -> Maybe Integer Source #
PartialSemigroup Natural Source #
Methods padd :: Natural -> Natural -> Maybe Natural Source #
PartialSemigroup Word Source #
Methods padd :: Word -> Word -> Maybe Word Source #
PartialSemigroup Word8 Source #
Methods padd :: Word8 -> Word8 -> Maybe Word8 Source #
PartialSemigroup Word16 Source #
Methods padd :: Word16 -> Word16 -> Maybe Word16 Source #
PartialSemigroup Word32 Source #
Methods padd :: Word32 -> Word32 -> Maybe Word32 Source #
PartialSemigroup Word64 Source #
Methods padd :: Word64 -> Word64 -> Maybe Word64 Source #
PartialSemigroup () Source #
Methods padd :: () -> () -> Maybe () Source #
PartialSemigroup a => PartialSemigroup (Maybe a) Source #
Methods padd :: Maybe a -> Maybe a -> Maybe (Maybe a) Source #
PartialSemigroup a => PartialSemigroup (Morphism a) Source #
Methods padd :: Morphism a -> Morphism a -> Maybe (Morphism a) Source #
(PartialSemigroup a, PartialSemigroup b) => PartialSemigroup (Either a b) Source #
Methods padd :: Either a b -> Either a b -> Maybe (Either a b) Source #
(PartialSemigroup a, PartialSemigroup b) => PartialSemigroup (a, b) Source #
Methods padd :: (a, b) -> (a, b) -> Maybe (a, b) Source #
(PartialSemigroup a, PartialSemigroup b, PartialSemigroup c) => PartialSemigroup (a, b, c) Source #
Methods padd :: (a, b, c) -> (a, b, c) -> Maybe (a, b, c) Source #
(PartialSemigroup a, PartialSemigroup b, PartialSemigroup c, PartialSemigroup d) => PartialSemigroup (a, b, c, d) Source #
Methods padd :: (a, b, c, d) -> (a, b, c, d) -> Maybe (a, b, c, d) Source #
(PartialSemigroup a, PartialSemigroup b, PartialSemigroup c, PartialSemigroup d, PartialSemigroup e) => PartialSemigroup (a, b, c, d, e) Source #
Methods padd :: (a, b, c, d, e) -> (a, b, c, d, e) -> Maybe (a, b, c, d, e) Source #