algebra-4.3: Constructive abstract algebra

Numeric.Partial.Group

# Documentation

class PartialMonoid a => PartialGroup a where Source #

Methods

pnegate :: a -> Maybe a Source #

pminus :: a -> a -> Maybe a Source #

psubtract :: a -> a -> Maybe a Source #

Instances

 Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methodspnegate :: () -> Maybe () Source #pminus :: () -> () -> Maybe () Source #psubtract :: () -> () -> Maybe () Source # Source # Methods Source # Methodspnegate :: Morphism a -> Maybe (Morphism a) Source #pminus :: Morphism a -> Morphism a -> Maybe (Morphism a) Source #psubtract :: Morphism a -> Morphism a -> Maybe (Morphism a) Source # (PartialGroup a, PartialGroup b) => PartialGroup (a, b) Source # Methodspnegate :: (a, b) -> Maybe (a, b) Source #pminus :: (a, b) -> (a, b) -> Maybe (a, b) Source #psubtract :: (a, b) -> (a, b) -> Maybe (a, b) Source # (PartialGroup a, PartialGroup b, PartialGroup c) => PartialGroup (a, b, c) Source # Methodspnegate :: (a, b, c) -> Maybe (a, b, c) Source #pminus :: (a, b, c) -> (a, b, c) -> Maybe (a, b, c) Source #psubtract :: (a, b, c) -> (a, b, c) -> Maybe (a, b, c) Source # (PartialGroup a, PartialGroup b, PartialGroup c, PartialGroup d) => PartialGroup (a, b, c, d) Source # Methodspnegate :: (a, b, c, d) -> Maybe (a, b, c, d) Source #pminus :: (a, b, c, d) -> (a, b, c, d) -> Maybe (a, b, c, d) Source #psubtract :: (a, b, c, d) -> (a, b, c, d) -> Maybe (a, b, c, d) Source # (PartialGroup a, PartialGroup b, PartialGroup c, PartialGroup d, PartialGroup e) => PartialGroup (a, b, c, d, e) Source # Methodspnegate :: (a, b, c, d, e) -> Maybe (a, b, c, d, e) Source #pminus :: (a, b, c, d, e) -> (a, b, c, d, e) -> Maybe (a, b, c, d, e) Source #psubtract :: (a, b, c, d, e) -> (a, b, c, d, e) -> Maybe (a, b, c, d, e) Source #