Safe Haskell	Safe
Language	Haskell2010

Data.Group

Synopsis

class Monoid a => Group a where
- negate :: a -> a
- (<<) :: a -> a -> a

Documentation

class Monoid a => Group a where Source #

A Group is a Monoid plus a function, negate, such that:

a << negate a == mempty

negate a << a == mempty

Minimal complete definition

(negate | (<<))

Methods

negate :: a -> a Source #

(<<) :: a -> a -> a infixl 6 Source #

Instances

Group Int Source #
Instance details Defined in Data.Int.Instance Methods negate :: Int -> Int Source # (<<) :: Int -> Int -> Int Source #
Group Int8 Source #
Instance details Defined in Data.Int.Instance Methods negate :: Int8 -> Int8 Source # (<<) :: Int8 -> Int8 -> Int8 Source #
Group Int16 Source #
Instance details Defined in Data.Int.Instance Methods negate :: Int16 -> Int16 Source # (<<) :: Int16 -> Int16 -> Int16 Source #
Group Int32 Source #
Instance details Defined in Data.Int.Instance Methods negate :: Int32 -> Int32 Source # (<<) :: Int32 -> Int32 -> Int32 Source #
Group Int64 Source #
Instance details Defined in Data.Int.Instance Methods negate :: Int64 -> Int64 Source # (<<) :: Int64 -> Int64 -> Int64 Source #
Group Integer Source #
Instance details Defined in Data.Int.Instance Methods negate :: Integer -> Integer Source # (<<) :: Integer -> Integer -> Integer Source #
Group Uni Source #
Instance details Defined in Data.Fixed.Instance Methods negate :: Uni -> Uni Source # (<<) :: Uni -> Uni -> Uni Source #
Group Deci Source #
Instance details Defined in Data.Fixed.Instance Methods negate :: Deci -> Deci Source # (<<) :: Deci -> Deci -> Deci Source #
Group Centi Source #
Instance details Defined in Data.Fixed.Instance Methods negate :: Centi -> Centi Source # (<<) :: Centi -> Centi -> Centi Source #
Group Milli Source #
Instance details Defined in Data.Fixed.Instance Methods negate :: Milli -> Milli Source # (<<) :: Milli -> Milli -> Milli Source #
Group Micro Source #
Instance details Defined in Data.Fixed.Instance Methods negate :: Micro -> Micro Source # (<<) :: Micro -> Micro -> Micro Source #
Group Nano Source #
Instance details Defined in Data.Fixed.Instance Methods negate :: Nano -> Nano Source # (<<) :: Nano -> Nano -> Nano Source #
Group Pico Source #
Instance details Defined in Data.Fixed.Instance Methods negate :: Pico -> Pico Source # (<<) :: Pico -> Pico -> Pico Source #
(Monoid (Complex a), Group a) => Group (Complex a) Source #
Instance details Defined in Data.Group Methods negate :: Complex a -> Complex a Source # (<<) :: Complex a -> Complex a -> Complex a Source #