monoids-0.1.36: Monoids, specialized containers and a general map/reduce frameworkSource codeContentsIndex
Data.Ring.FromNum
Portabilitynon-portable (MPTCs)
Stabilityexperimental
Maintainerekmett@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
show/hide Instances
Num a => Reducer Integer (FromNum a)
Eq a => Eq (FromNum a)
Num a => Num (FromNum a)
Show a => Show (FromNum a)
Num a => Monoid (FromNum a)
Arbitrary a => Arbitrary (FromNum a)
CoArbitrary a => CoArbitrary (FromNum a)
Num a => Multiplicative (FromNum a)
Num a => Group (FromNum a)
Num a => Ring (FromNum a)
Num a => SemiRing (FromNum a)
Num a => RightSemiNearRing (FromNum a)
Num a => LeftSemiNearRing (FromNum a)
Num a => Ringoid (FromNum a)
Produced by Haddock version 2.3.0