Skip to main content

Module traits

Module traits 

Source
Expand description

Adic traits

§Adic number traits

§Digital number traits

§Regular number + prime -> adic

Traits§

AdicInteger
An adic number with only integer digits
AdicPrimitive
An adic number primitive, associated to a prime p and with semiring arithmetic
CanApproximate
Can be approximated into Approximate
CanTruncate
Can be truncated into Truncation
HasApproximateDigits
A structure that has digits with a concept of certain and uncertain digits
HasDigits
A structure with digits that can be accessed
PrimedFrom
Can be created from N with the given Prime
PrimedInto
Can be converted into A with the given Prime
TryPrimedFrom
Can attempt to create from N with the given Prime
TryPrimedInto
Can attempt to convert into A with the given Prime