Numeric.Partial.Semigroup

Documentation

class PartialSemigroup a where

Methods

padd :: a -> a -> Maybe a

Instances

PartialSemigroup Bool

PartialSemigroup Int

PartialSemigroup Int8

PartialSemigroup Int16

PartialSemigroup Int32

PartialSemigroup Int64

PartialSemigroup Integer

PartialSemigroup Word

PartialSemigroup Word8

PartialSemigroup Word16

PartialSemigroup Word32

PartialSemigroup Word64

PartialSemigroup ()

PartialSemigroup Natural

PartialSemigroup a => PartialSemigroup (Maybe a)

PartialSemigroup a => PartialSemigroup (Morphism a)

(PartialSemigroup a, PartialSemigroup b) => PartialSemigroup (Either a b)

(PartialSemigroup a, PartialSemigroup b) => PartialSemigroup (a, b)

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

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

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