algebra-0.9.0.1: 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 
Ix Natural 
Bits Natural 
Whole Natural 
Order Natural 
PartialSemigroup Natural 
PartialMonoid Natural 
PartialGroup Natural 
Abelian Natural 
Partitionable Natural 
Additive Natural 
Monoidal Natural 
Semiring Natural 
Multiplicative Natural 
Unital Natural 
DecidableAssociates Natural 
DecidableUnits Natural 
DecidableZero Natural 
Rig Natural 
Characteristic Natural 
IntegralSemiring Natural 
Commutative Natural 
TriviallyInvolutive Natural 
InvolutiveSemiring Natural 
InvolutiveMultiplication Natural 
AdditiveOrder Natural 
OrderedRig Natural 
LocallyFiniteOrder 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 
RightModule Natural Euclidean 
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 
LeftModule Natural Euclidean 
Rig r => Quadrance r Natural 
RightModule Natural (BasisCoblade m) 
Unital r => RightModule Natural (Log r) 
(Abelian r, Monoidal r) => RightModule Natural (RngRing r) 
Monoidal r => RightModule Natural (ZeroRng r) 
LeftModule Natural (BasisCoblade m) 
Unital r => LeftModule Natural (Log r) 
(Abelian r, Monoidal r) => LeftModule Natural (RngRing r) 
Monoidal r => LeftModule Natural (ZeroRng r) 

class Integral n => Whole n whereSource

Methods

toNatural :: n -> NaturalSource

unsafePred :: n -> nSource

Instances