Nat | Data.Number.Real |
Near | Data.Number.MPFR, Data.Number.Dyadic |
neg | |
1 (Function) | Data.Number.MPFR, Data.Number.Dyadic |
2 (Function) | Data.Number.Ball |
3 (Function) | Data.Number.DyadicInterval |
neg_ | Data.Number.MPFR, Data.Number.Dyadic |
nextBelow | Data.Number.MPFR, Data.Number.Dyadic |
normalizeBall | Data.Number.Ball |