Safe Haskell	Safe
Language	Haskell2010

Data.Ring

Synopsis

(<<) :: Group a => a -> a -> a
(><) :: Semiring r => r -> r -> r
(<>) :: Semigroup a => a -> a -> a
negate :: Group a => a -> a
class (Group a, Semiring a) => Ring a where
- abs :: a -> a
- signum :: a -> a

Documentation

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

(><) :: Semiring r => r -> r -> r infixr 7 Source #

(<>) :: Semigroup a => a -> a -> a infixr 6 #

An associative operation.

negate :: Group a => a -> a Source #

class (Group a, Semiring a) => Ring a where Source #

Methods

abs :: a -> a Source #

signum :: a -> a Source #

Instances

Ring Int Source #
Instance details Defined in Data.Int.Instance Methods abs :: Int -> Int Source # signum :: Int -> Int Source #
Ring Int8 Source #
Instance details Defined in Data.Int.Instance Methods abs :: Int8 -> Int8 Source # signum :: Int8 -> Int8 Source #
Ring Int16 Source #
Instance details Defined in Data.Int.Instance Methods abs :: Int16 -> Int16 Source # signum :: Int16 -> Int16 Source #
Ring Int32 Source #
Instance details Defined in Data.Int.Instance Methods abs :: Int32 -> Int32 Source # signum :: Int32 -> Int32 Source #
Ring Int64 Source #
Instance details Defined in Data.Int.Instance Methods abs :: Int64 -> Int64 Source # signum :: Int64 -> Int64 Source #
Ring Integer Source #
Instance details Defined in Data.Int.Instance Methods abs :: Integer -> Integer Source # signum :: Integer -> Integer Source #
Ring Uni Source #
Instance details Defined in Data.Fixed.Instance Methods abs :: Uni -> Uni Source # signum :: Uni -> Uni Source #
Ring Deci Source #
Instance details Defined in Data.Fixed.Instance Methods abs :: Deci -> Deci Source # signum :: Deci -> Deci Source #
Ring Centi Source #
Instance details Defined in Data.Fixed.Instance Methods abs :: Centi -> Centi Source # signum :: Centi -> Centi Source #
Ring Milli Source #
Instance details Defined in Data.Fixed.Instance Methods abs :: Milli -> Milli Source # signum :: Milli -> Milli Source #
Ring Micro Source #
Instance details Defined in Data.Fixed.Instance Methods abs :: Micro -> Micro Source # signum :: Micro -> Micro Source #
Ring Nano Source #
Instance details Defined in Data.Fixed.Instance Methods abs :: Nano -> Nano Source # signum :: Nano -> Nano Source #
Ring Pico Source #
Instance details Defined in Data.Fixed.Instance Methods abs :: Pico -> Pico Source # signum :: Pico -> Pico Source #