algebra-0.3.0: Constructive abstract algebra

Numeric.Natural.Internal

Documentation

newtype Natural Source

Constructors

Natural 

Fields

runNatural :: Integer
 

Instances

Enum Natural 
Eq Natural 
Integral Natural 
Num Natural 
Ord Natural 
Read Natural 
Real Natural 
Show Natural 
Whole Natural 
Order Natural 
Additive Natural 
AdditiveOrder Natural 
Partitionable Natural 
Abelian Natural 
Semiring Natural 
Multiplicative Natural 
Unital Natural 
DecidableAssociates Natural 
DecidableUnits Natural 
Commutative Natural 
InvolutiveMultiplication Natural 
AdditiveMonoid Natural 
DecidableZero Natural 
Rig Natural 
OrderedRig Natural 
Involutive Natural 
IntegralSemiring Natural 
Characteristic Natural 
RightModule Natural Bool 
RightModule Natural Int 
RightModule Natural Int8 
RightModule Natural Int16 
RightModule Natural Int32 
RightModule Natural Int64 
RightModule Natural Integer 
RightModule Natural Word 
RightModule Natural Word8 
RightModule Natural Word16 
RightModule Natural Word32 
RightModule Natural Word64 
RightModule Natural Natural 
LeftModule Natural Bool 
LeftModule Natural Int 
LeftModule Natural Int8 
LeftModule Natural Int16 
LeftModule Natural Int32 
LeftModule Natural Int64 
LeftModule Natural Integer 
LeftModule Natural Word 
LeftModule Natural Word8 
LeftModule Natural Word16 
LeftModule Natural Word32 
LeftModule Natural Word64 
LeftModule Natural Natural 
Unital r => RightModule Natural (Log r) 
AdditiveMonoid r => RightModule Natural (ZeroRng r) 
(Abelian r, AdditiveMonoid r) => RightModule Natural (RngRing r) 
Unital r => LeftModule Natural (Log r) 
AdditiveMonoid r => LeftModule Natural (ZeroRng r) 
(Abelian r, AdditiveMonoid r) => LeftModule Natural (RngRing r) 

class Integral n => Whole n whereSource

Methods

toNatural :: n -> NaturalSource

unsafePred :: n -> nSource

Instances