*. | Data.CReal.Internal |
.* | Data.CReal.Internal |
.*. | Data.CReal.Internal |
/. | Data.CReal.Internal |
alternateSign | Data.CReal.Internal |
atanBounded | Data.CReal.Internal |
atPrecision | Data.CReal.Internal, Data.CReal |
Converge | Data.CReal.Converge |
converge | Data.CReal.Converge |
convergeErr | Data.CReal.Converge |
cosBounded | Data.CReal.Internal |
CR | Data.CReal.Internal |
CReal | Data.CReal.Internal, Data.CReal |
crealPrecision | Data.CReal.Internal, Data.CReal |
crMemoize | Data.CReal.Internal |
decimalDigitsAtPrecision | Data.CReal.Internal |
Element | Data.CReal.Converge |
expBounded | Data.CReal.Internal |
expPosNeg | Data.CReal.Internal |
isqrt | Data.CReal.Internal |
log10 | Data.CReal.Internal |
log2 | Data.CReal.Internal |
logBounded | Data.CReal.Internal |
mulBounded | Data.CReal.Internal |
mulBoundedL | Data.CReal.Internal |
powerSeries | Data.CReal.Internal |
rationalToDecimal | Data.CReal.Internal |
recipBounded | Data.CReal.Internal |
shiftL | Data.CReal.Internal |
shiftR | Data.CReal.Internal |
showAtPrecision | Data.CReal.Internal |
sinBounded | Data.CReal.Internal |
square | Data.CReal.Internal |