monoids-0.1.33: Monoids, specialized containers and a general map/reduce framework
Source code
Contents
Index
Data.Ring.FromNum
Portability
non-portable (MPTCs)
Stability
experimental
Maintainer
ekmett@gmail.com
Description
A wrapper that lies for you and claims any instance of
Num
is a
Ring
. Who knows, for your type it might even be telling the truth!
Documentation
module
Data.Ring
newtype
FromNum
a
Source
Constructors
FromNum
getFromNum
:: a
Instances
Num
a =>
Reducer
Integer
(
FromNum
a)
Eq
a =>
Eq
(
FromNum
a)
Num
a =>
Num
(
FromNum
a)
Show
a =>
Show
(
FromNum
a)
Arbitrary
a =>
Arbitrary
(
FromNum
a)
CoArbitrary
a =>
CoArbitrary
(
FromNum
a)
Num
a =>
Monoid
(
FromNum
a)
Num
a =>
Multiplicative
(
FromNum
a)
Num
a =>
RightSemiNearRing
(
FromNum
a)
Num
a =>
LeftSemiNearRing
(
FromNum
a)
Num
a =>
Ringoid
(
FromNum
a)
Num
a =>
SemiRing
(
FromNum
a)
Num
a =>
Group
(
FromNum
a)
Num
a =>
Ring
(
FromNum
a)
Produced by
Haddock
version 2.4.2