algebra-3.1: Constructive abstract algebra

Safe Haskell | Safe-Inferred

Numeric.Partial.Semigroup

# Documentation

class PartialSemigroup a where Source

Methods

padd :: a -> a -> Maybe aSource

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