README About Versions Source Modules

Sign

Number sign. See also Sign.Morph

type Sign

= Negative

| Positive

A number's sign

minus-sign: Negative
plus-sign: Positive

opposite : Sign -> Sign

Flip the Sign Negative ↔ Positive