Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
To be imported qualified, usually with the synonym RAEL.
- class (ERIntApprox ra, Ord ra) => ERApproxElementary ra where
- abs :: EffortIndex -> ra -> ra
- min :: EffortIndex -> ra -> ra -> ra
- max :: EffortIndex -> ra -> ra -> ra
- exp :: EffortIndex -> ra -> ra
- log :: EffortIndex -> ra -> ra
- (**) :: EffortIndex -> ra -> ra -> ra
- pi :: EffortIndex -> ra
- sin :: EffortIndex -> ra -> ra
- cos :: EffortIndex -> ra -> ra
- tan :: EffortIndex -> ra -> ra
- atan :: EffortIndex -> ra -> ra
Documentation
class (ERIntApprox ra, Ord ra) => ERApproxElementary ra whereSource
A class defining various common real number operations in a approximation-aware fashion, ie introducing effort indices.
All operations here have default implementations based on Data.Number.ER.Real.Arithmetic.Elementary.
abs :: EffortIndex -> ra -> raSource
min :: EffortIndex -> ra -> ra -> raSource
max :: EffortIndex -> ra -> ra -> raSource
exp :: EffortIndex -> ra -> raSource
log :: EffortIndex -> ra -> raSource
(**) :: EffortIndex -> ra -> ra -> raSource
pi :: EffortIndex -> raSource
sin :: EffortIndex -> ra -> raSource
cos :: EffortIndex -> ra -> raSource
tan :: EffortIndex -> ra -> raSource
atan :: EffortIndex -> ra -> raSource
(ERRealBase b, RealFrac b) => ERApproxElementary (ERInterval b) |