Numeric.Rng.Zero

Documentation

newtype ZeroRng r

Constructors

ZeroRng

Fields

• runZeroRng :: r

Instances

Group r => RightModule Integer (ZeroRng r)

Methods

(*.) :: ZeroRng r -> Integer -> ZeroRng r

Monoidal r => RightModule Natural (ZeroRng r)

Methods

(*.) :: ZeroRng r -> Natural -> ZeroRng r

Group r => LeftModule Integer (ZeroRng r)

Methods

(.*) :: Integer -> ZeroRng r -> ZeroRng r

Monoidal r => LeftModule Natural (ZeroRng r)

Methods

(.*) :: Natural -> ZeroRng r -> ZeroRng r

Eq r => Eq (ZeroRng r)

Methods

(==) :: ZeroRng r -> ZeroRng r -> Bool

(/=) :: ZeroRng r -> ZeroRng r -> Bool

Ord r => Ord (ZeroRng r)

Methods

compare :: ZeroRng r -> ZeroRng r -> Ordering

(<) :: ZeroRng r -> ZeroRng r -> Bool

(<=) :: ZeroRng r -> ZeroRng r -> Bool

(>) :: ZeroRng r -> ZeroRng r -> Bool

(>=) :: ZeroRng r -> ZeroRng r -> Bool

max :: ZeroRng r -> ZeroRng r -> ZeroRng r

min :: ZeroRng r -> ZeroRng r -> ZeroRng r

Read r => Read (ZeroRng r)

Methods

readsPrec :: Int -> ReadS (ZeroRng r)

readList :: ReadS [ZeroRng r]

readPrec :: ReadPrec (ZeroRng r)

readListPrec :: ReadPrec [ZeroRng r]

Show r => Show (ZeroRng r)

Methods

showsPrec :: Int -> ZeroRng r -> ShowS

show :: ZeroRng r -> String

showList :: [ZeroRng r] -> ShowS

Idempotent r => Idempotent (ZeroRng r)

Abelian r => Abelian (ZeroRng r)

Additive r => Additive (ZeroRng r)

Methods

(+) :: ZeroRng r -> ZeroRng r -> ZeroRng r

sinnum1p :: Natural -> ZeroRng r -> ZeroRng r

sumWith1 :: Foldable1 f => (a -> ZeroRng r) -> f a -> ZeroRng r

Monoidal r => Monoidal (ZeroRng r)

Methods

zero :: ZeroRng r

sinnum :: Natural -> ZeroRng r -> ZeroRng r

sumWith :: Foldable f => (a -> ZeroRng r) -> f a -> ZeroRng r

(Monoidal r, Abelian r) => Semiring (ZeroRng r)

Monoidal r => Multiplicative (ZeroRng r)

Methods

(*) :: ZeroRng r -> ZeroRng r -> ZeroRng r

pow1p :: ZeroRng r -> Natural -> ZeroRng r

productWith1 :: Foldable1 f => (a -> ZeroRng r) -> f a -> ZeroRng r

Group r => Group (ZeroRng r)

Methods

(-) :: ZeroRng r -> ZeroRng r -> ZeroRng r

negate :: ZeroRng r -> ZeroRng r

subtract :: ZeroRng r -> ZeroRng r -> ZeroRng r

times :: Integral n => n -> ZeroRng r -> ZeroRng r

Monoidal r => Commutative (ZeroRng r)

(Group r, Abelian r) => Rng (ZeroRng r)